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