🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs

Bastian Hagedorn, Archibald Samuel Elliott, ... (+3 more)

cs.PL 🏛 arXiv 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation

Carol Mak, Luke Ong

cs.PL 🏛 arXiv 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

Gavial: Programming the web with multi-tier FRP

Bob Reynders, Frank Piessens, Dominique Devriese

cs.PL 🏛 Programming 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

Deep Static Modeling of invokedynamic

George Fourtounis, Yannis Smaragdakis

cs.PL 🏛 ECOOP 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

Formalizing Event-Driven Behavior of Serverless Applications

Matthew Obetz, Stacy Patterson, Ana Milanova

cs.PL 🏛 SoCC 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

IR2Vec: LLVM IR based Scalable Program Embeddings

S. VenkataKeerthy, Rohit Aggarwal, ... (+4 more)

cs.PL 🏛 arXiv 📚 10 cites 6 years ago

🌅 🌅 Old Age

Deciding Memory Safety for Single-Pass Heap-Manipulating Programs

Umang Mathur, Adithya Murali, ... (+3 more)

cs.PL 🏛 PACMPL 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

Multiparty Session Type-safe Web Development with Static Linearity

Jonathan King, Nicholas Ng, Nobuko Yoshida

cs.PL 🏛 PLACES@ETAPS 📚 10 cites 7 years ago

R.I.P. 👻 Ghosted

The Mathematical Specification of the Statebox Language

Statebox Team, Fabrizio Genovese, Jelle Herold

cs.PL 🏛 arXiv 📚 10 cites 7 years ago

R.I.P. 👻 Ghosted

Mandala: A Smart Contract Programming Language

Markus Knecht

cs.PL 🏛 arXiv 📚 10 cites 6 years ago

🌅 🌅 Old Age

Deterministic Parallel Fixpoint Computation

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur

cs.PL 🏛 PACMPL 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

Kindly Bent to Free Us

Gabriel Radanne, Hannes Saffrich, Peter Thiemann

cs.PL 🏛 PACMPL 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

LNL-FPC: The Linear/Non-linear Fixpoint Calculus

Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev

cs.PL 🏛 Log. Methods Comput. Sci. 📚 10 cites 6 years ago

R.I.P. 👻 Ghosted

Efficient Synthesis with Probabilistic Constraints

Samuel Drews, Aws Albarghouthi, Loris D'Antoni

cs.PL 🏛 CAV 📚 10 cites 7 years ago

R.I.P. 👻 Ghosted

Effects Without Monads: Non-determinism -- Back to the Meta Language

Oleg Kiselyov

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

R.I.P. 👻 Ghosted

Revec: Program Rejuvenation through Revectorization

Charith Mendis, Ajay Jain, ... (+2 more)

cs.PL 🏛 ICCC 📚 10 cites 7 years ago

R.I.P. 👻 Ghosted

REAS: Combining Numerical Optimization with SAT Solving

Jeevana Priya Inala, Sicun Gao, ... (+2 more)

cs.PL 🏛 arXiv 📚 10 cites 8 years ago

R.I.P. 👻 Ghosted

Embracing the Laws of Physics: Three Reversible Models of Computation

Jacques Carette, Roshan P. James, Amr Sabry

cs.PL 🏛 Advances in Computing 📚 10 cites 7 years ago

R.I.P. 👻 Ghosted

An Extended Low Fat Allocator API and Applications

Gregory J. Duck, Roland H. C. Yap

cs.PL 🏛 arXiv 📚 10 cites 8 years ago

R.I.P. 👻 Ghosted

Robustly Safe Compilation or, Efficient, Provably Secure Compilation

Marco Patrignani, Deepak Garg

cs.PL 🏛 arXiv 📚 10 cites 8 years ago

R.I.P. 👻 Ghosted

Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain

Anthony Anjorin, Enes Yigitbas, ... (+4 more)

cs.PL 🏛 Programming 📚 10 cites 8 years ago

R.I.P. 👻 Ghosted

A promise checked is a promise kept: Inspection Testing

Joachim Breitner

cs.PL 🏛 Haskell@ICFP 📚 10 cites 8 years ago

R.I.P. 👻 Ghosted

Discriminating Traces with Time

Saeid Tizpaz-Niari, Pavol Cerny, ... (+3 more)

cs.PL 🏛 ICTACAS 📚 10 cites 9 years ago

R.I.P. 👻 Ghosted

Open Programming Language Interpreters

Walter Cazzola, Albert Shaqiri

cs.PL 🏛 Programming 📚 10 cites 9 years ago