[PRL] Another Aiken presentation

[Mitchell Wand]

You get to choose with Aiken presentation to go to.  This one is more
to my taste than the other one... 

--Mitch 

From: Csail Event Calendar <eventcalendar at csail.mit.edu>
Sender: seminars-bounces at lists.csail.mit.edu
To: seminars at csail.mit.edu
Cc: 
Subject: TALK:Tuesday 2-8-05 Scalable Program Analysis Using Boolean
	Satisfiabi
Date: Tue, 08 Feb 2005 00:01:01 -0500


Scalable Program Analysis Using Boolean Satisfiability
Speaker: Prof. Alex Aiken
Speaker Affiliation: Stanford University
Host: Hosts: Daniel Jackson and Martin Rinard
Host Affiliation: CSAIL

Date: 2-8-2005
Time: 1:30 PM - 3:00 PM
Location: CSAIL Star Seminar Room (32-D463)

Scalable Program Analysis Using Boolean Satisfiability





Static program analysis has long suffered from a fundamental

trade-off between precision and scalability, and today the analyses

that scale to the largest programs invariably are not the most precise

methods known.  This talk describes how recent advances in algorithms

for solving instances of Boolean satisfiability (SAT) can be exploited

to relax this trade-off, resulting in analyses that are both more

precise and more scalable than existing techniques.  Two applications

are discussed in detail: an analysis to find misuses of locks, and a

static memory leak detector.  In both cases a SAT-based analysis

models program behavior down to the bit level while still scaling to

millions of lines of code; both analyses also find more bugs with

fewer false positives than previous methods.



URL: http://theory.stanford.edu/~aiken



---



Alex Aiken received his Bachelors degree in Computer Science and Music

from Bowling Green State University in 1983 and his Ph.D. from Cornell

University in 1988. Alex was a Research Staff Member at the IBM Almaden

Research Center (1988-1993) and a Professor in the EECS department at UC

Berkeley (1993-2003) before joining the Stanford faculty in 2003.

Relevant URL(S): 
For more information please contact: Maria Rebelo, 3-5895, mr at csail.mit.edu

_______________________________________________
Seminars mailing list
Seminars at lists.csail.mit.edu
http://lists.csail.mit.edu/mailman/listinfo/seminars