Commute Contributors - Commute

Mon 13 - Tue 14 June 2022 San Diego, California, United States

co-located with PLDI 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (14)

C Adam ChenChen, Adam Stevens Institute of TechnologyUnited States Lightning: Servois2: An Extended Commutativity Condition Synthesizer
E Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance Testing Distributed Protocols using Communication Closure Closing Remarks & Business Meeting Welcome Remarks Organizer in Organizing Committee within the Commute-track
F Azadeh FarzanFarzan, Azadeh University of TorontoCanada Safety Proof Simplification Through Commutativity Closing Remarks & Business Meeting Welcome Remarks Organizer in Organizing Committee within the Commute-track
G Klaus v. GleissenthallGleissenthall, Klaus v. Vrije Universiteit Amsterdam, Netherlands Pretend synchrony: synchronous verification of asynchronous distributed programs
J Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Mergeable Replicated Datatypes
K Dominik KlumppKlumpp, Dominik University of FreiburgGermany Lightning: Extending Commutativity via Safe Abstraction
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Closing Remarks & Business Meeting Welcome Remarks Commutativity condition synthesis and language support for commute blocks Organizer in Organizing Committee within the Commute-track
L Mohsen LesaniLesani, Mohsen University of California at Riverside Commutativity reasoning for automated distributed coordination
M Umang MathurMathur, Umang National University of SingaporeSingapore Weakening Mazurkiewicz Traces
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Commutativity in quantum computing
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Q Shaz QadeerQadeer, Shaz Novi, USAUnited States Commutativity Reasoning in the Civl Verifier
R Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Commutativity and Approximate Computing
S Ilya SergeySergey, Ilya National University of SingaporeSingapore Practical Smart Contract Sharding with Commutativity Analysis