🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

LWeb: Information Flow Security for Multi-tier Web Applications

James Parker, Niki Vazou, Michael Hicks

cs.PL 🏛 PACMPL 📚 36 cites 7 years ago

R.I.P. 👻 Ghosted

Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts

Bruno Bernardo, Raphaël Cauderlier, ... (+3 more)

cs.PL 🏛 FM W 📚 36 cites 6 years ago

R.I.P. 👻 Ghosted

Practical Optional Types for Clojure

Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt

cs.PL 🏛 European Symposium on Programming 📚 36 cites 7 years ago

R.I.P. 👻 Ghosted

Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion

Mitchell Wand, Ryan Culpepper, ... (+2 more)

cs.PL 🏛 PACMPL 📚 36 cites 7 years ago

R.I.P. 👻 Ghosted

Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats

Benjamin Delaware, Sorawit Suriyakarn, ... (+3 more)

cs.PL 🏛 PACMPL 📚 36 cites 8 years ago

R.I.P. 👻 Ghosted

The Meaning of Memory Safety

Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce

cs.PL 🏛 The post 📚 36 cites 8 years ago

R.I.P. 👻 Ghosted

The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++

Nathan Chong, Tyler Sorensen, John Wickerson

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

R.I.P. 👻 Ghosted

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation

Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long

cs.PL 🏛 ICSE 📚 36 cites 3 years ago

R.I.P. 👻 Ghosted

Semantics-Guided Synthesis

Jinwoo Kim, Qinheping Hu, ... (+2 more)

cs.PL 🏛 PACMPL 📚 35 cites 5 years ago

R.I.P. 👻 Ghosted

Inferring Inductive Invariants from Phase Structures

Yotam M. Y. Feldman, James R. Wilcox, ... (+2 more)

cs.PL 🏛 CAV 📚 35 cites 6 years ago

R.I.P. 👻 Ghosted

Developing secure Bitcoin contracts with BitML

Nicola Atzei, Massimo Bartoletti, ... (+3 more)

cs.PL 🏛 FSE 📚 35 cites 6 years ago

R.I.P. 👻 Ghosted

Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript

Blake Loring, Duncan Mitchell, Johannes Kinder

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

R.I.P. 👻 Ghosted

Automated Detection of Serializability Violations under Weak Consistency

Kartik Nagar, Suresh Jagannathan

cs.PL 🏛 CONCUR 📚 35 cites 7 years ago

R.I.P. 👻 Ghosted

Higher-Order Program Verification via HFL Model Checking

Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe

cs.PL 🏛 European Symposium on Programming 📚 35 cites 8 years ago

R.I.P. 👻 Ghosted

On Sound Relative Error Bounds for Floating-Point Arithmetic

Anastasiia Izycheva, Eva Darulova

cs.PL 🏛 FM 📚 35 cites 8 years ago

R.I.P. 👻 Ghosted

Proving linearizability using forward simulations

Ahmed Bouajjani, Michael Emmi, ... (+2 more)

cs.PL 🏛 CAV 📚 35 cites 9 years ago

R.I.P. 👻 Ghosted

Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures

Martin Aigner, Christoph M. Kirsch, ... (+2 more)

cs.PL 🏛 ICOPSLA 📚 35 cites 11 years ago

R.I.P. 👻 Ghosted

Foundational Extensible Corecursion

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

cs.PL 🏛 ACM SIGPLAN International Conference on Functional Programming 📚 35 cites 11 years ago

R.I.P. 👻 Ghosted

CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution

Prithwish Jana, Piyush Jha, ... (+4 more)

cs.PL 🏛 ECAI 📚 34 cites 2 years ago

R.I.P. 👻 Ghosted

Learning to Represent Programs with Property Signatures

Augustus Odena, Charles Sutton

cs.PL 🏛 ICLR 📚 34 cites 6 years ago

R.I.P. 👻 Ghosted

Reactive Probabilistic Programming

Guillaume Baudart, Louis Mandel, ... (+4 more)

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

R.I.P. 👻 Ghosted

Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis

Eric L. Seidel, Huma Sibghat, ... (+3 more)

cs.PL 🏛 PACMPL 📚 34 cites 8 years ago

R.I.P. 👻 Ghosted

Set-Theoretic Types for Polymorphic Variants

Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen

cs.PL 🏛 ACM SIGPLAN International Conference on Functional Programming 📚 34 cites 9 years ago

R.I.P. 👻 Ghosted

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly

Jordi Armengol-Estapé, Jackson Woodruff, ... (+2 more)

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