99 citations · 238 across the 17 of their papers we have counts for
20 papers
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries
Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
Programming errors that degrade the performance of systems are widespread, yet there is little tool support for analyzing these bugs. We present a method based on differential perf…
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Saeid Tizpaz-Niari, Pavol Cerny, Sriram Sankaranarayanan +1
Detection and quantification of information leaks through timing side channels are important to guarantee confidentiality. Although static analysis remains the prevalent approach f…
Quantitative Mitigation of Timing Side Channels
Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
Timing side channels pose a significant threat to the security and privacy of software applications. We propose an approach for mitigating this problem by decreasing the strength o…
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…