CANCELLED: UTCS Colloquium: Satish Chandra/IBM Research: Symbolic Analysis for Java TAY 3.128 Monday November 24 2008 11:00 a.m.

Contact Name: 
Jenna Whitney
Nov 24, 2008 11:00am - 12:00pm

There is a signup schedule for this event (UT EID required).

Type of Talk: UTCS Colloquium

Speaker/Affiliation: Satish Chandra/

IBM Research

Date/Time: Monday November 24 2008 11:00 a.m.
Location: ACES 2.302

Talk Title: Symbolic Analysis for Java

br>Talk Abstract:
Bug-finding tools that are based on approximate analys

often report false positives. Burned enough by false positives

a skeptical programmer wants to see convincing evidence that
a bug repo

rt is indeed feasible. Symbolic analysis can often help
produce such ev

idence in the form of a concrete test case that
can reproduce a feasibl

e bug.

In this talk I will describe our recent work on symbolic ana

of Java programs. Our main technical contribution is in the handl

of procedure calls during symbolic analysis. We present new

chniques to make symbolic analysis work effectively on realistic
Java a

pplications without requiring hand-written specifications of

s and without inlining procedure calls away. I will present
our preli

minary experience with building a bug validator based on
symbolic analy

sis and discuss some open issues.

This talk is based on joint work

with Stephen Fink and Manu Sridharan
both of IBM Research.


ker Bio:
Satish Chandra obtained a PhD from the University of Wisconsin-

Madison in 1997 and a B.Tech from the Indian Institute of Technology-Kanpur in 1991 both in computer science. From 1997 to 2002 he was

a member of technical staff at Bell Laboratories where his research

cused on program analysis domain-specific languages and data- communicati

on protocols. In September 2002 he joined IBM Research
in New Delhi I

ndia where he managed a small research group in software engineering. He i

s currently a member of programming languages and
software engineering

department at IBM''s T. J. Watson Research Center
in Hawthorne New Yor