Symbolic software model validation. - Cynthia Sturton; Rohit Sinha 001; Thurston H. Y. Dang; Sakshi Jain; Michael McCoyd; Wei Yang Tan; Petros Maniatis; Sanjit A. Seshia; David A. Wagner 001 (MEMOCODE, 2013)

The Performance Cost of Shadow Stacks and Stack Canaries. - Thurston H. Y. Dang; Petros Maniatis; David A. Wagner 001 (AsiaCCS, 2015)

Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers. - Thurston H. Y. Dang; Petros Maniatis; David A. Wagner 001 (USENIX Security Symposium, 2017)

Towards Improved Mitigations for Two Attacks on Memory Safety. - Thurston H. Y. Dang (2017)

Active learning for software engineering. - José Pablo Cambronero; Thurston H. Y. Dang; Nikos Vasilakis; Jiasi Shen 001; Jerry Wu; Martin C. Rinard (Onward!, 2019)

Inferring Drop-in Binary Parsers from Program Executions. - Thurston H. Y. Dang; José Pablo Cambronero; Martin C. Rinard (CoRR, 2021)

Practically Correct, Just-in-Time Shell Script Parallelization. - Konstantinos Kallas; Tammam Mustafa; Jan Bielak; Dimitris Karnikis; Thurston H. Y. Dang; Michael Greenberg 002; Nikos Vasilakis (OSDI, 2022)