moi

 

Associate Professor in the Computer Sciences Department.
Founding Member of the Secure Software Systems Lab.
Academic Visitor at IBM's T.J. Waston research center.
Affiliated to Purdue's CERIAS center.

s3      s3          cerias   
    

Programming languages. Virtual Machines. Program analysis and optimization. With applications to information security; real-time embedded systems; distributed programming. more...

Publications, and also DBLP, and Citeseer .

Curriculum Vitae


MBA
Open source model-based protein backbone resonance assignment.
Ovm
Customizable open source Real-time Virtual Machine.
Prismj
ScanEagle UAV with Java on board.

 more...
Some grants. The department's list. The S3 Lab's sponsors.

PhD and Postdoc Positions open in the S3Lab
PLACES: Invited talk on Concurrency and Real-time at PLACES'08.
ECOOP: PC Chair of the European Conference on Object-Oriented Programming, ECOOP 2008.
JSR302
I am on the expert group for JSR 302: Safety Critical Java Technology.
WG2.4
I am organizing the 2008 IFIP WG2.4 meeting in Bormio.
TiC08
I am a program chair for TiC08 the second International Summer School on Trends in Concurrency.

Program Committees:
POPL: ACM Conference on Principles of Programming Language , POPL 2008.
CSF: IEEE Computer Security Foundations Symposium, CSF 2008.
CC: Conference on Compiler Construction, CC 2008.
CPS: International Workshop on Cyber-Physical Systems, 2008.
OOPSLA: Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2008.
ESOP: European Symposium on Programming, ESOP 2009.
Bytecode: First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, 2007, 2008.
JTRes: Workshop on Java Technologies for Real-Time and Embedded Systems, 2008.
more...  

 
PhD : Filip Pizlo, Jacques Thomas, Bin Xin, Johan Ostlund, Jesper Spring.
Post doc: Tomas Kalibera, Tobias Wrigstad, Toni Cunei.
Colleagues:
David Clarke, Giuseppe Castagna, Yvonne Coady, G. Czakowski, Ananth Grama, Christian Grothoff, Rachid Guerraoui, David Holmes, Tony Hosking, Urs Hoelzle, R. Nigel Horspool, Suresh Jagannathan, Andreas Krall, Doug Lea, Jeremy Manson, James Noble, Manuel Oriol, Jens Palsberg, Jean Privat, Bill Pugh, Peter Sewell, Olga Vitek, Dominic Duggan, Viverk Sarkar, Francesco Zappa Nardelli, Tian Zhao

CS565 Programming Languages,Fall 08.
CS590v Advanced Programming Languages Seminar, Spring 08, Fall 08
CS456 Programming Languages, Fall 07, Spring '04, Spring '01.
CS510 Software Engineering, Fall '06, Spring '05, Spring '00, Fall '00, Spring '02.
CS591Y Software Systems Seminar, Fall '06.
VEE Virtual Execution Environments, Spring '06, EPFL.
CS406 Software Engineering, Spring '03, Spring '05.
CS690V Security for Mobile Code, Fall '99.
CS590V Resource-aware computing, Spring '03.

 


Dept of Computer Sciences, Purdue University, West Lafayette, IN 47907, USA
Tel. : (765) 494 6531  Fax : (765) 494 0739  Cell: (765) 409 2176