BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Parallel Programming Should Be -- And Can Be -- Deterministic-by-d
 efault
DTSTART:20120606T153000
DTEND:20120606T163000
DTSTAMP:20260407T041959Z
UID:e1e09b57aca305a93ff0230a2552cbae64ae050f0b9084363175f267
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Vikram S. Adve\, University of Illinois at Urbana-Champa
 ign\, USA\nAbstract:\nHow can we make parallel programming accessible to a
 verage developers in the vast commodity applications arena? I will argue 
 that "deterministic-by-default" parallel programming models are part of th
 e answer. With such a model\, the programmer is freed from the burden of r
 easoning about thread interleavings\, data races\, deadlock\, or the intri
 cacies of memory models.  Unfortunately\, this goal is challenging to ach
 ieve for modern imperative\, object-oriented languages. I will describe De
 terministic Parallel Java\, a deterministic-by-default parallel programmin
 g language that guarantees sequential semantics (except where requested ot
 herwise) for explicitly parallel programs.  The deterministic guarantees 
 are achieved using a region-based type and effect system that is a simple 
 extension to base Java. Programmers can combine nondeterministic algorithm
 s with deterministic ones in a data race-free\, isolated\, manner\, with t
 he strongest safety guarantees of any parallel language or system. DPJ als
 o supports the safe use of expressive parallel frameworks.  An interactiv
 e tool called DPJizer\, under development\, enables programmers to port ex
 isting Java code to DPJ semi-automatically. We are now exploring how these
  techniques can be extended to C++\, combined with existing parallel langu
 ages such as Cilk++ or OpenMP\, and applied to large\, industrial code bas
 es.\n\nBio:\nVikram Adve is a Professor of Computer Science at the Univers
 ity of Illinois at Urbana-Champaign. His research interests include comp
 ilers and programmming languages\, and their use for improving software pr
 oductivity\, security and reliability.  His research group developed the 
 LLVM Compiler Infrastructure\, a widely distributed and novel compiler fra
 mework for 'lifelong' optimization of programs. LLVM is in production use
  by several companies including Apple\, Adobe\, Cray\, and others\, and ha
 s replaced GCC as the primary compiler on both iOS 5 and MacOS X. LLVM is
  also used by a large number of open source projects and research groups.
   Adve has been Associate Editor of ACM TOPLAS and Program Chair or Co-ch
 air for ASPLOS\, VEE\, and LCPC. Adve has  also received the NSF CAREER a
 ward\, the UIUC Computer Science Department's Outstanding Junior Faculty A
 ward\, and paper awards at several conferences including PLDI\, SOSP and I
 CSE\, among others.
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR