🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

RHLE: Modular Deductive Verification of Relational $\forall\exists$ Properties

Robert Dickerson, Qianchuan Ye, ... (+2 more)

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

R.I.P. 👻 Ghosted

Albert, an intermediate smart-contract language for the Tezos blockchain

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

cs.PL 🏛 Financial Cryptography Workshops 📚 15 cites 6 years ago

R.I.P. 👻 Ghosted

Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)

Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski

cs.PL 🏛 Fundamental Approaches to Software Engineering 📚 15 cites 7 years ago

R.I.P. 👻 Ghosted

Complexity and Information in Invariant Inference

Yotam M. Y. Feldman, Neil Immerman, ... (+2 more)

cs.PL 🏛 PACMPL 📚 15 cites 6 years ago

R.I.P. 👻 Ghosted

ConCert: A Smart Contract Certification Framework in Coq

Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters

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

R.I.P. 👻 Ghosted

Parallel algorithms development for programmable logic devices

Issam Damaj

cs.PL 🏛 J.CST 📚 15 cites 7 years ago

R.I.P. 👻 Ghosted

Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time

Peixin Wang, Hongfei Fu, ... (+3 more)

cs.PL 🏛 PACMPL 📚 15 cites 7 years ago

R.I.P. 👻 Ghosted

User-Directed Loop-Transformations in Clang

Michael Kruse, Hal Finkel

cs.PL 🏛 ICLCIH W 📚 15 cites 7 years ago

R.I.P. 👻 Ghosted

ShareJIT: JIT Code Cache Sharing across Processes and Its Practical Implementation

Xiaoran Xu, Keith Cooper, ... (+3 more)

cs.PL 🏛 PACMPL 📚 15 cites 7 years ago

R.I.P. 👻 Ghosted

Eliminating Unstable Tests in Floating-Point Programs

Laura Titolo, Cesar A. Muñoz, ... (+2 more)

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 15 cites 7 years ago

R.I.P. 👻 Ghosted

Typed Closure Conversion for the Calculus of Constructions

William J. Bowman, Amal Ahmed

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

R.I.P. 👻 Ghosted

Cimple: Instruction and Memory Level Parallelism

Vladimir Kiriansky, Haoran Xu, ... (+2 more)

cs.PL 🏛 PACT 📚 15 cites 7 years ago

R.I.P. 👻 Ghosted

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou

cs.PL 🏛 TPLP 📚 15 cites 8 years ago

R.I.P. 👻 Ghosted

Evaluating Design Tradeoffs in Numeric Static Analysis for Java

Shiyi Wei, Piotr Mardziel, ... (+3 more)

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

R.I.P. 👻 Ghosted

Mailbox Types for Unordered Interactions

Ugo de'Liguoro, Luca Padovani

cs.PL 🏛 ECOOP 📚 15 cites 8 years ago

R.I.P. 👻 Ghosted

Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report

Peixuan Li, Danfeng Zhang

cs.PL 🏛 CSF 📚 15 cites 8 years ago

R.I.P. 👻 Ghosted

The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

Hubert Garavel, Wendelin Serwe

cs.PL 🏛 MARS 📚 15 cites 9 years ago

R.I.P. 👻 Ghosted

Fairness as a Program Property

Aws Albarghouthi, Loris D'Antoni, ... (+2 more)

cs.PL 🏛 arXiv 📚 15 cites 9 years ago

R.I.P. 👻 Ghosted

Programming Language Features for Refinement

Jason Koenig, K. Rustan M. Leino

cs.PL 🏛 Refine@FM 📚 15 cites 9 years ago

R.I.P. 👻 Ghosted

Jolie Community on the Rise

Alexey Bandura, Nikita Kurilenko, ... (+4 more)

cs.PL 🏛 ICSCA 📚 15 cites 9 years ago

R.I.P. 👻 Ghosted

CurryCheck: Checking Properties of Curry Programs

Michael Hanus

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 15 cites 9 years ago

R.I.P. 👻 Ghosted

Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime

Alcides Fonseca, Bruno Cabral, ... (+2 more)

cs.PL 🏛 International journal of parallel programming 📚 15 cites 10 years ago

R.I.P. 👻 Ghosted

COGENT: Certified Compilation for a Functional Systems Language

Liam O'Connor, Christine Rizkallah, ... (+9 more)

cs.PL 🏛 arXiv 📚 15 cites 10 years ago

R.I.P. 👻 Ghosted

Combining behavioural types with security analysis

Massimo Bartoletti, Ilaria Castellani, ... (+8 more)

cs.PL 🏛 J. Log. Algebraic Methods Program. 📚 15 cites 10 years ago