🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

ImageEye: Batch Image Processing Using Program Synthesis

Celeste Barnaby, Qiaochu Chen, ... (+2 more)

cs.PL 🏛 PACMPL 📚 13 cites 3 years ago

R.I.P. 👻 Ghosted

On ML-Based Program Translation: Perils and Promises

Aniketh Malyala, Katelyn Zhou, ... (+2 more)

cs.PL 🏛 ICSE 📚 13 cites 3 years ago

R.I.P. 👻 Ghosted

Bitcoin covenants unchained

Massimo Bartoletti, Stefano Lande, Roberto Zunino

cs.PL 🏛 FM 📚 13 cites 5 years ago

R.I.P. 👻 Ghosted

A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)

Aleksandar S. Dimovski, Sven Apel, Axel Legay

cs.PL 🏛 Fundamental Approaches to Software Engineering 📚 13 cites 5 years ago

R.I.P. 👻 Ghosted

Superoptimization of WebAssembly Bytecode

Javier Cabrera-Arteaga, Shrinish Donde, ... (+5 more)

cs.PL 🏛 ICASEP 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion

Matthijs Vákár

cs.PL 🏛 arXiv 📚 13 cites 5 years ago

R.I.P. 👻 Ghosted

Validating Mathematical Structures

Kazuhiko Sakaguchi

cs.PL 🏛 International Joint Conference on Automated Reasoning 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

SymPas: Symbolic Program Slicing

Yingzhou Zhang

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

R.I.P. 👻 Ghosted

Reconciling Event Structures with Modern Multiprocessors

Evgenii Moiseenko, Anton Podkopaev, ... (+3 more)

cs.PL 🏛 ECOOP 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Model-View-Update-Communicate: Session Types meet the Elm Architecture

Simon Fowler

cs.PL 🏛 Dagstuhl Artifacts Ser. 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

What's Decidable About Program Verification Modulo Axioms?

Umang Mathur, P. Madhusudan, Mahesh Viswanathan

cs.PL 🏛 ICTACAS 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

Jesús J. Doménech, John P. Gallagher, Samir Genaim

cs.PL 🏛 TPLP 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Resource Analysis driven by (Conditional) Termination Proofs

Elvira Albert, Miquel Bofill, ... (+3 more)

cs.PL 🏛 TPLP 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Coherence of Type Class Resolution

Gert-Jan Bottu, Ningning Xie, ... (+2 more)

cs.PL 🏛 PACMPL 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Relational Cost Analysis for Functional-Imperative Programs

Weihao Qu, Marco Gaboardi, Deepak Garg

cs.PL 🏛 PACMPL 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

Static Program Analysis for String Manipulation Languages

Vincenzo Arceri, Isabella Mastroeni

cs.PL 🏛 VPT@Programming 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

Syntax and Semantics of Cedille

Aaron Stump, Christopher Jenkins

cs.PL 🏛 arXiv 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

From high-level inference algorithms to efficient code

Rajan Walia, Praveen Narayanan, ... (+3 more)

cs.PL 🏛 PACMPL 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

Executable Operational Semantics of Solidity

Jiao Jiao, Shuanglong Kan, ... (+4 more)

cs.PL 🏛 arXiv 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Efficient Gradual Typing

Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek

cs.PL 🏛 arXiv 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Quantifying Program Bias

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

cs.PL 🏛 arXiv 📚 13 cites 9 years ago

R.I.P. 👻 Ghosted

Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications

Laure Philips, Joeri De Koster, ... (+2 more)

cs.PL 🏛 Programming 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Typesafe Abstractions for Tensor Operations

Tongfei Chen

cs.PL 🏛 SCALA@SPLASH 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)

Amin Timany, Matthieu Sozeau

cs.PL 🏛 arXiv 📚 13 cites 8 years ago