L. de Alfaro
T. A. Henzinger
2001
Interface automata
SIGSOFT Software Engineering Notes
26
5
109–120
10.1145/503209.503226
P. C. Attie
1999
Synthesis of Large Concurrent Programs via Pairwise Composition
Proceedings of Conference on Concurrency Theory (CONCUR)
130–145
10.1007/3-540-48320-9_11
P. C. Attie
E. A Emerson
1989
Synthesis of Concurrent Systems with Many Similar Sequential Processes
Proceedings of Principles of Programming Languages (POPL)
191–201
10.1145/75277.75294
P. C. Attie
E. A Emerson
1996
Synthesis of Concurrent Systems for an Atomic Read/Atomic Write Model of Computation
Proceedings of Principles of Distributed Computing (PODC)
111–120
10.1145/248052.248070
S. Cherem
T. Chilimbi
S. Gulwani
2008
Inferring Locks for Atomic Sections
Proceedings of Programming Language Design and Implementation (PLDI)
304–315
10.1145/1375581.1375619
X. Deng
M. B. Dwyer
J. Hatcliff
M. Mizuno
2002
Invariant-based Specification, Synthesis, and Verification of Synchronization in Concurrent Programs
Proceedings of International Conference on Software Engineering (ICSE)
442–452
10.1145/581339.581394
E. Allen Emerson
E. M. Clarke
1982
Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons
Science of Computer Programming
2
3
241–266
E. Allen Emerson
R. Samanta
2011
An Algorithmic Framework for Synthesis of Concurrent Programs
Proceedings of Automated Technqiues for Verification and Analysis (ATVA)
522–530
10.1007/978-3-642-24372-1_41
M. Emmi
J. S. Fishcher
R. Jhala
R. Majumdar
2007
Lock Allocation
Proceedings of Principles of Programming Languages (POPL)
291–296
10.1145/1190216.1190260
P. B. Hansen
1981
Edison – A Multiprocessor Language
Software – Practice and Experience
11
4
325–361
10.1002/spe.4380110403
D. Harel
A. Pnueli
1985
On the Development of Reactive Systems
Logics and Models of Concurrent Systems
477–498
C. A. R. Hoare
1971
Towards a Theory of Parallel Programming
Operating Systems Techniques
61–71
M. U. Janjua
A. Mycroft
2006
Automatic Correction to Safety Violations in Programs
Proceedings of Thread Verification
Viktor Kuncak
Mikael Mayer
Ruzica Piskac
Philippe Suter
2012
Functional Synthesis for Linear Arithmetic and Sets
Proceedings of Software Tools for Technology Transfer (STTT)
10.1007/s10009-011-0217-7
M. Kuperstein
M. T. Vechev
E. Yahav
2010
Automatic Inference of Memory Fences
Proceedings of Formal Methods in Computer-Aided Design (FMCAD)
108–123
10.1145/2261417.2261438
F. Liu
N. Nedev
N. Prisadnikov
M. T. Vechev
E. Yahav
2012
Dynamic Synthesis for Relaxed Memory Models
Proceedings of Programming Language Design and Implementation (PLDI)
429–440
10.1145/2254064.2254115
Z. Manna
P. Wolper
1984
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
6
1
68–93
10.1145/357233.357237
A. Pnueli
1977
The Temporal Logic of Programs
Proceedings of Foundations of Computer Science (FOCS)
46–77
10.1109/SFCS.1977.32
A. Pnueli
1985
Linear and Branching Structures in the Semantics and Logics of Reactive Systems
Proceedings of International Colloquium on Automata, Languages and Programming (ICALP)
15–32
10.1007/BFb0015727
A. Pnueli
R. Rosner
1989
On the Synthesis of a Reactive Module
Proceedings of Principles of Programming Languages (POPL)
179–190
10.1145/75277.75293
A. Pnueli
R. Rosner
1990
Distributed Reactive Systems are Hard to Synthesize
Proceedings of Foundations of Computer Science (FOCS)
746–757
10.1109/FSCS.1990.89597
A. Solar-Lezama
R. Rabbah
R. Bodik
K. Ebcioglu
2005
Programming by Sketching for Bit-streaming Programs
Proceedings of Programming Language Design and Implementation (PLDI)
281–294
10.1145/1065010.1065045
W. Thomas
2009
Facets of Synthesis: Revisiting Church's Problem
Proceedings of Foundations of Software Science and Computation Structures (FOSSACS)
1–14
10.1007/978-3-642-00596-1_1
M. T. Vechev
E. Yahav
G. Yorsh
2009
Inferring Synchronization under Limited Observability
Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
139–154
10.1007/978-3-642-00768-2_13
M. T. Vechev
E. Yahav
G. Yorsh
2010
Abstraction-Guided Synthesis Of Synchronization
Proceedings of Principles of Programming Languages (POPL)
327–388
10.1145/1706299.1706338
T. Yavuz-Kahveci
T. Bultan
2002
Specification, Verification, and Synthesis of Concurrency Control Components
Proceedings of International Symposium on Software Testing and Analysis (ISSTA)
169–179