grants

Current
Aspectual Configuration of Real-time Embedded Middleware*  NSF.
Fault Determination and Recovery in Cycle-Sharing Infrastructures*  NSF.
Assured Software Composition for Real-Time Systems *    NSF HDCP.

Past
Language abstractions for Parallel Computing* IBM PERCS, '04-'06.
ReAssure: A logically destructive imaging computer security and forensics experimental facility.  NSF, MRI , '05-'07.
Partage: An Open Peer-to-Peer Infrastructure for Cycle-Sharing. NSF, ITR #0313026. '03-'06.
Foundations and Implementation of Mobile Object Systems. NSF CAREER #0093282, '01-'06.
Distributed access control for accountable systems. NSF, Trusted Computing #0209083, '02-'06.
Dynamic Compositional Middleware Frameworks for Networked Embedded Systems.  DARPA, PCES, '01-'05.

 past conference program committees

Chair
VEE: Program Chair of the First International Conference on Virtual Execution Environments, 2005 .
COORD
Program Chair of the International Conference on Coordination Models and Languages  COORDINATION 2007.
TRANSACT
General Chair of the Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, 2006.

 
PPPJ: PC member of the International conference on Principles and Practice of Programming in Java (PPPJ), 2006.
ICFP: International Functional Programming Conference, 2005 .
OOPSLA: Object-Oriented Programming Systems, Languages, and Applications, 2000, 2004, 2007, 2008.
COORD: International Conference on Coordination Models and Languages, 2005.
CC: International Conference on Compiler Construction, Warsaw, Poland, 2003.
POPL: Principles of Programming Languages, 2001.
PLDI: Programming Language Design and Implementation, 2002.
ESOP: European Symposium on Programming, 2002, 2007.
ECOOP: European Conference on Object-Oriented Programming, 2003, 2002, 2001, 2000, 1998, 2007.
ICALP: International Conference on Automata, Languages and Programming, 2000.
CD: Component Deployment, 2002, 2004.
ASA/MA: Agent Systems and Applications/ Mobile Agents, 2001.
AISB: Symposium on Software mobility and adaptive behaviour, 2001.
SACMAT: Symposium on Access Control Models and Technologies, 2001.
MASS: Symposium on Multi-Agent Security and Survivability, 2004.
SecCo: Workshop on Security Issues in Concurrency, 2003, 2004, 2007.
FOCLASA: Foundations of Coordination Languages and Software Architectures, 2007.

Organizer
TIC: Organized the First International Summer School on Emerging Trends in Concurrency, 2006.
TfT: I co-organized the Dagstuhl Workshop on Types for Tools: Applications of Type Theoretic Techniques to Software Engineering Tools, Seminar N 05251 June 2005.

 past workshops organization and committees

 
HCSP: National Workshop on High Confidence Software Platforms for Cyber-Physical Systems, 2006.
ICOOOLPS: PC member of Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. (ICOOOLPS), 2006.
FTfJP: 7th Workshop on Formal Techniques for Java-like Programs, 2005.
CORDIE: PC member of the Workshop on Concurrency, Real-Time and Distribution in Eiffel (CORDIE), 2006.
JTRes: Workshop on Java Technologies for Real-Time and Embedded Systems, 2008, 2007, 2006, 2005, 2004, 2003.
AIOOL: 1st International Workshop on Abstract Interpretation of Object-oriented Languages, 2005.
CSJP: Workshop on Concurrency and Synchronization in Java Programs, 2004.
SecCo: Workshop on Security Issues in Coordination Models, Languages and Systems, 2003, 2004.
IWACO: International Workshop on Aliasing, Confinement and Ownership, 2003, 2007.
PLAS: Workshop on Programming Languages and Analysis for Security, 2007.
OOPS: Object Oriented Programming Languages and Systems 2005, 2004.
ACP4IS: AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software, 2003, 2004.
FOCLASA: International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005.
JFLA: Journées Francophones des Langages Applicatifs, 2000, 1998, 1995.
MOS: Mobile Objects Systems Workshop, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995.
DOSW: Distributed Object Security Workshop, 1999.
IWAOOS: Intercontinental Workshop on Aliasing in Object-Oriented Systems, 1999.

 

 other activities

  Tutorial chair for PLDI 2005 [submit] [tutorials]  
  Organizer of the Dagstuhl Workshop: "Types for Tools: Applications of Type Theoretic Techniques to Software Engineering Tools", 2005  

 

 invited talks and presentations

  Invited talk on "Language-based Intrusion Detection", Foundations of Computer Security - FCS'05, Chicago, 2005.  
  Invited talk on "Coordination and Security", International School on Foundations of Security Analysis and Design FOSAD 2004    [slides]  [Pictures]  

 

 past students

PhD :
 Bogdan Carbunar PhD05 (Motorla Research Labs), Krzysztof Palacz PhD04 (Sun Research), Rajeev Gopalakrishna, PhD06 (Intel Research)
MSc:
 Hiroshi Yamauchi MSc'07 (Google), Jason Baker MSc'07 (Google), Andrei Madan MSc'04 (Medtronics), Jason Fox MSc'03 (JPL), Gergana Markova MSc'03 (IBM), James Liang MSc '02, (Sandia).
Post doc:
 Marek Prochazka 03-04, Michael Richmond 03 (IBM), Jeremy Manson 06 (Google), Jean Privat 07 (Universite du Quebeq)
Undegrad:
 Zachary Wiggins, Andrew McClure, Paul Kuliniewicz BSc'03 (Purdue), Javed Siddique BSc'03 (Purdue), Allen Montz BSc'03, Ben Titzer BSc '02 (UCLA),, Chris Willmore, Adam Lugowski, Josh Moore BSc'04, Wenchang Liu BSc'03 (Purdue).

 

 odds and ends


After/Before

  

"I understand radiation better and feel like I could survive an atomic explosion somewhere on the planet, if it wasn't, of course, really close to me."

Amazon.com review of 'All About Radiation' by L. Ron Hubbard.

Joel: Is there any risk of brain damage?
Howard: Well, technically speaking, the operation is brain damage, but it's on a par with a night of heavy drinking. Nothing you'll miss.

-- Eternal Sunshine of the Spotless Mind

 
   

"DOS computers manufactured by companies such as IBM, Compaq, Tandy, and millions of others are by far the most popular, with about 70 million machines in use worldwide. Macintosh fans, on the other hand, may note that cockroaches are far more numerous than humans, and that numbers alone do not denote a higher life form."

-- New York Times, November 26, 1991.

"Dad, do say the Pledge of Allegiance at work? ... Ah. ... Maybe you should,... you know... to be a little bit part of this country..."

-- Nadia Marie Vitek, Age 8.

        

Job search details. Getting letters of recommendation. What to do when you are not you advisor's favorite? Benjamin Pierce's advice on how to write a PhD thesis, how to get your paper accepted at OOPSLA, how to get rejected at SIGGRAPH, more rejection advice, how to give a talk. Graduate advice by Micheal Ernst. Tips on interviewing.