🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Theory Exploration Powered By Deductive Synthesis

Eytan Singher, Shachar Itzhaky

cs.PL 🏛 CAV 📚 20 cites 5 years ago

R.I.P. 👻 Ghosted

Approximate Normalization for Gradual Dependent Types

Joseph Eremondi, Éric Tanter, Ronald Garcia

cs.PL 🏛 PACMPL 📚 20 cites 6 years ago

R.I.P. 👻 Ghosted

Automated Parameterized Verification of CRDTs

Kartik Nagar, Suresh Jagannathan

cs.PL 🏛 CAV 📚 20 cites 6 years ago

R.I.P. 👻 Ghosted

ClangJIT: Enhancing C++ with Just-in-Time Compilation

Hal Finkel, David Poliakoff, David F. Richards

cs.PL 🏛 ICPPPH W 📚 20 cites 6 years ago

R.I.P. 👻 Ghosted

A Path To DOT: Formalizing Fully Path-Dependent Types

Marianna Rapoport, Ondřej Lhoták

cs.PL 🏛 PACMPL 📚 20 cites 7 years ago

R.I.P. 👻 Ghosted

Automatic Full Compilation of Julia Programs and ML Models to Cloud TPUs

Keno Fischer, Elliot Saba

cs.PL 🏛 arXiv 📚 20 cites 7 years ago

R.I.P. 👻 Ghosted

Merlin: A Language Server for OCaml (Experience Report)

Frédéric Bour, Thomas Refis, Gabriel Scherer

cs.PL 🏛 PACMPL 📚 20 cites 7 years ago

R.I.P. 👻 Ghosted

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics

Ohad Kammar, Dylan McDermott

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

🌅 🌅 Old Age

Combining Symbolic Execution and Model Checking to Verify MPI Programs

Hengbiao Yu, Zhenbang Chen, ... (+6 more)

cs.PL 🏛 ICSE 📚 20 cites 8 years ago

R.I.P. 👻 Ghosted

WYS*: A DSL for Verified Secure Multi-party Computations

Aseem Rastogi, Nikhil Swamy, Michael Hicks

cs.PL 🏛 The post 📚 20 cites 8 years ago

R.I.P. 👻 Ghosted

Local Refinement Typing

Benjamin Cosman, Ranjit Jhala

cs.PL 🏛 PACMPL 📚 20 cites 8 years ago

R.I.P. 👻 Ghosted

Design and Implementation of Concurrent C0

Max Willsey, Rokhini Prabhu, Frank Pfenning

cs.PL 🏛 LINEARITY 📚 20 cites 9 years ago

R.I.P. 👻 Ghosted

FEAST: An Automated Feature Selection Framework for Compilation Tasks

Pai-Shun Ting, Chun-Chen Tu, ... (+3 more)

cs.PL 🏛 ICAINA 📚 20 cites 9 years ago

R.I.P. 👻 Ghosted

Synthesis of Recursive ADT Transformations from Reusable Templates

Jeevana Priya Inala, Nadia Polikarpova, ... (+3 more)

cs.PL 🏛 ICTACAS 📚 20 cites 10 years ago

R.I.P. 👻 Ghosted

Higher-order symbolic execution for contract verification and refutation

Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn

cs.PL 🏛 Journal of functional programming 📚 20 cites 10 years ago

R.I.P. 👻 Ghosted

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints

Yang He, Pinhan Zhao, ... (+2 more)

cs.PL 🏛 PACMPL 📚 19 cites 2 years ago

R.I.P. 👻 Ghosted

Circular Programs and Self-Referential Structures

Lloyd Allison

cs.PL 🏛 Software, Practice & Experience 📚 19 cites 2 years ago

R.I.P. 👻 Ghosted

CP-BCS: Binary Code Summarization Guided by Control Flow Graph and Pseudo Code

Tong Ye, Lingfei Wu, ... (+6 more)

cs.PL 🏛 EMNLP 📚 19 cites 2 years ago

R.I.P. 👻 Ghosted

Martin-Löf à la Coq

Arthur Adjedj, Meven Lennon-Bertrand, ... (+3 more)

cs.PL 🏛 Certified Programs and Proofs 📚 19 cites 2 years ago

R.I.P. 👻 Ghosted

Programming-by-Demonstration for Long-Horizon Robot Tasks

Noah Patton, Kia Rahmani, ... (+3 more)

cs.PL 🏛 PACMPL 📚 19 cites 2 years ago

R.I.P. 👻 Ghosted

Sound Dynamic Deadlock Prediction in Linear Time

Hünkar Can Tunç, Umang Mathur, ... (+2 more)

cs.PL 🏛 PACMPL 📚 19 cites 3 years ago

R.I.P. 👻 Ghosted

TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair

Yeting Li, Shuaimin Li, ... (+6 more)

cs.PL 🏛 ICSE 📚 19 cites 5 years ago

R.I.P. 👻 Ghosted

Automatic and Efficient Variability-Aware Lifting of Functional Programs

Ramy Shahin, Marsha Chechik

cs.PL 🏛 PACMPL 📚 19 cites 5 years ago

R.I.P. 👻 Ghosted

Fast Rule-Based Graph Programs

Graham Campbell, Brian Courtehoute, Detlef Plump

cs.PL 🏛 Science of Computer Programming 📚 19 cites 5 years ago