🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Coyote C++: An Industrial-Strength Fully Automated Unit Testing Tool

Sanghoon Rho, Philipp Martens, ... (+4 more)

cs.PL 🏛 IWESQ/QuASoQ@APSEC 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Session Types With Multiple Senders Single Receiver (report version)

Zekun Ji, Shuling Wang, Xiong Xu

cs.PL 🏛 ICSETTA 📚 2 cites 2 years ago

🌅 💤 Eternal Rest

Proof Repair across Quotient Type Equivalences

Cosmo Viola, Max Fan, Talia Ringer

cs.PL 🏛 PACMPL 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis

Valentin Touzeau, Jan Reineke

cs.PL 🏛 RTSS 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

A Core Calculus for Documents

Will Crichton, Shriram Krishnamurthi

cs.PL 🏛 PACMPL 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs

Alex Renda, Yi Ding, Michael Carbin

cs.PL 🏛 PACMPL 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories

Younesse Kaddar, Sam Staton

cs.PL 🏛 Mathematical Foundations of Programming Semantics 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

O2ATH: An OpenMP Offloading Toolkit for the Sunway Heterogeneous Manycore Platform

Haoran Lin, Lifeng Yan, ... (+14 more)

cs.PL 🏛 CCF Transactions on High Performance Computing 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Graded Modal Types for Integrity and Confidentiality

Danielle Marshall, Dominic Orchard

cs.PL 🏛 arXiv 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)

Jens Kanstrup Larsen, Roberto Guanciale, ... (+2 more)

cs.PL 🏛 PACMPL 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image

David Kozák, Vojin Jovanovic, ... (+3 more)

cs.PL 🏛 MPLR 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

The Janus System: Multi-paradigm Programming in Prolog and Python

Theresa Swift, Carl Andersen

cs.PL 🏛 ICLP 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Benchmarking for Integrating Logic Rules with Everything Else

Yanhong A. Liu, Scott D. Stoller, ... (+2 more)

cs.PL 🏛 ICLP 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

PEak: A Single Source of Truth for Hardware Design and Verification

Caleb Donovick, Ross Daly, ... (+5 more)

cs.PL 🏛 ACM Transactions on Embedded Computing Systems 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

A Frame Stack Semantics for Sequential Core Erlang

Péter Bereczky, Dániel Horpácsi, Simon Thompson

cs.PL 🏛 ICIAFL 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs

Huiling Wu, Yuxin Deng, Ming Xu

cs.PL 🏛 ICVMCAI 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

A denotationally-based program logic for higher-order store

Frederik Lerbjerg Aagaard, Jonathan Sterling, Lars Birkedal

cs.PL 🏛 Mathematical Foundations of Programming Semantics 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

nelli: a lightweight frontend for MLIR

Maksim Levental, Alok Kamatar, ... (+3 more)

cs.PL 🏛 arXiv 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Targeted Static Analysis for OCaml C Stubs: eliminating gremlins from the code

Edwin Török

cs.PL 🏛 arXiv 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Higher-Order Asynchronous Effects

Danel Ahman, Matija Pretnar

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

R.I.P. 👻 Ghosted

Parametric Subtyping for Structural Parametric Polymorphism

Henry DeYoung, Andreia Mordido, ... (+2 more)

cs.PL 🏛 PACMPL 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Safe asynchronous mixed-choice for timed interactions

Jonah Pears, Laura Bocchi, Andy King

cs.PL 🏛 ICCML 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Typed Design Patterns for the Functional Era

Will Crichton

cs.PL 🏛 FUNARCH 📚 2 cites 2 years ago

R.I.P. 👻 Ghosted

Simple Reference Immutability for System F-sub

Edward Lee, Ondřej Lhoták

cs.PL 🏛 PACMPL 📚 2 cites 2 years ago