• Volume 7
• Volume 7: Reviewers

Volume 7

DOI: https://doi.org/10.22152/programming-journal.org/2023/7

• Volume 7, Issue 1

  1. Building a Secure Software Supply Chain with GNU Guix
     Ludovic Courtès
  2. Gradual Soundness: Lessons from Static Python
     Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, and Shriram Krishnamurthi
  3. Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
     Raphael Mosaner, David Leopoldseder, Wolfgang Kisling, Lukas Stadler, and Hanspeter Mössenböck

• Volume 7, Issue 2

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

• Volume 7, Issue 3

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