Detecting flaky tests in probabilistic and machine learning applications. - Saikat Dutta 001; August Shi; Rutvik Choudhary; Zhekun Zhang; Aryaman Jain; Sasa Misailovic (ISSTA, 2020)

Speculative Privacy Tracking (SPT): Leaking Information From Speculative Execution Without Compromising Privacy. - Rutvik Choudhary; Jiyong Yu; Christopher W. Fletcher; Adam Morrison 001 (MICRO, 2021)

Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures. - Rutvik Choudhary; Alan Wang 004; Zirui Neil Zhao; Adam Morrison 001; Christopher W. Fletcher (CCS, 2023)

DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version). - Rutvik Choudhary; Alan Wang 004; Zirui Neil Zhao; Adam Morrison 001; Christopher W. Fletcher (CoRR, 2023)