Onward! 2022
2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2022)

Title Page

Welcome from the Chairs

Contextualized Programming Language Documentation
Hannah Potter, Ardi Madadi, René Just, and Cyrus Omar
(University of Washington, USA; University of Michigan, USA)


@InProceedings{Onward!22p1, author = {Hannah Potter and Ardi Madadi and René Just and Cyrus Omar}, title = {Contextualized Programming Language Documentation}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3563835.3567654}, year = {2022}, } Publisher's Version Published Artifact Artifacts Available

GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Ahsan Pervaiz, Yao Hsiang Yang, Adam Duracz, Ferenc Bartha, Ryuichi Sai, Connor Imes, Robert Cartwright, Krishna Palem, Shan Lu, and Henry Hoffmann
(University of Chicago, USA; Rice University, USA)


@InProceedings{Onward!22p23, author = {Ahsan Pervaiz and Yao Hsiang Yang and Adam Duracz and Ferenc Bartha and Ryuichi Sai and Connor Imes and Robert Cartwright and Krishna Palem and Shan Lu and Henry Hoffmann}, title = {GOAL: Supporting General and Dynamic Adaptation in Computing Systems}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3563835.3567655}, year = {2022}, } Publisher's Version

Exploring Task Equivalence for Software Engineering Practice Adaptation and Replacement
Diana Kirk
(University of Auckland, New Zealand)


@InProceedings{Onward!22p45, author = {Diana Kirk}, title = {Exploring Task Equivalence for Software Engineering Practice Adaptation and Replacement}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3563835.3567656}, year = {2022}, } Publisher's Version

Digital Crochet: Toward a Visual Language for Pattern Description
Klara Seitz, Patrick Rein, Jens Lincke, and Robert Hirschfeld
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)


@InProceedings{Onward!22p67, author = {Klara Seitz and Patrick Rein and Jens Lincke and Robert Hirschfeld}, title = {Digital Crochet: Toward a Visual Language for Pattern Description}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3563835.3567657}, year = {2022}, } Publisher's Version

Derivations with Holes for Concept-Based Program Synthesis
João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, and Carla Ferreira
(NOVA-LINCS, Portugal; Nova University of Lisbon, Portugal; Carnegie Mellon University, USA)


@InProceedings{Onward!22p89, author = {João Costa Seco and Jonathan Aldrich and Luís Carvalho and Bernardo Toninho and Carla Ferreira}, title = {Derivations with Holes for Concept-Based Program Synthesis}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {89-88}, doi = {10.1145/3563835.3567658}, year = {2022}, } Publisher's Version

Bridging the Syntax-Semantics Gap of Programming
Theo B. Weidmann, Sverrir Thorgeirsson, and Zhendong Su
(ETH Zurich, Switzerland)


@InProceedings{Onward!22p111, author = {Theo B. Weidmann and Sverrir Thorgeirsson and Zhendong Su}, title = {Bridging the Syntax-Semantics Gap of Programming}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3563835.3567668}, year = {2022}, } Publisher's Version

A Language Based on Two Relations between Symbols
Agustín Rafael Martínez
(University of Buenos Aires, Argentinia)


@InProceedings{Onward!22p133, author = {Agustín Rafael Martínez}, title = {A Language Based on Two Relations between Symbols}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {133-132}, doi = {10.1145/3563835.3567660}, year = {2022}, } Publisher's Version Archive submitted (1.4 MB)

The Principles of the Flix Programming Language
Magnus Madsen
(Aarhus University, Denmark)


@InProceedings{Onward!22p155, author = {Magnus Madsen}, title = {The Principles of the Flix Programming Language}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {155-154}, doi = {10.1145/3563835.3567661}, year = {2022}, } Publisher's Version

Intramorphic Testing: A New Approach to the Test Oracle Problem
Manuel Rigger and Zhendong Su
(National University of Singapore, Singapore; ETH Zurich, Switzerland)


@InProceedings{Onward!22p177, author = {Manuel Rigger and Zhendong Su}, title = {Intramorphic Testing: A New Approach to the Test Oracle Problem}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3563835.3567662}, year = {2022}, } Publisher's Version

Forest: Structural Code Editing with Multiple Cursors
Philippe Voinov, Manuel Rigger, and Zhendong Su
(ETH Zurich, Switzerland; National University of Singapore, Singapore)


@InProceedings{Onward!22p199, author = {Philippe Voinov and Manuel Rigger and Zhendong Su}, title = {Forest: Structural Code Editing with Multiple Cursors}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {199-198}, doi = {10.1145/3563835.3567663}, year = {2022}, } Publisher's Version Published Artifact Artifacts Available

Portals: An Extension of Dataflow Streaming for Stateful Serverless
Jonas Spenger, Paris Carbone, and Philipp Haller
(RISE, Sweden; KTH Royal Institute of Technology, Sweden; KTH, Sweden)


@InProceedings{Onward!22p221, author = {Jonas Spenger and Paris Carbone and Philipp Haller}, title = {Portals: An Extension of Dataflow Streaming for Stateful Serverless}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {221-220}, doi = {10.1145/3563835.3567664}, year = {2022}, } Publisher's Version

Competitive Debugging: Toward Contests Promoting Debugging as a Skill
Patrick Rein, Tom Beckmann, Leonard Geier, Toni Mattis, and Robert Hirschfeld
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)


@InProceedings{Onward!22p243, author = {Patrick Rein and Tom Beckmann and Leonard Geier and Toni Mattis and Robert Hirschfeld}, title = {Competitive Debugging: Toward Contests Promoting Debugging as a Skill}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {243-242}, doi = {10.1145/3563835.3567665}, year = {2022}, } Publisher's Version Published Artifact Artifacts Available

Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a Concern with Your Familiar Tools and Materials
Marcel Taeumel and Robert Hirschfeld
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)


@InProceedings{Onward!22p265, author = {Marcel Taeumel and Robert Hirschfeld}, title = {Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a Concern with Your Familiar Tools and Materials}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {265-264}, doi = {10.1145/3563835.3568733}, year = {2022}, } Publisher's Version

Conferences & Остраннeние: Shortchanging Topos and Ourselves
Richard P. Gabriel and Jenny Quillien
(Poet, Writer, Computer Scientist, USA; Independent Scholar, Netherlands)


@InProceedings{Onward!22p315, author = {Richard P. Gabriel and Jenny Quillien}, title = {Conferences & Остраннeние: Shortchanging Topos and Ourselves}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {315-314}, doi = {10.1145/3563835.3568734}, year = {2022}, } Publisher's Version

What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming
Ole Lehrmann Madsen and Birger Møller-Pedersen
(Aarhus University, Denmark; University of Oslo, Norway)


@InProceedings{Onward!22p365, author = {Ole Lehrmann Madsen and Birger Møller-Pedersen}, title = {What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {365-364}, doi = {10.1145/3563835.3568735}, year = {2022}, } Publisher's Version

Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System
Joel Jakubovic and Tomas Petricek
(University of Kent, UK; Charles University, Czechia)


@InProceedings{Onward!22p415, author = {Joel Jakubovic and Tomas Petricek}, title = {Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {415-414}, doi = {10.1145/3563835.3568736}, year = {2022}, } Publisher's Version

Bringing Together Configuration Research: Towards a Common Ground
Paul Gazzillo and Myra B. Cohen
(University of Central Florida, USA; Iowa State University, USA)


@InProceedings{Onward!22p465, author = {Paul Gazzillo and Myra B. Cohen}, title = {Bringing Together Configuration Research: Towards a Common Ground}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {465-464}, doi = {10.1145/3563835.3568737}, year = {2022}, } Publisher's Version