| |
| | Researchers in Programming Languages and Compilers |
 | | Language design and implementation; specification languages and tools (e.g., Larch); C++ and the Standard Template Library. |
 | | Advanced language and compiler technology for the Scheme programming language; the incorporation of formal methods such as continuation models, type inference, abstract interpretation, etc. as a foundation for such a technology; parallel and distributed computing for symbolic and irregular applications. |
 | | Language implementation, portable multi-threaded runtime systems, code generation; distributed persistent languages, code mobility, thread mobility, autonomous network agents; bidirectional language interfacing, cross-language exception handling. |
| www.cs.cmu.edu /afs/cs.cmu.edu/user/mleone/web/language-people.html (4088 words) |
|