David Devecsery

According to our database, David Devecsery authored at least 11 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

EZEE: Epoch Parallel Zero Knowledge for ANSI C.

Yibin Yang, David Heath, Vladimir Kolesnikov, David Devecsery

IACR Cryptol. ePrint Arch., 2022

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached RAM for ANSI C Programs.

David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 2022

Creating concise and efficient dynamic analyses with ALDA.

Xiang Cheng, David Devecsery

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs.

David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

Sound garbage collection for C using pointer provenance.

Subarno Banerjee, David Devecsery, Peter M. Chen, Satish Narayanasamy

Proc. ACM Program. Lang., 2020

2019

Iodine: Fast Dynamic Taint Tracking Using Rollback-free Optimistic Hybrid Analysis.

Subarno Banerjee, David Devecsery, Peter M. Chen, Satish Narayanasamy

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2018

Enabling Program Analysis Through Deterministic Replay and Optimistic Hybrid Analysis.

David Devecsery

PhD thesis, 2018

Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis.

David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2016

JetStream: Cluster-Scale Parallelization of Information Flow Queries.

Andrew Quinn, David Devecsery, Peter M. Chen, Jason Flinn

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2014

Eidetic Systems.

David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, Peter M. Chen

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2013

Parallelizing data race detection.

Benjamin Wester, David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013