Thurston Dang

Thurston Dang

tdang <at> mit.edu | http://people.csail.mit.edu/thurston/


I am a Postdoctoral Associate at MIT CSAIL, working for Prof. Martin Rinard.


I completed my PhD in Computer Science at UC Berkeley, advised by David Wagner and Petros Maniatis. My dissertation was on Towards Improved Mitigations for Two Attacks on Memory Safety.

I received a Master of Arts in Statistics from UC Berkeley, advised by Elchanan Mossel. My thesis was on A Statistical Test for Clades in Phylogenies.

 

Peer-Reviewed Publications

PROGRAMMING LANGUAGES / SYSTEMS SECURITY

  • Cynthia Sturton, Rohit Sinha, Thurston H.Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, and David Wagner. (2013). Symbolic Software Model Validation. 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), 97-108.

COMPUTATIONAL BIOLOGY

  • Justin M. Greene, Pradyot Dash, Sobhan Roy, Curtis McMurtrey, Walid Awad, Jason S. Reed, Katherine B. Hammond, Shaheed Abdulhaqq, Helen L. Wu, Benjamin J. Burwitz, Benjamin F. Roth, David W. Morrow, Julia C. Ford, Guangwu Xu, Joseph Y. Bae, Hugh Crank, Alfred W. Legasse, Thurston H. Dang, Hui Yee Greenaway, Monica Kurniawan, Marielle C. Gold, Melanie J. Harriff, Deborah A. Lewinsohn, Byung S. Park, Michael K. Axthelm, Jeffrey J. Stanton, Scott G. Hansen, Louis J. Picker, Vanessa Venturi, William Hildebrand, Paul G. Thomas, David M. Lewinsohn, Erin J. Adams, and Jonah B. Sacha. (2017). MR1-Restricted Mucosal-Associated Invariant T (MAIT) Cells Respond to Mycobacterial Vaccination and Infection in Nonhuman Primates. Mucosal Immunology, 10, 802-813.


Service

  • Ad hoc reviewer, ACM Transactions on Computer Systems
  • Program committee member, 38th IEEE International Conference on Distributed Computing Systems (ICDCS 2018: Security, Privacy, and Trust in Distributed Systems track)