2018 @article{VazouTCSNWJ18, author = {Niki Vazou and Anish Tondwalkar and Vikraman Choudhury and Ryan G. Scott and Ryan R. Newton and Philip Wadler and Ranjit Jhala}, title = {Refinement reflection: complete verification with {SMT}}, journal = {{PACMPL}}, volume = {2}, number = {{POPL}}, pages = {53:1--53:31}, year = {2018}, } @inproceedings{LNTY2018, author = {Julien Lange and Nicholas Ng and Bernardo Toninho and Nobuko Yoshida}, title = {{A Static Verification Framework for Message Passing in Go using Behavioural Types}}, booktitle = {Proceedings of the 40th ACM/IEEE International Conference on Software Engineering}, publisher = {ACM}, year = 2018, } 2017 @article{Scalas2017, doi = {10.4204/eptcs.246.7}, url = {https://doi.org/10.4204%2Feptcs.246.7}, year = 2017, month = {apr}, publisher = {Open Publishing Association}, volume = {246}, pages = {37--38}, author = {Alceste Scalas and Nobuko Yoshida}, title = {Multiparty Session Types, Beyond Duality (Abstract)}, journal = {Electronic Proceedings in Theoretical Computer Science} } @article{Graversen2017, doi = {10.4204/eptcs.246.9}, url = {https://doi.org/10.4204%2Feptcs.246.9}, year = 2017, month = {apr}, publisher = {Open Publishing Association}, volume = {246}, pages = {49--60}, author = {Eva Graversen and Iain Phillips and Nobuko Yoshida}, title = {Towards a Categorical Representation of Reversible Event Structures}, journal = {Electronic Proceedings in Theoretical Computer Science} } @incollection{Gay2017, doi = {10.13052/rp-9788793519817}, url = {https://doi.org/10.13052%2Frp-9788793519817}, year = 2017, publisher = {River Publisher}, pages = {1--412}, author = {Simon Gay and Ant{\'{o}}nio Ravara}, title = {Behavioural Types: from Theory to Tools}, booktitle = {Behavioural Types: from Theory to Tools} } @InProceedings{Williams2017, author = {Jack Williams and J. Garrett Morris and Philip Wadler and Jakub Zalewski}, title = {{Mixed Messages: Measuring Conformance and Non-Interference in TypeScript}}, booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)}, pages = {28:1--28:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-035-4}, ISSN = {1868-8969}, year = {2017}, volume = {74}, editor = {Peter M{\"u}ller}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7264}, URN = {urn:nbn:de:0030-drops-72640}, doi = {10.4230/LIPIcs.ECOOP.2017.28}, annote = {Keywords: Gradual Typing, TypeScript, JavaScript, Proxies} } @MastersThesis{Kokke2017, author = {Wen Kokke}, title = {{R}aces in {C}lassical {L}inear {L}ogic}, school = {University of Edinburgh}, address = {UK}, year = {2017} } @inproceedings{Bottu2017, author = {Bottu, Gert-Jan and Karachalias, Georgios and Schrijvers, Tom and Oliveira, Bruno C. d. S. and Wadler, Philip}, title = {{Q}uantified {C}lass {C}onstraints}, booktitle = {Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell}, series = {Haskell 2017}, year = {2017}, isbn = {978-1-4503-5182-9}, location = {Oxford, UK}, pages = {148--161}, numpages = {14}, url = {http://doi.acm.org/10.1145/3122955.3122967}, doi = {10.1145/3122955.3122967}, publisher = {ACM}, address = {New York, NY, USA}, } @article{Wadler2017, author = {Philip Wadler}, title = {{A}bstract {D}ata {T}ypes without the {T}ypes}, journal = {Journal of Universal Computer Science}, year = {2017}, volume = {23}, number = {1}, pages = {5--20}, } @article{Ahmed2017, author = {Ahmed, Amal and Jamner, Dustin and Siek, Jeremy G. and Wadler, Philip}, title = {Theorems for Free for Free: Parametricity, with and Without Types}, journal ={Proceedings of the ACM on Programming Languages}, volume = {1}, number = {ICFP}, month = aug, year = {2017}, pages = {39:1--39:28}, numpages = {28}, doi = {10.1145/3110283}, publisher = {ACM}, address = {New York, NY, USA} } @article{IgarashiTVW17, author = {Atsushi Igarashi and Peter Thiemann and Vasco T. Vasconcelos and Philip Wadler}, title = {Gradual session types}, journal = {{PACMPL}}, volume = {1}, number = {{ICFP}}, pages = {38:1--38:28}, year = {2017}, url = {http://doi.acm.org/10.1145/3110282}, doi = {10.1145/3110282}, timestamp = {Tue, 12 Sep 2017 16:16:51 +0200}, biburl = {http://dblp.org/rec/bib/journals/pacmpl/IgarashiTVW17}, bibsource = {dblp computer science bibliography, http://dblp.org} } @inproceedings{SY2017, author = {Alceste Scalas and Nobuko Yoshida}, title = {{Multiparty Session Types, Beyond Duality}}, booktitle = {10th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software}, series = {EPTCS}, volume = {246}, pages = {37--38}, publisher = {Open Publishing Association}, year = 2017 } @inproceedings{GPY2017, author = {Eva Graversen and Iain Phillips and Nobuko Yoshida}, title = {{Towards a Categorical Representation of Reversible Event Structures}}, booktitle = {10th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software}, series = {EPTCS}, volume = {246}, pages = {49--60}, publisher = {Open Publishing Association}, year = 2017 } @article{C2017, author = {Simon Castellan}, title = {{Concurrent Structures in Game Semantics}}, journal = {The Concurrency Column, EATCS Bulletin}, issue = {123}, pages = {1--31}, year = 2017 } @inproceedings{DardhaG2018, author = {Ornela Dardha and Simon J. Gay}, title = {A {N}ew {L}inear {L}ogic for {D}eadlock-{F}ree {S}ession-{T}yped {P}rocesses}, booktitle = {FoSSaCS 2018}, year = {2018} } @misc{KouzapasGVG, author = {Dimitrios Kouzapas and Ramunas Gutkovas and A. Laura Voinea and Simon J. Gay}, title = {A {S}ession {T}ype {S}ystem for {A}synchronous {U}nreliable {B}roadcast {C}ommunication}, howpublished = {Submitted to {FoSSaCS 2018}} } @misc{KouzapasGP, author = {Dimitrios Kouzapas and Simon J. Gay and Anna Philippou}, title = {Non-deterministic {M}ultiparty {S}ession {T}ypes}, howpublished = {Submitted to {FoSSaCS 2018}} } @book{Gay2017, editor = {Simon J. Gay and Antonio Ravara}, title = {Behavioural Types: from Theory to Tools}, publisher = {River Publishers}, year = {2017} } @article{Dardha2017a, author = {Ornela Dardha and Daniele Gorla and Daniele Varacca}, title = {Semantic Subtyping for Objects and Classes}, journal = {Comput. J.}, volume = {60}, number = {5}, pages = {636--656}, year = {2017}, url = {https://doi.org/10.1093/comjnl/bxw080}, doi = {10.1093/comjnl/bxw080}, timestamp = {Fri, 15 Sep 2017 17:21:44 +0200}, biburl = {http://dblp.org/rec/bib/journals/cj/DardhaGV17}, bibsource = {dblp computer science bibliography, http://dblp.org} } @article{Dardha2017b, author = {Ornela Dardha and Elena Giachino and Davide Sangiorgi}, title = {Session types revisited}, journal = {Inf. Comput.}, volume = {256}, pages = {253--286}, year = {2017}, url = {https://doi.org/10.1016/j.ic.2017.06.002}, doi = {10.1016/j.ic.2017.06.002}, timestamp = {Fri, 06 Oct 2017 16:39:39 +0200}, biburl = {http://dblp.org/rec/bib/journals/iandc/DardhaGS17}, bibsource = {dblp computer science bibliography, http://dblp.org} } @article{Scalas2017a, author = {Alceste Scalas and Ornela Dardha and Raymond Hu and Nobuko Yoshida}, title = {A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)}, journal = {{DARTS}}, volume = {3}, number = {2}, pages = {03:1--03:2}, year = {2017}, url = {https://doi.org/10.4230/DARTS.3.2.3}, doi = {10.4230/DARTS.3.2.3}, timestamp = {Mon, 03 Jul 2017 18:25:14 +0200}, biburl = {http://dblp.org/rec/bib/journals/darts/ScalasDHY17}, bibsource = {dblp computer science bibliography, http://dblp.org} } @inproceedings{Scalas2017b, author = {Alceste Scalas and Ornela Dardha and Raymond Hu and Nobuko Yoshida}, title = {A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming}, booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017, June 19-23, 2017, Barcelona, Spain}, pages = {24:1--24:31}, year = {2017}, series = {LIPIcs}, volume = {74}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.24}, doi = {10.4230/LIPIcs.ECOOP.2017.24}, timestamp = {Tue, 27 Jun 2017 10:42:55 +0200}, biburl = {http://dblp.org/rec/bib/conf/ecoop/ScalasDHY17}, bibsource = {dblp computer science bibliography, http://dblp.org} } @inproceedings{Fu2017, author = {Weili Fu and Roly Perera and Paul Anderson and James Cheney}, title = {muPuppet: {A} Declarative Subset of the Puppet Configuration Language}, booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017, June 19-23, 2017, Barcelona, Spain}, pages = {12:1--12:27}, year = {2017}, series = {LIPIcs}, volume = {74}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.12}, doi = {10.4230/LIPIcs.ECOOP.2017.12}, timestamp = {Tue, 27 Jun 2017 10:42:55 +0200}, biburl = {http://dblp.org/rec/bib/conf/ecoop/FuPAC17}, bibsource = {dblp computer science bibliography, http://dblp.org} } @article{Perera2017, month = {May}, title = {Proof-relevant {\ensuremath{\pi}}-calculus: a constructive account of concurrency and causality}, author = {Roly Perera and James Cheney}, publisher = {Cambridge University Press}, year = {2017}, journal = {Mathematical Structures in Computer Science}, doi = {10.1017/S096012951700010X} } @article{Kouzapas2017, month = {October}, title = {Typechecking protocols with Mungo and StMungo: a session type toolchain for Java}, author = {Dimitrios Kouzapas and Ornela Dardha and Roland Perera and Simon J. Gay}, publisher = {Elsevier}, year = {2017}, journal = {Science of Computer Programming} } @article{Ricciotti2017, volume = {1}, number = {ICFP}, month = {September}, author = {Wilmer Ricciotti and Jan Stolarek and Roly Perera and James Cheney}, booktitle = {22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017)}, title = {Imperative functional programs that explain their work}, publisher = {ACM}, year = {2017}, journal = {Proceedings of the ACM on Programming Languages}, doi = {10.1145/3110258} } @incollection{Dardha2017c, month = {June}, author = {Ornela Dardha and Simon J. Gay and Dimitrios Kouzapas and Roly Perera and A. Laura Voinea and Florian Weber}, series = {River Publishers Series in Automation, Control and Robotics}, booktitle = {Behavioural Types: from Theory to Tools}, editor = {Simon Gay and Antonio Ravara}, title = {Mungo and StMungo: tools for typechecking protocols in Java}, publisher = {River Publishers}, year = {2017}, pages = {309--328}, } @incollection{Neykova2017, author = {{Rumyana Neykova and Nobuko Yoshida}}, title = {{How to Verify Your Python Conversations}}, booktitle = {{Behavioural Types: from Theory to Tools}}, publisher = {{River Publishers}}, year = {2017}, pages = {77--98}, chapter = 4, editor = {{Simon Gay and Antonio Ravara}}, } @incollection{Lange2017, author = {{Julien Lange and Emilio Tuosto and Nobuko Yoshida}}, title = {{A Tool for Choreography-Based Analysis of Message-Passing Software}}, booktitle = {{Behavioural Types: from Theory to Tools}}, publisher = {{River Publishers}}, year = {2017}, pages = {125--146}, chapter = 6, editor = {{Simon Gay and Antonio Ravara}}, } @incollection{Orchard2017, author = {{Dominic Orchard and Nobuko Yoshida}}, title = {{Session Types with Linearity in Haskell}}, booktitle = {{Behavioural Types: from Theory to Tools}}, publisher = {{River Publishers}}, year = {2017}, pages = {219--242}, chapter = 10, editor = {{Simon Gay and Antonio Ravara}}, } @incollection{Hu2017, author = {{Raymond Hu}}, title = {{Distributed Programming Using Java APIs Generated from Session Types}}, booktitle = {{Behavioural Types: from Theory to Tools}}, publisher = {{River Publishers}}, year = {2017}, pages = {287--308}, chapter = 13, editor = {{Simon Gay and Antonio Ravara}}, } @incollection{Ng2017, author = {{Nicholas Ng and Nobuko Yoshida}}, title = {{Protocol-Driven MPI Program Generation}}, booktitle = {{Behavioural Types: from Theory to Tools}}, publisher = {{River Publishers}}, year = {2017}, pages = {329--352}, chapter = 15, editor = {{Simon Gay and Antonio Ravara}}, } @incollection{Vasconcelos2017, author = {{Vasco T. Vasconcelos and Francisco Martins and Eduardo R.B. Marques and Nobuko Yoshida and Nicholas Ng}}, title = {{Deductive Verification of MPI Protocols}}, booktitle = {{Behavioural Types: from Theory to Tools}}, publisher = {{River Publishers}}, year = {2017}, pages = {353--372}, chapter = 16, editor = {{Simon Gay and Antonio Ravara}}, } @article{Chen2017, TITLE = {{On the Preciseness of Subtyping in Session Types}}, AUTHOR = {Chen, Tzu-chun and Dezani-Ciancaglini, Mariangiola and Scalas, Alceste and Yoshida, Nobuko}, URL = {http://lmcs.episciences.org/3752}, DOI = {10.23638/LMCS-13(2:12)2017}, JOURNAL = {{Logical Methods in Computer Science}}, VOLUME = {{Volume 13, Issue 2}}, YEAR = {2017}, MONTH = {Jun}, } @InProceedings{Imai2017, author ={Imai, Keigo and Yoshida, Nobuko and Yuen, Shoji}, title ={Session-ocaml: A Session-Based Library with Polarities and Lenses}, editor ={Jacquet, Jean-Marie and Massink, Mieke}, bookTitle ={Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^a}tel, Switzerland, June 19-22, 2017, Proceedings}, year ={2017}, publisher ={Springer International Publishing}, pages ={99--118}, isbn ={978-3-319-59746-1}, doi ={10.1007/978-3-319-59746-1_6}, url ={https://doi.org/10.1007/978-3-319-59746-1_6} } @article{Toninho2017, author = {Bernardo Toninho and Nobuko Yoshida}, title = {Certifying data in multiparty session types}, journal = {Journal of Logical and Algebraic Methods in Programming}, volume = {90}, number = {}, pages = {61 - 83}, year = {2017}, note = {}, issn = {2352-2208}, doi = "10.1016/j.jlamp.2016.11.005", url = "http://www.sciencedirect.com/science/article/pii/S2352220816300864", } @Article{Neykova2017a, author ={Neykova, Rumyana and Bocchi, Laura and Yoshida, Nobuko}, title ={Timed runtime monitoring for multiparty conversations}, journal ={Formal Aspects of Computing}, year ={2017}, month ={Sep}, day ={01}, volume ={29}, number ={5}, pages ={877--910}, issn ={1433-299X}, doi ={10.1007/s00165-017-0420-8}, url ={https://doi.org/10.1007/s00165-017-0420-8} } @article{BOCCHI201733, author = {Laura Bocchi and Tzu-Chun Chen and Romain Demangeon and Kohei Honda and Nobuko Yoshida}, title = {Monitoring networks through multiparty session types}, journal = {Theoretical Computer Science}, volume = {669}, number = {}, pages = {33 - 58}, year = {2017}, issn = {0304-3975}, doi = {10.1016/j.tcs.2017.02.009}, url = {http://www.sciencedirect.com/science/article/pii/S0304397517301263}, } @inproceedings{HillerstromLAK17, author = {Daniel Hillerstr\"om and Sam Lindley and Robert Atkey and KC Sivaramakrishnan}, title = {Continuation Passing Style for Effect Handlers}, booktitle = {{FSCD}}, series = {LIPIcs}, volume = {84}, articleno = {18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, year = {2017} } @article{KammarLP17, author = {Yannick Forster and Ohad Kammar and Sam Lindley and Matija Pretnar}, title = {On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control}, journal = {{PACMPL}}, volume = {1}, number = {{ICFP}}, pages = {13:1--13:29}, year = {2017} } Simon Fowler, Sam Lindley, and Philip Wadler. Mixing metaphors: actors as channels and channels as actors. ECOOP 2017. @inproceedings{FowlerLW17, author = {Simon Fowler and Sam Lindley and Philip Wadler}, title = {Mixing Metaphors: Actors as Channels and Channels as Actors}, booktitle = {{ECOOP}}, series = {LIPIcs}, volume = {74}, pages = {11:1--11:28}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, year = {2017} } Sam Lindley and Garrett Morris. Lightweight functional session types. BETTY book 2017. @incollection{LindleyM17, author = {Sam Lindley and J. Garrett Morris}, editor = {Simon Gay and Antonio Ravara}, booktitle = {Behavioural Types: from Theory to Tools}, title = {Lightweight functional session types}, publisher = {River publishers}, year = {2017}, pages = {265--286}, chapter = 12, } Sam Lindley, Conor McBride, and Craig McLaughlin. Do be do be do. POPL 2017. @inproceedings{LindleyMM17, doi = {10.1145/3009837.3009897}, url = {https://dx.doi.org/10.1145/3009837.3009897}, year = {2017}, publisher = {Association for Computing Machinery ({ACM})}, pages = {500--514}, author = {Sam Lindley and Conor McBride and Craig McLaughlin}, title = {Do be do be do}, booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages - {POPL} 2017}, } @inproceedings{LNTY2017, author = {Julien Lange and Nicholas Ng and Bernardo Toninho and Nobuko Yoshida}, title = {{Fencing off Go: Liveness and Safety for Channel-based Programming}}, booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages}, publisher = {ACM}, doi = "10.1145/3009837.3009847", year = 2017, pages = {748--761} } @inproceedings{HY2017, author = {Raymond Hu and Nobuko Yoshida}, title = {{Explicit Connection Actions in Multiparty Session Types}}, booktitle = {20th International Conference on Fundamental Approaches to Software Engineering}, series = {LNCS}, publisher = {Springer}, year = 2017 } @inproceedings{NY2017, author = {Rumyana Neykova and Nobuko Yoshida}, title = {{Let It Recover: Multiparty Protocol-Induced Recovery}}, booktitle = {26th International Conference on Compiler Construction}, publisher = {ACM}, doi = {10.1145/3033019.3033031}, year = 2017 } @inproceedings{LY2017, author = {Julien Lange and Nobuko Yoshida}, title = {{On the Undecidability of Asynchronous Session Subtyping}}, booktitle = {20th International Conference on Foundations of Software Science and Computation Structures}, series = {LNCS}, publisher = {Springer}, year = 2017 } @article{lmcs:3227, author = {Neykova, Rumyana and Yoshida, Nobuko}, title = {{Multiparty Session Actors}}, url = {http://lmcs.episciences.org/3227}, doi = {10.23638/LMCS-13(1:17)2017}, journal = {{Logical Methods in Computer Science}}, volume = {{Volume 13, Issue 1}}, year = {2017}, } 2016 O. Dardha. Type Systems for Distributed Programs: Components and Sessions. Atlantis Press. @book{Dardha16, author = {Ornela Dardha}, title = {Type Systems for Distributed Programs: Components and Sessions}, series = {Atlantis Studies in Computing}, volume = {7}, publisher = {Atlantis Press}, month = {July}, year = {2016}, url = {http://dx.doi.org/10.2991/978-94-6239-204-5}, doi = {10.2991/978-94-6239-204-5}, isbn = {978-94-6239-203-8} } A. L. Voinea and S. J. Gay. Benefits of session types for software development. In: Proceedings of the 7th Workshop on Evaluation and Usability of Programming Languages and Tools -- PLATEAU'16. ACM Press. @inproceedings{Voinea2016, doi = {10.1145/3001878.3001883}, url = {http://dx.doi.org/10.1145/3001878.3001883}, year = {2016}, publisher = {Association for Computing Machinery ({ACM})}, author = {A. Laura Voinea and Simon J. Gay}, title = {Benefits of session types for software development}, booktitle = {Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools - {PLATEAU} 2016} } Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages. @article{Ancona2016, doi = {10.1561/2500000031}, url = {http://dx.doi.org/10.1561/2500000031}, year = {2016}, publisher = {Now Publishers}, volume = {3}, number = {2-3}, pages = {95--230}, author = {Davide Ancona and Viviana Bono and Mario Bravetti and Joana Campos and Giuseppe Castagna and Pierre-Malo Deni{\'{e}}lou and Simon J. Gay and Nils Gesbert and Elena Giachino and Raymond Hu and Einar Broch Johnsen and Francisco Martins and Viviana Mascardi and Fabrizio Montesi and Rumyana Neykova and Nicholas Ng Bono and Luca Padovani and Vasco T. Vasconcelos and Nobuko Yoshida}, title = {Behavioral Types in Programming Languages}, journal = {Foundations and Trends{\textregistered} in Programming Languages} } @incollection{Toninho2016b, doi = {10.1007/978-3-319-30936-1_23}, url = {http://dx.doi.org/10.1007/978-3-319-30936-1_23}, year = {2016}, publisher = {Springer Nature}, pages = {433--458}, author = {Bernardo Toninho and Nobuko Yoshida}, title = {Certifying Data in Multiparty Session Types}, booktitle = {A List of Successes That Can Change the World} } @inproceedings{Chen2014b, doi = {10.1145/2643135.2643138}, url = {http://dx.doi.org/10.1145/2643135.2643138}, year = {2014}, publisher = {Association for Computing Machinery ({ACM})}, author = {Tzu-Chun Chen and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida}, title = {On the Preciseness of Subtyping in Session Types}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - {PPDP} {\textquotesingle}14} } Rumyana Neykova, Nobuko Yoshida. Multiparty Session Actors. LMCS. @incollection{Neykova2014, doi = {10.1007/978-3-662-43376-8_9}, url = {http://dx.doi.org/10.1007/978-3-662-43376-8_9}, year = {2014}, publisher = {Springer Nature}, pages = {131--146}, author = {Rumyana Neykova and Nobuko Yoshida}, title = {Multiparty Session Actors}, booktitle = {Lecture Notes in Computer Science} } Kohei Honda, Nobuko Yoshida, Marco Carbone. Multiparty Asynchronous Session Types. JACM. @article{Honda2016, doi = {10.1145/2827695}, url = {http://dx.doi.org/10.1145/2827695}, year = {2016}, month = {mar}, publisher = {Association for Computing Machinery ({ACM})}, volume = {63}, number = {1}, pages = {1--67}, author = {Kohei Honda and Nobuko Yoshida and Marco Carbone}, title = {Multiparty Asynchronous Session Types}, journal = {Journal of the {ACM}} } Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida. Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. LMCS. @article{Debois2016b, doi = {10.2168/lmcs-12(1:1)2016}, url = {http://dx.doi.org/10.2168/LMCS-12(1:1)2016}, year = {2016}, month = {jan}, publisher = {Logical Methods in Computer Science}, volume = {12}, number = {1}, author = {S{\o}ren Debois and Thomas Hildebrandt and Tijs Slaats and Nobuko Yoshida}, editor = {Erika Abraham}, title = {Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion}, journal = {Logical Methods in Computer Science} } Marco Carbone, Fabrizio Montesi, Carsten Sch{\"{u}}rmann, Nobuko Yoshida. Multiparty Session Types as @article{Carbone2016b, doi = {10.1007/s00236-016-0285-y}, url = {http://dx.doi.org/10.1007/s00236-016-0285-y}, year = {2016}, month = {nov}, publisher = {Springer Nature}, author = {Marco Carbone and Fabrizio Montesi and Carsten Sch\"{u}rmann and Nobuko Yoshida}, title = {Multiparty session types as coherence proofs}, journal = {Acta Informatica} } Dimitrios Kouzapas, Jorge A. Perez, Nobuko Yoshida. Characteristic Bisimulations for Higher-Order Session Processes. Acta Informatica. @article{Kouzapas2016d, doi = {10.1007/s00236-016-0289-7}, url = {http://dx.doi.org/10.1007/s00236-016-0289-7}, year = {2016}, month = {dec}, publisher = {Springer Nature}, author = {Dimitrios Kouzapas and Jorge A. P{\'{e}}rez and Nobuko Yoshida}, title = {Characteristic bisimulation for higher-order session processes}, journal = {Acta Informatica} } Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida. Denotational and Operational Preciseness of Subtyping: A Roadmap. Theory and Practice of Formal Methods. @incollection{DezaniCiancaglini2016, doi = {10.1007/978-3-319-30734-3_12}, url = {http://dx.doi.org/10.1007/978-3-319-30734-3_12}, year = {2016}, publisher = {Springer Nature}, pages = {155--172}, author = {Mariangiola Dezani-Ciancaglini and Silvia Ghilezan and Svetlana Jak{\v{s}}i{\'{c}} and Jovanka Pantovi{\'{c}} and Nobuko Yoshida}, title = {Denotational and Operational Preciseness of Subtyping: A Roadmap}, booktitle = {Theory and Practice of Formal Methods} } Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay. Typechecking Protocols with Mungo and StMungo. (Long Version) PPDP 2016. @inproceedings{Kouzapas2016c, doi = {10.1145/2967973.2968595}, url = {http://dx.doi.org/10.1145/2967973.2968595}, year = {2016}, publisher = {Association for Computing Machinery ({ACM})}, author = {Dimitrios Kouzapas and Ornela Dardha and Roly Perera and Simon J. Gay}, title = {Typechecking protocols with Mungo and {StMungo}}, booktitle = {Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - {PPDP} {\textquotesingle}16} } Sam Lindley, J. Garrett Morris. Embedding Session Types in Haskell. Haskell 2016. @inproceedings{Lindley2016b, doi = {10.1145/2976002.2976018}, url = {http://dx.doi.org/10.1145/2976002.2976018}, year = {2016}, publisher = {Association for Computing Machinery ({ACM})}, author = {Sam Lindley and J. Garrett Morris}, title = {Embedding session types in Haskell}, booktitle = {Proceedings of the 9th International Symposium on Haskell - Haskell 2016} } Daniel Hillerström, Sam Lindley. Liberating effects with rows and handlers. TyDe 2016. @inproceedings{HillerstromL16, doi = {10.1145/2976022.2976033}, url = {http://doi.acm.org/10.1145/2976022.2976033}, year = {2016}, publisher = {ACM}, author = {Daniel Hillerstr{\"{o}}m and Sam Lindley}, title = {Liberating effects with rows and handlers}, booktitle = {Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016}, } Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk. EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable Circuits. FPL 2016. @inproceedings{Niu2016, doi = {10.1109/fpl.2016.7577359}, url = {http://dx.doi.org/10.1109/FPL.2016.7577359}, year = {2016}, month = {aug}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, author = {Xinyu Niu and Nicholas Ng and Tomofumi Yuki and Shaojun Wang and Nobuko Yoshida and Wayne Luk}, title = {{EURECA} compilation: Automatic optimisation of cycle-reconfigurable circuits}, booktitle = {2016 26th International Conference on Field Programmable Logic and Applications ({FPL})} } Roly Perera, Deepak Garg, James Cheney. Causally consistent dynamic slicing. CONCUR 2016. @article{Perera2016d, author = {Roly Perera and Deepak Garg and James Cheney}, title = {Causally consistent dynamic slicing}, journal = {CoRR}, volume = {abs/1610.02327}, year = {2016}, url = {http://arxiv.org/abs/1610.02327}, timestamp = {Wed, 02 Nov 2016 09:51:26 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/Perera0C16}, bibsource = {dblp computer science bibliography, http://dblp.org} } Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Sch{\"{u}}rmann, Philip Wadler. Coherence generalises duality: a logical explanation of multiparty session types. CONCUR 2016. @inproceedings{Carbone2016a, author = {Marco Carbone and Sam Lindley and Fabrizio Montesi and Carsten Sch{\"{u}}rmann and Philip Wadler}, title = {Coherence Generalises Duality: {A} Logical Explanation of Multiparty Session Types}, booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{\'{e}}bec City, Canada}, pages = {33:1--33:15}, year = {2016}, url = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.33}, doi = {10.4230/LIPIcs.CONCUR.2016.33}, } Roly Perera, Simon J. Gay. Liveness for Verification. Extended Abstract, LIVE 2016. @article{Perera2016c, author = {Roly Perera and Simon J. Gay}, title = {Liveness for Verification}, journal = {CoRR}, volume = {abs/1609.04233}, year = {2016}, url = {http://arxiv.org/abs/1609.04233}, } Sam Lindley, J. Garrett Morris. Talking Bananas: Structural Recursion for Session Types. ICFP 2016. @inproceedings{Lindley2016a, doi = {10.1145/2951913.2951921}, url = {http://dx.doi.org/10.1145/2951913.2951921}, year = {2016}, publisher = {Association for Computing Machinery ({ACM})}, author = {Sam Lindley and J. Garrett Morris}, title = {Talking bananas: structural recursion for session types}, booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional Programming - {ICFP} 2016} } J. Garrett Morris. The Best of Both Worlds: Linear Functional Programming Without Compromise. ICFP 2016. @inproceedings{Morris2016, doi = {10.1145/2951913.2951925}, url = {http://dx.doi.org/10.1145/2951913.2951925}, year = {2016}, publisher = {Association for Computing Machinery ({ACM})}, author = {J. Garrett Morris}, title = {The best of both worlds: linear functional programming without compromise}, booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional Programming - {ICFP} 2016} } Alceste Scalas, Nobuko Yoshida. Lightweight Session Programming in Scala (with artifact). ECOOP 2016. @inproceedings{Scalas2016, author = {Alceste Scalas and Nobuko Yoshida}, title = {{Lightweight Session Programming in Scala}}, booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)}, pages = {21:1--21:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-014-9}, ISSN = {1868-8969}, year = {2016}, volume = {56}, editor = {Shriram Krishnamurthi and Benjamin S. Lerner}, published = {Schloss Dagstuhl -- Leibniz-Zentrum {f\"{u}r} Informatik GmbH, Wadern/Saarbruecken, Germany}, address = {Dagstuhl, Germany}, url = {http://drops.dagstuhl.de/opus/volltexte/2016/6115}, urn = {urn:nbn:de:0030-drops-61156}, doi = {http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.21}, annote = {Keywords: session types, Scala, concurrency} } Francesco Tiezzi, Nobuko Yoshida. Reversing Single Sessions. RC 2016. @incollection{Tiezzi2016, doi = {10.1007/978-3-319-40578-0_4}, url = {http://dx.doi.org/10.1007/978-3-319-40578-0_4}, year = {2016}, publisher = {Springer Nature}, pages = {52--69}, author = {Francesco Tiezzi and Nobuko Yoshida}, title = {Reversing Single Sessions}, booktitle = {Reversible Computation} } Simon Fowler. An Erlang Implementation of Multiparty Session Actors. ICE 2016. @article{Fowler2016, doi = {10.4204/eptcs.223.3}, url = {http://dx.doi.org/10.4204/EPTCS.223.3}, year = {2016}, month = {aug}, publisher = {Open Publishing Association}, volume = {223}, pages = {36--50}, author = {Simon Fowler}, title = {An Erlang Implementation of Multiparty Session Actors}, journal = {Electronic Proceedings in Theoretical Computer Science} } Roly Perera, Julien Lange, Simon J. Gay. Multiparty Compatibility for Concurrent Objects. PLACES 2016. @article{Perera2016b, doi = {10.4204/eptcs.211.8}, url = {http://dx.doi.org/10.4204/EPTCS.211.8}, year = {2016}, month = {jun}, publisher = {Open Publishing Association}, volume = {211}, pages = {73--82}, author = {Roly Perera and Julien Lange and Simon J. Gay}, title = {Multiparty Compatibility for Concurrent Objects}, journal = {Electronic Proceedings in Theoretical Computer Science} } Julien Lange, Nobuko Yoshida. Characteristic Formulae for Session Types. TACAS 2016. @incollection{Lange2016, doi = {10.1007/978-3-662-49674-9_52}, url = {http://dx.doi.org/10.1007/978-3-662-49674-9_52}, year = {2016}, publisher = {Springer Nature}, pages = {833--850}, author = {Julien Lange and Nobuko Yoshida}, title = {Characteristic Formulae for Session Types}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems} } Raymond Hu, Nobuko Yoshida. Hybrid Session Verification through Endpoint API Generation. FASE 2016. @incollection{Hu2016, doi = {10.1007/978-3-662-49665-7_24}, url = {http://dx.doi.org/10.1007/978-3-662-49665-7_24}, year = {2016}, publisher = {Springer Nature}, pages = {401--418}, author = {Raymond Hu and Nobuko Yoshida}, title = {Hybrid Session Verification Through Endpoint {API} Generation}, booktitle = {Fundamental Approaches to Software Engineering} } Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida. On the Relative Expressiveness of Higher-Order Session Processes. ESOP 2016. @incollection{Kouzapas2016b, doi = {10.1007/978-3-662-49498-1_18}, url = {http://dx.doi.org/10.1007/978-3-662-49498-1_18}, year = {2016}, publisher = {Springer Nature}, pages = {446--475}, author = {Dimitrios Kouzapas and Jorge A. P{\'{e}}rez and Nobuko Yoshida}, title = {On the Relative Expressiveness of Higher-Order Session Processes}, booktitle = {Programming Languages and Systems} } Nicholas Ng, Nobuko Yoshida. Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis. CC 2016. @inproceedings{Ng2016, doi = {10.1145/2892208.2892232}, url = {http://dx.doi.org/10.1145/2892208.2892232}, year = {2016}, publisher = {Association for Computing Machinery ({ACM})}, author = {Nicholas Ng and Nobuko Yoshida}, title = {Static deadlock detection for concurrent go by global session graph synthesis}, booktitle = {Proceedings of the 25th International Conference on Compiler Construction - {CC} 2016} } Bernardo Toninho, Nobuko Yoshida. Certifying Data in Multiparty Session Types. WadlerFest 2016. @incollection{Toninho2016a, doi = {10.1007/978-3-319-30936-1_23}, url = {http://dx.doi.org/10.1007/978-3-319-30936-1_23}, year = {2016}, publisher = {Springer Nature}, pages = {433--458}, author = {Bernardo Toninho and Nobuko Yoshida}, title = {Certifying Data in Multiparty Session Types}, booktitle = {A List of Successes That Can Change the World} } Simon Gay. Subtyping Supports Safe Session Substitution. WadlerFest 2016. @incollection{Gay2016, doi = {10.1007/978-3-319-30936-1_5}, url = {http://dx.doi.org/10.1007/978-3-319-30936-1_5}, year = {2016}, publisher = {Springer Nature}, pages = {95--108}, author = {Simon J. Gay}, title = {Subtyping Supports Safe Session Substitution}, booktitle = {A List of Successes That Can Change the World} } Robert Atkey, Sam Lindley, J. Garrett Morris. Conflation Confers Concurrency. WadlerFest 2016. @incollection{Atkey2016, doi = {10.1007/978-3-319-30936-1_2}, url = {http://dx.doi.org/10.1007/978-3-319-30936-1_2}, year = {2016}, publisher = {Springer Nature}, pages = {32--55}, author = {Robert Atkey and Sam Lindley and J. Garrett Morris}, title = {Conflation Confers Concurrency}, booktitle = {A List of Successes That Can Change the World} } Shayan Najd, Sam Lindley, Josef Svenningson, Philip Wadler. Everything old is new again: Quoted Domain Specific Languages. PEPM 2016. @inproceedings{Najd2016, doi = {10.1145/2847538.2847541}, url = {http://dx.doi.org/10.1145/2847538.2847541}, year = {2016}, publisher = {Association for Computing Machinery ({ACM})}, author = {Shayan Najd and Sam Lindley and Josef Svenningsson and Philip Wadler}, title = {Everything old is new again: quoted domain-specific languages}, booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation - {PEPM} 2016} } Dominic Orchard, Nobuko Yoshida. Effects as sessions, sessions as effects. POPL 2016. @inproceedings{Orchard2016, doi = {10.1145/2837614.2837634}, url = {http://dx.doi.org/10.1145/2837614.2837634}, year = {2016}, publisher = {Association for Computing Machinery ({ACM})}, author = {Dominic Orchard and Nobuko Yoshida}, title = {Effects as sessions, sessions as effects}, booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages - {POPL} 2016} } 2015 S. J. Gay, N. Gesbert, A. Ravara and V. T. Vasconcelos. Modular Session Types for Objects. Logical Methods in Computer Science 11(4:12), 2015. @article{GayGRV2015, author = {Simon J. Gay and Nils Gesbert and Ant{\'{o}}nio Ravara and Vasco Thudichum Vasconcelos}, title = {Modular Session Types for Objects}, journal = {Logical Methods in Computer Science}, volume = {11}, number = {4}, year = {2015}, url = {https://doi.org/10.2168/LMCS-11(4:12)2015}, doi = {10.2168/LMCS-11(4:12)2015}, timestamp = {Wed, 14 Jun 2017 20:37:24 +0200}, biburl = {http://dblp.org/rec/bib/journals/corr/abs-1205-5344}, bibsource = {dblp computer science bibliography, http://dblp.org} } O.Dardha. Type Systems for Distributed Programs: Session Communication. In Bulletin of EATCS. Issue of October 2015. @misc{Dardha2015b, title = {Type Systems for Distributed Programs: Session Communication}, year = {2015}, month = {dec}, journal = {The Concurrency Column}, publusher = {EATCS}, editor = {Nobuko Yoshida}, author = {Ornela Dardha}, url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/375}, } Ornela Dardha, Jorge A. Pérez. Comparing Deadlock-Free Session Typed Processes. EXPRESS/SOS 2015. @inproceedings{Dardha2015a, author = {Ornela Dardha and Jorge A. P{\'{e}}rez}, title = {Comparing Deadlock-Free Session Typed Processes}, booktitle = {Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015.}, pages = {1--15}, year = {2015}, series = {{EPTCS}}, volume = {190}, url = {https://doi.org/10.4204/EPTCS.190.1}, doi = {10.4204/EPTCS.190.1}, timestamp = {Sat, 16 Sep 2017 12:06:15 +0200}, biburl = {http://dblp.org/rec/bib/journals/corr/DardhaP15}, bibsource = {dblp computer science bibliography, http://dblp.org} } Roly Perera, Simon J. Gay. Behavioural Prototypes. Extended Abstract, NOOL 2015. @article{Perera2016a, author = {Roly Perera and Simon J. Gay}, title = {Behavioural Prototypes}, journal = {CoRR}, volume = {abs/1609.01985}, year = {2016}, url = {http://arxiv.org/abs/1609.01985}, } Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida. Protocol-Based Verification of Message-Passing Parallel Programs. OOPSLA 2015. @inproceedings{Lopez2015, doi = {10.1145/2814270.2814302}, url = {http://dx.doi.org/10.1145/2814270.2814302}, year = {2015}, publisher = {Association for Computing Machinery ({ACM})}, author = {Hugo A. L{\'{o}}pez and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and C{\'{e}}sar Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Protocol-based verification of message-passing parallel programs}, booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on Object-Oriented Programming, Systems, Languages, and Applications - {OOPSLA} 2015} } Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach. Generating Performance Portable Code using Rewrite Rules: From High-level Functional Expressions to High-Performance OpenCL Code. ICFP 2015. @inproceedings{Steuwer2015, doi = {10.1145/2784731.2784754}, url = {http://dx.doi.org/10.1145/2784731.2784754}, year = {2015}, publisher = {Association for Computing Machinery ({ACM})}, author = {Michel Steuwer and Christian Fensch and Sam Lindley and Christophe Dubach}, title = {Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance {OpenCL} code}, booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on Functional Programming - {ICFP} 2015} } J. Garrett Morris. Variations on Variants. Haskell 2015. @inproceedings{Morris2015, doi = {10.1145/2804302.2804320}, url = {http://dx.doi.org/10.1145/2804302.2804320}, year = {2015}, publisher = {Association for Computing Machinery ({ACM})}, author = {J. Garrett Morris}, title = {Variations on variants}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Symposium on Haskell - Haskell 2015} } Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida. Characteristic Bisimulations for Higher-Order Session Processes. CONCUR 2015. @inproceedings{Kouzapas2015d, doi = {10.4230/LIPIcs.CONCUR.2015.398}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.398}, title = {{Characteristic Bisimulations for Higher-Order Session Processes}}, booktitle = {26th International Conference on Concurrency Theory}, series = {LIPIcs}, volume = {42}, author = {Kouzapas, Dimitrios and P{\'e}rez, Jorge A. and Yoshida, Nobuko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum {f\"{u}r} Informatik GmbH, Wadern/Saarbruecken, Germany}, year = {2015} } Laura Bocchi, Julien Lange, Nobuko Yoshida. Meeting Deadlines Together. CONCUR 2015. @inproceedings{Bocchi2015, author = {Laura Bocchi and Julien Lange and Nobuko Yoshida}, title = {{Meeting Deadlines Together}}, booktitle = {26th International Conference on Concurrency Theory}, series = {LIPIcs}, volume = {42}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum {f\"{u}r} Informatik GmbH, Wadern/Saarbruecken, Germany}, doi = {10.4230/LIPIcs.CONCUR.2015.283}, year = {2015} } Marco Carbone, Fabrizio Montesi, Carsten Sch{\"{u}}rmann, Nobuko Yoshida. Multiparty Session Types as Coherence Proofs. CONCUR 2015. @inproceedings{Carbone2015, author = {Marco Carbone and Fabrizio Montesi and Carsten Schürmann and Nobuko Yoshida}, title = {{Multiparty Session Types as Coherence Proofs}}, booktitle = {26th International Conference on Concurrency Theory}, series = {LIPIcs}, volume = {42}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum {f\"{u}r} Informatik GmbH, Wadern/Saarbruecken, Germany}, doi = {10.4230/LIPIcs.CONCUR.2015.412}, year = {2015} } Roly Perera, James Cheney. Proof-Relevant Pi-Calculus. LFMTP 2015. @article{Perera2015, doi = {10.4204/eptcs.185.4}, url = {http://dx.doi.org/10.4204/EPTCS.185.4}, year = {2015}, month = {jul}, publisher = {Open Publishing Association}, volume = {185}, pages = {46--70}, author = {Roly Perera and James Cheney}, title = {Proof-relevant pi-calculus}, journal = {Electronic Proceedings in Theoretical Computer Science} } Francesco Tiezzi, Nobuko Yoshida. Reversible Session-Based Pi-Calculus. JLAMP. @article{Tiezzi2015, author = {Francesco Tiezzi and Nobuko Yoshida}, title = {{Reversible Session-Based Pi-Calculus}}, journal = {Journal of Logical and Algebraic Methods in Programming}, volume = {84}, issue = {5}, publisher = {Elsevier}, doi = {10.1016/j.jlamp.2015.03.004}, year = {2015} } Dimitris Mostrous, Nobuko Yoshida. Session Typing and Asynchronous Subtyping for the Higher-Order Pi-Calculus. Information and Computation. @article{Mostrous2015, author = {Dimitris Mostrous and Nobuko Yoshida}, title = {{Session Typing and Asynchronous Subtyping for the Higher-Order π-Calculus}}, journal = {Journal of Information and Computation}, volume = {241}, publisher = {Elsevier}, doi = {10.1016/j.ic.2015.02.002}, year = {2015} } Nicholas Ng, Jose G.F. Coutinho, Nobuko Yoshida. Protocols by Default: Safe MPI Code Generation based on Session Types. CC 2015. @inproceedings{Ng2015b, author = {Nicholas Ng and Jose G.F. Coutinho and Nobuko Yoshida}, title = {{Protocols by Default: Safe MPI Code Generation based on Session Types}}, booktitle = {24th International Conference on Compiler Construction}, series = {LNCS}, volume = {9031}, publisher = {Springer}, doi = {10.1007/978-3-662-46663-6_11}, year = {2015} } Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida. Dynamic deadlock verification for general barrier synchronisation. PPoPP 2015. @inproceedings{Cogumbreiro2015, author = {Tiago Cogumbreiro and Raymond Hu and Francisco Martins and Nobuko Yoshida}, title = {{Dynamic deadlock verification for general barrier synchronisation}}, booktitle = {20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, publisher = {ACM}, doi = {10.1145/2688500.2688519}, year = {2015} } Julien Lange, Emilio Tuosto, Nobuko Yoshida. From communicating machines to graphical choreographies. POPL 2015. @inproceedings{Lange2015, author = {Julien Lange and Emilio Tuosto and Nobuko Yoshida}, title = {{From communicating machines to graphical choreographies}}, booktitle = {42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, publisher = {ACM}, doi = {10.1145/2676726.2676964}, year = {2015} } Dimitrios Kouzapas, Nobuko Yoshida. Globally Governed Session Semantics. LMCS. @article{Kouzapas2015c, author = {Dimitrios Kouzapas and Nobuko Yoshida}, title = {{Globally Governed Session Semantics}}, journal = {Logical Methods in Computer Science}, volume = {10}, issue = {4}, doi = {10.2168/LMCS-10(4:20)2014}, year = {2015} } Sara Capecchi, Elena Giachino, Nobuko Yoshida. Global Escape in Multiparty Sessions. MSCS. @article{Capecchi2014, author = {Sara Capecchi and Elena Giachino and Nobuko Yoshida}, title = {{Global Escape in Multiparty Sessions}}, journal = {Mathematical Structures in Computer Science}, volume = {26}, issue = {SI2}, publisher = {Cambridge University Press}, doi = {10.1017/S0960129514000164}, year = {2014} } Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani. Global Progress for Dynamically Interleaved Multiparty Sessions. MSCS. @article{Coppo2015b, author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida and Luca Padovani}, title = {{Global Progress for Dynamically Interleaved Multiparty Sessions}}, journal = {Mathematical Structures in Computer Science}, volume = {760}, publisher = {Cambridge University Press}, doi = {10.1017/S0960129514000188}, year = {2015} } Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda. On Asynchronous Eventful Session Semantics. MSCS. @article{Kouzapas2015b, author = {Dimitrios Kouzapas and Nobuko Yoshida and Raymond Hu and Kohei Honda}, title = {{On Asynchronous Eventful Session Semantics}}, journal = {Mathematical Structures in Computer Science}, volume = {29}, issue = {5}, publisher = {Cambridge University Press}, doi = {10.1017/S096012951400019X}, year = {2015} } Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida. Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python. Formal Methods in System Design. @article{Demangeon2015, author = {Romain Demangeon and Kohei Honda and Raymond Hu and Rumyana Neykova and Nobuko Yoshida}, title = {{Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python}}, journal = {Formal Methods in System Design}, publisher = {Springer}, doi = {10.1007/s10703-014-0218-8}, year = {2015} } Dominic Orchard, Nobuko Yoshida. Using session types as an effect system. PLACES 2015. @inproceedings{Orchard2015, author = {Dominic Orchard and Nobuko Yoshida}, title = {{Using session types as an effect system}}, booktitle = {7th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software}, year = {2015} } Dimitrios Kouzapas, Anna Philippou. Type checking privacy policies in the pi-calculus. FORTE 2015. @inproceedings{Kouzapas2015a, author = {Dimitrios Kouzapas and Anna Philippou}, title = {Type Checking Privacy Policies in the {\(\pi\)}-calculus}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, pages = {181--195}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-19195-9_12}, doi = {10.1007/978-3-319-19195-9_12}, } Simon Fowler, Loic Denuziere, Adam Granicz. Reactive Single-Page Applications with Dynamic Dataflow. PADL 2015. @incollection{Fowler2015, doi = {10.1007/978-3-319-19686-2_5}, url = {http://dx.doi.org/10.1007/978-3-319-19686-2_5}, year = {2015}, publisher = {Springer Nature}, pages = {58--73}, author = {Simon Fowler and Loïc Denuzi{\`{e}}re and Adam Granicz}, title = {Reactive Single-Page Applications with Dynamic Dataflow}, booktitle = {Practical Aspects of Declarative Languages} } Jeremy Siek, Peter Thiemann, Philip Wadler. Blame and Coercion: Together Again for the First Time. PLDI 2015. @inproceedings{Siek2015, doi = {10.1145/2737924.2737968}, url = {http://dx.doi.org/10.1145/2737924.2737968}, year = {2015}, publisher = {Association for Computing Machinery ({ACM})}, author = {Jeremy Siek and Peter Thiemann and Philip Wadler}, title = {Blame and coercion: together again for the first time}, booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation - {PLDI} 2015} } Philip Wadler. Propositions as Types. Communications of the ACM, 2015. @article{Wadler2015b, doi = {10.1145/2699407}, url = {http://dx.doi.org/10.1145/2699407}, year = {2015}, month = {nov}, publisher = {Association for Computing Machinery ({ACM})}, volume = {58}, number = {12}, pages = {75--84}, author = {Philip Wadler}, title = {Propositions as types}, journal = {Communications of the {ACM}} } Philip Wadler. A Complement to Blame. SNAPL 2015. @inproceedings{Wadler2015a, author = {Philip Wadler}, title = {{A Complement to Blame}}, booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)}, pages = {309--320}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-80-4}, ISSN = {1868-8969}, year = {2015}, volume = {32}, editor = {Thomas Ball and Rastislav Bodik and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum {f\"{u}r} Informatik GmbH, Wadern/Saarbruecken, Germany}, address = {Dagstuhl, Germany}, url = {http://drops.dagstuhl.de/opus/volltexte/2015/5033}, urn = {urn:nbn:de:0030-drops-50333}, doi = {http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.309}, annote = {Keywords: contracts, gradual typing, hybrid typing, blame calculus} } Sam Lindley, J. Garrett Morris. A Semantics for Propositions as Sessions. ESOP 2015. @incollection{Lindley2015, doi = {10.1007/978-3-662-46669-8_23}, url = {http://dx.doi.org/10.1007/978-3-662-46669-8_23}, year = {2015}, publisher = {Springer Nature}, pages = {560--584}, author = {Sam Lindley and J. Garrett Morris}, title = {A Semantics for Propositions as Sessions}, booktitle = {Programming Languages and Systems} } 2014 Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino. Choreographies in the Wild. Science of Computer Programming. @article{Bartoletti2014, author = {Massimo Bartoletti and Julien Lange and Alceste Scalas and Roberto Zunino}, title = {{Choreographies in the Wild}}, journal = {Science of Computer Programming}, publisher = {Elsevier}, doi = {10.1016/j.scico.2014.11.015}, year = {2014} } Laura Bocchi, Weizhen Yang, Nobuko Yoshida. Timed Multiparty Session Types. CONCUR 2014. @inproceedings{Bocchi2014b, author = {Laura Bocchi and Weizhen Yang and Nobuko Yoshida}, title = {{Timed Multiparty Session Types}}, booktitle = {25th International Conference on Concurrency Theory}, series = {LNCS}, volume = {8704}, publisher = {Springer}, doi = {10.1007/978-3-662-44584-6_29}, year = {2014} } Rumyana Neykova, Nobuko Yoshida. Multiparty Session Actors. COORDINATION 2014. @inproceedings{Neykova2014b, author = {Rumyana Neykova and Nobuko Yoshida}, title = {{Multiparty Session Actors}}, booktitle = {16th International Conference on Coordination Models and Languages}, series = {LNCS}, volume = {8459}, publisher = {Springer}, doi = {10.1007/978-3-662-43376-8_9}, year = {2014} } Nicholas Ng, Nobuko Yoshida. Pabble: parameterised Scribble. Service-Oriented Computing and Applications. @article{Ng2015a, author = {Nicholas Ng and Nobuko Yoshida}, title = {{Pabble: parameterised Scribble}}, journal = {Service Oriented Computing and Applications}, volume = {9(3-4)}, publisher = {Springer London}, doi = {10.1007/s11761-014-0172-8}, year = {2015} } Luca Fossati, Raymond Hu, Nobuko Yoshida. Multiparty Session Nets. TGC 2014. @inproceedings{Fossati2014, author = {Luca Fossati and Raymond Hu and Nobuko Yoshida}, title = {{Multiparty Session Nets}}, booktitle = {9th International Symposium on Trustworthy Global Computing}, series = {LNCS}, volume = {8902}, publisher = {Springer}, doi = {10.1007/978-3-662-45917-1_8}, year = {2014} } Rumyana Neykova, Laura Bocchi, Nobuko Yoshida. Timed Runtime Monitoring for Multiparty Conversations. BEAT 2014. @inproceedings{Neykova2014a, author = {Rumyana Neykova and Laura Bocchi and Nobuko Yoshida}, title = {{Timed Runtime Monitoring for Multiparty Conversations}}, booktitle = {3rd International Workshop on Behavioural Types}, volume = {162}, publisher = {EPTCS}, doi = {10.4204/EPTCS.162.3}, year = {2014} } Kohei Honda, Nobuko Yoshida, Martin Berger. Process Types as a Descriptive Tool for interaction: Control and the Pi-Calculus. RTA-TLCA 2014. @inproceedings{Honda2014b, author = {Kohei Honda and Nobuko Yoshida and Martin Berger}, title = {{Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus}}, booktitle = {Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications}, series = {LNCS}, volume = {8560}, publisher = {Springer}, doi = {10.1007/978-3-319-08918-8_1}, year = {2014} } Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou. Structuring Communication with Session Types. COB 2014. @inproceedings{Honda2014a, author = {Kohei Honda and Raymond Hu and Rumyana Neykova and Tzu-Chun Chen and Romain Demangeon and Pierre-Malo Deniélou and Nobuko Yoshida}, title = {{Structuring Communication with Session Types}}, booktitle = {Concurrent Objects and Beyond}, series = {LNCS}, volume = {8665}, publisher = {Springer}, doi = {10.1007/978-3-662-44471-9_5}, year = {2014} } Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. On the Preciseness of Subtyping in Session Types. PPDP 2014. @inproceedings{Chen2014a, author = {Tzu-Chun Chen and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida}, title = {{On the Preciseness of Subtyping in Session Types}}, booktitle = {16th International Symposium on Principles and Practice of Declarative Programming}, publisher = {ACM}, doi = {10.1145/2643135.2643138}, year = {2014} } Laura Bocchi, Hernán Melgratti, Emilio Tuosto. Resolving Non-determinism in Choreographics. ESOP 2014. @inproceedings{Bocchi2014a, author = {Laura Bocchi and Hernán Melgratti and Emilio Tuosto}, title = {{Resolving Non-determinism in Choreographies}}, booktitle = {23rd European Symposium on Programming}, series = {LNCS}, volume = {8410}, publisher = {Springer}, doi = {10.1007/978-3-642-54833-8_26}, year = {2014} } Søren Debois, Thomas Hildebrandt, Tijs Slatts, Nobuko Yoshida. Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE 2014. @article{Debois2016a, doi = {10.2168/lmcs-12(1:1)2016}, url = {http://dx.doi.org/10.2168/LMCS-12(1:1)2016}, year = {2016}, month = {jan}, publisher = {Logical Methods in Computer Science}, volume = {12}, number = {1}, author = {S{\o}ren Debois and Thomas Hildebrandt and Tijs Slaats and Nobuko Yoshida}, editor = {Erika Abraham}, title = {Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion}, journal = {Logical Methods in Computer Science} } Simon J. Gay, Nils Gesbert, Antonio Ravara. Session Types as Generic Process Types. EXPRESS/SOS 2014. @article{Gay2014, doi = {10.4204/eptcs.160.9}, url = {http://dx.doi.org/10.4204/EPTCS.160.9}, year = {2014}, month = {aug}, publisher = {Open Publishing Association}, volume = {160}, pages = {94--110}, author = {Simon J. Gay and Nils Gesbert and Ant{\'{o}}nio Ravara}, title = {Session Types as Generic Process Types}, journal = {Electronic Proceedings in Theoretical Computer Science} } Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay. Session Types for Broadcasting. PLACES 2014. @misc{Kouzapas2014a, year = {2014}, author = {Dimitrios Kouzapas, Ramūnas Gutkovas and Simon Gay}, title = {Session Types for Broadcasting}, howpublished = {Presented at the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software}, } Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas. On Duality Relations for Session Types. TGC 2014. @incollection{Bernardi2014, doi = {10.1007/978-3-662-45917-1_4}, url = {http://dx.doi.org/10.1007/978-3-662-45917-1_4}, year = {2014}, publisher = {Springer Nature}, pages = {51--66}, author = {Giovanni Bernardi and Ornela Dardha and Simon J. Gay and Dimitrios Kouzapas}, title = {On Duality Relations for Session Types}, booktitle = {Trustworthy Global Computing} } Ornela Dardha. Recursive Session Types Revisited. BEAT 2014. @article{Dardha2014, doi = {10.4204/eptcs.162.4}, url = {http://dx.doi.org/10.4204/EPTCS.162.4}, year = {2014}, month = {aug}, publisher = {Open Publishing Association}, volume = {162}, pages = {27--34}, author = {Ornela Dardha}, title = {Recursive Session Types Revisited}, journal = {Electronic Proceedings in Theoretical Computer Science} } Sam Lindley. Algebraic Effects and Effect Handlers for Idioms and Arrows. WGP 2014. @inproceedings{Lindley2014b, doi = {10.1145/2633628.2633636}, url = {http://dx.doi.org/10.1145/2633628.2633636}, year = {2014}, publisher = {Association for Computing Machinery ({ACM})}, author = {Sam Lindley}, title = {Algebraic effects and effect handlers for idioms and arrows}, booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming - {WGP} {\textquotesingle}14} } J. Garrett Morris. A Simple Semantics of Haskell Overloading. Haskell 2014. @inproceedings{Morris2014, doi = {10.1145/2633357.2633364}, url = {http://dx.doi.org/10.1145/2633357.2633364}, year = {2014}, publisher = {Association for Computing Machinery ({ACM})}, author = {J. Garrett Morris}, title = {A simple semantics for Haskell overloading}, booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell - Haskell {\textquotesingle}14} } James Cheney, Sam Lindley, Philip Wadler. Query Shredding: Efficient Relational Evaluation of Queries over Nested Multisets. SIGMOD 2014. @inproceedings{Cheney2014b, doi = {10.1145/2588555.2612186}, url = {http://dx.doi.org/10.1145/2588555.2612186}, year = {2014}, publisher = {Association for Computing Machinery ({ACM})}, author = {James Cheney and Sam Lindley and Philip Wadler}, title = {Query shredding: Efficient Relational Evaluation of Queries over Nested Multisets}, booktitle = {Proceedings of the 2014 {ACM} {SIGMOD} international conference on Management of data - {SIGMOD} {\textquotesingle}14} } Marco Carbone, Ornela Dardha, Fabrizio Montesi. Progress as Compositional Lock Freedom. COORDINATION 2014. @incollection{Carbone2014, doi = {10.1007/978-3-662-43376-8_4}, url = {http://dx.doi.org/10.1007/978-3-662-43376-8_4}, year = {2014}, publisher = {Springer Nature}, pages = {49--64}, author = {Marco Carbone and Ornela Dardha and Fabrizio Montesi}, title = {Progress as Compositional Lock-Freedom}, booktitle = {Lecture Notes in Computer Science} } James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler. Effective Quotation. PEPM 2014. @inproceedings{Cheney2014a, doi = {10.1145/2543728.2543738}, url = {http://dx.doi.org/10.1145/2543728.2543738}, year = {2014}, publisher = {Association for Computing Machinery ({ACM})}, author = {James Cheney and Sam Lindley and Gabriel Radanne and Philip Wadler}, title = {Effective quotation}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 Workshop on Partial Evaluation and Program Manipulation - {PEPM} {\textquotesingle}14} } Meng Wang, Shayan Najd. Semantic Bidirectionalization Revisited. PEPM 2014. @inproceedings{Wang2014, doi = {10.1145/2543728.2543729}, url = {http://dx.doi.org/10.1145/2543728.2543729}, year = {2014}, publisher = {Association for Computing Machinery ({ACM})}, author = {Meng Wang and Shayan Najd}, title = {Semantic bidirectionalization revisited}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 Workshop on Partial Evaluation and Program Manipulation - {PEPM} {\textquotesingle}14} } Sam Lindley, J. Garrett Morris. Sessions as Propositions. PLACES 2014. @article{Lindley2014a, doi = {10.4204/eptcs.155.2}, url = {http://dx.doi.org/10.4204/EPTCS.155.2}, year = {2014}, month = {jun}, publisher = {Open Publishing Association}, volume = {155}, pages = {9--16}, author = {Sam Lindley and J. Garrett Morris}, title = {Sessions as Propositions}, journal = {Electronic Proceedings in Theoretical Computer Science} } Nicholas Ng, Nobuko Yoshida. Pabble: Parameterised Scribble for Parallel Programming. PDP 2014. @inproceedings{Ng2014, author = {Nicholas Ng and Nobuko Yoshida}, title = {{Pabble: Parameterised Scribble for Parallel Programming}}, booktitle = {22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing}, publisher = {IEEE Computer Society}, doi = {10.1109/PDP.2014.20}, year = {2014} } Ornela Dardha, Elena Giachino, Michael Lienhardt. A Type System for Components. SEFM 2013. @incollection{Dardha2013b, doi = {10.1007/978-3-642-40561-7_12}, url = {http://dx.doi.org/10.1007/978-3-642-40561-7_12}, year = {2013}, publisher = {Springer Nature}, pages = {167--181}, author = {Ornela Dardha and Elena Giachino and Michaël Lienhardt}, title = {A Type System for Components}, booktitle = {Software Engineering and Formal Methods} } Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng. The Scribble Protocol Language. TGC 2013. @inproceedings{Yoshida2013, author = {Nobuko Yoshida and Raymond Hu and Rumyana Neykova and Nicholas Ng}, title = {{The Scribble Protocol Language}}, booktitle = {8th International Symposium on Trustworthy Global Computing}, series = {LNCS}, volume = {8358}, publisher = {Springer}, doi = {10.1007/978-3-319-05119-2_3}, year = {2013} } Fabrizio Montesi, Nobuko Yoshida. Compositional Choreographies. CONCUR 2013. @inproceedings{Montesi2013, author = {Fabrizio Montesi and Nobuko Yoshida}, title = {{Compositional Choreographies}}, booktitle = {24th International Conference on Concurrency Theory}, series = {LNCS}, volume = {8052}, publisher = {Springer}, doi = {10.1007/978-3-642-40184-8_30}, year = {2013} } Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani. Global Progress for Dynamically Interleaved Multiparty Sessions. MSCS 2013. @article{Coppo2015a, author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida and Luca Padovani}, title = {{Global Progress for Dynamically Interleaved Multiparty Sessions}}, journal = {Mathematical Structures in Computer Science}, volume = {760}, publisher = {Cambridge University Press}, doi = {10.1017/S0960129514000188}, year = {2015} } Dimitrios Kouzapas, Nobuko Yoshida. Globally Governed Session Semantics. CONCUR 2013. @inproceedings{Kouzapas2013, author = {Dimitrios Kouzapas and Nobuko Yoshida}, title = {{Globally Governed Session Semantics}}, booktitle = {24th International Conference on Concurrency Theory}, series = {LNCS}, volume = {8052}, publisher = {Springer}, doi = {10.1007/978-3-642-40184-8_28}, year = {2013} } Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida. Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013: 45-59. @inproceedings{Coppo2013, author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Luca Padovani and Nobuko Yoshida}, title = {{Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions}}, booktitle = {15th International Conference on Coordination Models and Languages}, series = {LNCS}, volume = {7890}, publisher = {Springer}, doi = {10.1007/978-3-642-38493-6_4}, year = {2013} } Ornela Dardha, Daniele Gorla, Daniele Varacca. Semantic Subtyping for Objects and Classes. FORTE/FMOODS 2013. @incollection{Dardha2013a, doi = {10.1007/978-3-642-38592-6_6}, url = {http://dx.doi.org/10.1007/978-3-642-38592-6_6}, year = {2013}, publisher = {Springer Nature}, pages = {66--82}, author = {Ornela Dardha and Daniele Gorla and Daniele Varacca}, title = {Semantic Subtyping for Objects and Classes}, booktitle = {Formal Techniques for Distributed Systems} } Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida. Monitoring Networks through Multiparty Session Types. FORTE/FMOODS 2013. @inproceedings{Bocchi2013, author = {Laura Bocchi and Tzu-Chun Chen and Romain Demangeon and Kohei Honda and Nobuko Yoshida}, title = {{Monitoring Networks through Multiparty Session Types}}, booktitle = {Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems}, series = {LNCS}, volume = {7892}, publisher = {Springer}, doi = {10.1007/978-3-642-38592-6_5}, year = {2013} } Pierre-Malo Denileou, Nobuko Yoshida. Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. ICALP 2013. @inproceedings{Denileou2013, author = {Pierre-Malo Deniélou and Nobuko Yoshida}, title = {{Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types}}, booktitle = {40th International Colloquium on Automata, Languages and Programming}, series = {LNCS}, volume = {7966}, publisher = {Springer}, doi = {10.1007/978-3-642-39212-2_18}, year = {2013} } Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon. Practical interruptible conversations: Distributed Dynamic Verification with Session Types and Python. RV 2013. @inproceedings{Hu2013, author = {Raymond Hu and Rumyana Neykova and Nobuko Yoshida and Romain Demangeon}, title = {{Practical interruptible conversations: Distributed Dynamic Verification with Session Types and Python}}, booktitle = {4th International Conference on Runtime Verification}, series = {LNCS}, volume = {8174}, publisher = {Springer}, doi = {10.1007/978-3-642-40787-1_8}, year = {2013} } Rumyana Neykova. Session Types Go Dynamic or How to Verify Your Python Conversations. PLACES 2013. @inproceedings{Neykova2013b, author = {Rumyana Neykova}, title = {{Session Types Go Dynamic or How to Verify Your Python Conversations}}, booktitle = {5th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software}, series = {EPTCS}, volume = {137}, publisher = {Open Publishing Association}, doi = {10.4204/EPTCS.137.8}, year = {2013} } Rumyana Neykova, Nobuko Yoshida, Raymond Hu. SPY: Local Verification of Global Protocols. RV 2013. @inproceedings{Neykova2013a, author = {Rumyana Neykova and Nobuko Yoshida and Raymond Hu}, title = {{SPY: Local Verification of Global Protocols}}, booktitle = {4th International Conference on Runtime Verification}, series = {LNCS}, volume = {8174}, publisher = {Springer}, doi = {10.1007/978-3-642-40787-1_25}, year = {2013} } Eduardo R. B. Marques, Francisco Martins, Vasco Thudichum Vasconcelos, Nicholas Ng, Nuno Dias Martins. Towards Deductive Verification of MPI Programs Against Session Types. PLACES 2013. @inproceedings{Marques2013, author = {Eduardo R. B. Marques and Francisco Martins and Vasco Thudichum Vasconcelos and Nicholas Ng and Nuno Dias Martins}, title = {{Towards deductive verification of MPI programs against session types}}, booktitle = {5th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software}, series = {EPTCS}, volume = {137}, publisher = {Open Publishing Association}, doi = {10.4204/EPTCS.137.9}, year = {2013} } Sam Lindley, Conor McBride. Hasochism: the pleasure and pain of dependently typed Haskell programming. Haskell 2013. @inproceedings{Lindley2013, doi = {10.1145/2503778.2503786}, url = {http://dx.doi.org/10.1145/2503778.2503786}, year = {2013}, publisher = {Association for Computing Machinery ({ACM})}, author = {Sam Lindley and Conor McBride}, title = {Hasochism}, booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} symposium on Haskell - Haskell {\textquotesingle}13} } James Cheney, Sam Lindley, Philip Wadler. A Practical Theory of Language-Integrated Query. ICFP 2013. @inproceedings{Cheney2013, doi = {10.1145/2500365.2500586}, url = {http://dx.doi.org/10.1145/2500365.2500586}, year = {2013}, publisher = {Association for Computing Machinery ({ACM})}, author = {James Cheney and Sam Lindley and Philip Wadler}, title = {A practical theory of language-integrated query}, booktitle = {Proceedings of the 18th {ACM} {SIGPLAN} international conference on Functional programming - {ICFP} } } Ohad Kammar, Sam Lindley, Nicolas Oury. Handlers in Action. ICFP 2013. @inproceedings{Kammar2013, doi = {10.1145/2500365.2500590}, url = {http://dx.doi.org/10.1145/2500365.2500590}, year = {2013}, publisher = {Association for Computing Machinery ({ACM})}, author = {Ohad Kammar and Sam Lindley and Nicolas Oury}, title = {Handlers in action}, booktitle = {Proceedings of the 18th {ACM} {SIGPLAN} international conference on Functional programming - {ICFP} } } 2012 Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session Types Revisited. PPDP 2012. @inproceedings{Dardha2012, doi = {10.1145/2370776.2370794}, url = {http://dx.doi.org/10.1145/2370776.2370794}, year = {2012}, publisher = {Association for Computing Machinery ({ACM})}, author = {Ornela Dardha and Elena Giachino and Davide Sangiorgi}, title = {Session types revisited}, booktitle = {Proceedings of the 14th symposium on Principles and practice of declarative programming - {PPDP} } } Philip Wadler. Propositions as Sessions. ICFP 2012. @inproceedings{Wadler2012, doi = {10.1145/2364527.2364568}, url = {http://dx.doi.org/10.1145/2364527.2364568}, year = {2012}, publisher = {Association for Computing Machinery ({ACM})}, author = {Philip Wadler}, title = {Propositions as sessions}, booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} international conference on Functional programming - {ICFP} } } Miscellaneous @misc{AIPL14, title = {{2nd International Summer School on Advances in Programming Languages}}, year = {2014}, howpublished = {\url{http://www.macs.hw.ac.uk/~hwloidl/Events/ISS-AiPL-2014/}} } @misc{ABCD:UseCaseRepo, title = {{ ABCD Use Cases Repository }}, howpublished = {\url{https://github.com/epsrc-abcd/session-types-use-cases}} } @misc{Links:Website, title = {{The Links Programming Language}}, howpublished = {\url{http://www.links-lang.org}} } @misc{Mungo:Website, title = {{The Mungo and StMungo website}}, howpublished = {\url{http://www.dcs.gla.ac.uk/research/mungo/index.html}} } @misc{Fowler2017:DistLinksDraft, author = { Simon Fowler and Sam Lindley and J. Garrett Morris and S\'ara Decova }, title = { { Session Types without Tiers } }, howpublished = { Draft, \url{http://simonjf.com/drafts/chomp-draft-nov17.pdf} }, year = { 2017 } } @misc{ABCD:ImplementationList, title = { { Session Types in Programming Languages: A Collection of Implementations } }, howpublished = {\url{http://groups.inf.ed.ac.uk/abcd/session-implementations.html}}, year = { 2017 } }