🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

A Unified Framework for Quantitative Cache Analysis

Sophie Kahlen, Jan Reineke

cs.PL 🏛 IEEE Real Time Technology and Applications Symposium 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Hercules: A Compiler for Productive Programming of Heterogeneous Systems

Russel Arbore, Aaron Councilman, ... (+4 more)

cs.PL 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes

Thomas Bagrel, Arnaud Spiwack

cs.PL 🏛 PACMPL 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Can Proof Assistants Verify Multi-Agent Systems?

Julian Alfredo Mendez, Timotheus Kampik

cs.PL 🏛 European Workshop on Multi-Agent Systems 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Pydrofoil: accelerating Sail-based instruction set simulators

Carl Friedrich Bolz-Tereick, Luke Panayi, ... (+3 more)

cs.PL 🏛 ECOOP 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM

Shahram Esmaeilsabzali, Arayi Khalatyan, ... (+3 more)

cs.PL 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software

Nikolaus Huber, Susanne Graf, ... (+2 more)

cs.PL 🏛 ICCML 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

On the State of Coherence in the Land of Type Classes

Dimi Racordon, Eugene Flesselle, Cao Nguyen Pham

cs.PL 🏛 Programming 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Meta-compilation of Baseline JIT Compilers with Druid

Nahuel Palumbo, Guillermo Polito, ... (+2 more)

cs.PL 🏛 Programming 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Conversational Concurrency with Dataspaces and Facets

Sam Caldwell, Tony Garnock-Jones, Matthias Felleisen

cs.PL 🏛 Programming 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

PolyDebug: A Framework for Polyglot Debugging

Philémon Houdaille, Djamel Eddine Khelladi, ... (+3 more)

cs.PL 🏛 Programming 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Evolution Language Framework for Persistent Objects

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

cs.PL 🏛 Programming 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Two Approaches for Programming Education in the Domain of Graphics: An Experiment

Luca Chiodini, Juha Sorva, ... (+3 more)

cs.PL 🏛 Programming 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Multi-Language Probabilistic Programming

Sam Stites, John M. Li, Steven Holtzen

cs.PL 🏛 PACMPL 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

The Simulation Semantics of Synthesisable Verilog

Andreas Lööw

cs.PL 🏛 PACMPL 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Adaptive Shielding via Parametric Safety Proofs

Yao Feng, Jun Zhu, ... (+2 more)

cs.PL 🏛 PACMPL 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Inductive Synthesis of Inductive Heap Predicates -- Extended Version

Ziyi Yang, Ilya Sergey

cs.PL 🏛 PACMPL 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

A Unified Framework for Initial Semantics

Thomas Lamiaux, Benedikt Ahrens

cs.PL 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges

David Kozak, Codrut Stancu, ... (+2 more)

cs.PL 🏛 IEEE/ACM International Symposium on Code Generation and Optimization 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report

Marco Giunti, Nobuko Yoshida

cs.PL 🏛 European Symposium on Programming 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

A Modular Program-Transformation Framework for Reducing Specifications to Reachability

Dirk Beyer, Marek Jankola, ... (+3 more)

cs.PL 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems

Ed Younis

cs.PL 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms

Ziad Ismaili Alaoui, Detlef Plump

cs.PL 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Verifying Device Drivers with Pancake

Junming Zhao, Miki Tanaka, ... (+11 more)

cs.PL 🏛 arXiv 📚 1 cites 1 year ago