Parallelizing data race detection. - Benjamin Wester; David Devecsery; Peter M. Chen; Jason Flinn; Satish Narayanasamy (ASPLOS, 2013)

Eidetic Systems. - David Devecsery; Michael Chow; Xianzheng Dou; Jason Flinn; Peter M. Chen (OSDI, 2014)

JetStream: Cluster-Scale Parallelization of Information Flow Queries. - Andrew Quinn 001; David Devecsery; Peter M. Chen; Jason Flinn (OSDI, 2016)

Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis. - David Devecsery; Peter M. Chen; Jason Flinn; Satish Narayanasamy (ASPLOS, 2018)

Enabling Program Analysis Through Deterministic Replay and Optimistic Hybrid Analysis. - David Devecsery (2018)

Iodine: Fast Dynamic Taint Tracking Using Rollback-free Optimistic Hybrid Analysis. - Subarno Banerjee; David Devecsery; Peter M. Chen; Satish Narayanasamy (IEEE Symposium on Security and Privacy, 2019)

Sound garbage collection for C using pointer provenance. - Subarno Banerjee; David Devecsery; Peter M. Chen; Satish Narayanasamy (Proc. ACM Program. Lang., 2020)

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs. - David Heath; Yibin Yang 001; David Devecsery; Vladimir Kolesnikov (SP, 2021)

Creating concise and efficient dynamic analyses with ALDA. - Xiang Cheng; David Devecsery (ASPLOS, 2022)

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached RAM for ANSI C Programs. - David Heath; Yibin Yang 001; David Devecsery; Vladimir Kolesnikov (IACR Cryptol. ePrint Arch., 2022)

EZEE: Epoch Parallel Zero Knowledge for ANSI C. - Yibin Yang 001; David Heath; Vladimir Kolesnikov; David Devecsery (IACR Cryptol. ePrint Arch., 2022)