2 papers
eess.SP2020
The Assurance Monitor Pattern
Adam Duracz, K. Mani Chandy, Mohamed Abdelrahman +5
Some applications require an assurance that certain criteria are violated with only low probability. An alert is generated when the current course of action is likely to violate as…
cs.PL2019
Language Support for Adaptation: Intent-Driven Programming in FAST
Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha +7
Historically, programming language semantics has focused on assigning a precise mathematical meaning to programs. That meaning is a function from the program's input domain to its…