☰

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"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

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

Collaborators

Sign in to add collaborator
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.

Interlandi M, Tetali SD, Gulzar MA, et al. (2016) Optimizing Interactive Development of Data-Intensive Applications. Proceedings of the ... Acm Symposium On Cloud Computing [Electronic Resource] : Socc ... ... Socc (Conference). 2016: 510-522
Millstein T. (2016) Technical Perspective: Toward reliable programming for unreliable hardware Communications of the Acm. 59: 82-82
Marino D, Singh A, Millstein T, et al. (2016) DRFx: An understandable, high performance, and flexible memory model for concurrent languages Acm Transactions On Programming Languages and Systems. 38
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
Millstein T. (2014) OOPSLA program chair's welcome Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. v
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
Singh A, Marino D, Narayanasamy S, et al. (2012) Efficient processor support for DRFx, a memory model with exceptions Acm Sigplan Notices. 47: 53-65
See more...