research
∙
09/08/2023
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)
This paper determines if a callback can be called by an event-driven fra...
share
research
∙
04/02/2022
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
We present a novel approach to differential cost analysis that, given a ...
research
∙
08/18/2021
Selectively-Amortized Resource Bounding (Extended Version)
We consider the problem of automatically proving resource bounds. That i...
research
∙
04/02/2021
Demanded Abstract Interpretation (Extended Version)
We consider the problem of making expressive static analyzers interactiv...
research
∙
06/12/2019
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)
Developing interactive applications (apps) against event-driven software...
research
∙
06/12/2019
Lifestate: Event-Driven Protocols and Callback Control Flow
Developing interactive applications (apps) against event-driven software...
research
∙
10/24/2018
Type-directed Bounding of Collections in Reactive Programs
Our aim is to statically verify that in a given reactive program, the le...
research
∙
08/09/2018
Safe Stream-Based Programming with Refinement Types
In stream-based programming, data sources are abstracted as a stream of ...
research
∙
11/11/2017
Differential Performance Debugging with Discriminant Regression Trees
Differential performance debugging is a technique to find performance pr...
research
∙
08/29/2017