David Devecsery

12 papers A* 7A 1Journal 3

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