Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Jonathan Aldrich
My research focuses on languages that help programmers express architectural
properties of their code, and tools that can enforce those properties.
One example of my work is
ArchJava,
a language that integrates architectural specifications into Java code
and uses a type system to ensure that the implementation conforms to the
architectural design. With my students, I'm now exploring ways of
enforcing architectural structure in pure Java using annotations. We're
also looking at other architectural properties, including ordering of
method calls and framework usage constraints. I've also made
contributions to object models, separation logic, and aspect-oriented
programming. For my work on architecture, I received a 2006 NSF CAREER
award and the
2007 Dahl-Nygaard Junior Prize
(CMU press release,
Pop City article).
We have opportunities in the 2007-2008 school year and expect several
for Summer 2008 as well.
Please see the link above for
more information on possible projects, and contact
jonathan.aldrich@cs.cmu.edu
to apply.
Ego - A small research language design that uses a linear type system to statically type changes to the types of objects at run time.
Plaid - A new programming language focused on novel composition mechanisms - More information coming soon!
Formal Methods for Advanced Langauges - Leveraging type systems technology to support model checking in modern object-oriented languages
Language and Analysis Support for Embedded and Real-Time Systems - developing techologies for easing the development of Claytronics and other embedded, real-time systemsi