-
Notifications
You must be signed in to change notification settings - Fork 4
Expand file tree
/
Copy pathindex.html
More file actions
1144 lines (1007 loc) · 55.8 KB
/
index.html
File metadata and controls
1144 lines (1007 loc) · 55.8 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!DOCTYPE html>
<html>
<head>
<title>From Data Types to Session Types: A Basis for Concurrency and Distribution</title>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<!-- Bootstrap -->
<link href="css/bootstrap.min.css" rel="stylesheet">
<link href='http://fonts.googleapis.com/css?family=Merriweather:400,300italic,300' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Kotta+One' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Lora' rel='stylesheet' type='text/css'>
<!-- Custom styles for this template -->
<link href="abcd.css" rel="stylesheet">
<!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries -->
<!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
<!--[if lt IE 9]>
<script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
<script src="https://oss.maxcdn.com/libs/respond.js/1.3.0/respond.min.js"></script>
<![endif]-->
<meta http-equiv="PRAGMA" content="NO-CACHE">
<meta http-equiv="CACHE-CONTROL" content="NO-CACHE">
</head>
<body data-spy="scroll" data-target="#navbar">
<!-- Navbar -->
<div class="navbar-wrapper">
<div class="container">
<div id="navbar" class="navbar navbar-inverse navbar-fixed-top" role="navigation">
<div class="container">
<div class="navbar-header">
<button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">
<span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="index.html">ABCD</a>
</div>
<div class="navbar-collapse collapse">
<ul class="nav navbar-nav">
<li><a href="#about">In Brief</a></li>
<li><a href="#people">People</a></li>
<li><a href="#publications">Publications</a></li>
<li><a href="#resources">Resources</a></li>
<li><a href="#" class="dropdown-toggle" data-toggle="dropdown">Meetings <span class="caret"></span></a>
<ul class="dropdown-menu" role="menu">
<li><a href="meeting-january2014/index.html">January, 2014</a></li>
<li><a href="meeting-september2014/index.html">September, 2014</a></li>
<li><a href="meeting-april2015/index.html">April, 2015</a></li>
<li><a href="meeting-september2015/index.html">September, 2015</a></li>
<li><a href="meeting-january2016/index.html">January, 2016</a></li>
<li><a href="meeting-january2017/index.html">January, 2017</a></li>
<li><a href="meeting-december2017/index.html">December, 2017</a></li>
<li><a href="meeting-december2018/index.html">December, 2018</a></li>
<li><a href="meeting-december2019/index.html">December, 2019</a></li>
</ul>
<li><a href="#" class="dropdown-toggle" data-toggle="dropdown">Events <span class="caret"></span></a>
<ul class="dropdown-menu" role="menu">
<li><a href="cocopops/">CoCo:PoPS</a></li>
<li><a href="VEST/">VEST</a></li>
</ul></li>
<li><a href="session-implementations.html">Implementations</a></li>
</ul>
</div>
</div>
</div>
</div>
</div>
<div class="jumbotron">
<div class="container">
<h1>A Basis for Concurrency and Distribution</h1>
<hr>
<p>Session types codify the structure of communication, making software more reliable and easier
to construct.</p>
</div>
</div>
<!-- Wrap the rest of the page in another container to center all the content. -->
<div class="container marketing">
<div class="row featurette">
<h2 class="featurette-heading" id="about">From Data Types to Session Types</h2></p>
<p><span class="lead">Concurrency and distribution are computing's most pressing problem.</span>
As we approach the 50th anniversary of Moore's Law, the rules are changing: processor core
counts are doubling while clock speeds remain fixed, rendering exploitation of concurrency
essential. Meanwhile, we have entered an age where everyone has a computer in their pocket,
depending crucially on communication with other computers to achieve their function. Without
a way to routinely and reliably build concurrent and distributed systems, a half century of
unprecedented technical progress will draw to a close. </p>
<p><span class="lead">The data type is one of computing's most successful ideas.</span> The
notion of data type appears in programming languages from the oldest to the newest, and
covers concepts ranging from a single bit to organised tables containing petabytes of
data. Types act as the fundamental unit of compositionality: the first thing a programmer writes
or reads about each method or module is the data types it acts upon, and type discipline
guarantees that each call of a method matches its definition and each import of a module matches
its export. Data types play a central role in all aspects of software, from architectural design
to interactive development environments to efficient compilation.</p>
<p><span class="lead">Session types will play a crucial role in all aspects of software.</span>
Today, architects model systems using types that are directly supported in the programming
language, whereas they model communications using protocols that have no direct support in the
programming language; tomorrow, they will model communication using session types that are
directly supported in the programming language. Today, programmers use interactive development
environments that prompt for methods based on types, and give immediate feedback indicating
where code violates type discipline, whereas they have no similar support for coding
communications; tomorrow, interactive development environments will prompt for messages based on
session types, and give immediate feedback indicating where code violates session type
discipline. Today, software tools exploit types to optimise code, whereas they do not exploit
protocols; tomorrow, software tools will exploit session types to optimise communication. In
short, architects, programmers, and software tools will all be aided by session types to reduce
the cost of producing concurrent and distributed software, while increasing its reliability and
efficiency.</p>
<p>ABCD is an <a href="http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K034413/1">EPSRC
programme grant</a>, funded May 2013—May 2020.</p>
</div>
<hr class="featurette-divider">
<div class="row featurette">
<div class="col-mid-12">
<h2 class="featurette-heading" id="people">People</h2>
<div class="row">
<div class="col-md-3">
<h3>Edinburgh</h3>
<ul>
<li><a href="https://wenkokke.github.io/">Wen Kokke</a></li>
<li><a href="http://homepages.inf.ed.ac.uk/wadler/">Philip Wadler</a></li>
</ul>
</div>
<div class="col-md-3">
<h3>Glasgow</h3>
<ul>
<li><a href="http://www.dcs.gla.ac.uk/~ornela/">Ornela Dardha</a></li>
<li><a href="http://www.dcs.gla.ac.uk/~simon/">Simon Gay</a></li>
<li><a href="https://lauravoinea.github.io/">Adriana Laura Voinea</a></li>
<li><a href="https://umazalakain.info/">Uma Zalakain</a></li>
</ul>
</div>
<div class="col-md-3">
<h3>Imperial</h3>
<ul>
<li><a href="http://mrg.doc.ic.ac.uk/people/assel-altayeva/">Assel Altayeva</a></li>
<li><a href="http://mrg.doc.ic.ac.uk/people/david-castro/">David Castro</a></li>
<li><a href="http://mrg.doc.ic.ac.uk/people/francisco-ferreira/">Francisco Ferriera</a></li>
<li><a href="https://sites.google.com/view/lorgheri/home">Lorenzo Gheri</a></li>
<li><a href="http://mrg.doc.ic.ac.uk/people/eva-graversen/">Eva Graversen</a></li>
<li><a href="http://mrg.doc.ic.ac.uk/people/julia-gabet/">Julia Gabet</a></li>
<li><a href="http://mrg.doc.ic.ac.uk/people/nicolas-lagallardie/">Nicolas Lagaillardie</a></li>
<li><a href="http://www.doc.ic.ac.uk/~yoshida/">Nobuko Yoshida</a></li>
<li><a href="https://www.doc.ic.ac.uk/~fz315/">Fangyi Zhou</a></li>
</ul>
</div>
</div>
<div class="row">
<div class="col-md-4">
<h3>Alumni</h3>
<ul>
<li><a href="https://www.cs.kent.ac.uk/people/staff/lb514/">Laura Bocchi</a> (University of Kent)</li>
<li><a href="https://iso.mor.phis.me/">Simon Castellan</a> (Inria Rennes-Bretagne-Atlantique)</li>
<li><a href="https://simonjf.com">Simon Fowler</a> (University of Glasgow)</li>
<li><a href="https://jupvfranco.github.io/">Juliana Franco</a> (Microsoft Research Cambridge)</li>
<li><a href="https://go.herts.ac.uk/raymond_hu">Raymond Hu</a> (University of Hertfordshire)</li>
<li><a href="http://www.dcs.gla.ac.uk/~dkouzapas/">Dimitrios Kouzapas</a> (University of Cyprus)</li>
<li><a href="https://www.cs.kent.ac.uk/people/staff/jl703/">Julien Lange</a> (University of Kent)</li>
<li><a href="https://homepages.inf.ed.ac.uk/slindley/">Sam Lindley</a> (Heriot-Watt University)</li>
<li><a href="https://homepages.inf.ed.ac.uk/jmckinna/">James McKinna</a> (Heriot-Watt University)</li>
<li><a href="https://jgbm.github.io/">Garrett Morris</a> (University of Iowa)</li>
<li><a href="https://nickng.io/">Nicholas Ng</a> (Monzo)</li>
<li><a href="https://www.brunel.ac.uk/people/rumyana-neykova">Rumyana Neykova</a> (Brunel University London)</li>
<li><a href="https://www.cs.kent.ac.uk/people/staff/dao7/">Dominic Orchard</a> (University of Kent)</li>
<li><a href="http://dynamicaspects.org/research/">Roly Perera</a> (The Alan Turing Institute)</li>
<li><a href="https://www.imm.dtu.dk/~alcsc/">Alceste Scalas</a> (Technical University of Denmark)</li>
<li><a href="https://www.doc.ic.ac.uk/~druoppol/">Domenico Ruoppolo</a></li>
<li><a href="http://ctp.di.fct.unl.pt/~btoninho/">Bernardo Toninho</a> (Universidade NOVA de Lisboa)</li>
<li>Florian Weber</li>
<li>Jakub Zalewski</li>
</ul>
</div>
<div class="col-md-4">
<h3>Advisory Board</h3>
<ul>
<li>Matthew Arrott (November Group)</li>
<li>Andrew Birkett (Amazon)</li>
<li>Gary Brown (Redhat)</li>
<li>Mariangiola Dezani (University of Torino)</li>
<li>Bippin Makoond (Cognizant)</li>
<li>Frank Pfenning (Carnegie Mellon University)</li>
<li>Alexis Richardson (Weaveworks)</li>
<li>Steve Ross-Talbot (Estafet)</li>
<li>Vasco Vasconselos (University of Lisbon)</li>
</ul>
</div>
</div>
</div>
<hr class="featurette-divider">
<div class="row featurette">
<h2 class="featurette-heading" id="publications">Publications</h2>
<div class="row"><div class="col-md-12">
<p>Available in a combined BibTeX file <a href="abcd.bib">here</a>.</p>
</div></div>
<h3>2020</h3>
<div class="row">
<div class="col-md-1"></div>
<div class="col-md-11">
<p>A. Laura Voinea, Ornela Dardha, Simon J. Gay.
<i>Typechecking Java Protocols with [St]Mungo.</i>
FORTE, 2020.
</p>
<p>Artem Usov, Ornela Dardha.
<i>SFJ: An Implementation of Semantic Featherweight Java.</i>
COORDINATION, 2020.
</p>
</div>
</div>
<h3>2019</h3>
<div class="row">
<div class="col-md-1"></div>
<div class="col-md-11">
<p>
Simon Castellan, Nobuko Yoshida.
<i>Two Sides of the Same Coin: Session
Types and Game Semantics.</i>
POPL 2019.
</p>
<p>David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko
Yoshida.
<i>Distributed Programming Using Role Parametric Session Types in
Go.</i>
POPL 2019.
</p>
<p>
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, and Nobuko Yoshida.
<i>Dynamic Deadlock Verification for General Barrier Synchronisation.</i>
TOPLAS 2019.
</p>
<p>Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar.
<i>On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.</i>
Journal of Functional Programming, 29(e15), 2017.
</p>
<p>
Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova.
<i>Exceptional Asynchronous Session Types: Session Types without Tiers.</i>
POPL 2019.
</p>
<p>
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, and Nobuko Yoshida.
<i>Precise subtyping for synchronous multiparty sessions.</i>
Journal of Logic and Algebraic Methods in Programming, vol. 104, 2019.
</p>
<p>Eva Graversen, Iain Phillips, Nobuko Yoshida.
<i>Towards a Categorical Representation of Reversible Event Structure.</i>
Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019.
</p>
<p>Keigo Imai, Nobuko Yoshida, Shoji Yuen.
<i>Session-ocaml: a Session-based Library with Polarities and Lenses.</i>
Science of Computer Programming, 2019.
</p>
<p>Wen Kokke.
<i>Rusy Variation: Deadlock-free Sessions with Failure in Rust.</i>
ICE, 2019.
</p>
<p>
Wen Kokke, Fabrizio Montesi, Marco Peressotti.
<i>Better Late than Never: A Fully Abstract Semantics for Classical Processes.</i>
POPL 2019.
</p>
<p>Wen Kokke, J. Garrett Morris, and Philip Wadler.
<i>Towards Races in Linear Logic.</i>
COORDINATION, 2019.
</p>
<p>
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida.
<i>On the Relative Expressiveness of Higher-Order Session Processes.</i>
Information and Computation, vol. 268, 2019.
</p>
<p>
J. Garrett Morris and James McKinna.
<i>Abstracting Extensible Data Types: Or, Rows by Any Other Name.</i>
POPL 2019.
</p>
<p>Alceste Scalas, Nobuko Yoshida.
<i>Less Is More: Multiparty Session Types Revisited.</i>
POPL 2019.
</p>
<p>
Tom Schrijvers, Bruno C.D.S. Oliveira, Philip Wadler, and Koar Marntirosian.
<i>COCHIS: Stable and coherent implicits</i>
Journal of Functional Programming, 29(e3), 2019.
</p>
<p>Bernardo Toninho, Nobuko Yoshida.
<i>Interconnectability of Session Based Logical Processes.</i>
TOPLAS, 2019.
</p>
<p>A. Laura Voinea, Ornela Dardha, Simon J. Gay.
<i>Resource Sharing via Capability-Based Multiparty Session Types.</i>
IFM, 2019.
</p>
</div>
</div>
<h3>2018</h3>
<div class="row">
<div class="col-md-1"></div>
<div class="col-md-11">
<p>Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida.
<i>Dynamic deadlock verification for general barrier synchronisation.</i>
TOPLAS, 2018.
</p>
<p>
Wen Kokke, Fabrizio Montesi, Marco Peressotti. <i>Taking Linear Logic Apart.</i>
Linearity/TLLA 2018.
</p>
<p>
Philip Wadler. <i>Programming Language Foundations in Agda.</i>
SMBF 2018.
</p>
<p>
Philip Wadler and Wen Kokke. <i>Programming Language Foundations in Agda.</i>
<a href="https://plfa.github.io/">Online book.</a>
</p>
<p>
Jack Williams, J. Garrett Morris, Philip Wadler. <i>The Root Cause of Blame: Contracts for Intersection and Union Types.</i>
OOPSLA 2018.
</p>
<p>
Daniel Hillerström and Sam Lindley. <i>Shallow Effect Handlers.</i>
APLAS 2018.
</p>
<p>Roly Perera, James Cheney.
<i>Proof-relevant pi-calculus: a constructive account of concurrency and causality.</i>
Mathematical Structures in Computer Science 28(9):1541-1577, 2018.
</p>
<p>Rudi Horn, Roly Perera, James Cheney.
<i>Incremental relational lenses.</i>
Proceedings of the ACM on Programming Languages 2(ICFP) 74:1-74:30, 2018.
</p>
<p>
Ebrahim Ardeshir-Larijani, Simon Gay, Rajagopal Nagarajan.
<i>Automated equivalence checking of concurrent quantum systems.</i>
ACM Transactions on Computational Logic 19(4) 28:1-28:32, 2018.
</p>
<p>Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida.
<i>A Parametric Framework for Reversible Pi-Calculi.</i>
EXPRESS/SOS'18.
<p>Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal.
<i>A Session Type Provider: Compile-time API Generation for
Distributed Protocols with Interaction Refinements in F#.</i>
CC 2018.
</p>
<p>Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz
Ziarek.
<i>A Typing Discipline for Statically Verified Crash Failure
Handling in Distributed Systems.</i>
ESOP 2018.
</p>
<p>Romain Demangeon, Nobuko Yoshida.
<i>Causal Computational Complexity of Distributed Processes.</i>
LICS 2018.
</p>
<p>Bernardo Toninho, Nobuko Yoshida.
<i>Depending On Session Typed Process.</i>
FoSSaCS 2018.
</p>
<p>
Eva Graversen, Iain Phillips, Nobuko Yoshida.
<i>Event Structure Semantics of (controlled) Reversible CCS.</i>
RC 2018
</p>
<p>
Alceste Scalas, Nobuko Yoshida.
<i>Multiparty Session Types, Beyond Duality.</i>
JLAMP.
</p>
<p>Bernardo Toninho, Nobuko Yoshida.
<i>On Polymorphic Sessions And Functions: A Tale of Two (Fully
Abstract) Encodings.</i>
ESOP 2018.
</p>
<p>Ornela Dardha, Simon J. Gay.
<i>A New Linear Logic for Deadlock-Free Session Typed Processes.</i>
FoSSaCS 2018.
</p>
<p>Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay.
<i>Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.</i>
Sci. Comput. Program. 155: 52-75, 2018.
</p>
<p>Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala.
<i>Refinement Reflection: Complete Verification with SMT.</i>
POPL 2018.
</p>
<p>Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida.
<i>A Static Verification Framework for Message Passing in Go
using Behavioural Types.</i>
ICSE 2018.
</p>
</div>
</div>
<h3>2017</h3>
<div class="row">
<div class="col-md-1"></div>
<div class="col-md-11">
<p>Philip Wadler. <i>Abstract Data Types without the Types.</i> Journal of Universal Computer Science, 2017.</p>
<p>Gert-Jan Bottu,
Georgios Karachalias,
Tom Schrijvers,
Bruno C. d. S. Oliveira,
Philip Wadler. <i>Quantified Class Constraints.</i>. Haskell 2017.</p>
<p>Alceste Scalas, Nobuko Yoshida.
<i>Multiparty Session Types, Beyond Duality.</i>
PLACES 2017.
</p>
<p>Eva Graversen, Iain Phillips, Nobuko Yoshida.
<i>Towards a Categorical Representation of Reversible Event Structure.</i>
PLACES 2017.
</p>
<p>Simon Castellan.
<i>Concurrent Structures in Game Semantics.</i>
The Concurrency Column, EATCS Bulletin.
</p>
<p>Simon J. Gay, Antonio Ravara (editors).
<i>Behavioural Types: from Theory to Tools.</i>
River Publishers, 2017.
</p>
<p>Ornela Dardha, Elena Giachino, Davide Sangiorgi.
<i>Session Types Revisited.</i>
Inf. Comput. 256: 253-286, 2017.
</p>
<p>Ornela Dardha, Daniele Gorla, Daniele Varacca.
<i>Semantic Subtyping for Objects and Classes.</i>
Comput. J. 60(5): 636-656, 2017.
</p>
<p>Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas, Roly Perera, Adriana L. Voinea, Florian Weber.
<i>Mungo and StMungo: Tools for Typechecking Protocols in Java.</i>
Behavioural Types: from Theory to Tools.
River publishers, 2017.
</p>
<p>Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney.
<i>Imperative Functional Programs That Explain Their Work.</i>
ICFP 2017.
</p>
<p>Roly Perera, James Cheney.
<i>Proof-Relevant π-Calculus: A Constructive Account of Concurrency and Causality.</i>
Mathematical Structures in Computer Science, 2017.
</p>
<p>Weili Fu, Roly Perera, Paul Anderson, James Cheney.
<i>muPuppet: A Declarative Subset of the Puppet Configuration Language.</i>
ECOOP 2017.
</p>
<p>Rumyana Neykova and Nobuko Yoshida.
<i>How to Verify Your Python Conversations.</i>
Behavioural Types: from Theory to Tools.
River publishers, 2017.
</p>
<p>Julien Lange, Emilio Tuosto, and Nobuko Yoshida.
<i>A Tool for Choreography-Based Analysis of Message-Passing Software.</i>
Behavioural Types: from Theory to Tools.
River publishers, 2017.
</p>
<p>Dominic Orchard and Nobuko Yoshida.
<i>Session Types with Linearity in Haskell.</i>
Behavioural Types: from Theory to Tools.
River publishers, 2017.
</p>
<p>Raymond Hu.
<i>Distributed Programming Using Java APIs Generated from Session Types.</i>
Behavioural Types: from Theory to Tools.
River publishers, 2017.
</p>
<p>Nicholas Ng and Nobuko Yoshida.
<i>Protocol-Driven MPI Program Generation.</i>
Behavioural Types: from Theory to Tools.
River publishers, 2017.
</p>
<p>Vasco T. Vasconcelos, Francisco Martins, Eduardo R.B. Marques, Nobuko Yoshida, and Nicholas Ng.
<i>Deductive Verification of MPI Protocols.</i>
Behavioural Types: from Theory to Tools.
River publishers, 2017.
</p>
<p>Daniel Hillerström, Sam Lindley, Robert Atkey, and KC Sivaramakrishnan.
<i>Continuation passing style for effect handlers.</i>
FSCD 2017.
</p>
<p>Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar.
<i>On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.</i>
ICFP 2017.
</p>
<p>
J. Garrett Morris and Richard A. Eisenberg.
<i>Constrained Type Families.</i>
ICFP 2017.
</p>
<p>Atsushi Igarashi, Peter Thiemann, Vasco Vasconcelos, and Philip Wadler.
<i>Gradual Session Types</i>
ICFP 2017.
</p>
<p>Amal Ahmed, Dustin Jamner, Jeremy G. Siek, and Philip Wadler.
<i>Theorems for Free for Free: Parametricity, With and Without Types</i>
ICFP 2017.
</p>
<p>Bernardo Toninho and Nobuko Yoshida.
<a href="https://doi.org/10.1016/j.jlamp.2016.11.005"><i>Certifying
data in multiparty session types.</i></a>
Journal of Logical and Algebraic Methods in Programming,
vol. 90, August 2017.
</p>
<p>Tzu-chun Chen, Mariangiola Dezani-Ciancaglini,
Alceste Scalas, and Nobuko Yoshida.
<a href="http://doi.org/10.23638/LMCS-13(2:12)2017"><i>On the Preciseness of Subtyping in Session Types.</i></a>
Logical Methods in Computer Science, vol. 13, issue 2, 2017.
</p>
<p>Simon Fowler, Sam Lindley, Philip Wadler.
<i><a href="http://simonjf.com/writing/acca.pdf">Mixing Metaphors: Actors as Channels and Channels as Actors.</a></i>
ECOOP 2017.
</p>
<p>Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski.
<i><a href="http://homepages.inf.ed.ac.uk/jmorri14/pubs/williams-ecoop17-proxies.pdf">Mixed Messages: Measuring Conformance and Non-Interference in TypeScript.</a></i>
ECOOP 2017.
</p>
<p>Sam Lindley and J. Garrett Morris.
<i>Lightweight functional session types.</i>
In: Behavioural Types: from Theory to Tools.
River publishers, 2017.
</p>
<p>Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/a-linear-decomposition-of-multiparty-sessions-for-safe-distributed-programming/">A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming</a></i>.
ECOOP 2017.
</p>
<p> Keigo Imai, Nobuko Yoshida, and Shoji Yuen.
<a href="http://mrg.doc.ic.ac.uk/publications/session-ocaml-a-session-based-library-with-polarities-and-lenses/"><i>Session-ocaml: a session-based library with polarities and lenses.</i></a>
COORDINATION 2017.
</p>
<p>Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, and Nobuko Yoshida.
<a href="http://doi.org/10.1016/j.tcs.2017.02.009"><i>Monitoring
Networks through Multiparty Session Types</i>.</a>
Theoretical Computer Science, vol. 669, March 2017.
</p>
<p>Rumyana Neykova, Laura Bocchi, and Nobuko Yoshida.
<a href="https://doi.org/10.1007/s00165-017-0420-8"><i>Timed
Runtime Monitoring for Multiparty Conversations.</i></a>
Formal Aspects of Computing, vol. 29, issue 5, 2017.
</p>
<p>Sam Lindley, Conor McBride, and Craig McLaughlin.
<i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/frankly.pdf">Do be do be do</a></i>.
POPL 2017.
</p>
<p>Julien Lange, Nicholas Ng, Bernardo Toninho and Nobuko Yoshida.
<i><a href='http://mrg.doc.ic.ac.uk/publications/fencing-off-go-liveness-and-safety-for-channel-based-programming/'>Fencing off Go: Liveness and Safety for Channel-based Programming</a></i>.
POPL 2017.
</p>
<p>Raymond Hu and Nobuko Yoshida.
<i><a href='http://mrg.doc.ic.ac.uk/publications/explicit-connection-actions-in-multiparty-session-types/'>Explicit Connection Actions in Multiparty Session Types</a></i>.
FASE 2017.
</p>
<p>Rumyana Neykova and Nobuko Yoshida.
<i><a href='http://mrg.doc.ic.ac.uk/publications/let-it-recover-multiparty-protocol-induced-recovery/'>Let It Recover: Multiparty Protocol-Induced Recovery</a></i>.
CC 2017.
</p>
<p>Julien Lange and Nobuko Yoshida.
<i><a href='http://mrg.doc.ic.ac.uk/publications/on-the-undecidability-of-asynchronous-session-subtyping/'>On the Undecidability of Asynchronous Session Subtyping</a></i>.
FoSSaCS 2017.
</p>
<p>
Rumyana Neykova, Nobuko Yoshida.
<i><a href="https://arxiv.org/abs/1609.05687">Multiparty Session Actors</a></i>.
LMCS.
</p>
<p>
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida.
<i><a href="http://dx.doi.org/10.1007/s00236-016-0289-7">Characteristic Bisimulations for Higher-Order Session Processes</a></i>.
Acta Informatica.
</p>
<p>
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida.
<i><a href="http://dx.doi.org/10.1007/s00236-016-0285-y">Multiparty Session Types as Coherence Proofs</a></i>.
Acta Informatica.
</p>
</div>
</div>
<h3>2016</h3>
<div class="row">
<div class="col-md-1"></div>
<div class="col-md-11">
<p>
O. Dardha. <i>Type Systems for Distributed Programs: Components and Sessions.</i> Atlantis Press, 2016.
</p>
<p>
A. L. Voinea and S. J. Gay. <i>Benefits of session types for software development.</i>
In: Proceedings of the 7th Workshop on Evaluation and Usability of Programming Languages and Tools -- PLATEAU'16.
ACM Press, 2016.
</p>
<p>
Davide Ancona, Viviana Bono, Mario Bravetti, Giuseppe Castagna, Joana Campos, Simon J. Gay, Elena Giachino, Einar Broch Johnsen, Viviana Mascardi, Nicholas Ng, Luca Padovani, Pierre-Malo Deniélou, Nils Gesbert, Raymond Hu, Francisco Martins, Fabrizio Montesi, Rumyana Neykova, Vasco T. Vasconcelos and Nobuko Yoshida.
<i>Behavioral Types in Programming Languages.</i>
Foundations and Trends in Programming Languages 3(2-3):95-230, 2016.
</p>
<p>
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.
<i><a href="http://dx.doi.org/10.1561/2500000031">Behavioral Types in Programming Languages</a></i>.
Foundations and Trends in Programming Languages.
</p>
<p>
Kohei Honda, Nobuko Yoshida, Marco Carbone.
<i><a href="http://mrg.doc.ic.ac.uk/publications/multiparty-asynchronous-session-types-jacm/jacm.pdf">Multiparty Asynchronous Session Types</a></i>.
JACM.
</p>
<p>
Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida.
<i><a href="http://dx.doi.org/10.2168/LMCS-12(1:1)2016">Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion</a></i>.
LMCS.
</p>
<p>
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida.
<i><a href="http://dx.doi.org/10.1007/978-3-319-30734-3_12">Denotational and Operational Preciseness of Subtyping: A Roadmap</a></i>. Theory and Practice of Formal Methods.
</p>
<p>
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay.
<i><a href="http://www.dcs.gla.ac.uk/research/mungo/papers/mungo.pdf">Typechecking Protocols with Mungo and StMungo</a>. (Long Version)</i>
PPDP 2016.
</p>
<p>
Sam Lindley, J. Garrett Morris.
<i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/gvhs.pdf">Embedding Session Types in Haskell</a></i>. Haskell 2016.
</p>
<p>
Daniel Hillerström, Sam Lindley.
<i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/links-effect.pdf">Liberating effects with rows and handlers</a></i>. TyDe 2016.
</p>
<p>
Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk.
<i><a href="http://mrg.doc.ic.ac.uk/publications/eureca-compilation-automatic-optimisation-of-cycle-reconfigurable-circuits/eureca-compiler.pdf">EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable Circuits</a></i>.
FPL 2016.
</p>
<p>
Roly Perera, Deepak Garg, James Cheney.
<i><a href="http://dynamicaspects.org/papers/concur16.pdf">Causally consistent dynamic slicing</a>.</i>
CONCUR 2016.
</p>
<p>Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler.
<i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/arbiter-draft-may2016.pdf">Coherence generalises duality: a logical explanation of multiparty session types</a></i>. CONCUR 2016.
</p>
<p>Roly Perera, Simon J. Gay.
<i><a href="http://dynamicaspects.org/papers/live16.pdf">Liveness for Verification</a>.</i>
Extended Abstract, LIVE 2016.</p>
<p>Sam Lindley, J. Garrett Morris.
<i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/talking-bananas.pdf">Talking Bananas: Structural Recursion for Session Types</a></i>.
ICFP 2016.
</p>
<p>J. Garrett Morris.
<i><a href="http://homepages.inf.ed.ac.uk/jmorri14/pubs/morris-icfp2016-linearity.pdf">The Best of Both Worlds: Linear Functional Programming Without Compromise</a></i>. ICFP 2016.
</p>
<p>Alceste Scalas, Nobuko Yoshida.
<i><a href="http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.21">Lightweight Session Programming in Scala</a></i> (with <i><a href="http://dx.doi.org/10.4230/DARTS.2.1.11">artifact</a></i>). ECOOP 2016.
</p>
<p>Francesco Tiezzi, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/reversing-single-sessions/paper.pdf">Reversing Single Sessions</a></i>. RC 2016.
</p>
<p>Simon Fowler.
<i><a href="http://www.simonjf.com/writing/ice2016.pdf">An Erlang Implementation of Multiparty Session Actors</a></i>. ICE 2016.
</p>
<p>
Roly Perera, Julien Lange, Simon J. Gay.
<i><a href="http://eptcs.web.cse.unsw.edu.au/paper.cgi?PLACES2016.8.pdf">Multiparty Compatibility for Concurrent Objects</a>.</i>
PLACES 2016.
</p>
<p>
Julien Lange, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/characteristic-formulae-for-session-types/">Characteristic Formulae for Session Types</a>.</i>
TACAS 2016.
</p>
<p>
Raymond Hu, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/hybrid-session-verification-through-endpoint-api-generation/">Hybrid Session Verification through Endpoint API Generation</a>.</i>
FASE 2016.
</p>
<p>
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida.
<i>On the Relative Expressiveness of Higher-Order Session Processes.</i>
ESOP 2016.
</p>
<p>
Nicholas Ng, Nobuko Yoshida.
<i><a href="http://www.doc.ic.ac.uk/~cn06/pub/2016/dingo/main.pdf">Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis.</a></i>
CC 2016.
</p>
<p>
Bernardo Toninho, Nobuko Yoshida.
<i><a href="http://link.springer.com/chapter/10.1007/978-3-319-30936-1_23">Certifying Data in Multiparty Session Types</a></i>.
WadlerFest 2016.
</p>
<p>
Simon Gay.
<i><a href="http://link.springer.com/chapter/10.1007/978-3-319-30936-1_5">Subtyping Supports Safe Session Substitution</a></i>.
WadlerFest 2016.
</p>
<p>
Robert Atkey, Sam Lindley, J. Garrett Morris. <i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/conflate.pdf">Conflation Confers Concurrency</a></i>. WadlerFest 2016.
</p>
<p>
Shayan Najd, Sam Lindley, Josef Svenningson, Philip Wadler.
<i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/qfeldspar.pdf">Everything old is new again: Quoted Domain Specific Languages</a>.</i>
PEPM 2016.
</p>
<p>
Dominic Orchard, Nobuko Yoshida.
<i><a href="http://www.doc.ic.ac.uk/~dorchard/popl16/">Effects as sessions, sessions as effects</a>.</i>
POPL 2016.
</p>
</div>
</div>
<h3>2015</h3>
<div class="row">
<div class="col-md-1"></div>
<div class="col-md-11">
<p>
S. J. Gay, N. Gesbert, A. Ravara and V. T. Vasconcelos. <i>Modular Session Types for Objects.</i>
Logical Methods in Computer Science 11(4:12), 2015.
</p>
<p>
O.Dardha.
<i>Type Systems for Distributed Programs: Session Communication.</i>
In Bulletin of EATCS, Concurrency Column. Issue of October 2015.
</p>
<p>
Ornela Dardha, Jorge A. Pérez.
<i><a href="http://www.dcs.gla.ac.uk/~ornela/my_papers/DP15.pdf">Comparing Deadlock-Free Session Typed Processes</a>.</i>
EXPRESS/SOS 2015.
</p>
<p>Roly Perera, Simon J. Gay.
<i><a href="http://dynamicaspects.org/papers/nool15.pdf">Behavioural Prototypes</a>.</i>
Extended Abstract, NOOL 2015.</p>
<p>Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/protocol-based-verification-of-message-passing-parallel-programs/">Protocol-Based Verification of Message-Passing Parallel Programs</a>.</i>
OOPSLA 2015.</p>
<p>Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach.
<i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/gpu-rewrite.pdf">Generating
Performance Portable Code using Rewrite Rules: From High-level Functional Expressions
to High-Performance OpenCL Code</a>.</i> ICFP 2015.</p>
<p>J. Garrett Morris.
<i><a href="http://homepages.inf.ed.ac.uk/jmorri14/pubs/morris-haskell15-variants.pdf">Variations on Variants</a>.</i>
Haskell 2015.</a>
<p>Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/characteristic-bisimulations-for-higher-order-session-processes/">Characteristic Bisimulations for Higher-Order Session Processes</a>.</i>
CONCUR 2015.</p>
<p>Laura Bocchi, Julien Lange, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/meeting-deadlines-together/">Meeting Deadlines Together</a>.</i>
CONCUR 2015.</p>
<p>Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/multiparty-session-types-as-coherence-proofs/">Multiparty Session Types as Coherence Proofs</a>.</i>
CONCUR 2015.</p>
<p>Roly Perera, James Cheney.
<i><a href="http://eptcs.web.cse.unsw.edu.au/paper.cgi?LFMTP15.4.pdf">Proof-Relevant Pi-Calculus</a>.</i>
LFMTP 2015.</p>
<p>Francesco Tiezzi, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/reversible-session-based-pi-calculus/paper.pdf">Reversible Session-Based Pi-Calculus</a>.</i>
JLAMP.</p>
<p> Dimitris Mostrous, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/session-typing-and-asynchronous-subtyping-for-the-higher-order-%CF%80-calculus/paper.pdf">Session Typing and Asynchronous Subtyping for the Higher-Order Pi-Calculus</a>.</i>
Information and Computation.</p>
<p>Nicholas Ng, Jose G.F. Coutinho, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/safe-mpi-code-generation-based-on-session-types/">Protocols by Default: Safe MPI Code Generation based on Session Types</a>.</i>
CC 2015.</p>
<p>Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/dynamic-deadlock-verification-for-general-barrier-synchronisation/">Dynamic deadlock verification for general barrier synchronisation</a>.</i>
PPoPP 2015.</p>
<p>Julien Lange, Emilio Tuosto, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/from-communicating-machines-to-graphical-choreographies/">From communicating machines to graphical choreographies</a>.</i>
POPL 2015.</p>
<p>Dimitrios Kouzapas, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/globally-governed-session-semantics-lmcs/">Globally Governed Session Semantics</a>.</i>
LMCS.</p>
<p>Sara Capecchi, Elena Giachino, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/global-escape-in-multiparty-sessions-mscs/">Global Escape in Multiparty Sessions</a>.</i>
MSCS.</p>
<p>Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani.
<i><a href="http://mrg.doc.ic.ac.uk/publications/global-progress-for-dynamically-interleaved-multiparty-sessions/"> Global Progress for Dynamically Interleaved Multiparty Sessions</a>.</i>
MSCS.</p>
<p>Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda.
<i><a href="http://mrg.doc.ic.ac.uk/publications/on-asynchronous-eventful-session-semantics/"> On Asynchronous Eventful Session Semantics</a>.</i>
MSCS.</p>
<p>Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/practical-interruptible-conversations-distributed-dynamic-verification-with-multiparty-session-types-and-python/">Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python</a>.</i>
Formal Methods in System Design.</p>
<p>Dominic Orchard, Nobuko Yoshida. <i>Using session types as an effect system.</i>
PLACES 2015.</p>
<p>Dimitrios Kouzapas, Anna Philippou. <i>Type checking privacy policies in the pi-calculus.</i>
FORTE 2015.
</p>
<p>Simon Fowler, Loic Denuziere, Adam Granicz.
<i><a href="http://www.simonjf.com/writing/padl2015.pdf">Reactive Single-Page Applications with Dynamic Dataflow</a></i>.
PADL 2015.
</p>
<p>Jeremy Siek, Peter Thiemann, Philip Wadler.
<i>Blame and Coercion: Together Again for the First Time.</i> PLDI 2015.
</p>
<p>Philip
Wadler. <i><a href="http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf">Propositions
as Types</a>.</i>Communications of the ACM, 2015.</p>
<p>Philip Wadler. <i><a href="http://homepages.inf.ed.ac.uk/wadler/papers/complement/complement.pdf">A
Complement to Blame</a>.</i> SNAPL 2015.</p>
<p>Sam Lindley, J. Garrett
Morris. <i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/gv-semantics.pdf">A
Semantics for Propositions as Sessions</a>.</i> ESOP
2015.</p>
</div>
</div>
<h3>2014</h3>
<div class="row">
<div class="col-md-1"></div>
<div class="col-md-11">
<p>Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino.
<i><a href="http://www.doc.ic.ac.uk/~jlange/papers/blsz14.pdf">Choreographies in the Wild</a>.</i>
Science of Computer Programming.</p>
<p>Laura Bocchi, Weizhen Yang, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/timed-multiparty-session-types/">Timed Multiparty Session Types</a>.</i>
CONCUR 2014.</p>
<p>Rumyana Neykova, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/multiparty-session-actors/">Multiparty Session Actors</a>.</i>
COORDINATION 2014.</p>
<p>Nicholas Ng, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/pabble-parameterised-scribble/">Pabble: parameterised Scribble</a>.</i>
Service-Oriented Computing and Applications.</p>
<p>Luca Fossati, Raymond Hu, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/multiparty-session-nets/">Multiparty Session Nets</a>.</i>
TGC 2014.</p>
<p>Rumyana Neykova, Laura Bocchi, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/timed-runtime-monitoring-for-multiparty-conversations/">Timed Runtime Monitoring for Multiparty Conversations</a>.</i>
BEAT 2014.</p>
<p>Kohei Honda, Nobuko Yoshida, Martin Berger.
<i><a href="http://mrg.doc.ic.ac.uk/publications/process-types-as-a-description-tool-for-interaction/">Process Types as a Descriptive Tool for interaction: Control and the Pi-Calculus</a>.</i>
RTA-TLCA 2014.</p>
<p>Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou.
<i><a href="http://mrg.doc.ic.ac.uk/publications/structuring-communication-with-session-types/">Structuring Communication with Session Types</a>.</i>
COB 2014.</p>
<p>Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/on-the-preciseness-of-subtyping-in-session-types/"> On the Preciseness of Subtyping in Session Types</a>.</i>
PPDP 2014.</p>
<p>Laura Bocchi, Hernán Melgratti, Emilio Tuosto.
<i><a href="http://mrg.doc.ic.ac.uk/publications/resolving-non-determinism-in-choreographies/"> Resolving Non-determinism in Choreographics</a>.</i>
ESOP 2014.</p>
<p>Søren Debois, Thomas Hildebrandt, Tijs Slatts, Nobuko Yoshida.
<i><a href="http://mrg.doc.ic.ac.uk/publications/type-checking-liveness-for-collaborative-process-with-bounded-and-unbounded-recursion/"> Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion</a>.</i>
FORTE 2014.</p>
<p>Simon J. Gay, Nils Gesbert, Antonio Ravara. <i>Session Types as Generic Process Types.</i>
EXPRESS/SOS 2014.</p>
<p>Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay. <i>Session Types for Broadcasting.</i>
PLACES 2014.</p>
<p>Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas. <i><a href="http://www.dcs.gla.ac.uk/~ornela/my_papers/BDGK14.pdf">
On Duality Relations for Session Types</a>.</i> TGC 2014.</p>
<p>Ornela Dardha. <i><a href="http://www.dcs.gla.ac.uk/~ornela/my_papers/D14.pdf">Recursive Session Types Revisited</a>.</i>
BEAT 2014.</p>
<p>Sam
Lindley. <i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/aeia.pdf">
Algebraic Effects and Effect Handlers for Idioms and
Arrows</a>.</i> WGP 2014.</p>
<p>J. Garrett
Morris. <i><a href="http://homepages.inf.ed.ac.uk/jmorri14/pubs/morris-haskell14-oversem.pdf">
A Simple Semantics of Haskell Overloading</a>.</i> Haskell
2014.</p>
<p>James Cheney, Sam Lindley, Philip
Wadler. <i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/shredding.pdf">
Query Shredding: Efficient Relational Evaluation of Queries
over Nested Multisets</a>.</i> SIGMOD 2014.</p>
<p>Marco Carbone, Ornela Dardha, Fabrizio Montesi. <i><a href="http://www.dcs.gla.ac.uk/~ornela/my_papers/CDM14.pdf">
Progress as Compositional Lock Freedom</a>.</i> COORDINATION 2014.</p>
<p>James Cheney, Sam Lindley, Gabriel Radanne, Philip
Wadler. <i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/effquot.pdf">
Effective Quotation</a>.</i> PEPM 2014.</p>
<p>Meng Wang, Shayan Najd.
<i><a href="https://kar.kent.ac.uk/47482/1/local_193995.pdf">
Semantic Bidirectionalization Revisited</a>.</i> PEPM 2014.</p>
<p>Sam Lindley, J. Garrett
Morris. <i><a href="http://homepages.inf.ed.ac.uk/slindley/papers/cpgv.pdf">Sessions as
Propositions</a>.</i> PLACES 2014.</p>
<p>Nicholas Ng, Nobuko
Yoshida. <i><a href="http://mrg.doc.ic.ac.uk/publications/pabble-parameterised-scribble-for-parallel-programming/">Pabble:
Parameterised Scribble for Parallel Programming</a>.</i> PDP 2014.</p>
</div>
</div>
<h3>2013</h3>
<div class="row">
<div class="col-md-1"></div>
<div class="col-md-11">
<p>
Ornela Dardha, Elena Giachino, Michael Lienhardt.
<i><a href="http://www.dcs.gla.ac.uk/~ornela/my_papers/DGL13.pdf">A Type System for Components</a>.</i> SEFM 2013.
</p>
<p>Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas
Ng. <i><a href="http://mrg.doc.ic.ac.uk/publications/the-scribble-protocol-language/">The
Scribble Protocol Language</a>.</i> TGC 2013.</p>
<p>Fabrizio Montesi, Nobuko
Yoshida. <i><a href="http://mrg.doc.ic.ac.uk/publications/compositional-choreographies/">Compositional
Choreographies</a>.</i> CONCUR 2013.</p>
<p>Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca
Padovani. <i><a href="http://mrg.doc.ic.ac.uk/publications/global-progress-for-dynamically-interleaved-multiparty-sessions/">Global
Progress for Dynamically Interleaved Multiparty Sessions</a>. </i>MSCS 2013.</p>
<p>Dimitrios Kouzapas, Nobuko
Yoshida. <i><a href="http://mrg.doc.ic.ac.uk/publications/globally-governed-session-semantics/">Globally
Governed Session Semantics</a>.</i> CONCUR 2013.</p>
<p>Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko
Yoshida. <i><a href="http://mrg.doc.ic.ac.uk/publications/inference-of-global-progress-properties-for-dynamically-interleaved-multiparty-sessions/">
Inference of Global Progress Properties for Dynamically Interleaved Multiparty
Sessions</a>.</i> COORDINATION 2013: 45-59.</p>
<p>Ornela Dardha, Daniele Gorla, Daniele Varacca. <i><a href="http://www.dcs.gla.ac.uk/~ornela/my_papers/DGV13.pdf"> Semantic Subtyping for Objects and Classes</a>.</i> FORTE/FMOODS 2013.</p>
<p>Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko