Output details
11 - Computer Science and Informatics
Queen Mary University of London
Output title
Abstraction-guided synthesis of synchronization.
Type
E - Conference contribution
Name of conference/published proceedings
Principles of Programming Languages The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Volume number
-
Issue number
-
First page of article
327
ISSN of proceedings
-
Year of publication
2010
Number of additional authors
2
Additional information
<10>This paper addresses the issue of automatic inference of efficient synchronization in concurrent programs. The work has been cited in connection with parallel programs, and with compilation for weak memory models. IBM holds US Patent 8495588 for this work. The work was recognized with IBM Research Division Award 2010 as part of the Paraglide project. The work was presented in an invited talk at Haifa Verification Conference , invited tutorial at ECOOP Summer School , Dagstuhl Summer School on Program Synthesis, and Software Synthesis , and seminar talks at Oxford, Harvard, Yale, Cornell, and Technion.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
11
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
