ECOOP 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (184)

A Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee within the VORTEX-track
Pedro AdãoAdão, Pedro IST-ULisboa and Instituto de TelecomunicaçõesPortugal Toward Tool-Independent Summaries for Symbolic Execution
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign, USA PC Member in Program Committee within the ECOOP Research Papers-track
Karim AliAli, Karim University of Alberta Program Co-Chair in Organizing Committee for ECOOP 2023 Program Co-Chair in Program Committee within the ECOOP Research Papers-track
Mehran Alidoost NiaAlidoost Nia, Mehran University of TehranIran Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Flow Analysis for Detecting Non-Determinism in Blockchain
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Student Research Competition Co-Chair in Organizing Committee for ECOOP 2023 Student Research Competition Co-Chair in Chairs within the ECOOP and ISSTA Student Research Competition-track Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
B Jinsheng BaBa, Jinsheng National University of SingaporeSingapore Committee Member in Program Committee within the DEBT-track
Riyadh BaghdadiBaghdadi, Riyadh NYU Abu DhabiUnited Arab Emirates PC Member in Program Committee within the ECOOP Research Papers-track
Daniel BaierBaier, Daniel Ludwig Maximilian University of MunichGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Abdul Ali BangashBangash, Abdul Ali University of Alberta, CanadaCanada Web Co-Chair in Organizing Committee for ECOOP 2023 Publicity Co-Chair in Organizing Committee for ECOOP 2023
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Nested Pure Operation-Based CRDTs
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Multi-graded Featherweight Java
Annete BieniusaBieniusa, Annete Kaiserslautern LoRe: A Programming Model for Verifiably Safe Local-First Software
Utpal BoraBora, Utpal University of CambridgeUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Oliver BračevacBračevac, Oliver Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in Program Committee within the VORTEX-track
Alexandra BugariuBugariu, Alexandra ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Marcel BöhmeBöhme, Marcel MPI-SP, Germany and Monash University, AustraliaGermany Committee Member in Organizing Committee within the FUZZING-track
C David Castro-PerezCastro-Perez, David University of KentUnited Kingdom Dynamically Updatable Multiparty Session Protocols
Ethan CecchettiCecchetti, Ethan University of Maryland, College ParkUnited States Semantics for Noninterference with Interaction Trees
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Jianyi ChengCheng, Jianyi Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Michele ChiariChiari, Michele TU WienAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan PC Member in Program Committee within the ECOOP Research Papers-track
Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Flow Analysis for Detecting Non-Determinism in Blockchain
Steven CostiouCostiou, Steven INRIA LilleFrance Committee Member in Program Committee within the DEBT-track
Andrew CraikCraik, Andrew ChronosoftAustralia PC Member in Program Committee within the ECOOP Research Papers-track
D Francesco DagninoDagnino, Francesco University of GenoaItaly Multi-graded Featherweight Java
Hoang-Hai DangDang, Hoang-Hai BedRock SystemsGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium PC Member in Program Committee within the ECOOP Research Papers-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom Wiring circuits is easy as {0, 1, ω}, or is it. . .
Kevin De PorreDe Porre, Kevin Vrije Universiteit BrusselBelgium VeriFx: Correct Replicated Data Types for the Masses
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Stefania DumbravaDumbrava, Stefania ENSIIE & Institut Polytechnique de Paris Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
E Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Workshops Co-Chair in Organizing Committee for ECOOP 2023 Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
Anne EtienEtien, Anne Université de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStALFrance Committee Member in Program Committee within the DEBT-track
Karine Even-MendozaEven-Mendoza, Karine King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the VORTEX-track
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly PC Member in Program Committee within the VORTEX-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Flow Analysis for Detecting Non-Determinism in Blockchain
Carla FerreiraFerreira, Carla NOVA-LINCS; Nova University of LisbonPortugal VeriFx: Correct Replicated Data Types for the Masses
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Toward Tool-Independent Summaries for Symbolic Execution PC Member in Program Committee within the VORTEX-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta PC Member in Program Committee within the VORTEX-track
Bjorn Freeman-BensonFreeman-Benson, Bjorn New Relic General Co-Chair in Organizing Committee for ECOOP 2023
G Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Multi-graded Featherweight Java
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee within the VORTEX-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Nested Pure Operation-Based CRDTs VeriFx: Correct Replicated Data Types for the Masses Co-chair in Organizing Committee within the DEBT-track
Torsten GrustGrust, Torsten University of TübingenGermany Committee Member in Program Committee within the DEBT-track
Arjun GuhaGuha, Arjun Northeastern University and Roblox ResearchUnited States Do Machine Learning Models Produce TypeScript Types that Type Check?
Robbert Gurdeep SinghGurdeep Singh, Robbert Universiteit Gent, BelgiumBelgium Committee Member in Program Committee within the DEBT-track
H Julian HaasHaas, Julian Technische Universität Darmstadt LoRe: A Programming Model for Verifiably Safe Local-First Software
William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2023 Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
William HallahanHallahan, William Binghamton Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the VORTEX-track
Paul HeHe, Paul University of PennsylvaniaUnited States Semantics for Noninterference with Interaction Trees
Yann HerklotzHerklotz, Yann Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Ben HermannHermann, Ben TU DortmundGermany Reproduction Area Chair in Program Committee within the ECOOP Research Papers-track
Andrew K. HirschHirsch, Andrew K. University at Buffalo Semantics for Noninterference with Interaction Trees
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the DEBT-track
Tony HoskingHosking, Tony Australian National UniversityAustralia PC Member in Program Committee within the ECOOP Research Papers-track
Xiaowen HuHu, Xiaowen The University of Sydney Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan PC Member in Program Committee within the ECOOP Research Papers-track
J Alex JafariJafari, Alex United States General Co-Chair in Organizing Committee for ECOOP 2023 Sponsors Co-Chair in Organizing Committee for ECOOP 2023 Sponsors Co-Chair in Chairs within the ECOOP and ISSTA Sponsors-track
Feiyang JinJin, Feiyang Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Brittany JohnsonJohnson, Brittany George Mason UniversityUnited States Workshops Co-Chair in Organizing Committee for ECOOP 2023 Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
Eric JulJul, Eric University of OsloNorway Co-chair in Organizing Committee within the ICOOOLPS-track
David JustoJusto, David Microsoft AzureUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
K Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Martin KelloggKellogg, Martin University of WashingtonUnited States Student Volunteer Co-Chair in Organizing Committee for ECOOP 2023 Student Volunteer Co-Chair in Chairs within the ECOOP and ISSTA Student Volunteers-track
Ellen KidaneKidane, Ellen University of Illinois - Chicago SINATRA: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution
Martin KrulišKruliš, Martin Charles UniversityCzech Republic Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
L Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Yao LiLi, Yao Portland State UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Jonathan Lindegaard StarupLindegaard Starup, Jonathan Aarhus UniversityDenmark Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Zhengyang LiuLiu, Zhengyang University of Utah Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Mikel LujánLuján, Mikel University of ManchesterUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
M Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the DEBT-track
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the DEBT-track
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Johannes MeyMey, Johannes Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Mira MeziniMezini, Mira TU DarmstadtGermany LoRe: A Programming Model for Verifiably Safe Local-First Software
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute PC Member in Program Committee within the ECOOP Research Papers-track
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany LoRe: A Programming Model for Verifiably Safe Local-First Software
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Fabian MuehlboeckMuehlboeck, Fabian Institute of Science and Technology Austria & Australian National University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark PC Member in Program Committee within the ECOOP Research Papers-track
N Tomoki NakamaruNakamaru, Tomoki University of TokyoJapan Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Chandrakana NandiNandi, Chandrakana CertoraUnited States Student Research Competition Co-Chair in Organizing Committee for ECOOP 2023 Student Research Competition Co-Chair in Chairs within the ECOOP and ISSTA Student Research Competition-track
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
David NaumannNaumann, David Stevens Institute of TechnologyUnited States Toward Tool-Independent Summaries for Symbolic Execution
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Flow Analysis for Detecting Non-Determinism in Blockchain
Laura NenziNenzi, Laura University of TriesteItaly PC Member in Program Committee within the VORTEX-track
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Committee Member in Program Committee within the DEBT-track
Yannic NollerNoller, Yannic National University of SingaporeSingapore Committee Member in Organizing Committee within the FUZZING-track
O Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Dependent Merges and First-Class Environments
Luca OlivieriOlivieri, Luca University of Verona, Corvallis S.r.l.Italy Flow Analysis for Detecting Non-Determinism in Blockchain
Cyrus OmarOmar, Cyrus University of MichiganUnited States Pearls/Brave New Ideas Area Chair in Program Committee within the ECOOP Research Papers-track
Klaus OstermannOstermann, Klaus University of Tübingen PC Member in Program Committee within the ECOOP Research Papers-track
P Adrian PalaciosPalacios, Adrian Amazon Web ServicesUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Tomas PetricekPetricek, Tomas Charles University PC Member in Program Committee within the ECOOP Research Papers-track
Fabio PetrilloPetrillo, Fabio École de technologie supérieure (ÉTS), Montréal -- Université du QuébecCanada Committee Member in Program Committee within the DEBT-track
Luís PinaPina, Luís University of Illinois at ChicagoUnited States SINATRA: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar PC Member in Program Committee within the VORTEX-track
Hernán Ponce de LeónPonce de León, Hernán Huawei Dresden Research CenterGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2023 Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Extended Review Committee within the ECOOP Research Papers-track
Alex PotaninPotanin, Alex Australian National UniversityAustralia PC Member in Program Committee within the ECOOP Research Papers-track
R Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Co-chair in Organizing Committee within the ICOOOLPS-track
Frederico RamosRamos, Frederico Instituto Superior Técnico Toward Tool-Independent Summaries for Symbolic Execution
Baishakhi RayRay, Baishakhi Columbia UniversityUnited States Committee Member in Organizing Committee within the FUZZING-track
Baber RehmanRehman, Baber The University of Hong KongChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Jose Ignacio RequenoRequeno, Jose Ignacio Complutense University of Madrid PC Member in Program Committee within the VORTEX-track
Subhajit RoyRoy, Subhajit IIT KanpurIndia Committee Member in Program Committee within the DEBT-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2023 Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
Ugnius RumseviciusRumsevicius, Ugnius University of Illinois - Chicago SINATRA: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
S Nuno SabinoSabino, Nuno Instituto Superior Técnico, Carnegie Mellon UniversityPortugal Toward Tool-Independent Summaries for Symbolic Execution
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Program Co-Chair in Organizing Committee for ECOOP 2023 Program Co-Chair in Program Committee within the ECOOP Research Papers-track
Jordan SamhiSamhi, Jordan University of LuxembourgLuxembourg Publicity Co-Chair in Organizing Committee for ECOOP 2023 Web Co-Chair in Organizing Committee for ECOOP 2023
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
John SarracinoSarracino, John Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark PC Member in Program Committee within the VORTEX-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Co-chair in Organizing Committee within the DEBT-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium PC Member in Program Committee within the ECOOP Research Papers-track
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Lars SchützeSchütze, Lars Technische Universität DresdenGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Ryan ScottScott, Ryan Galois, Inc.United States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Manuel SerranoSerrano, Manuel Inria; University of Côte d'AzurFrance PC Member in Program Committee within the ECOOP Research Papers-track
Hesam ShahrokhiShahrokhi, Hesam University of EdinburghUnited Kingdom An Efficient Vectorized Hash Table for Batch Computations
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom An Efficient Vectorized Hash Table for Batch Computations
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Qingkai ShiShi, Qingkai Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Jun ShirakoShirako, Jun Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Lucas SilverSilver, Lucas University of PennsylvaniaUnited States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification Semantics for Noninterference with Interaction Trees
Somesh SinghSingh, Somesh INRIA, ENS LyonFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZürichSwitzerland PC Member in Program Committee within the ECOOP Research Papers-track
Martin SpießlSpießl, Martin LMU MunichGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Fausto SpotoSpoto, Fausto U. Verona Flow Analysis for Detecting Non-Determinism in Blockchain
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway PC Member in Program Committee within the VORTEX-track
Felix StutzStutz, Felix MPI-SWS Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts
Laszlo SzekeresSzekeres, Laszlo Google Committee Member in Organizing Committee within the FUZZING-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Experience Area Chair in Program Committee within the ECOOP Research Papers-track
T Fabio TagliaferroTagliaferro, Fabio CYS4 Srl Flow Analysis for Detecting Non-Determinism in Blockchain
Jinhao TanTan, Jinhao University of Hong Kong Dependent Merges and First-Class Environments
Peter ThiemannThiemann, Peter University of Freiburg, Germany PC Member in Program Committee within the ECOOP Research Papers-track
Gianluca TortaTorta, Gianluca PC Member in Program Committee within the VORTEX-track
Emma ToschTosch, Emma Northeastern University, USA PC Member in Program Committee within the ECOOP Research Papers-track
Alix TrieuTrieu, Alix ANSSIFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Michele TucciTucci, Michele Charles UniversityCzech Republic Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
V Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow Wiring circuits is easy as {0, 1, ω}, or is it. . .
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal PC Member in Program Committee within the ECOOP Research Papers-track
Siddhanth VenkateshwaranVenkateshwaran, Siddhanth University of Illinois - Chicago SINATRA: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution
W Wenxi WangWang, Wenxi University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada PC Member in Program Committee within the ECOOP Research Papers-track
Yuke WangWang, Yuke University of California Santa Barbara Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Zheng WangWang, Zheng University of California, Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany PC Member in Program Committee within the ECOOP Research Papers-track
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Publicity Co-Chair in Organizing Committee for ECOOP 2023 Web Co-Chair in Organizing Committee for ECOOP 2023 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Edwin WestbrookWestbrook, Edwin GaloisUnited States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Stefan WinterWinter, Stefan LMU MunichGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2023 Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Extended Review Committee within the ECOOP Research Papers-track
Tobias WrigstadWrigstad, Tobias Uppsala University, SwedenSweden PC Member in Program Committee within the ECOOP Research Papers-track
Y Matthew YacavoneYacavone, Matthew Galois, Inc. Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Elena YanakievaYanakieva, Elena University of Kaiserslautern-Landau LoRe: A Programming Model for Verifiably Safe Local-First Software
Ming-Ho YeeYee, Ming-Ho Northeastern University Do Machine Learning Models Produce TypeScript Types that Type Check?
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Dynamically Updatable Multiparty Session Protocols PC Member in Program Committee within the VORTEX-track
Lechen YuYu, Lechen Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Kristin Yvonne RozierYvonne Rozier, Kristin Iowa State University PC Member in Program Committee within the VORTEX-track
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Semantics for Noninterference with Interaction Trees
Chengyu ZhangZhang, Chengyu ETH ZürichSwitzerland PC Member in Program Committee within the ECOOP Research Papers-track
Elena ZuccaZucca, Elena University of GenoaItaly Multi-graded Featherweight Java

ECOOP 2023 Contributors

Results (184)

Tracks

ECOOP and ISSTA 2023

Workshops