Alessandro Warth, Ph.D.
Affiliations: | 2009 | University of California, Los Angeles, Los Angeles, CA |
Area:
programming language design; static type systems; program analysis; software model checking; formal methods; compilersGoogle:
"Alessandro Warth"Parents
Sign in to add mentor| Todd Millstein | grad student | 2009 | UCLA | |
| (Experimenting with programming languages.) | ||||
BETA: Related publications
See more...
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. |
| Samimi H, Warth A, Eslamimehr M, et al. (2015) Constraints as a design pattern Onward! 2015 - Proceedings of the 2015 Acm International Symposium On New Ideas, New Paradigms, and Reflections On Programming and Software, Part of Splash 2015. 28-43 |
| 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, Frost C, Ryder J, et al. (2009) Expressive and modular predicate dispatch for Java Acm Transactions On Programming Languages and Systems. 31 |
| Warth A, Douglass JR, Millstein T. (2008) Packrat parsers can support left recursion Proceedings of the Acm Sigplan Symposium On Partial Evaluation and Semantics-Based Program Manipulation. 103-110 |
| Warth A, Stanojević M, Millstein T. (2006) Statically scoped object adaptation with expanders Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 2006: 37-56 |