Journal: Programming Journal

Volume 7, Issue 3

0 -- 0Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks 0001. Symphony: Expressive Secure Multiparty Computation with Coordination
0 -- 0Sebastian Kloibhofer, Lukas Makor, David Leopoldseder, Daniele Bonetta, Lukas Stadler, Hanspeter Mössenböck. Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
0 -- 0Richard P. Gabriel. Notes on "Notes on the Synthesis of Form": Dawning Insights in Early Christopher Alexander
0 -- 0Farima Farmahinifarahani, Cristina V. Lopes. Black Boxes, White Noise: Similarity Detection for Neural Functions
0 -- 0Joel Jakubovic, Jonathan Edwards, Tomas Petricek 0001. Technical Dimensions of Programming Systems
0 -- 0Eduardo Rosales 0001, Matteo Basso, Andrea Rosà, Walter Binder. Profiling and Optimizing Java Streams
0 -- 0Xueying Qin, Liam O'Connor, Michel Steuwer. Primrose: Selecting Container Data Types by Their Properties

Volume 7, Issue 2

0 -- 0Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen. Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
0 -- 0Laura Bocchi, Dominic Orchard, A. Laura Voinea. A Theory of Composing Protocols
0 -- 0Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix. Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
0 -- 0Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi. Little Tricky Logic: Misconceptions in the Understanding of LTL

Volume 7, Issue 1

1 -- 0Ludovic Courtès. Building a Secure Software Supply Chain with GNU Guix
2 -- 0Kuang-chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi. Gradual Soundness: Lessons from Static Python
3 -- 0Raphael 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