BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/520
DTSTAMP:20230914T125927Z
SUMMARY:Test-Driven Detection and Repair of Data Races in Structured Parall
 el Programs
DESCRIPTION:Speaker: Vivek Sarkar (Rice University\nDepartment of Computer 
 Science\nP.O. Box 1892\nHouston\, TX 77251\nUnited States of America)\n\nA
 bstract: \nAbstract: In this talk\, we focus on a programmability challeng
 e for parallel computing that can be captured by the following question: h
 ow easy or difficult is it to identify and repair bugs when developing a p
 arallel program? Our claim is that structured parallel programming greatly
  simplifies the task of writing correct and efficient parallel programs. W
 e support this claim by first introducing a family of structured parallel 
 programming models developed in the Habanero Extreme Scale Software Resear
 ch project [1] at Rice University\, and discussing semantic guarantees (e.
 g.\, deadlock freedom\, datarace freedom\, determinism\, serial elision) f
 or different subsets of these structured parallel programs. Then we discus
 s recent results for test-driven datarace detection [2] and repair [3] usi
 ng structured parallelism. The results in [2\,3] were demonstrated using t
 he Habanero-Java language on single multicore nodes. If time permits\, we 
 will briefly discuss results for cluster-level parallelism using a novel i
 ntegration of task parallelism with MPI in Habanero-C [4]\, as well as new
  research directions being pursued in the Habanero project (this work was 
 done in collaboration with members of the Habanero Extreme Scale Software 
 Research group).\n\nBio: Vivek Sarkar is Professor and Chair of Computer S
 cience at Rice University. He conducts research in multiple aspects of par
 allel software including programming languages\, program analysis\, compil
 er optimizations and runtimes for parallel and high performance computer s
 ystems. He currently leads the Habanero Extreme Scale Software Research pr
 oject at Rice University\, and serves as Associate Director of the NSF Exp
 editions Center for Domain-Specific Computing. Prior to joining Rice in 20
 07\, Vivek was Senior Manager of Programming Technologies at IBM Research.
  His prior research projects include the X10 programming language\, the Ji
 kes Research Virtual Machine for the Java language\, the ASTI optimizer us
 ed in IBM’s XL Fortran product compilers\, the PTRAN automatic paralleli
 zation system\, and profile-directed partitioning and scheduling of Sisal 
 programs. In 1997\, he was on sabbatical as a visiting associate professor
  at MIT\, where he was a founding member of the MIT Raw multicore project.
  Vivek became a member of the IBM Academy of Technology in 1995\, the E.D.
  Butcher Chair in Engineering at Rice University in 2007\, and was inducte
 d as an ACM Fellow in 2008. He holds a B.Tech. degree from the Indian Inst
 itute of Technology\, Kanpur\, an M.S. degree from University of Wisconsin
 -Madison\, and a Ph.D. from Stanford University. Vivek has been serving as
  a member of the US Department of Energy’s Advanced Scientific Computing
  Advisory Committee (ASCAC) since 2009.\n\nReferences: [1] Habanero Extrem
 e Scale Software Research project (http://habanero.rice.edu) [2] Scalable 
 and Precise Dynamic Data Race Detection for Structured Parallelism. Raghav
 an Raman\, Jisheng Zhao\, Vivek Sarkar\, Martin Vechev\, Eran Yahav. PLDI 
 2012. [3] Test-Driven Repair of Data Races in Structured Parallel Programs
 . Rishi Surendran\, Raghavan Raman\, Swarat Chaudhuri\, John Mellor-Crumme
 y\, Vivek Sarkar. PLDI 2014. [4] Integrating Asynchronous Task Parallelism
  with MPI. Sanjay Chatterjee\, Sagnak Tasirlar\, Zoran Budimlic\, Vincent 
 Cave \, Milind Chabbi\, Max Grossman\, Yonghong Yan\, Vivek Sarkar. IPDPS 
 2013.\n
URL:https://www.tcs.tifr.res.in/web/events/520
DTSTART;TZID=Asia/Kolkata:20140730T113000
DTEND;TZID=Asia/Kolkata:20140730T123000
LOCATION:AG-80
END:VEVENT
END:VCALENDAR