@inproceedings(Boudol@ICTAC-09,
 author       = "G{\'e}rard Boudol",
 year         = "2009",
 title        = "A Deadlock-Free Semantics for Shared Memory Concurrency",
 editor       = "Martin Leucker and Carroll Morgan",
 booktitle    = "Proceedings of the International Colloquium on Theoretical Aspects of Computing",
 series       = "LNCS",
 volume       = "5684",
 publisher    = "Springer",
 pages        = "140--154",
 doi          = "10.1007/978-3-642-03466-4\_9",
)
@inproceedings(OwnershipTypes@OOPSLA-02,
 author       = "Chandrasekhar Boyapati and Robert Lee and Martin Rinard",
 year         = "2002",
 title        = "Ownership Types for Safe Programming: Preventing Data Races and Deadlocks",
 booktitle    = "Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications",
 publisher    = "ACM Press",
 address      = "New York, NY, USA",
 pages        = "211--230",
 doi          = "10.1145/582419.582440",
)
@inproceedings(Boyland@SAS-03,
 author       = "John Boyland",
 year         = "2003",
 title        = "Checking Interference with Fractional Permissions",
 editor       = "Radhia Cousot",
 booktitle    = "Static Analysis: Proceedings of the 10th International Symposium",
 series       = "LNCS",
 volume       = "2694",
 publisher    = "Springer",
 pages        = "55--72",
 doi          = "10.1007/3-540-44898-5\_4",
)
@article(SysDeadlocks@CompSurv-71,
 author       = "Edward G. Coffman, Jr. and Michael J. Elphick and Arie Shoshani",
 year         = "1971",
 title        = "System Deadlocks",
 journal      = "ACM Comput. Surv.",
 volume       = "3",
 number       = "2",
 pages        = "67--78",
 doi          = "10.1145/356586.356588",
)
@inproceedings(FlanaganAbadi@CONCUR-99,
 author       = "Cormac Flanagan and Mart{\'\i }n Abadi",
 year         = "1999",
 title        = "Object Types Against Races",
 editor       = "Jos C. M. Baeten and Sjouke Mauw",
 booktitle    = "International Conference on Concurrency Theory",
 series       = "LNCS",
 volume       = "1664",
 publisher    = "Springer",
 pages        = "288--303",
 doi          = "10.1007/3-540-48320-9\_21",
)
@inproceedings(FlanaganAbadi@ESOP-99,
 author       = "Cormac Flanagan and Mart{\'\i }n Abadi",
 year         = "1999",
 title        = "Types for Safe Locking",
 booktitle    = "Programming Language and Systems: Proceedings of the European Symposium on Programming",
 series       = "LNCS",
 volume       = "1576",
 publisher    = "Springer",
 pages        = "91--108",
 doi          = "10.1007/3-540-49099-X\_7",
)
@inproceedings(Cycreglock@TLDI-10,
 author       = "Prodromos Gerakios and Nikolaos Papaspyrou and Konstantinos Sagonas",
 year         = "2010",
 title        = "Race-free and Memory-safe Multithreading: Design and Implementation in {Cyclone}",
 booktitle    = "Proceedings of the ACM SIGPLAN International Workshop on Types in Languages Design and Implementation",
 publisher    = "ACM Press",
 address      = "New York, NY, USA",
 pages        = "15--26",
 doi          = "10.1145/1708016.1708020",
)
@techreport(ReglockDeadlock,
 author       = "Prodromos Gerakios and Nikolaos Papaspyrou and Konstantinos Sagonas",
 year         = "2010",
 title        = "A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering",
 type         = "Technical Report",
 institution  = "National Technical University of Athens",
 url          = "http://softlab.ntua.gr/~pgerakios/papers/reglock_deadlock_techrep10.pdf",
)
@inproceedings(DeadlockAvoidance@TLDI-11,
 author       = "Prodromos Gerakios and Nikolaos Papaspyrou and Konstantinos Sagonas",
 year         = "2011",
 title        = "A Type and Effect System for Deadlock Avoidance in Low-level Languages",
 booktitle    = "Proceedings of the ACM SIGPLAN International Workshop on Types in Languages Design and Implementation",
 publisher    = "ACM Press",
 address      = "New York, NY, USA",
 pages        = "15--28",
 doi          = "10.1145/1929553.1929558",
)
@inproceedings(Kobayashi@CONCUR-06,
 author       = "Naoki Kobayashi",
 year         = "2006",
 title        = "A New Type System for Deadlock-Free Processes",
 editor       = "C. Baier and H. Hermanns",
 booktitle    = "International Conference on Concurrency Theory",
 series       = "LNCS",
 volume       = "4137",
 publisher    = "Springer",
 pages        = "233--247",
 doi          = "10.1007/11817949\_16",
)
@article(Lamport@TOPLAS-79,
 author       = "Leslie Lamport",
 year         = "1979",
 title        = "A New Approach to Proving the Correctness of Multiprocess Programs",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "1",
 number       = "1",
 pages        = "84--97",
 doi          = "10.1145/357062.357068",
)
@inproceedings(NonLexicalDeadlock@APLAS-08,
 author       = "Kohei Suenaga",
 year         = "2008",
 title        = "Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References",
 editor       = "G. Ramalingam",
 booktitle    = "Asian Symposium on Programming Languages and Systems",
 series       = "LNCS",
 volume       = "5356",
 publisher    = "Springer",
 pages        = "155--170",
 doi          = "10.1007/978-3-540-89330-1\_12",
)
@inproceedings(Vasco@PLACES-09,
 author       = "Vasco Vasconcelos and Francisco Martin and Tiago Cogumbreiro",
 year         = "2010",
 title        = "Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language",
 editor       = "Alastair R. Beresford and Simon Gay",
 booktitle    = "Proceedings of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software",
 series       = "EPTCS",
 volume       = "17",
 pages        = "95--109",
 doi          = "10.4204/EPTCS.17.8",
)