BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:32368731000f1f81dccf31302beef9ad
DTSTAMP:20260522T155007Z
SUMMARY:Concurrent Data Representation Synthesis (M. Sagiv)
DESCRIPTION:We describe an approach for synthesizing data representations f
 or concurrent programs. Our compiler takes as input a program written usi
 ng concurrent relations and synthesizes a representation of the relations 
 as sets of cooperating data structures as well as the placement and acqui
 sition of locks to synchronize concurrent access to those data structures
 . The resulting code is correct by construction:  individual relational o
 perations are implemented correctly and the aggregate set of operations i
 s serializable and deadlock free. The relational specification also permi
 ts a high-level optimizer to choose the best performing of many possible l
 egal data representations and locking strategies\, which we demonstrate w
 ith an experiment autotuning a graph benchmark. \nThis is joint work with
  Alex Aiken and Peter Hawkins(Stanford)\, Katleen Fisher(DARPA)\, and Mart
 in Rinard(MIT). This work is part of Petrer Hawkins thesis http://theory.s
 tanford.edu/~hawkinsp/.  Please also look into the  December CACM articl
 e.\nBio: Prof. Mooly Sagiv is a senior member of staff in the Computer Sc
 iences Department School of Mathematical Sciences Tel-Aviv University. A l
 eading scientist in large scale (inter-procedural) program analysis\, his 
 fields of interests include Programming Languages\, Compilers\, Abstract i
 nterpretation\, Profiling\, Pointer Analysis\, Shape Analysis\, Inter-proc
 edural dataflow analysis\, Program Slicing\, Language-based programming e
 nvironments.\nMore information is available at http://www.cs.tau.ac.il/~m
 sagiv\n 
URL:https://www.imperial.ac.uk/events/108757/concurrent-data-representation
 -synthesis-m-sagiv/
DTSTART;TZID=Europe/London:20130227T120000
DTEND;TZID=Europe/London:20130227T130000
LOCATION:United Kingdom
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:STANDARD
DTSTART:20130227T120000
TZNAME:GMT
TZOFFSETTO:+0000
TZOFFSETFROM:+0000
END:STANDARD
END:VTIMEZONE
END:VCALENDAR