🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

A Context-Oriented Extension of F#

Andrea Canciani, Pierpaolo Degano, ... (+2 more)

cs.PL 🏛 FOCLASA 📚 6 cites 10 years ago

R.I.P. 👻 Ghosted

Probabilistic Output Analysis by Program Manipulation

Mads Rosendahl, Maja H. Kirkeby

cs.PL 🏛 QAPL 📚 6 cites 10 years ago

R.I.P. 👻 Ghosted

Elaborating Evaluation-Order Polymorphism

Jana Dunfield

cs.PL 🏛 ACM SIGPLAN International Conference on Functional Programming 📚 6 cites 11 years ago

R.I.P. 👻 Ghosted

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs

Kun Wang, Jingyi Wang, ... (+4 more)

cs.PL 🏛 IEEE TSE 📚 6 cites 4 years ago

R.I.P. 👻 Ghosted

Hinted Dictionaries: Efficient Functional Ordered Sets and Maps

Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi

cs.PL 🏛 ECOOP 📚 6 cites 4 years ago

R.I.P. 👻 Ghosted

Large Language Model-Powered Agent for C to Rust Code Translation

HoHyun Sim, Hyeonjoong Cho, ... (+4 more)

cs.PL 🏛 arXiv 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

Program Skeletons for Automated Program Translation

Bo Wang, Tianyu Li, ... (+3 more)

cs.PL 🏛 PACMPL 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

Léo Andrès, Filipe Marques, ... (+4 more)

cs.PL 🏛 Programming 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

Tail Modulo Cons, OCaml, and Relational Separation Logic

Clément Allain, Frédéric Bour, ... (+3 more)

cs.PL 🏛 PACMPL 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

Charon: An Analysis Framework for Rust

Son Ho, Guillaume Boisseau, ... (+4 more)

cs.PL 🏛 CAV 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

The Incredible Shrinking Context... in a Decompiler Near You

Sifis Lagouvardos, Yannis Bollanos, ... (+2 more)

cs.PL 🏛 PACMSE 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations

Aaron Jarmusch, Felipe Cabarcas, ... (+7 more)

cs.PL 🏛 ICO W 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention

Ahan Gupta, Yueming Yuan, ... (+5 more)

cs.PL 🏛 PACMPL 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations

Sören van der Wall, Roland Meyer

cs.PL 🏛 PACMPL 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

Easing Maintenance of Academic Static Analyzers

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

cs.PL 🏛 International Journal on Software Tools for Technology Transfer (STTT) 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

Modal Effect Types

Wenhao Tang, Leo White, ... (+4 more)

cs.PL 🏛 PACMPL 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation

Vassor Martin, Yoshida Nobuko

cs.PL 🏛 Dagstuhl Artifacts Ser. 📚 5 cites 1 year ago

R.I.P. 👻 Ghosted

Amortizing Pragmatic Program Synthesis with Rankings

Yewen Pu, Saujas Vaduguru, ... (+3 more)

cs.PL 🏛 ICML 📚 5 cites 2 years ago

R.I.P. 👻 Ghosted

Verification Algorithms for Automated Separation Logic Verifiers

Marco Eilers, Malte Schwerhoff, Peter Müller

cs.PL 🏛 CAV 📚 5 cites 2 years ago

R.I.P. 👻 Ghosted

Predictive Monitoring with Strong Trace Prefixes

Zhendong Ang, Umang Mathur

cs.PL 🏛 CAV 📚 5 cites 2 years ago

R.I.P. 👻 Ghosted

KestRel: Relational Verification Using E-Graphs for Program Alignment

Robert Dickerson, Prasita Mukherjee, Benjamin Delaware

cs.PL 🏛 PACMPL 📚 5 cites 2 years ago

R.I.P. 👻 Ghosted

KATch: A Fast Symbolic Verifier for NetKAT

Mark Moeller, Jules Jacobs, ... (+6 more)

cs.PL 🏛 PACMPL 📚 5 cites 2 years ago

R.I.P. 👻 Ghosted

Equivalence and Similarity Refutation for Probabilistic Programs

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, ... (+2 more)

cs.PL 🏛 PACMPL 📚 5 cites 2 years ago

R.I.P. 👻 Ghosted

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Raphaël Monat, Aymeric Fromherz, Denis Merigoux

cs.PL 🏛 European Symposium on Programming 📚 5 cites 2 years ago