🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

(Leftmost-Outermost) Beta Reduction is Invariant, Indeed

Beniamino Accattoli, Ugo Dal Lago

cs.PL 🏛 CSL-LICS 📚 97 cites 10 years ago

R.I.P. 👻 Ghosted

Simplicity: A New Language for Blockchains

Russell O'Connor

cs.PL 🏛 PLAS@CCS 📚 95 cites 8 years ago

R.I.P. 👻 Ghosted

HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics

Shumo Chu, Konstantin Weitz, ... (+2 more)

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

R.I.P. 👻 Ghosted

TensorFlow Eager: A Multi-Stage, Python-Embedded DSL for Machine Learning

Akshay Agrawal, Akshay Naresh Modi, ... (+9 more)

cs.PL 🏛 USENIX workshop on Tackling computer systems problems with machine learning techniques 📚 92 cites 7 years ago

R.I.P. 👻 Ghosted

When Language Model Meets Private Library

Daoguang Zan, Bei Chen, ... (+4 more)

cs.PL 🏛 EMNLP 📚 92 cites 3 years ago

R.I.P. 👻 Ghosted

Applied Type System: An Approach to Practical Programming with Theorem-Proving

Hongwei Xi

cs.PL 🏛 Types for Proofs and Programs 📚 91 cites 9 years ago

R.I.P. 👻 Ghosted

A Verified Information-Flow Architecture

Arthur Azevedo de Amorim, Nathan Collins, ... (+7 more)

cs.PL 🏛 Journal of computing and security 📚 89 cites 10 years ago

R.I.P. 👻 Ghosted

RustHorn: CHC-based Verification for Rust Programs (full version)

Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi

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

R.I.P. 👻 Ghosted

Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness

Patrick Rein, Stefan Ramson, ... (+3 more)

cs.PL 🏛 Programming 📚 88 cites 7 years ago

R.I.P. 👻 Ghosted

Wasabi: A Framework for Dynamically Analyzing WebAssembly

Daniel Lehmann, Michael Pradel

cs.PL 🏛 ASPLOS 📚 87 cites 7 years ago

R.I.P. 👻 Ghosted

Programmatic and Direct Manipulation, Together at Last

Ravi Chugh, Brian Hempel, ... (+2 more)

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

R.I.P. 👻 Ghosted

Multi-modal Synthesis of Regular Expressions

Qiaochu Chen, Xinyu Wang, ... (+3 more)

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

R.I.P. 👻 Ghosted

Datalog Disassembly

Antonio Flores-Montoya, Eric Schulte

cs.PL 🏛 USENIX Sec 📚 86 cites 6 years ago

R.I.P. 👻 Ghosted

Code Translation with Compiler Representations

Marc Szafraniec, Baptiste Roziere, ... (+4 more)

cs.PL 🏛 ICLR 📚 85 cites 3 years ago

R.I.P. 👻 Ghosted

Compiling ONNX Neural Network Models Using MLIR

Tian Jin, Gheorghe-Teodor Bercea, ... (+9 more)

cs.PL 🏛 arXiv 📚 84 cites 5 years ago

R.I.P. 👻 Ghosted

Dynamic Race Prediction in Linear Time

Dileep Kini, Umang Mathur, Mahesh Viswanathan

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

R.I.P. 👻 Ghosted

Souper: A Synthesizing Superoptimizer

Raimondas Sasnauskas, Yang Chen, ... (+5 more)

cs.PL 🏛 arXiv 📚 83 cites 8 years ago

R.I.P. 👻 Ghosted

Large Language Models for Compiler Optimization

Chris Cummins, Volker Seeker, ... (+9 more)

cs.PL 🏛 arXiv 📚 82 cites 2 years ago

R.I.P. 👻 Ghosted

Perfectly Parallel Fairness Certification of Neural Networks

Caterina Urban, Maria Christakis, ... (+2 more)

cs.PL 🏛 PACMPL 📚 82 cites 6 years ago

R.I.P. 👻 Ghosted

Secure Serverless Computing Using Dynamic Information Flow Control

Kalev Alpernas, Cormac Flanagan, ... (+5 more)

cs.PL 🏛 PACMPL 📚 82 cites 8 years ago

R.I.P. 👻 Ghosted

Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs

Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný

cs.PL 🏛 PACMPL 📚 80 cites 8 years ago

R.I.P. 👻 Ghosted

LightDP: Towards Automating Differential Privacy Proofs

Danfeng Zhang, Daniel Kifer

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

R.I.P. 👻 Ghosted

Machine Learning in Compiler Optimisation

Zheng Wang, Michael O'Boyle

cs.PL 🏛 arXiv 📚 79 cites 7 years ago

R.I.P. 👻 Ghosted

Bridging the Gap between Programming Languages and Hardware Weak Memory Models

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

cs.PL 🏛 PACMPL 📚 79 cites 7 years ago