[PRL] Fwd: [Programming] Fwd: Special Talk on June 10th- George Candea

[Sam Tobin-Hochstadt]

Begin forwarded message:

From: Ann Marie King <aking at seas.harvard.edu>
Date: June 1, 2011 12:58:58 PM EDT
To: "John G. Morrisett" <greg at seas.harvard.edu>, "Margo I. Seltzer"
<margo at seas.harvard.edu>
Subject: Special Talk on June 10th- George Candea

Sorry, the coffee and cookies is actually at 10:30 a.m., please send
this one instead, thanks!
Hi Greg and Margo,
If you could please share this talk announcement below with the
programming and systems mailing lists.  Thank you! Ann Marie
George Candea from École Polytechnique Fédérale de Lausanne in
Switzerland will give a talk entitled “In-Vivo Multi-Path Analysis of
Complex Software Systems”

Friday, June 10th
11:00 A.M.
Maxwell Dworkin G-135
coffee and cookies 10:30 a.m., Maxwell Dworkin Lobby outside MD G135

-----------------------------------------------------------------------------------------------
“In-Vivo Multi-Path Analysis of Complex Software Systems”

When going from a small program to a large system, new fundamental
challenges arise that can rarely be addressed with the techniques that
work at small scale. This is particularly true in the case of system
reliability – humans appear to have an inherent inability to build
complex software with millions of lines of code and hundreds of
threads that works well. Real-world developers write code, test,
deploy, debug, and patch in an endless cycle. Without passing judgment
on whether this is right or wrong, I believe we can empower developers
to deliver better systems relatively effortlessly by providing them
substantially more powerful tools for understanding more deeply the
systems they build.

I will describe one effort in this direction: S2E
(http://s2e.epfl.ch/) is a platform for writing tools that analyze the
properties and behavior of software systems. So far, we have used S2E
to develop an automated bug finding tool for both kernel-mode and
user-mode binaries, a reverse engineering tool for proprietary
software, and a comprehensive performance profiler. Building these
tools on top of S2E took less than 770 LOC and 40 person-hours each.
S2E’s key novelty is its ability to scale to large real systems, such
as a full Windows stack. It is based on two new ideas, selective
symbolic execution and relaxed execution consistency models, which
allow S2E to simultaneously analyze entire families of execution
paths, instead of just one execution at a time; perform the analyses
in-vivo within a real software stack – user programs, libraries,
kernel, drivers, etc. – instead of using abstract models of these
layers; and to operate directly on binaries, including proprietary and
obfuscated software.

Host:  Greg Morrisett

Speaker:  Prof. George Candea heads the Dependable Systems Lab at EPFL
in Switzerland, where he leads research focused on techniques, tools,
and runtimes that improve the dependability of software systems while
increasing programmer productivity. Until recently, George was also
Chief Scientist of Aster Data, a Silicon Valley-based large-scale data
analytics company he co-founded in 2005 (now part of Teradata). Aster
Data has just received the 2011 "Technology Pioneer" award from the
World Economic Forum. George is a recipient of the MIT TR35 "Top 35
Young Technology Innovators" award for 2005. During his studies,
George also worked for 5+ years at Oracle, as well as IBM Research and
Microsoft Research. George received his PhD in computer science from
Stanford University in 2005 and his BS (1997) and MEng (1998) in
computer science from the Massachusetts Institute of Technology.


--
Best Regards,

Ann Marie King
Assistant to Professors David Parkes, Yiling Chen & Bill Bossert
Harvard University S.E.A.S.
Maxwell Dworkin Labs, Room 133
33 Oxford Street
Cambridge, MA  02138-2901
Tel: 617-496-1447
Fax: 617-495-8612
aking at seas.harvard.edu


_______________________________________________
Programming mailing list
Programming at eecs.harvard.edu
https://lists.eecs.harvard.edu/mailman/listinfo/programming




-- 
sam th
samth at ccs.neu.edu