Volume 5, Issue 2

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

  1. 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
  2. Prioritising Server Side Reachability via Inter-process Concolic Testing
    Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, and Coen De Roover
  3. Consistency types for replicated data in a higher-order distributed programming language
    Xin Zhao and Philipp Haller
  4. Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design
    Hsiang-Shang Ko
  5. Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
    Michail Papadimitriou, Juan Fumero, Athanasios Stratikopoulos, Foivos S. Zakkak, and Christos Kotselidis
  1. Advanced Join Patterns for the Actor Model based on CEP Techniques
    Humberto Rodriguez Avila, Joeri De Koster, and Wolfgang De Meuter
  2. Lake symbols for island parsing
    Katsumi Okuda and Shigeru Chiba
  • User Studies

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