Jonathan E. Aldrich, Ph.D.
Affiliations: | 2003 | University of Washington, Seattle, Seattle, WA |
Area:
Computer ScienceGoogle:
"Jonathan Aldrich"Parents
Sign in to add mentor| Craig Chambers | grad student | (E-Tree) | ||
| David Notkin | grad student | 2003 | University of Washington | |
| (Using types to enforce architectural structure.) | ||||
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. |
| Omar C, Aldrich J. (2016) Programmable semantic fragments: the design and implementation of typy Sigplan Notices. 52: 81-92 |
| Fulton N, Omar C, Aldrich J. (2014) Statically typed string sanitation inside a python Psp 2014 - Proceedings of the 2014 Acm Sigplan International Workshop On Privacy and Security in Programming, Part of Splash 2014. 3-10 |
| Garcia R, Tanter É, Wolff R, et al. (2014) Foundations of typestate-oriented programming Acm Transactions On Programming Languages and Systems. 36 |
| Stork S, Naden K, Sunshine J, et al. (2014) Æminium: A permission-based concurrent-by-default programming language approach Acm Transactions On Programming Languages and Systems. 36 |
| Aldrich J, Lima RMF. (2014) Brazilian symposium on programming languages (SBLP 2010) Science of Computer Programming. 80: 51 |
| Cataño N, Ahmed I, Siminiceanu RI, et al. (2014) A case study on the lightweight verification of a multi-threaded task server Science of Computer Programming. 80: 169-187 |
| Abi-Antoun M, Aldrich J, Coelho W. (2007) A case study in re-engineering to enforce architectural control flow and data sharing Journal of Systems and Software. 80: 240-264 |
| Schmerl B, Aldrich J, Garlan D, et al. (2006) Discovering Architectures from Running Systems Ieee Transactions On Software Engineering. 32: 454-466 |
| Malayeri D, Aldrich J. (2006) Practical exception specifications Lecture Notes in Computer Science. 200-220 |
| Aldrich J, Sirer EG, Chambers C, et al. (2003) Comprehensive synchronization elimination for Java Science of Computer Programming. 47: 91-120 |