David Devecsery
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ASPLOS | Creating concise and efficient dynamic analyses with ALDA. | Xiang Cheng, David Devecsery |
| 2021 | SP | Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs. | David Heath, Yibin Yang, David Devecsery, Vladimir Kolesnikov |
| 2019 | SP | Iodine: Fast Dynamic Taint Tracking Using Rollback-free Optimistic Hybrid Analysis. | Subarno Banerjee, David Devecsery, Peter M. Chen, Satish Narayanasamy |
| 2018 | ASPLOS | Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis. | David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy |
| 2016 | OSDI | JetStream: Cluster-Scale Parallelization of Information Flow Queries. | Andrew Quinn, David Devecsery, Peter M. Chen, Jason Flinn |
| 2014 | OSDI | Eidetic Systems. | David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, Peter M. Chen |
| 2013 | ASPLOS | Parallelizing data race detection. | Benjamin Wester, David Devecsery, Peter M. Chen, Jason Flinn, Satish Narayanasamy |