🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code

Ian Smith

cs.PL 🏛 Sensors Applications Symposium 📚 4 cites 1 year ago

R.I.P. 👻 Ghosted

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics

Keith J. C. Johnson, Rahul Krishnan, ... (+2 more)

cs.PL 🏛 PACMPL 📚 4 cites 1 year ago

R.I.P. 👻 Ghosted

Cage: Hardware-Accelerated Safe WebAssembly

Martin Fink, Dimitrios Stavrakakis, ... (+4 more)

cs.PL 🏛 IEEE/ACM International Symposium on Code Generation and Optimization 📚 4 cites 1 year ago

R.I.P. 👻 Ghosted

Synthesizing Abstract Transformers for Reduced-Product Domains

Pankaj Kumar Kalita, Thomas Reps, Subhajit Roy

cs.PL 🏛 Sensors Applications Symposium 📚 4 cites 1 year ago

R.I.P. 👻 Ghosted

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell

Nikolai Kudasov, Artem Starikov

cs.PL 🏛 arXiv 📚 4 cites 1 year ago

R.I.P. 👻 Ghosted

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency

Farzaneh Derakhshan, Stephanie Balzer, Yue Yao

cs.PL 🏛 Dagstuhl Artifacts Ser. 📚 4 cites 1 year ago

R.I.P. 👻 Ghosted

Full Iso-recursive Types

Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira

cs.PL 🏛 PACMPL 📚 4 cites 1 year ago

R.I.P. 👻 Ghosted

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs

Li-yao Xia, Laura Israel, ... (+5 more)

cs.PL 🏛 PACMPL 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

An Iris for Expected Cost Analysis

Janine Lohse, Deepak Garg

cs.PL 🏛 arXiv 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Wavefront Threading Enables Effective High-Level Synthesis

Blake Pelton, Adam Sapek, ... (+11 more)

cs.PL 🏛 PACMPL 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Compiler support for semi-manual AoS-to-SoA conversions with data views

Pawel K. Radtke, Tobias Weinzierl

cs.PL 🏛 Parallel Processing and Applied Mathematics 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Proving Functional Program Equivalence via Directed Lemma Synthesis

Yican Sun, Ruyi Ji, ... (+4 more)

cs.PL 🏛 FM 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks

Xaver Fabian, Marco Patrignani, ... (+2 more)

cs.PL 🏛 PACMPL 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Abstracting Effect Systems for Algebraic Effect Handlers

Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi

cs.PL 🏛 PACMPL 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors

Marina Shimchenko, Erik Österlund, Tobias Wrigstad

cs.PL 🏛 Programming 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Ozone: Fully Out-of-Order Choreographies

Dan Plyukhin, Marco Peressotti, Fabrizio Montesi

cs.PL 🏛 ECOOP 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

SECOMP: Formally Secure Compilation of Compartmentalized C Programs

Jérémy Thibault, Roberto Blanco, ... (+6 more)

cs.PL 🏛 CCS 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs

Shaan Nagy, Jinwoo Kim, ... (+2 more)

cs.PL 🏛 PACMPL 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version)

Hiroya Fujinami, Ichiro Hasuo

cs.PL 🏛 European Symposium on Programming 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Open Source Prover in the Attic

Zoltán Kovács, Alexander Vujic

cs.PL 🏛 Automated Deduction in Geometry 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Profiling Programming Language Learning

Will Crichton, Shriram Krishnamurthi

cs.PL 🏛 PACMPL 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

LLM-Guided Compositional Program Synthesis

Ruhma Khan, Sumit Gulwani, ... (+4 more)

cs.PL 🏛 arXiv 📚 4 cites 1 year ago

R.I.P. 👻 Ghosted

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)

Haotian Deng, Siyuan He, ... (+3 more)

cs.PL 🏛 PACMPL 📚 4 cites 1 year ago

R.I.P. 👻 Ghosted

Dato: A Task-Based Programming Model for Dataflow Accelerators

Shihan Fang, Hongzheng Chen, ... (+5 more)

cs.PL 🏛 arXiv 📚 4 cites 9 months ago