🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Decompiling for Constant-Time Analysis

Santiago Arranz-Olmos, Gilles Barthe, ... (+4 more)

cs.PL 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Scheduling Languages: A Past, Present, and Future Taxonomy

Mary Hall, Cosmin Oancea, ... (+5 more)

cs.PL 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Experiences Building an MLIR-based SYCL Compiler

Ettore Tiotto, Víctor Pérez, ... (+6 more)

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

R.I.P. 👻 Ghosted

Reverse-Mode AD of Reduce-by-Index and Scan in Futhark

Lotte Maria Bruun, Ulrik Stuhr Larsen, ... (+2 more)

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Machine Learning-Driven Adaptive OpenMP For Portable Performance on Heterogeneous Systems

Giorgis Georgakoudis, Konstantinos Parasyris, ... (+4 more)

cs.PL 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

AMULET: Adaptive Matrix-Multiplication-Like Tasks

Junyoung Kim, Kenneth Ross, ... (+2 more)

cs.PL 🏛 ICDMNH W 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages

Germán Vidal

cs.PL 🏛 SAC 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines

Javier E. Pimás, Stefan Marr, Diego Garbervetsky

cs.PL 🏛 Programming 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Free Variable as Effect, in Practice

Oleg Kiselyov

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

A flexible specification approach for verifying total correctness of fine-grained concurrent modules

Justus Fasse, Bart Jacobs

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk

cs.PL 🏛 ACM Transactions on Programming Languages and Systems 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions

Zhengyao Lin, Joshua Gancher, Bryan Parno

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Domain-Specific Tensor Languages

Jean-Philippe Bernardy, Patrik Jansson

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Resource Leak Checker (RLC#) for C# Code using CodeQL

Pritam Gharat, Narges Shadab, ... (+3 more)

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Bottom-up computation using trees of sublists (Functional Pearl)

Shin-Cheng Mu

cs.PL 🏛 Journal of functional programming 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Petit programming language and compiler

Raul Barbosa

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Explicit Refinement Types

Jad Elkhaleq Ghalayini, Neel Krishnaswami

cs.PL 🏛 PACMPL 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

A Formalisation of Core Erlang, a Concurrent Actor Language

Péter Bereczky, Dániel Horpácsi, Simon Thompson

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation

Qianchuan Ye, Benjamin Delaware

cs.PL 🏛 PACMPL 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems

Supun Abeysinghe, Fei Wang, ... (+2 more)

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

cs.PL 🏛 Logic in Computer Science 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

A Type System for Julia

Benjamin Chung

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Seamless, Correct, and Generic Programming over Serialised Data

Guillaume Allais

cs.PL 🏛 arXiv 📚 1 cites 2 years ago