SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Adaptive computing systems automatically monitor their behavior and dynamically adjust their own configuration parameters—or knobs—to ensure that user goals are met despite unpredictable external disturbances to the system. A major limitation of prior adaptation frameworks is that their internal adaptation logic is implemented for a specific, narrow set of goals and knobs, which impedes the development of complex adaptive systems that must meet different goals using different sets of knobs for different deployments, or even change goals during one deployment.

To overcome this limitation we propose GOAL, an adaptation framework distinguished by its virtualized adaptation logic implemented independently of any specific goals or knobs. GOAL supports this logic with a programming interface allowing users to define and manipulate a wide range of goals and knobs within a running program. We demonstrate GOAL’s benefits by using it re-implement seven different adaptive systems from the literature, each of which has a different set of goals and knobs. We show GOAL’s general approach meets goals as well as prior approaches designed for specific goals and knobs. In dynamic scenarios where the goals and knobs are modified at runtime, GOAL achieves 93.7% of optimal (oracle) performance while providing a 1.69\times× performance advantage over existing frameworks that cannot perform such dynamic modification.

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

15:30 - 17:00
Program Synthesis, Testing and AdaptationOnward! Papers at Seminar Room G100
Chair(s): Stefan Marr University of Kent
15:30
30m
Talk
Derivations with Holes for Concept-Based Program SynthesisIncludes Demo
Onward! Papers
João Costa Seco NOVA-LINCS; Nova University of Lisbon, Jonathan Aldrich Carnegie Mellon University, Luís Carvalho NOVA-LINCS; Nova University of Lisbon, Bernardo Toninho NOVA-LINCS; Nova University of Lisbon, Carla Ferreira NOVA-LINCS; Nova University of Lisbon
DOI
16:00
30m
Talk
Intramorphic Testing: A New Approach to the Test Oracle Problem
Onward! Papers
Manuel Rigger National University of Singapore, Zhendong Su ETH Zurich
DOI
16:30
30m
Talk
GOAL: Supporting General and Dynamic Adaptation in Computing SystemsVirtual
Onward! Papers
Ahsan Pervaiz University of Chicago, Yao Hsiang Yang Rice University, Adam Duracz Rice University, Ferenc Bartha Rice University, Ryuichi Sai Rice University, Connor Imes University of Chicago, Robert Cartwright Rice University, Krishna Palem Rice University, Shan Lu University of Chicago, Henry Hoffmann University of Chicago
DOI