🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Automatic Amortized Resource Analysis with Regular Recursive Types

Jessie Grosen, David M. Kahn, Jan Hoffmann

cs.PL 🏛 Logic in Computer Science 📚 5 cites 3 years ago

R.I.P. 👻 Ghosted

Lexicographic Ranking Supermartingales with Lazy Lower Bounds

Toru Takisaka, Libo Zhang, ... (+2 more)

cs.PL 🏛 CAV 📚 5 cites 3 years ago

R.I.P. 👻 Ghosted

The Quantum Effect: A Recipe for QuantumPi

Jacques Carette, Chris Heunen, ... (+2 more)

cs.PL 🏛 PACMPL 📚 5 cites 3 years ago

R.I.P. 👻 Ghosted

Automatic Alignment in Higher-Order Probabilistic Programming Languages

Daniel Lundén, Gizem Çaylak, ... (+2 more)

cs.PL 🏛 European Symposium on Programming 📚 5 cites 3 years ago

R.I.P. 👻 Ghosted

Giving Semantics to Program-Counter Labels via Secure Effects

Andrew K. Hirsch, Ethan Cecchetti

cs.PL 🏛 PACMPL 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

Describing Console I/O Behavior for Testing Student Submissions in Haskell

Oliver Westphal, Janis Voigtländer

cs.PL 🏛 TFPIE 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

Generating Interactive WebSocket Applications in TypeScript

Anson Miu, Francisco Ferreira, ... (+2 more)

cs.PL 🏛 PLACES@ETAPS 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

lospre in linear time

Philipp Klaus Krause

cs.PL 🏛 Software and Compilers for Embedded Systems 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

User-Centered Programming Language Design: A Course-Based Case Study

Michael Coblenz, Ariel Davis, ... (+8 more)

cs.PL 🏛 arXiv 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework

Yusuke Izawa, Hidehiko Masuhara

cs.PL 🏛 Dynamic Languages Symposium 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

Relating Functional and Imperative Session Types

Hannes Saffrich, Peter Thiemann

cs.PL 🏛 ICCML 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)

Julia Belyakova, Benjamin Chung, ... (+4 more)

cs.PL 🏛 PACMPL 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

Automatically Deriving Control-Flow Graph Generators from Operational Semantics

James Koppel, Jackson Kearl, Armando Solar-Lezama

cs.PL 🏛 PACMPL 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

Static Race Detection for RTOS Applications

Rishi Tulsyan, Rekha Pai, Deepak D'Souza

cs.PL 🏛 TCS 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

Sampling Optimized Code for Type Feedback

Olivier Flückiger, Andreas Wälchli, ... (+2 more)

cs.PL 🏛 Dynamic Languages Symposium 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

HACCLE: Metaprogramming for Secure Multi-Party Computation -- Extended Version

Yuyan Bao, Kirshanthan Sundararajah, ... (+18 more)

cs.PL 🏛 ICGPCE 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

Constraint-Logic Object-Oriented Programming with Free Arrays

Jan C. Dageförde, Herbert Kuchen

cs.PL 🏛 ICFCLP W 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

Effects for Efficiency: Asymptotic Speedup with First-Class Control

Daniel Hillerström, Sam Lindley, John Longley

cs.PL 🏛 PACMPL 📚 5 cites 5 years ago

R.I.P. 👻 Ghosted

NetPyNE implementation and rescaling of the Potjans-Diesmanncortical microcircuit model

Cecilia Romaro, Fernando Araujo Najman, ... (+3 more)

cs.PL 🏛 arXiv 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Reconciling progress-insensitive noninterference and declassification

Johan Bay, Aslan Askarov

cs.PL 🏛 CSF 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems

Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan

cs.PL 🏛 CAV 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)

Martin Sulzmann, Kai Stadtmüller

cs.PL 🏛 MPLR 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars

Johannes Mey, Thomas Kühn, ... (+2 more)

cs.PL 🏛 Programming 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Robust Contract Evolution in a TypeSafe MicroServices Architecture

João Costa Seco, Paulo Ferreira, ... (+3 more)

cs.PL 🏛 Programming 📚 5 cites 6 years ago