99 citations · 238 across the 17 of their papers we have counts for
3 papers · 1 filter
Type-directed Bounding of Collections in Reactive Programs
Tianhan Lu, Pavol Cerny, Bor-Yuh Evan Chang +1
Our aim is to statically verify that in a given reactive program, the length of collection variables does not grow beyond a given bound. We propose a scalable type-based technique…
Data-Driven Debugging for Functional Side Channels
Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
Information leaks through side channels are a pervasive problem, even in security-critical applications. Functional side channels arise when an attacker knows that a secret value o…
Conflict-Aware Replicated Data Types
Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar +1
We introduce Conflict-Aware Replicated Data Types (CARDs). CARDs are significantly more expressive than Conflict-free Replicated Data Types (CRDTs) as they support operations that…