🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses

Maja Hanne Kirkeby

cs.PL 🏛 QAPL 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Automatic generation and verification of test-stable floating-point code

Laura Titolo, Mariano Moscato, Cesar A. Muñoz

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Retentive Lenses

Zirun Zhu, Zhixuan Yang, ... (+2 more)

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

A Streaming Analytics Language for Processing Cyber Data

Eric L. Goodman, Dirk Grunwald

cs.PL 🏛 ICML 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Existential Types for Relaxed Noninterference

Raimil Cruz, Éric Tanter

cs.PL 🏛 Asian Symposium on Programming Languages and Systems 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Polymorphic Relaxed Noninterference

Raimil Cruz, Éric Tanter

cs.PL 🏛 IEEE Cybersecurity Development 📚 1 cites 7 years ago

R.I.P. 👻 Ghosted

Prolog Coding Guidelines: Status and Tool Support

Falco Nogatz, Philipp Körner, Sebastian Krings

cs.PL 🏛 ICLP Technical Communications 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

That's C, baby. C!

Roberto Bagnara

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Dynamic Verification with Observational Equivalence of C/C++ Concurrency

Sanjana Singh, Divyanjali Sharma, Subodh Sharma

cs.PL 🏛 arXiv 📚 1 cites 7 years ago

R.I.P. 👻 Ghosted

Ephemeral Data Handling in Microservices - Technical Report

Saverio Giallorenzo, Fabrizio Montesi, ... (+2 more)

cs.PL 🏛 arXiv 📚 1 cites 7 years ago

R.I.P. 👻 Ghosted

RVSDG: An Intermediate Representation for Optimizing Compilers

Nico Reissmann, Jan Christian Meyer, ... (+2 more)

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

R.I.P. 👻 Ghosted

Program Sketching with Live Bidirectional Evaluation

Justin Lubin, Nick Collins, ... (+2 more)

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Reductions for Safety Proofs (Extended Version)

Azadeh Farzan, Anthony Vandikas

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

A Formal Semantics of Findel in Coq (Short Paper)

Andrei Arusoaie

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Structural and semantic pattern matching analysis in Haskell

Pavel Kalvoda, Tom Sydney Kerckhove

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Predicting All Data Race Pairs for a Specific Schedule (extended version)

Martin Sulzmann, Kai Stadtmüller

cs.PL 🏛 MPLR 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Towards Gradual Checking of Reference Capabilities

Kiko Fernandez-Reyes, Isaac Oscar Gariano, ... (+2 more)

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Memory-Efficient Object-Oriented Programming on GPUs

Matthias Springer

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Type-Based Resource Analysis on Haskell

Franz Siglmüller

cs.PL 🏛 DICE-FOPARA@ETAPS 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Manifest Contracts with Intersection Types

Yuki Nishida, Atsushi Igarashi

cs.PL 🏛 Asian Symposium on Programming Languages and Systems 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Towards a General Framework for Static Cost Analysis of Parallel Logic Programs

Maximiliano Klemen, Pedro Lopez-Garcia, ... (+3 more)

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Explicit and Controllable Assignment Semantics

Dimitri Racordon, Didier Buchs

cs.PL 🏛 arXiv 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Relational Verification via Invariant-Guided Synchronization

Qi Zhou, David Heath, William Harris

cs.PL 🏛 HCVS/PERR@ETAPS 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math

David G. Wonnacott, Peter-Michael Osera

cs.PL 🏛 arXiv 📚 1 cites 6 years ago