Volume 5

DOI: https://doi.org/10.22152/programming-journal.org/2021/5

• Volume 5, Issue 1

  1. SMIE: Weakness is Power!
     Auto-indentation with incomplete information
     Stefan Monnier
  2. Interactive Music and Synchronous Reactive Programming
     Bertrand Petit and Manuel Serrano
  3. Path-Sensitive Atomic Commit
     Local Coordination Avoidance for Distributed Transactions
     Tim Soethout, Tijs van der Storm, and Jurgen Vinju

• Volume 5, Issue 2

  4. ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
     Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, and Bernd Freisleben
  5. Prioritising Server Side Reachability via Inter-process Concolic Testing
     Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, and Coen De Roover
  6. Consistency types for replicated data in a higher-order distributed programming language
     Xin Zhao and Philipp Haller
  7. Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design
     Hsiang-Shang Ko
  8. Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
     Michail Papadimitriou, Juan Fumero, Athanasios Stratikopoulos, Foivos S. Zakkak, and Christos Kotselidis
  10. Advanced Join Patterns for the Actor Model based on CEP Techniques
      Humberto Rodriguez Avila, Joeri De Koster, and Wolfgang De Meuter
  11. Lake symbols for island parsing
      Katsumi Okuda and Shigeru Chiba

  • User Studies

  9. Using Relational Problems to Teach Property-Based Testing
     John Wrenn, Tim Nelson, and Shriram Krishnamurthi

• Volume 5, Issue 3

  12. Transparent Synchronous Dataflow
      Steven W.T. Cheung, Dan R. Ghica, and Koko Muroya
  13. Finding Bugs with Specification-Based Testing is Easy!
      Janice Chin and David Pearce
  14. Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
      Dominik Aumayr, Stefan Marr, Sophie Kaleba, Elisa Gonzalez Boix, and Hanspeter Mössenböck

  • User Studies

  15. Jupyter Notebooks on GitHub: Characteristics and Code Clones
      Malin Källén and Tobias Wrigstad