CP 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

A Matteo AcclavioAcclavio, Matteo University of Sussex A Propositional Dynamic Logic for Choreographies
Owen ArdenArden, Owen UC Santa CruzUnited States Committee Member in Program Committee within the CP-track
B Miëtek BakBak, Miëtek Choreographic Programming in Modal Type Theory
Mako P. BatesBates, Mako P. University of VermontUnited States We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
C Marco CarboneCarbone, Marco IT University of CopenhagenDenmark A Probabilistic Choreography Language for PRISM Committee Member in Program Committee within the CP-track
Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States Masquerade: Information Flow Control for Choreographies Committee Member in Program Committee within the CP-track
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Suki: Choreographed Distributed Dataflow in Rust
Luís Cruz-FilipeCruz-Filipe, Luís University of Southern Denmark Committee Member in Program Committee within the CP-track
D Giuseppe De PalmaDe Palma, Giuseppe Department of Computer Science and Engineering - Università di Bologna A Function-as-a-Service Choreographic Programming Language: Examples and Applications
G Saverio GiallorenzoGiallorenzo, Saverio Alma Mater Studiorum - Università di Bologna / INRIAItaly Session Chair of Theory & Verification (part of CP) Session Chair of Welcome and Keynote (part of CP) A Function-as-a-Service Choreographic Programming Language: Examples and Applications Closing Opening Committee Member in Organizing Committee within the CP-track
Eva GraversenGraversen, Eva University of Southern Denmark Choreographies meet Communication Failures Committee Member in Program Committee within the CP-track
H Joseph M. HellersteinHellerstein, Joseph M. UC BerkeleyUnited States Suki: Choreographed Distributed Dataflow in Rust
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States Corps: A Core Calculus of Hierarchical Choreographic Programming Masquerade: Information Flow Control for Choreographies Committee Member in Program Committee within the CP-track
J Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Klor: Choreographies for the Working Clojurian Committee Member in Program Committee within the CP-track
K Shun KashiwaKashiwa, Shun University of California, Santa Cruz ChoRus: Library-Level Choreographic Programming in Rust
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Session Chair of Welcome and Keynote (part of CP) Session Chair of Languages & Verification (part of CP) Toward Verified Library-Level Choreographic Programming with Algebraic Effects ChoRus: Library-Level Choreographic Programming in Rust Closing Opening Committee Member in Organizing Committee within the CP-track
L Shadaj LaddadLaddad, Shadaj University of California at BerkeleyUnited States Suki: Choreographed Distributed Dataflow in Rust
Ivan LaneseLanese, Ivan University of Bologna/INRIA Committee Member in Program Committee within the CP-track
Lovro LugovićLugović, Lovro University of Southern Denmark Klor: Choreographies for the Working Clojurian
Hugo A. LópezLópez, Hugo A. Technical University of DenmarkDenmark Committee Member in Program Committee within the CP-track
M Jacopo MauroMauro, Jacopo University of Southern Denmark A Function-as-a-Service Choreographic Programming Language: Examples and Applications
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Choreographies meet Communication Failures Choreographic Programming: its essence, beauty, and necessity A Propositional Dynamic Logic for Choreographies
N Joseph P. NearNear, Joseph P. University of VermontUnited States We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Program Committee within the CP-track
P Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Session Chair of Welcome and Keynote (part of CP) Session Chair of Libraries (part of CP) Choreographies meet Communication Failures A Propositional Dynamic Logic for Choreographies Closing Opening Committee Member in Organizing Committee within the CP-track
Michael PiskozubPiskozub, Michael University at Buffalo, SUNY Masquerade: Information Flow Control for Choreographies
Dan PlyukhinPlyukhin, Dan University of Southern Denmark Poroutines: The Essence of Choreographic Programming?
S Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance Committee Member in Program Committee within the CP-track
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Exploring Algebraic Placement in Multiparty Languages Committee Member in Program Committee within the CP-track
Gan ShenShen, Gan University of California, Santa Cruz, USA Toward Verified Library-Level Choreographic Programming with Algebraic Effects
Ian SweetSweet, Ian Galois, Inc. Committee Member in Program Committee within the CP-track
T Matteo TrentinTrentin, Matteo Università di Bologna A Function-as-a-Service Choreographic Programming Language: Examples and Applications
U Maxim UrschumzewUrschumzew, Maxim None Choreographic Programming in Modal Type Theory
V Adele VeschettiVeschetti, Adele Technische Universität Darmstadt A Probabilistic Choreography Language for PRISM
W Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Exploring Algebraic Placement in Multiparty Languages
Z George ZakhourZakhour, George University of St. GallenSwitzerland Exploring Algebraic Placement in Multiparty Languages
Gianluigi ZavattaroZavattaro, Gianluigi Department of Computer Science and Engineering - Università di Bologna A Function-as-a-Service Choreographic Programming Language: Examples and Applications