default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Art, Science, and Engineering of Programming, Volume 8
Volume 8, Number 1, 2024
- Iona Thomas, Vincent Aranega, Stéphane Ducasse, Guillermo Polito, Pablo Tesone:
A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages. - Wendlasida Ouedraogo, Gabriel Scherer
, Lutz Straßburger:
Coqlex: Generating Formally Verified Lexers. - Maxwell Pirtle, Luka Jovanovic, Gene Cooperman:
McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs.
Volume 8, Number 2, 2024
- Javier E. Pimás, Stefan Marr, Diego Garbervetsky:
Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines. - Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi:
Conceptual Mutation Testing for Student Programming Misconceptions. - Lovro Lugovic, Fabrizio Montesi:
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability. - Reiner Hähnle, Ludovic Henrio:
Provably Fair Cooperative Scheduling. - Giuseppe Castagna, Guillaume Duboc, José Valim:
The Design Principles of the Elixir Type System.
Volume 8, Number 3, 2024
- Beatrice Åkerblom, Elias Castegren:
Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM. - Jean-Baptiste Döderlein, Riemer van Rozen, Tijs van der Storm:
LiveRec: Prototyping Probes by Framing Debug Protocols. - Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah:
Privacy-Respecting Type Error Telemetry at Scale. - Patrick Rein, Christian Flach, Stefan Ramson, Eva Krebs, Robert Hirschfeld:
Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment. - Takato Hideshima, Shigeyuki Sato, Tomoharu Ugawa:
Collective Allocator Abstraction to Control Object Spatial Locality in C++. - Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter:
Reactive Programming without Functions. - Marina Shimchenko, Erik Österlund, Tobias Wrigstad:
Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors. - Jack Liell-Cock, Tom Schrijvers:
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
