CIS Homeline
arrow About CIS
spacer spacer
arrow Events
  CIS events in Penn Calendar
spacer spacer
arrow People
spacer spacer
arrow Research
spacer spacer
arrow Undergraduate program
spacer spacer
arrow Graduate program
spacer spacer
arrow Job Openings


CIS Home divider Penn Engineering divider PENN   spacer  

 CIS Research Seminar Series, 2008 


Thursday, September 4, 2008

Rajeev Alur

Computer Science Department

University of Pennsylvania

" Software Model Checking"


Building tools that can certify correctness of software systems with respect to their specifications, or
reveal inconsistencies, remains a continuing challenge for computer science. In the first half of my talk, I will survey the progress in formal methods for specification and verification from early days of manual proofs of sorting programs using loop invariants to today's highly optimized and automated tools for discovering bugs in network protocols and device drivers. In the second half, I will describe some of the current research at Penn on software analysis. In particular, I will discuss the project CheckFence for checking consistency of concurrent data types on relaxed memory models, and ongoing efforts on a tool for certifying that a Java applet being downloaded on your cellphone won't leak confidential data from your addressbook.


Thursday, September 4,2008
3:00 - 4:15
Wu & Chen
101 Levine Hall



Archived Lectures



Speakers prior to



CIS Home divider Penn Engineering divider PENN   spacer
  Send comments on this page to