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...

 

Curriculum Vitae, Publications, and also DBLP, and Citeseer. h-index = 31


MBA
Open source model-based protein backbone resonance assignment.
Ovm
Customizable open source Real-time Virtual Machine.
Prismj
ScanEagle UAV with Java on board.
Flexotask
Real-time Concurrent Programming with Flexible Task Graphs.
STMBench7
A benchmark for Software Transactional Memory.

more...

 

Some grants. The department's list. The S3 Lab's sponsors.     Positions open in the S3Lab

 

Upcoming activities:
TOOLS: Keynote at TOOLS'09 in Zurich.
JSR302
I am on the expert group for JSR 302: Safety Critical Java Technology.
ISMM'10
General Chair of the next International Symposium on Memory Management.
TOOLS'10
Program Chair of the next TOOLS Europe Conference in Malaga.

Recent activities:
PLACES: Invited talk on Concurrency and Real-time at PLACES'08.
ECOOP: PC Chair of the European Conference on Object-Oriented Programming, ECOOP 2008.
WG2.4
I organized the 2008 IFIP WG2.4 meeting in Bormio.
TiC08
I organized TiC08 the second International Summer School on Trends in Concurrency.

Program Committees:
ECOOP: European Conference on Object Oriented Programming, 2010.
PLDI: Conference on Programming Language Design and Implementation, 2010.
DATE: DATE Conference, Model Based Design of Embedded Systems track, 2010.
JTRES: Workshop on Java Technologies for Real-Time and Embedded Systems, 2009.
VMIL:

Workshop on Virtual Machines and Intermediate Languages, 2009.

RTSS: IEEE Real-Time System Symposium, 2009.
ECOOP: European Conference on Object Oriented Programming, ECOOP 2009.
ESOP: European Symposium on Programming, ESOP 2009.
COORD: International Conference on Coordination Models and Languages, 2009.
PLACES: Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009.
EUC: IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, 2009.
CPS: International Workshop on Cyber-Physical Systems, 2009.
more...  

 

PhD : Fadi Edward, Petr Maj, Filip Pizlo, Gregor Richards, Daniel Tang, Jacques Thomas, Johan Ostlund, Lei Zhao.
Undergrads: Brian Burg, Rob Gevers.
Post doc: Tomas Kalibera, Sylvain Lebresne, Tobias Wrigstad.
Colleagues:
Josh Auerbach, David Bacon, David Clarke, Giuseppe Castagna, Yvonne Coady, Toni Cunei, G. Czakowski, Ananth Grama, Dan Grossman, John Field, Christian Grothoff, Rachid Guerraoui, Maurice Herlihy, David Holmes, Tony Hosking, Urs Hoelzle, Nigel Horspool, Suresh Jagannathan, Andreas Krall, Doug Lea, Jeremy Manson, James Noble, Nate Nystrom, Manuel Oriol, Jens Palsberg, Jean Privat, Jesper Spring, Martin Soeberl, Bill Pugh, Peter Sewell, Rok Strinsa, Frank Tip, Olga Vitek, Dominic Duggan, Viverk Sarkar, Francesco Zappa Nardelli, Tian Zhao
 past students...

CS590v Embedded and Real-time Computing,Fall 09.
CS590v Principle of Programming Languages Seminar, Spring 08, Fall 08, Spring 09
CS307 Software Engineering,Spring 09.
CS565 Programming Languages,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.
CS406 Software Engineering, Spring '05, Spring '03.
CS590V Resource-aware computing, Spring '03.
CS690V Security for Mobile Code, Fall '99.

 

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