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 7
Volume 7, Number 1, 2023
- Ludovic Courtès:
Building a Secure Software Supply Chain with GNU Guix. 1 - Kuang-Chen Lu
, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi:
Gradual Soundness: Lessons from Static Python. 2 - Raphael Mosaner, David Leopoldseder, Wolfgang Kisling, Lukas Stadler, Hanspeter Mössenböck:
Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks. 3
Volume 7, Number 2, 2023
- Laura Bocchi, Dominic Orchard, A. Laura Voinea:
A Theory of Composing Protocols. - Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen:
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. - Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Little Tricky Logic: Misconceptions in the Understanding of LTL. - Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix:
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things.
Volume 7, Number 3, February 2023
- Eduardo Rosales, Matteo Basso, Andrea Rosà, Walter Binder:
Profiling and Optimizing Java Streams. - Sebastian Kloibhofer, Lukas Makor, David Leopoldseder, Daniele Bonetta, Lukas Stadler, Hanspeter Mössenböck:
Control Flow Duplication for Columnar Arrays in a Dynamic Compiler. - Xueying Qin, Liam O'Connor, Michel Steuwer:
Primrose: Selecting Container Data Types by Their Properties. - Farima Farmahinifarahani, Cristina V. Lopes:
Black Boxes, White Noise: Similarity Detection for Neural Functions. - Joel Jakubovic, Jonathan Edwards, Tomas Petricek:
Technical Dimensions of Programming Systems. - Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks:
Symphony: Expressive Secure Multiparty Computation with Coordination. - Richard P. Gabriel:
Notes on "Notes on the Synthesis of Form": Dawning Insights in Early Christopher Alexander.
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-10 21:27 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:
