🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

A New Functional-Logic Compiler for Curry: Sprite

Sergio Antoy, Andy Jost

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

R.I.P. 👻 Ghosted

Trace semantics for polymorphic references

Guilhem Jaber, Nikos Tzevelekos

cs.PL 🏛 Logic in Computer Science 📚 13 cites 10 years ago

R.I.P. 👻 Ghosted

Predicate Abstraction for Linked Data Structures

Alexander Bakst, Ranjit Jhala

cs.PL 🏛 ICVMCAI 📚 13 cites 11 years ago

R.I.P. 👻 Ghosted

TreatJS: Higher-Order Contracts for JavaScript

Matthias Keil, Peter Thiemann

cs.PL 🏛 Dagstuhl Artifacts Ser. 📚 13 cites 11 years ago

🌅 💤 Eternal Rest

HTVM: Efficient Neural Network Deployment On Heterogeneous TinyML Platforms

Josse Van Delm, Maarten Vandersteegen, ... (+6 more)

cs.PL 🏛 DAC 📚 12 cites 2 years ago

R.I.P. 👻 Ghosted

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages

Federico Mora, Justin Wong, ... (+7 more)

cs.PL 🏛 NeurIPS 📚 12 cites 2 years ago

R.I.P. 👻 Ghosted

Validating Traces of Distributed Programs Against TLA+ Specifications

Horatiu Cirstea, Markus A. Kuppe, ... (+2 more)

cs.PL 🏛 ICSE 📚 12 cites 2 years ago

R.I.P. 👻 Ghosted

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Ishan Bhanuka, Lionel Parreaux, ... (+2 more)

cs.PL 🏛 PACMPL 📚 12 cites 2 years ago

R.I.P. 👻 Ghosted

PERFOGRAPH: A Numerical Aware Program Graph Representation for Performance Optimization and Program Analysis

Ali TehraniJamsaz, Quazi Ishtiaque Mahmud, ... (+3 more)

cs.PL 🏛 NeurIPS 📚 12 cites 3 years ago

R.I.P. 👻 Ghosted

Linear Matching of JavaScript Regular Expressions

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

cs.PL 🏛 PACMPL 📚 12 cites 2 years ago

R.I.P. 👻 Ghosted

Implementation and Synthesis of Math Library Functions

Ian Briggs, Yash Lad, Pavel Panchekha

cs.PL 🏛 PACMPL 📚 12 cites 2 years ago

R.I.P. 👻 Ghosted

Predictive Monitoring against Pattern Regular Languages

Zhendong Ang, Umang Mathur

cs.PL 🏛 PACMPL 📚 12 cites 2 years ago

R.I.P. 👻 Ghosted

3D Environment Modeling for Falsification and Beyond with Scenic 3.0

Eric Vin, Shun Kashiwa, ... (+8 more)

cs.PL 🏛 CAV 📚 12 cites 2 years ago

R.I.P. 👻 Ghosted

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer

Zhengyang Liu, Stefan Mada, John Regehr

cs.PL 🏛 PACMPL 📚 12 cites 3 years ago

R.I.P. 👻 Ghosted

Search-Based Regular Expression Inference on a GPU

Mojtaba Valizadeh, Martin Berger

cs.PL 🏛 PACMPL 📚 12 cites 3 years ago

R.I.P. 👻 Ghosted

Optimal Reads-From Consistency Checking for C11-Style Memory Models

Hünkar Can Tunç, Parosh Aziz Abdulla, ... (+4 more)

cs.PL 🏛 PACMPL 📚 12 cites 3 years ago

R.I.P. 👻 Ghosted

Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators

Pablo Antonio Martínez, Jackson Woodruff, ... (+4 more)

cs.PL 🏛 ICCC 📚 12 cites 3 years ago

R.I.P. 👻 Ghosted

BISM: Bytecode-Level Instrumentation for Software Monitoring

Chukri Soueidi, Ali Kassem, Yliès Falcone

cs.PL 🏛 Runtime Verification 📚 12 cites 5 years ago

R.I.P. 👻 Ghosted

Data Flow Refinement Type Inference

Zvonimir Pavlinovic, Yusen Su, Thomas Wies

cs.PL 🏛 PACMPL 📚 12 cites 5 years ago

R.I.P. 👻 Ghosted

An Abstract Machine for Strong Call by Value

Małgorzata Biernacka, Dariusz Biernacki, ... (+2 more)

cs.PL 🏛 Asian Symposium on Programming Languages and Systems 📚 12 cites 5 years ago

R.I.P. 👻 Ghosted

JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable

Piyush Gupta, Nikita Mehrotra, Rahul Purandare

cs.PL 🏛 ICSME 📚 12 cites 5 years ago

R.I.P. 👻 Ghosted

Differentiating a Tensor Language

Gilbert Bernstein, Michael Mara, ... (+3 more)

cs.PL 🏛 arXiv 📚 12 cites 5 years ago

R.I.P. 👻 Ghosted

Responsive Parallelism with Futures and State

Stefan K. Muller, Kyle Singer, ... (+4 more)

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

R.I.P. 👻 Ghosted

Asynchronous Effects

Danel Ahman, Matija Pretnar

cs.PL 🏛 PACMPL 📚 12 cites 6 years ago