BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Solvers for Software Reliability and Security
DTSTART:20100723T070000
DTSTAMP:20260407T051247Z
UID:77211bf8ba83a3709ca4de97f513e166ab12039a3d6ca023240828dd
CATEGORIES:Conferences - Seminars
DESCRIPTION:Dr. Vijay Ganesh\nAbstract:\n\nConstraint solvers play a centr
 al role in the construction of reliable and secure software\, regardless o
 f whether such software is based on formal methods\, program analysis\, te
 sting or synthesis. In this talk\, I will present two solvers namely\, STP
  and HAMPI. STP extends SAT solvers with the theory of bit-vectors and arr
 ays\, and has enabled a new testing technique known as Concolic Testing. S
 TP-enabled Concolic testers have been used to find hundreds of previously 
 unknown bugs in Unix utilities\, OS kernels\, media players\, and commerci
 al software\, some with approximately a million lines of code. HAMPI is de
 signed for the analysis of string-manipulating programs and incorporates a
  rich theory of equality over bounded string variables\, bounded regular e
 xpressions\, and context-free grammars. HAMPI has been used to find many u
 nknown SQL injection vulnerabilities in applications with more than 100\,0
 00 lines of PHP code using static and dynamic analysis. I will discuss tec
 hniques that make these solvers scale to large formulas obtained from real
 -world applications\, and some related theoretical results.\n\nBio:\n\nDr.
  Vijay Ganesh is a Research Scientist at MIT since 2007. He completed his 
 PhD in computer science from Stanford University in 2007\, and Bachelor of
  Technology from College of Engineering\, Trivandrum\, India. His primary 
 research interests are constraint solvers and their applications to softwa
 re reliability\, computer security and biology. His STP solver was the co-
 winner of the SMTCOMP competition for bit-vector solvers in 2006\, and his
  paper on HAMPI won the ACM Distinguished Paper Award in 2009. 
LOCATION:BC 229 https://plan.epfl.ch/?room==BC%20229
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR