🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Ownership guided C to Rust translation

Hanliang Zhang, Cristina David, ... (+2 more)

cs.PL 🏛 CAV 📚 39 cites 3 years ago

R.I.P. 👻 Ghosted

Statically Verified Refinements for Multiparty Protocols

Fangyi Zhou, Francisco Ferreira, ... (+3 more)

cs.PL 🏛 PACMPL 📚 39 cites 5 years ago

R.I.P. 👻 Ghosted

Tight Typings and Split Bounds

Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner

cs.PL 🏛 PACMPL 📚 39 cites 7 years ago

R.I.P. 👻 Ghosted

Program Generation for Small-Scale Linear Algebra Applications

Daniele G. Spampinato, Diego Fabregat-Traver, ... (+2 more)

cs.PL 🏛 IEEE/ACM International Symposium on Code Generation and Optimization 📚 39 cites 7 years ago

R.I.P. 👻 Ghosted

Ariadne: Analysis for Machine Learning Program

Julian Dolby, Avraham Shinnar, ... (+2 more)

cs.PL 🏛 MAPL@PLDI 📚 39 cites 7 years ago

R.I.P. 👻 Ghosted

Parallel Complexity Analysis with Temporal Session Types

Ankush Das, Jan Hoffmann, Frank Pfenning

cs.PL 🏛 PACMPL 📚 39 cites 7 years ago

🌅 🌅 Old Age

FunTAL: Reasonably Mixing a Functional Language with Assembly

Daniel Patterson, Jamie Perconti, ... (+2 more)

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 39 cites 8 years ago

R.I.P. 👻 Ghosted

Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti

cs.PL 🏛 arXiv 📚 39 cites 8 years ago

R.I.P. 👻 Ghosted

Divide-and-Conquer Checkpointing for Arbitrary Programs with No User Annotation

Jeffrey Mark Siskind, Barak A. Pearlmutter

cs.PL 🏛 Optim. Methods Softw. 📚 39 cites 8 years ago

R.I.P. 👻 Ghosted

Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution

Peter Müller, Malte Schwerhoff, Alexander J. Summers

cs.PL 🏛 CAV 📚 39 cites 10 years ago

R.I.P. 👻 Ghosted

Finding Inductive Loop Invariants using Large Language Models

Adharsh Kamath, Aditya Senthilnathan, ... (+7 more)

cs.PL 🏛 arXiv 📚 38 cites 2 years ago

R.I.P. 👻 Ghosted

Reducing asynchrony to synchronized rounds

Andrei Damien, Cezara Dragoi, ... (+2 more)

cs.PL 🏛 CAV 📚 38 cites 7 years ago

R.I.P. 👻 Ghosted

Fast and exact analysis for LRU caches

Claire Maïza, Valentin Touzeau, ... (+2 more)

cs.PL 🏛 PACMPL 📚 38 cites 7 years ago

R.I.P. 👻 Ghosted

Neural Sketch Learning for Conditional Program Generation

Vijayaraghavan Murali, Letao Qi, ... (+2 more)

cs.PL 🏛 arXiv 📚 38 cites 9 years ago

R.I.P. 👻 Ghosted

Sound Static Deadlock Analysis for C/Pthreads (Extended Version)

Daniel Kroening, Daniel Poetzl, ... (+2 more)

cs.PL 🏛 ASE 📚 38 cites 9 years ago

R.I.P. 👻 Ghosted

Theory of Programs

Bertrand Meyer

cs.PL 🏛 ICLASER W 📚 38 cites 10 years ago

R.I.P. 👻 Ghosted

Everything old is new again: Quoted Domain Specific Languages

Shayan Najd, Sam Lindley, ... (+2 more)

cs.PL 🏛 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 📚 38 cites 10 years ago

R.I.P. 👻 Ghosted

Linear Dependent Type Theory for Quantum Programming Languages

Peng Fu, Kohei Kishida, Peter Selinger

cs.PL 🏛 Logic in Computer Science 📚 37 cites 5 years ago

R.I.P. 👻 Ghosted

Profunctor Optics, a Categorical Update

Bryce Clarke, Derek Elkins, ... (+5 more)

cs.PL 🏛 Compositionality 📚 37 cites 6 years ago

R.I.P. 👻 Ghosted

Verifying C11 Programs Operationally

Simon Doherty, Brijesh Dongol, ... (+2 more)

cs.PL 🏛 ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming 📚 37 cites 7 years ago

R.I.P. 👻 Ghosted

FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq

Zheng Yang, Hang Lei

cs.PL 🏛 IEEE Access 📚 37 cites 7 years ago

R.I.P. 👻 Ghosted

Synthesizing Bijective Lenses

Anders Miltner, Kathleen Fisher, ... (+3 more)

cs.PL 🏛 PACMPL 📚 37 cites 8 years ago

R.I.P. 👻 Ghosted

Learning Invariants using Decision Trees

Siddharth Krishna, Christian Puhrsch, Thomas Wies

cs.PL 🏛 arXiv 📚 37 cites 11 years ago

R.I.P. 👻 Ghosted

Retrofitting Parallelism onto OCaml

KC Sivaramakrishnan, Stephen Dolan, ... (+7 more)

cs.PL 🏛 PACMPL 📚 36 cites 5 years ago