Thurston H. Y. Dang

Publication Activity (10 Years)

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

Top Topics

Symbolic Representation

Active Learning Strategies

Model Validation

Top Venues

USENIX Security Symposium

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg, Nikos Vasilakis
Practically Correct, Just-in-Time Shell Script Parallelization. OSDI (2022)
Thurston H. Y. Dang, José Pablo Cambronero, Martin C. Rinard
Inferring Drop-in Binary Parsers from Program Executions. CoRR (2021)
José Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard
Active learning for software engineering. Onward! (2019)
Thurston H. Y. Dang, Petros Maniatis, David A. Wagner
Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers. USENIX Security Symposium (2017)
Thurston H. Y. Dang, Petros Maniatis, David A. Wagner
The Performance Cost of Shadow Stacks and Stack Canaries. AsiaCCS (2015)
Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
Symbolic software model validation. MEMOCODE (2013)