🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Wonyeol Lee, Hangyeol Yu, ... (+2 more)

cs.PL 🏛 PACMPL 📚 31 cites 6 years ago

R.I.P. 👻 Ghosted

Scalable Verification of Probabilistic Networks

Steffen Smolka, Praveen Kumar, ... (+5 more)

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

R.I.P. 👻 Ghosted

SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic

Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen

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

R.I.P. 👻 Ghosted

A True Positives Theorem for a Static Race Detector - Extended Version

Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey

cs.PL 🏛 PACMPL 📚 31 cites 7 years ago

R.I.P. 👻 Ghosted

KRust: A Formal Executable Semantics of Rust

Feng Wang, Fu Song, ... (+3 more)

cs.PL 🏛 Theoretical Aspects of Software Engineering 📚 31 cites 7 years ago

R.I.P. 👻 Ghosted

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

Robert Glück, Robin Kaarsgaard

cs.PL 🏛 Mathematical Foundations of Programming Semantics 📚 31 cites 8 years ago

R.I.P. 👻 Ghosted

Modular, Fully-abstract Compilation by Approximate Back-translation

Dominique Devriese, Marco Patrignani, ... (+2 more)

cs.PL 🏛 Log. Methods Comput. Sci. 📚 31 cites 9 years ago

R.I.P. 👻 Ghosted

Constraint Handling Rules - What Else?

Thom Fruehwirth

cs.PL 🏛 International Web Rule Symposium 📚 31 cites 9 years ago

R.I.P. 👻 Ghosted

Occurrence Typing Modulo Theories

Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt

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

R.I.P. 👻 Ghosted

Formulog: Datalog for SMT-Based Static Analysis (Extended Version)

Aaron Bembenek, Michael Greenberg, Stephen Chong

cs.PL 🏛 PACMPL 📚 30 cites 5 years ago

R.I.P. 👻 Ghosted

Data-Driven Inference of Representation Invariants

Anders Miltner, Saswat Padhi, ... (+2 more)

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

R.I.P. 👻 Ghosted

Robustness Against Transactional Causal Consistency

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

cs.PL 🏛 CONCUR 📚 30 cites 6 years ago

R.I.P. 👻 Ghosted

Proving Unrealizability for Syntax-Guided Synthesis

Qinheping Hu, Jason Breck, ... (+3 more)

cs.PL 🏛 CAV 📚 30 cites 6 years ago

R.I.P. 👻 Ghosted

Learning Scalable and Precise Representation of Program Semantics

Ke Wang

cs.PL 🏛 arXiv 📚 30 cites 6 years ago

R.I.P. 👻 Ghosted

Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems

Prakash Murali, Ali Javadi-Abhari, ... (+2 more)

cs.PL 🏛 Microprocessors and microsystems 📚 30 cites 7 years ago

R.I.P. 👻 Ghosted

Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets

Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim

cs.PL 🏛 Sensors Applications Symposium 📚 30 cites 7 years ago

R.I.P. 👻 Ghosted

How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times

Kevin Batz, Benjamin Lucien Kaminski, ... (+2 more)

cs.PL 🏛 European Symposium on Programming 📚 30 cites 8 years ago

R.I.P. 👻 Ghosted

Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)

Zhoulai Fu, Zhendong Su

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

R.I.P. 👻 Ghosted

Proving Linearizability Using Partial Orders (Extended Version)

Artem Khyzha, Mike Dodds, ... (+2 more)

cs.PL 🏛 European Symposium on Programming 📚 30 cites 9 years ago

R.I.P. 👻 Ghosted

Soft Contract Verification for Higher-Order Stateful Programs

Phuc C. Nguyen, Thomas Gilray, ... (+2 more)

cs.PL 🏛 PACMPL 📚 30 cites 8 years ago

R.I.P. 👻 Ghosted

Liveness-Driven Random Program Generation

Gergö Barany

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 30 cites 8 years ago

R.I.P. 👻 Ghosted

Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components

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

cs.PL 🏛 ACM Transactions on Programming Languages and Systems 📚 30 cites 10 years ago

R.I.P. 👻 Ghosted

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Aidan Z. H. Yang, Yoshiki Takashima, ... (+3 more)

cs.PL 🏛 arXiv 📚 29 cites 1 year ago

R.I.P. 👻 Ghosted

$λ_S$: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes

Benjamin Sherman, Jesse Michel, Michael Carbin

cs.PL 🏛 PACMPL 📚 29 cites 5 years ago