David Devecsery

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 9

Top Topics

Static Analysis

Information Flows

Garbage Collection

Top Venues

IEEE Symposium on Security and Privacy

IACR Cryptol. ePrint Arch.

Publications

David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached RAM for ANSI C Programs. IACR Cryptol. ePrint Arch. 2022 (2022)
Yibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery
EZEE: Epoch Parallel Zero Knowledge for ANSI C. IACR Cryptol. ePrint Arch. 2022 (2022)
Yibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery
EZEE: Epoch Parallel Zero Knowledge for ANSI C. EuroS&P (2022)
Xiang Cheng, David Devecsery
Creating concise and efficient dynamic analyses with ALDA. ASPLOS (2022)
David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs. IEEE Symposium on Security and Privacy (2021)
Subarno Banerjee, David Devecsery, Peter M. Chen, Satish Narayanasamy
Sound garbage collection for C using pointer provenance. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Subarno Banerjee, David Devecsery, Peter M. Chen, Satish Narayanasamy
Iodine: Fast Dynamic Taint Tracking Using Rollback-free Optimistic Hybrid Analysis. IEEE Symposium on Security and Privacy (2019)
David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy
Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis. ASPLOS (2018)
Andrew Quinn, David Devecsery, Peter M. Chen, Jason Flinn
JetStream: Cluster-Scale Parallelization of Information Flow Queries. OSDI (2016)
David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, Peter M. Chen
Eidetic Systems. OSDI (2014)
Benjamin Wester, David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy
Parallelizing data race detection. ASPLOS (2013)