Professor Shivers' principal research interests include the construction of robust, complex software artifacts and the design of tools that assist programmers in this task; the interaction between systems and programming languages, primarily higher-order typed languages; the design and analysis of programming languages; and compilers.
Before coming to Northeastern, he was a research scientist at the Massachusetts Institute of Technology Artificial Intelligence Laboratory, a founder and CTO of the Smartleaf Corporation, and a faculty member at the Georgia Institute of Technology.
Professor Wand focuses on programming-language semantics and their application to compiler correctness.
Throughout the 1990s, Professor Wand examined the verification of optimizing compilers, building an understanding of how a program analysis justifies the program transformation based upon it.
Professor Wand has also explored the related area of type theory, particularly as applied to object-oriented programming. He has been a leader in the study of continuations, a technique for understanding the control structure of programs. With Daniel P. Friedman and Christopher T. Haynes, he wrote Essentials of Programming Languages, a widely used textbook. He is a Fellow of the Association for Computing Machinery.
Justin SlepakI came to Northeastern in 2011, after spending several years studying in Upper Michigan. My current work with Olin Shivers focuses on array-oriented languages as an expressive way to write parallel numeric processing code.
|Matthias Felleisen and Sam Tobin-Hochstadt on performance tools for Racket and Typed Racket. I'm interested in compilers, functional programming and parentheses.|
'Would you tell me, please, which way I ought to go from here?'
I am a fifth-year Ph.D. student. My background is mostly in compiler technology, e.g. dataflow analysis and register allocation.
I currently work with Will Clinger on garbage collection of large heaps with hard asymptotic bounds on space and soft bounds on pause times.
I am also a Larceny developer; I have contributed to the development of Common Larceny, the Larceny x86 code generator, and the Larceny runtime.
Pengcheng WuPhD student in computer science, worked on programming languages and software engineering, especially on Object/Aspect-oriented Software Development technologies.
I was born the son of a poor black sharecropper. My fathers family name being Marshall, and my christian name Joseph, my infant tongue could make of both names nothing longer or more explicit than Joseph Marshall. So, I called myself Joseph Marshall, and came to be called Joseph Marshall.
Some years ago --- never mind how long precisely --- having little or no money in my purse and nothing particular to interest me on shore, I thought I would sail about a little and see the watery part of the world.