🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Automatic Kernel Generation for Volta Tensor Cores

Somashekaracharya G. Bhaskaracharya, Julien Demouth, Vinod Grover

cs.PL 🏛 arXiv 📚 29 cites 5 years ago

R.I.P. 👻 Ghosted

An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction

Yannick Zakowski, Paul He, ... (+2 more)

cs.PL 🏛 Certified Programs and Proofs 📚 29 cites 6 years ago

R.I.P. 👻 Ghosted

Executable formal semantics for the POSIX shell

Michael Greenberg, Austin J. Blatt

cs.PL 🏛 PACMPL 📚 29 cites 6 years ago

R.I.P. 👻 Ghosted

Overfitting in Synthesis: Theory and Practice (Extended Version)

Saswat Padhi, Todd Millstein, ... (+2 more)

cs.PL 🏛 CAV 📚 29 cites 6 years ago

R.I.P. 👻 Ghosted

SyGuS-Comp 2018: Results and Analysis

Rajeev Alur, Dana Fisman, ... (+3 more)

cs.PL 🏛 arXiv 📚 29 cites 7 years ago

R.I.P. 👻 Ghosted

Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

Paulius Juodisius, Atrisha Sarkar, ... (+4 more)

cs.PL 🏛 Programming 📚 29 cites 7 years ago

R.I.P. 👻 Ghosted

Probabilistic Relational Reasoning via Metrics

Arthur Azevedo de Amorim, Marco Gaboardi, ... (+2 more)

cs.PL 🏛 Logic in Computer Science 📚 29 cites 7 years ago

R.I.P. 👻 Ghosted

Graduality from Embedding-projection Pairs (Extended Version)

Max S. New, Amal Ahmed

cs.PL 🏛 PACMPL 📚 29 cites 7 years ago

R.I.P. 👻 Ghosted

Relational Symbolic Execution

Gian Pietro Farina, Stephen Chong, Marco Gaboardi

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

R.I.P. 👻 Ghosted

Flow-Sensitive Composition of Thread-Modular Abstract Interpretation

Markus Kusano, Chao Wang

cs.PL 🏛 FSE 📚 29 cites 8 years ago

R.I.P. 👻 Ghosted

A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

Carmen Torres Lopez, Stefan Marr, ... (+2 more)

cs.PL 🏛 Programming with Actors 📚 29 cites 8 years ago

R.I.P. 👻 Ghosted

Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings

Yatin A. Manerkar, Caroline Trippel, ... (+3 more)

cs.PL 🏛 arXiv 📚 29 cites 9 years ago

R.I.P. 👻 Ghosted

Polly's Polyhedral Scheduling in the Presence of Reductions

Johannes Doerfert, Kevin Streit, ... (+2 more)

cs.PL 🏛 arXiv 📚 29 cites 10 years ago

R.I.P. 👻 Ghosted

Quantum Alternation: Prospects and Problems

Costin Bădescu, Prakash Panangaden

cs.PL 🏛 QPL 📚 29 cites 10 years ago

R.I.P. 👻 Ghosted

Gradual Certified Programming in Coq

Éric Tanter, Nicolas Tabareau

cs.PL 🏛 Dynamic Languages Symposium 📚 29 cites 10 years ago

R.I.P. 👻 Ghosted

Efficiently intertwining widening and narrowing

Gianluca Amato, Francesca Scozzari, ... (+3 more)

cs.PL 🏛 Science of Computer Programming 📚 29 cites 11 years ago

R.I.P. 👻 Ghosted

Kickstarting Choreographic Programming

Fabrizio Montesi

cs.PL 🏛 FM 📚 29 cites 11 years ago

R.I.P. 👻 Ghosted

BaCO: A Fast and Portable Bayesian Compiler Optimization Framework

Erik Hellsten, Artur Souza, ... (+8 more)

cs.PL 🏛 ASPLOS 📚 29 cites 3 years ago

R.I.P. 👻 Ghosted

Quantitative Analysis of Assertion Violations in Probabilistic Programs

Jinyi Wang, Yican Sun, ... (+3 more)

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

R.I.P. 👻 Ghosted

Label-Dependent Session Types

Peter Thiemann, Vasco T. Vasconcelos

cs.PL 🏛 PACMPL 📚 28 cites 6 years ago

R.I.P. 👻 Ghosted

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts

Zheng Yang, Hang Lei, Weizhong Qian

cs.PL 🏛 IEEE Access 📚 28 cites 7 years ago

R.I.P. 👻 Ghosted

Faster Variational Execution with Transparent Bytecode Transformation

Chu-Pan Wong, Jens Meinicke, ... (+2 more)

cs.PL 🏛 PACMPL 📚 28 cites 7 years ago

R.I.P. 👻 Ghosted

Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic

Maria I. Gorinova, Andrew D. Gordon, Charles Sutton

cs.PL 🏛 PACMPL 📚 28 cites 7 years ago

R.I.P. 👻 Ghosted

Quasi-Optimal Partial Order Reduction

Huyen T. T Nguyen, César Rodríguez, ... (+3 more)

cs.PL 🏛 Formal methods in system design 📚 28 cites 8 years ago