🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages

Andrea Colledan, Ugo Dal Lago

cs.PL 🏛 PACMPL 📚 7 cites 1 year ago

R.I.P. 👻 Ghosted

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

Mark Marron

cs.PL 🏛 SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software 📚 7 cites 1 year ago

R.I.P. 👻 Ghosted

Verifying Peephole Rewriting In SSA Compiler IRs

Siddharth Bhat, Alex Keizer, ... (+3 more)

cs.PL 🏛 ICITP 📚 7 cites 1 year ago

R.I.P. 👻 Ghosted

Modular Synthesis of Efficient Quantum Uncomputation

Hristo Venev, Timon Gehr, ... (+2 more)

cs.PL 🏛 PACMPL 📚 7 cites 1 year ago

R.I.P. 👻 Ghosted

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms

Ari Rasch

cs.PL 🏛 ACM Transactions on Programming Languages and Systems 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)

Jie Qiu, Colin Cai, ... (+4 more)

cs.PL 🏛 Dagstuhl Artifacts Ser. 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

Mechanised Hypersafety Proofs about Structured Data: Extended Version

Vladimir Gladshtein, Qiyuan Zhao, ... (+3 more)

cs.PL 🏛 PACMPL 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)

Gaurav Parthasarathy, Thibault Dardinier, ... (+3 more)

cs.PL 🏛 PACMPL 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata

Zhe Zhou, Qianchuan Ye, ... (+2 more)

cs.PL 🏛 PACMPL 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

A Coq Mechanization of JavaScript Regular Expression Semantics

Noé De Santo, Aurèle Barrière, Clément Pit-Claudel

cs.PL 🏛 PACMPL 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

WatChat: Explaining perplexing programs by debugging mental models

Kartik Chandra, Katherine M. Collins, ... (+7 more)

cs.PL 🏛 arXiv 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

What does it take to certify a conversion checker?

Meven Lennon-Bertrand

cs.PL 🏛 ICFSCD 📚 7 cites 1 year ago

R.I.P. 👻 Ghosted

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures

Adam D. Barwell, Ping Hou, ... (+2 more)

cs.PL 🏛 ECOOP 📚 7 cites 3 years ago

R.I.P. 👻 Ghosted

Functional Ownership through Fractional Uniqueness

Danielle Marshall, Dominic Orchard

cs.PL 🏛 PACMPL 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR

Jianyi Cheng, Samuel Coward, ... (+3 more)

cs.PL 🏛 arXiv 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

Soundly Handling Linearity

Wenhao Tang, Daniel Hillerström, ... (+2 more)

cs.PL 🏛 PACMPL 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc

Alex Hubers, J. Garrett Morris

cs.PL 🏛 PACMPL 📚 7 cites 2 years ago

R.I.P. 👻 Ghosted

Whose baseline compiler is it anyway?

Ben L. Titzer

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

R.I.P. 👻 Ghosted

Engineering a Formally Verified Automated Bug Finder

Arthur Correnson, Dominic Steinhoefel

cs.PL 🏛 FSE 📚 7 cites 3 years ago

R.I.P. 👻 Ghosted

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification

Andreas Lindner, Karl Palmskog, ... (+4 more)

cs.PL 🏛 ICVMCAI 📚 7 cites 3 years ago

R.I.P. 👻 Ghosted

flap: A Deterministic Parser with Fused Lexing

Jeremy Yallop, Ningning Xie, Neel Krishnaswami

cs.PL 🏛 PACMPL 📚 7 cites 3 years ago

R.I.P. 👻 Ghosted

Make flows small again: revisiting the flow framework

Roland Meyer, Thomas Wies, Sebastian Wolff

cs.PL 🏛 ICTACAS 📚 7 cites 3 years ago

R.I.P. 👻 Ghosted

Polymorphic Coverage Types

Zhe Zhou, Ashish Mishra, ... (+2 more)

cs.PL 🏛 arXiv 📚 7 cites 3 years ago

R.I.P. 👻 Ghosted

Set-theoretic Types for Erlang

Albert Schimpf, Stefan Wehr, Annette Bieniusa

cs.PL 🏛 ICIAFL 📚 7 cites 3 years ago