23 citations · 63 across the 17 of their papers we have counts for
3 papers · 1 filter
Data Flow Refinement Type Inference
Zvonimir Pavlinovic, Yusen Su, Thomas Wies
Refinement types enable lightweight verification of functional programs. Algorithms for statically inferring refinement types typically work by reduction to solving systems of cons…
Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling
Yan Shvartzshnaider, Ananth Balashankar, Vikas Patidar +2
This paper formulates a new task of extracting privacy parameters from a privacy policy, through the lens of Contextual Integrity, an established social theory framework for reason…
TarTar: A Timed Automata Repair Tool
Martin Koelbl, Stefan Leue, Thomas Wies
We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syn…