Faculty

Jason Hickey

Postdoctoral scholars

Cristian Tapus - Doing work on distributed filesystems, distributed shared memory, and distributed algorithms. I am currently working on formalizing speculations in distributed environments.

Graduate Students

David Noblet - Working formal, distributed filesystems and group communication.

Jerome White - Working on distrbuted systems.

Xin Yu - Working on formal reflection.

Former postdocs

Aleksey Nogin - coordinating the work on the MetaPRL system.

Erik Klavins - We focus on controlling a set of autonomous, dynamic vehicles such as unmanned airplanes. The vehicles we consider have limited sensing and communication capabilites, are subject to failure, and are have non-trivial control mechanisms. Thus, controlling the vehicles involves techniques from control, networks and distributed systems.

Former students

Brian Emre Aydemir - Working on developing a formal representation of the MCC FIR. Eventually, we hope to be able to reason about programs and perform higher level program transformations. Currently I am working on formalizing the FIR type system in MetaPRL for use in type-checking.

Adam Granicz - granicz@cs.caltech.edu - I am working on describing programming language syntax and semantics using Phobos and MetaPRL. My goal is to make MC dynamically extensible with new front-end languages.

Justin Smith - Working on the MC compiler and distributed filesystems. Currently I am working on support for migration and transactions that is integrated with the compiler and operating system. Integration with the compiler is basically complete, but we need help from the operating system to migrate file handles and support transactions with I/O operations.

Evan Murphy - working on MojaveFS, a distributed user-level file system.