🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility

Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind

cs.PL 🏛 PACT 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Using Cognitive Computing for Learning Parallel Programming: An IBM Watson Solution

Adrian Calvo Chozas, Suejb Memeti, Sabri Pllana

cs.PL 🏛 ICCS 📚 13 cites 9 years ago

R.I.P. 👻 Ghosted

A Framework for Extending microKanren with Constraints

Jason Hemann, Daniel P. Friedman

cs.PL 🏛 WLP / WFLP 📚 13 cites 9 years ago

R.I.P. 👻 Ghosted

Causally consistent dynamic slicing

Roly Perera, Deepak Garg, James Cheney

cs.PL 🏛 CONCUR 📚 13 cites 9 years ago

R.I.P. 👻 Ghosted

Trees That Grow

Shayan Najd, Simon Peyton Jones

cs.PL 🏛 Journal of universal computer science (Online) 📚 13 cites 9 years ago

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 10 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 1 year 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 1 year 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 2 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 2 years ago

R.I.P. 👻 Ghosted

Search-Based Regular Expression Inference on a GPU

Mojtaba Valizadeh, Martin Berger

cs.PL 🏛 PACMPL 📚 12 cites 2 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