🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

JaxDecompiler: Redefining Gradient-Informed Software Design

Pierrick Pochelu

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator

Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Improving Memory Dependence Prediction with Static Analysis

Luke Panayi, Rohan Gandhi, ... (+4 more)

cs.PL 🏛 ARCS 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software

Roman Korostinskiy, Eugene Darashkevich, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Automatic Generation of Python Programs Using Context-Free Grammars

Kamel Yamani, Marwa Naïr, Riyadh Baghdadi

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Message-Observing Sessions

Ryan Kavanagh, Brigitte Pientka

cs.PL 🏛 PACMPL 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Generative Explanations for Program Synthesizers

Amirmohammad Nazari, Souti Chattopadhyay, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Abstracting Denotational Interpreters

Sebastian Graf, Simon Peyton Jones, Sven Keidel

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM

Beatrice Åkerblom, Elias Castegren

cs.PL 🏛 Programming 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Collective Allocator Abstraction to Control Object Spatial Locality in C++

Takato Hideshima, Shigeyuki Sato, Tomoharu Ugawa

cs.PL 🏛 Programming 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

LiveRec: Prototyping Probes by Framing Debug Protocols

Jean-Baptiste Döderlein, Riemer van Rozen, Tijs van der Storm

cs.PL 🏛 Programming 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Making Hybrid Languages: A Recipe

Leif Andersen, Cameron Moy, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Data Transfer Optimizations for Host-CPU and Accelerators in AXI4MLIR

Jude Haris, Nicolas Bohm Agostini, ... (+3 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Algorithmically Expressive, Always-Terminating Model for Reversible Computation

Matteo Palazzo, Luca Roversi

cs.PL 🏛 ICRC W 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Rose: Composable Autodiff for the Interactive Web

Sam Estep, Wode Ni, ... (+2 more)

cs.PL 🏛 Dagstuhl Artifacts Ser. 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog

David C. Norris, Markus Triska

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)

Thien Udomsrirungruang, Nobuko Yoshida

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Context-Sensitive Abstract Interpretation of Dynamic Languages

Franciszek Piszcz

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts

Florian Mayer, Julian Brandner, Michael Philippsen

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Monadic Intersection Types, Relationally (Extended Version)

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

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

R.I.P. 👻 Ghosted

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)

Martin Jonáš, Jan Strejček, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm

Ilia Muravev

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

The Session Abstract Machine (Extended Version)

Luís Caires, Bernardo Toninho

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Parameterized Hardware Design with Latency-Abstract Interfaces

Rachit Nigam, Ethan Gabizon, ... (+4 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago