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, real-time and embedded systems, virtual machines, software engineering, program analysis and optimization, with applications to information security; distributed programming; biocomputing.  more...

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


CDx
CDx : A Family of Real-time Java Benchmarks.
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.

Some grants. The department's list. The S3 Lab's sponsors. Positions open in the S3Lab.   more...
Upcoming activities:
ISMM'10
General Chair of the next International Symposium on Memory Management in Toronto, ISMM 2010.
TOOLS'10
Program Chair of the next TOOLS Europe Conference in Malaga, TOOLS 2010.
JTRES'10
Program Chair of the Workshop on Java Technologies for Real-Time and Embedded Systems inPrague, JTRES 2010.

Recent activities:
JSR302
I am on the expert group for JSR 302: Safety Critical Java Technology.
DLS: Keynote "Of Scripts and Programs: Tall Tales, Urban Legends, and Future Prospects" at DLS'09 in Orlando. (slides)
TOOLS: Keynote on Programming models for Real-time and Concurrency at TOOLS'09 in Zurich. (slides)

Program Committees:
POPL: Principles of Programming Languages, POPL 2011.
ECOOP: European Conference on Object Oriented Programming, ECOOP 2010.
PLDI: Conference on Programming Language Design and Implementation, PLDI 2010.
DATE: DATE Conference, Model Based Design of Embedded Systems track, DATE 2010.
PODC: Symposium on Principles of Distributed Computing, PODC 2010.
IWMSE: Third International Workshop on Multicore Software Engineering, IWMSE 2010.
JTRES: Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009.
VMIL:

Workshop on Virtual Machines and Intermediate Languages, VMIL 2009.
RTSS: IEEE Real-Time System Symposium, RTSS 2009.
ECOOP: European Conference on Object Oriented Programming, ECOOP 2009.
CPS: International Workshop on Cyber-Physical Systems, 2009.
more...  

 
PhD : Fadi Meawad, Petr Maj, Filip Pizlo, Gregor Richards, Daniel Tang, Jacques Thomas, Johan Ostlund, Lei Zhao.
Undergrads: Chris Abernathy, Brian Burg, Brett Mravec, Jason Ward.
Post doc: Christian Hammer, Nicholas Kidd, Ales Plsek.
Colleagues:
   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. email: jv@cs.purdue.edu skype: vitek_jan