🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Multi-layer Optimizations for End-to-End Data Analytics

Amir Shaikhha, Maximilian Schleich, ... (+2 more)

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

R.I.P. 👻 Ghosted

Petr4: Formal Foundations for P4 Data Planes

Ryan Doenges, Mina Tahmasbi Arashloo, ... (+8 more)

cs.PL 🏛 PACMPL 📚 19 cites 5 years ago

R.I.P. 👻 Ghosted

Nested Session Types

Ankush Das, Henry DeYoung, ... (+2 more)

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

R.I.P. 👻 Ghosted

Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

Matthijs Vákár

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

R.I.P. 👻 Ghosted

A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper

Peng Fu, Kohei Kishida, ... (+2 more)

cs.PL 🏛 ICRC W 📚 19 cites 5 years ago

R.I.P. 👻 Ghosted

Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version)

Julia Gabet, Nobuko Yoshida

cs.PL 🏛 ECOOP 📚 19 cites 5 years ago

R.I.P. 👻 Ghosted

Unifying graded and parameterised monads

Dominic Orchard, Philip Wadler, Harley Eades

cs.PL 🏛 MSFP@ETAPS 📚 19 cites 6 years ago

R.I.P. 👻 Ghosted

TrABin: Trustworthy Analyses of Binaries

Andreas Lindner, Roberto Guanciale, Roberto Metere

cs.PL 🏛 Science of Computer Programming 📚 19 cites 7 years ago

R.I.P. 👻 Ghosted

Runners in action

Danel Ahman, Andrej Bauer

cs.PL 🏛 European Symposium on Programming 📚 19 cites 6 years ago

R.I.P. 👻 Ghosted

Undecidability of $D_{<:}$ and Its Decidable Fragments

Jason Hu, Ondřej Lhoták

cs.PL 🏛 PACMPL 📚 19 cites 6 years ago

R.I.P. 👻 Ghosted

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

Mario Bravetti, Marco Carbone, ... (+3 more)

cs.PL 🏛 Log. Methods Comput. Sci. 📚 19 cites 6 years ago

R.I.P. 👻 Ghosted

Replication-Aware Linearizability

Constantin Enea, Suha Orhun Mutluergil, ... (+2 more)

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

R.I.P. 👻 Ghosted

Distributed Reactive Programming for Reactive Distributed Systems

Florian Myter, Christophe Scholliers, Wolfgang De Meuter

cs.PL 🏛 Programming 📚 19 cites 7 years ago

R.I.P. 👻 Ghosted

Syntax Error Recovery in Parsing Expression Grammars

Sérgio Medeiros, Fabio Mascarenhas

cs.PL 🏛 SAC 📚 19 cites 7 years ago

R.I.P. 👻 Ghosted

Formal Process Virtual Machine for Smart Contracts Verification

Zheng Yang, Hang Lei

cs.PL 🏛 arXiv 📚 19 cites 7 years ago

R.I.P. 👻 Ghosted

FabULous Interoperability for ML and a Linear Language

Gabriel Scherer, Max New, ... (+2 more)

cs.PL 🏛 Foundations of Software Science and Computation Structure 📚 19 cites 8 years ago

R.I.P. 👻 Ghosted

$α$Check: A mechanized metatheory model-checker

James Cheney, Alberto Momigliano

cs.PL 🏛 TPLP 📚 19 cites 9 years ago

R.I.P. 👻 Ghosted

Proving uniformity and independence by self-composition and coupling

Gilles Barthe, Thomas Espitau, ... (+3 more)

cs.PL 🏛 Logic Programming and Automated Reasoning 📚 19 cites 9 years ago

R.I.P. 👻 Ghosted

Deciding equivalence with sums and the empty type

Gabriel Scherer

cs.PL 🏛 ACM-SIGACT Symposium on Principles of Programming Languages 📚 19 cites 9 years ago

R.I.P. 👻 Ghosted

Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules

Rohit Singh, Armando Solar-Lezama

cs.PL 🏛 arXiv 📚 19 cites 10 years ago

R.I.P. 👻 Ghosted

Demand-Driven Incremental Object Queries

Yanhong A. Liu, Jon Brandvein, ... (+2 more)

cs.PL 🏛 ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming 📚 19 cites 10 years ago

R.I.P. 👻 Ghosted

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)

Stefan Heule, Deian Stefan, ... (+3 more)

cs.PL 🏛 The post 📚 19 cites 11 years ago

R.I.P. 👻 Ghosted

Applied Choreographies

Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli

cs.PL 🏛 Formal Techniques for (Networked and) Distributed Systems 📚 19 cites 10 years ago

R.I.P. 👻 Ghosted

Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs

Moritz Sinn, Florian Zuleger, Helmut Veith

cs.PL 🏛 FM 📚 19 cites 10 years ago