Thurston H. Y. Dang

According to our database, Thurston H. Y. Dang authored at least 7 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Practically Correct, Just-in-Time Shell Script Parallelization.

Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg, Nikos Vasilakis

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

Inferring Drop-in Binary Parsers from Program Executions.

Thurston H. Y. Dang, José Pablo Cambronero, Martin C. Rinard

CoRR, 2021

2019

Active learning for software engineering.

José Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

2017

Towards Improved Mitigations for Two Attacks on Memory Safety.

Thurston H. Y. Dang

PhD thesis, 2017

Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers.

Thurston H. Y. Dang, Petros Maniatis, David A. Wagner

Proceedings of the 26th USENIX Security Symposium, 2017

2015

The Performance Cost of Shadow Stacks and Stack Canaries.

Thurston H. Y. Dang, Petros Maniatis, David A. Wagner

Proceedings of the 10th ACM Symposium on Information, 2015

2013

Symbolic software model validation.

Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013