UTCS Colloquium: Siggi Cherem/Cornell University: Compiler
Support for Memory Management and Concurrency TAY 3.144 Tuesday
April 29 2008 10:00 a.m.  Contact Name:  Jenna Whitney Apr 29,
2008 10:00am - 11:00am  Type of Talk: UTCS Colloquium
iliation: Siggi Cherem/Cornell University  Date/Time: Tuesday
Apri  l 29 2008 10:00 a.m.  Location: TAY 3.144  Host: Keshav
Pin   Talk Title: Compiler Support for Memory Management and
Concurr   Talk Abstract: Over the years software and hardware
systems have become increasingly complex making the job of
programmers conside  harder. This is especially true for memory
management and  currency two fundamental and challenging aspects
of software  t. In this talk I''ll present two compiler tools
that help deal with these two aspects: a static analysis tool
for detecting memo  ry errors in C programs and a compiler to
automatically synchronize sh  ared memory accesses in multi-
threaded applications.   ors in C programs are common and
difficult to debug using traditional t  es