Follow
David Devecsery
David Devecsery
Verified email at gatech.edu - Homepage
Title
Cited by
Cited by
Year
Eidetic systems
D Devecsery, M Chow, X Dou, J Flinn, PM Chen
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
1382014
Parallelizing data race detection
B Wester, D Devecsery, PM Chen, J Flinn, S Narayanasamy
Proceedings of the eighteenth international conference on Architectural …, 2013
612013
Optimistic hybrid analysis: Accelerating dynamic analysis through predicated static analysis
D Devecsery, PM Chen, J Flinn, S Narayanasamy
Proceedings of the Twenty-Third International Conference on Architectural …, 2018
422018
Iodine: Fast dynamic taint tracking using rollback-free optimistic hybrid analysis
S Banerjee, D Devecsery, PM Chen, S Narayanasamy
2019 IEEE Symposium on Security and Privacy (SP), 490-504, 2019
372019
{JetStream}:{Cluster-Scale} Parallelization of Information Flow Queries
A Quinn, D Devecsery, PM Chen, J Flinn
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016
342016
Zero knowledge for everything and everyone: Fast ZK processor with cached ORAM for ANSI C programs
D Heath, Y Yang, D Devecsery, V Kolesnikov
2021 IEEE Symposium on Security and Privacy (SP), 1538-1556, 2021
282021
Ezee: Epoch parallel zero knowledge for ansi c
Y Yang, D Heath, V Kolesnikov, D Devecsery
2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P), 109-123, 2022
102022
Keeping patient beds in a low position: An exploratory descriptive study to continuously monitor the height of patient beds in an adult acute surgical inpatient care setting
HM Tzeng, A Prakash, M Brehob, D Andrew Devecsery
Contemporary nurse 41 (2), 184-189, 2012
102012
Sound garbage collection for C using pointer provenance
S Banerjee, D Devecsery, PM Chen, S Narayanasamy
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
72020
How feasible was a bed-height alert system?
HM Tzeng, A Prakash, M Brehob, A Anderson, DA Devecsery, CY Yin
Clinical nursing research 22 (3), 300-309, 2013
52013
A case for custom silicon in enabling low-cost information technology for developing regions
ZY Foo, D Devecsery, T Schmid, N Clark, R Frank, M Ghaed, Y Kuo, I Lee, ...
Proceedings of the First ACM Symposium on Computing for Development, 1-10, 2010
32010
Creating concise and efficient dynamic analyses with ALDA
X Cheng, D Devecsery
Proceedings of the 27th ACM International Conference on Architectural …, 2022
22022
Enabling program analysis through deterministic replay and optimistic hybrid analysis
D Devecsery
22018
"A Low-Cost Audio Computer for Information Dissemination Among Illiterate People Groups"
Z Foo, D Devescery, MH Ghaed, I Lee, A Madhavan, YS Park, AS Rao, ...
IEEE Transactions on Circuits and Systems, 2013
22013
IODINE
S Banerjee, D Devecsery, PM Chen, S Narayanasamy
IEEE Symposium on Security and Privacy, 2019
2019
2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P)| 978-1-6654-1614-6/22/$31.00© 2022 IEEE| DOI: 10.1109/EUROSP53844. 2022.00051
AM Ahmadian, A Akavia, M Alhanahnah, G Almashaqbeh, G Apruzzese, ...
Fletcher, Christopher 888 Focardi, Riccardo 281 Fogh, Anders
AC Aldaya, V Atlidakis, M Backes, S Banerjee, K Barton, AR Beresford, ...
On Optimally Combining Static and Dynamic Analyses For Intensional Program Properties
R Mangal, D Devecsery, A Orso
Research Contributions
D Devecsery
The system can't perform the operation now. Try again later.
Articles 1–19