🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Typing Classes and Mixins with Intersection Types

Jan Bessai, Boris Düdder, ... (+3 more)

cs.PL 🏛 ITRS 📚 7 cites 11 years ago

R.I.P. 👻 Ghosted

A Simple and Practical Linear Algebra Library Interface with Static Size Checking

Akinori Abe, Eijiro Sumii

cs.PL 🏛 ML/OCaml 📚 7 cites 10 years ago

R.I.P. 👻 Ghosted

Nez: practical open grammar language

Kimio Kuramitsu

cs.PL 🏛 SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software 📚 7 cites 10 years ago

R.I.P. 👻 Ghosted

Normalisation by Traversals

C. -H. Luke Ong

cs.PL 🏛 arXiv 📚 7 cites 10 years ago

R.I.P. 👻 Ghosted

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

cs.PL 🏛 ICVMCAI 📚 7 cites 10 years ago

R.I.P. 👻 Ghosted

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version)

Daniel Poetzl, Daniel Kroening

cs.PL 🏛 ICTACAS 📚 7 cites 10 years ago

R.I.P. 👻 Ghosted

A Denotational Semantics for Communicating Unstructured Code

Nils Jähnig, Thomas Göthel, Sabine Glesner

cs.PL 🏛 FESCA 📚 7 cites 11 years ago

R.I.P. 👻 Ghosted

A Falsification View of Success Typing

Robert Jakob, Peter Thiemann

cs.PL 🏛 FM 📚 7 cites 11 years ago

R.I.P. 👻 Ghosted

To what extent can we analyze Kotlin programs using existing Java taint analysis tools? (Extended Version)

Ranjith Krishnamurthy, Goran Piskachev, Eric Bodden

cs.PL 🏛 IEEE Working Conference on Source Code Analysis and Manipulation 📚 7 cites 3 years ago

R.I.P. 👻 Ghosted

Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics

Tian Tan, Yue Li

cs.PL 🏛 arXiv 📚 7 cites 3 years ago

R.I.P. 👻 Ghosted

GAP-Gen: Guided Automatic Python Code Generation

Junchen Zhao, Yurun Song, ... (+2 more)

cs.PL 🏛 EACL 📚 7 cites 4 years ago

R.I.P. 👻 Ghosted

Towards a high-performance AI compiler with upstream MLIR

Renato Golin, Lorenzo Chelini, ... (+6 more)

cs.PL 🏛 arXiv 📚 6 cites 2 years ago

R.I.P. 👻 Ghosted

CoNST: Code Generator for Sparse Tensor Networks

Saurabh Raje, Yufan Xu, ... (+3 more)

cs.PL 🏛 ACM Transactions on Architecture and Code Optimization (TACO) 📚 6 cites 2 years ago

R.I.P. 👻 Ghosted

LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis

Chengpeng Wang, Yifei Gao, ... (+4 more)

cs.PL 🏛 arXiv 📚 6 cites 1 year ago

R.I.P. 👻 Ghosted

Efficient, Portable, Census-Polymorphic Choreographic Programming

Mako Bates, Shun Kashiwa, ... (+4 more)

cs.PL 🏛 PACMPL 📚 6 cites 1 year ago

R.I.P. 👻 Ghosted

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops

Fabian Zaiser, Andrzej S. Murawski, C. -H. Luke Ong

cs.PL 🏛 PACMPL 📚 6 cites 1 year ago

📚 📚 The Cartographer

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

Lena Verscht, Benjamin Lucien Kaminski

cs.PL 🏛 PACMPL 📚 6 cites 1 year ago

R.I.P. 👻 Ghosted

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables

Mathieu Huot, Matin Ghavami, ... (+7 more)

cs.PL 🏛 PACMPL 📚 6 cites 1 year ago

R.I.P. 👻 Ghosted

Parsimonious Optimal Dynamic Partial Order Reduction

Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+3 more)

cs.PL 🏛 CAV 📚 6 cites 2 years ago

R.I.P. 👻 Ghosted

Is Next Token Prediction Sufficient for GPT? Exploration on Code Logic Comprehension

Mengnan Qi, Yufan Huang, ... (+4 more)

cs.PL 🏛 arXiv 📚 6 cites 2 years ago

R.I.P. 👻 Ghosted

Lean4Lean: Verifying a Typechecker for Lean, in Lean

Mario Carneiro

cs.PL 🏛 arXiv 📚 6 cites 2 years ago

R.I.P. 👻 Ghosted

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes

Shuling Wang, Zekun Ji, ... (+4 more)

cs.PL 🏛 ICCS 📚 6 cites 2 years ago

R.I.P. 👻 Ghosted

Incremental Proof Development in Dafny with Module-Based Induction

Son Ho, Clément Pit-Claudel

cs.PL 🏛 arXiv 📚 6 cites 2 years ago

R.I.P. 👻 Ghosted

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts

Aaron Councilman, David Jiahao Fu, ... (+5 more)

cs.PL 🏛 arXiv 📚 6 cites 11 months ago