![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
The 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.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.