Stop the war!Остановите войну!
for scientists:
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.
a service of 
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-06-26 21:24 CEST 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:
