Program analysis, software model checking, and other ways to formally reason about programs, especially structured and/or concurrent programs

The art and science of concurrent programming, in particular new programming abstractions for parallelism

Logic and automata theory

Formal methods at the architecture-software interface


bio  |  cv |   publications  |   news
conferences
   |  PC member:    TACAS 2009
   |  Publicity chair:    POPL 2010-2012

group
    |  PhD students:   Roberto Lublinerman, Madhav Jha,
           Sara Navidpour         

343 E IST Building
University Park, PA 16802

Email:  swarat at cse psu edu
Voice:  +1-814-865-0883
Fax:  +1-814-865-3176

(Fall 2008)  CMPSC 461: Programming language concepts

(Spring 2008)  CSE 598-A: Advanced topics in programming languages: computer-aided verification