Todd Millstein

Affiliations: 
Computer Science University of California, Los Angeles, Los Angeles, CA 
Area:
programming language design; static type systems; program analysis; software model checking; formal methods; compilers
Google:
"Todd Millstein"

Children

Sign in to add trainee
Shane A. Markstrum grad student 2009 UCLA
Alessandro Warth grad student 2009 UCLA
Daniel L. Marino grad student 2011 UCLA
Charles Fleming grad student 2013 UCLA
Peter A. Peterson grad student 2013 UCLA
Hesam Samimi grad student 2013 UCLA
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Marino D, Millstein T, Musuvathi M, et al. (2015) The silently shifting semicolon Leibniz International Proceedings in Informatics, Lipics. 32: 177-189
Felgentreff T, Millstein T, Borning A, et al. (2015) Checks and balances: Constraint solving without surprises in object-constraint programming languages Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 767-782
Samimi H, Deaton C, Ohshima Y, et al. (2014) Call by meaning Onward! 2014 - Proceedings of the 2014 Acm International Symposium On New Ideas, New Paradigms, and Reflections On Programming and Software, Part of Splash 2014. 11-28
Lesani M, Millstein T, Palsberg J. (2014) Automatic atomicity verification for clients of concurrent data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 550-567
Millstein T. (2014) OOPSLA program chair's welcome Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. v
Tetali SD, Lesani M, Majumdar R, et al. (2013) MrCrypt: Static analysis for secure cloud computations Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 271-286
Samimi H, Hicks R, Fogel A, et al. (2013) Declarative mocking 2013 International Symposium On Software Testing and Analysis, Issta 2013 - Proceedings. 246-256
Singh A, Narayanasamy S, Marino D, et al. (2013) A safety-first approach to memory models Ieee Micro. 33: 96-104
Gomez L, Neamtiu I, Azim T, et al. (2013) RERAN: Timing- and touch-sensitive record and replay for Android Proceedings - International Conference On Software Engineering. 72-81
Jeon J, Micinski KK, Vaughan JA, et al. (2012) Dr. android and Mr. hide: Fine-grained permissions in android applications Proceedings of the Acm Conference On Computer and Communications Security. 3-14
See more...