Colloquium -Talk - Jeff Foster - September 15, 2008 -CSIC Building, Room 1115 @ 4:00 p.m. - Article 35 - go-pugleaf

Article View: csd.grad

Article #35

Colloquium -Talk - Jeff Foster - September 15, 2008 -CSIC Building, Room 1115 @ 4:00 p.m.

#35

From: Findlay, Adelaide
Date: Fri, 05 Sep 2008 18:04

35 lines
4692 bytes

Reception will be held at the CSIC Lobby before the talk at 3:30 p.m.
Title and Abstract are below:


Title: 
Static Analysis to Improve Software Reliability and Security

Abstract:
Today, software controls and even defines much of the technology we
depend on every day.  Unfortunately, our ability to construct large,
complex software systems far outstrips our ability to ensure they are
reliable and secure.  The result is a plethora of faulty software that
exacts a high toll---by some estimates, software bugs cost the US
billions of dollars annually.

The goal of my research is to discover fundamental new ways to improve
software reliability and security.  My focus is on developing
language-based tools and techniques that find and prevent software
defects.  In this talk, I will give an overview of this research area
and discuss three recent efforts by my research group in more detail:
(1) Saffire, a pair of tools that check type safety of programs written
in multiple languages; (2) Locksmith, a data race detection tool for C
programs; and (3) Pistachio, a tool for checking the correctness of C
implementations of network protocols.  Saffire, Locksmith, and Pistachio
all employ static analysis, and their development has yielded a number
of contributions in this area.  Among other theoretical results, Saffire
uses novel type systems to model foreign function interfaces'
cross-language view of data, and Locksmith is based on a new technique
called correlation inference that automatically discovers the
relationships between locks and shared memory.  On the practical side,
all three tools have discovered numerous bugs in a wide range of open
source software such as OpenSSH and the Linux kernel.

I will conclude by discussing the future of research in this area, and
describing some new projects I am currently pursuing.

Technical Details

Message-ID: <mailman.109.1220637893.3779.gradlist@mcfeely.cs.umd.edu>

Path:

arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!goblin2!goblin.stu.neva.ru!newsfeed.bahnhof.se!news.tele.dk!news.tele.dk!small.news.tele.dk!uio.no!elk.ncren.net!news2.wam.umd.edu!not-for-mail

Show Full Headers

Complete Article Headers

X-Google-Thread: 10f4d5,c37c92e9d0bd4da8,start
X-Google-Attributes: gid10f4d5,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!goblin2!goblin.stu.neva.ru!newsfeed.bahnhof.se!news.tele.dk!news.tele.dk!small.news.tele.dk!uio.no!elk.ncren.net!news2.wam.umd.edu!not-for-mail
From: "Findlay, Adelaide" <adelaide@cs.umd.edu>
Newsgroups: csd.grad
Subject: Colloquium -Talk - Jeff Foster - September 15, 2008 -CSIC Building,
 Room 1115 @ 4:00 p.m.
Date: Fri, 5 Sep 2008 14:04:43 -0400
Organization: University of Maryland College Park
Lines: 36
Message-ID: <mailman.109.1220637893.3779.gradlist@mcfeely.cs.umd.edu>
NNTP-Posting-Host: mcfeely.cs.umd.edu
Mime-Version: 1.0
Content-Type: text/plain;
 charset="us-ascii"
Content-Transfer-Encoding: 8bit
X-Trace: grapevine.wam.umd.edu 1220637900 20598 128.8.128.218 (5 Sep 2008 18:05:00 GMT)
X-Complaints-To: abuse@wam.umd.edu
NNTP-Posting-Date: Fri, 5 Sep 2008 18:05:00 +0000 (UTC)
To: "dept" <dept@cs.umd.edu>, <csd-grad@cs.umd.edu>, <umiacs@umiacs.umd.edu>, 
 <umiacs@umiacs.umd.edu>, <seminar@cfar.umd.edu>
X-CSD-MailScanner-Watermark: 1221242691.24338@7eNB3jrazUnCC5byFehnOg
X-CSD-MailScanner-Watermark: 1221242690.20779@AGcUW8S5iDe8a/KHlhLu3g
X-CSD-MailScanner-Watermark: 1221242687.47451@Db8Yl+l/dfKPyMwSPLFFIQ
Content-class: urn:content-classes:message
X-MimeOLE: Produced By Microsoft Exchange V6.5
Thread-Topic: Colloquium -Talk - Jeff Foster - September 15,
 2008 -CSIC Building, Room 1115 @ 4:00 p.m.
Thread-Index: AckPgeE3tTfQuXYET0eDXrWmRamJKg==
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0
 (mcfeely.cs.umd.edu [127.0.0.1]);
 Fri, 05 Sep 2008 14:04:51 -0400 (EDT)
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0
 (mcfeely.cs.umd.edu [128.8.128.218]);
 Fri, 05 Sep 2008 14:04:49 -0400 (EDT)
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0
 (bacon.cs.umd.edu [172.24.3.34]);
 Fri, 05 Sep 2008 14:04:44 -0400 (EDT)
X-MIME-Autoconverted: from quoted-printable to 8bit by mcfeely.cs.umd.edu id
 m85I4nLY025118
X-BeenThere: dept@mcfeely.cs.umd.edu
X-Mailman-Version: 2.1.9
Precedence: list
Errors-To: dept-bounces@cs.umd.edu
X-BeenThere: gradlist@mcfeely.cs.umd.edu
List-Id: CS Graduate Students <gradlist.mcfeely.cs.umd.edu>
List-Unsubscribe: <https://mailman.cs.umd.edu/mailman/listinfo/gradlist>,
 <mailto:gradlist-request@mcfeely.cs.umd.edu?subject=unsubscribe>
List-Archive: <https://mailman.cs.umd.edu/mailman/private/gradlist>
List-Post: <mailto:gradlist@mcfeely.cs.umd.edu>
List-Help: <mailto:gradlist-request@mcfeely.cs.umd.edu?subject=help>
List-Subscribe: <https://mailman.cs.umd.edu/mailman/listinfo/gradlist>,
 <mailto:gradlist-request@mcfeely.cs.umd.edu?subject=subscribe>