From the 1 of 5 linked papers with an AI index.
2 citations · 2 across the 4 of their papers we have counts for
3 papers · 1 filter
Program Analysis for Adaptive Data Analysis
Jiawen Liu, Weihao Qu, Marco Gaboardi +2
Data analyses are usually designed to identify some property of the population from which the data are drawn, generalizing beyond the specific data sample. For this reason, data an…
A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs
June Wunder, Ankush Das, Marco Gaboardi
The paper introduces Willow, a core calculus and type‑and‑effect system that tracks timing effects in render‑based reactive programs, enabling static detection of temporal bugs suc…
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
Cheng Zhang, Qiancheng Fu, Hang Ji +3
This paper presents several efficient decision procedures for trace equivalence of GKAT automata, which make use of on-the-fly symbolic techniques via SAT solvers. To demonstrate a…