SPLASH 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (425)

A Chike AbuahAbuah, Chike University of Vermont Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance Committee Member in Program Committee for APLAS 2022
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Steering Committee for SPLASH 2022 OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2022 Chair in Review Committee within the SPLASH OOPSLA-track
Khaled AhmedAhmed, Khaled University of British Columbia (UBC)Canada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Baris AktemurAktemur, Baris IntelGermany Committee Member in Program Committee within the GPCE-track
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Hybridisation Co-Chair in Organizing Committee for SPLASH 2022 Human Aspects of Types and Reasoning Assistants (HATRA) Committee Member in Organizing Committee within the HATRA-track
Karim AliAli, Karim University of Alberta Committee Member in Review Committee within the SPLASH OOPSLA-track
Shaukat AliAli, Shaukat Simula Research Laboratory, NorwayNorway Committee Member in Program Committee within the SLE-track
Juliana Alves PereiraAlves Pereira, Juliana PUC-RioBrazil Committee Member in Program Committee within the SLE-track Artifact Evaluation Co-Chair in Organising Committee within the SLE-track
Étienne AndréAndré, Étienne LIPN, CNRS UMR 7030, Université Paris 13France Committee Member in Program Committee within the FTSCS-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Alasdair ArmstrongArmstrong, Alasdair University of Cambridge Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Formal Techniques for Safety-Critical Systems (FTSCS) Committee Member in Organizing Committee within the FTSCS-track Committee Member in Program Committee within the FTSCS-track
Eric AtkinsonAtkinson, Eric Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
B Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Committee Member in Program Committee for APLAS 2022 Language-parametric static semantic code completion
Kyungmin BaeBae, Kyungmin Pohang University of Science and Technology (POSTECH)South Korea Committee Member in Program Committee within the FTSCS-track
Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Workshops Co-Chair in Organizing Committee for SPLASH 2022 Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Engineer BainomugishaBainomugisha, Engineer Makerere UniversityUganda Committee Member in Program Committee within the DLS-track
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Steering Committee Chair in Steering Committee within the SPLASH -E-track
Olivier BaraisBarais, Olivier University of Rennes; Inria; IRISAFrance Committee Member in Program Committee within the SPLASH Onward! Papers-track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Committee Member in Program Committee within the SAS Papers-track
Aurèle BarrièreBarrière, Aurèle Univ Rennes, IRISA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Kevin BatzBatz, Kevin RWTH Aachen University Weighted programming: a programming paradigm for specifying mathematical models
Felipe Bañados SchwerterBañados Schwerter, Felipe University of British ColumbiaCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Anna BecchiBecchi, Anna Fondazione Bruno Kessler, Trento, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Tom BeckmannBeckmann, Tom Hasso Plattner Institute Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Committee Member in Organizing Committee within the PAINT-track
Christian J. BellBell, Christian J. MIT CSAILUnited States C4: verified transactional objects
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Véronique BenzakenBenzaken, Véronique Université Paris-Saclay - Laboratoire de Méthodes Formelles France Translating canonical SQL to imperative code in Coq
Josh BerdineBerdine, Josh MetaUnited Kingdom Finding real bugs in big programs with incorrectness logic
Jan BessaiBessai, Jan Technical University DortmundGermany Sources of Unsoundness in Verification (Unsound) Committee Member in Organizing Committee within the Unsound-track
Armin BiereBiere, Armin University of Freiburg, GermanyGermany Committee Member in Program Committee within the FTSCS-track
Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Program Committee within the GPCE-track
Nicolas BiriBiri, Nicolas Luxembourg Institute of Science and Technology Committee Member in Program Committee within the GPCE-track
Lars BirkedalBirkedal, Lars Aarhus University Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities Committee Member in Review Committee within the SPLASH OOPSLA-track
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia Committee Member in Organizing Committee within the VMIL-track
Kelly BlincoeBlincoe, Kelly University of AucklandNew Zealand Diversity and Inclusion Chair, Local Organising Chair in Organizing Committee for SPLASH 2022
Bruno BodinBodin, Bruno Yale-NUS CollegeSingapore PC Member in Program Committee within the SPLASH Onward! Essays-track
James BornholtBornholt, James University of Texas at AustinUnited States Synthesizing fine-grained synchronization protocols for implicit monitors
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFLSwitzerland Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
Thomas BourgeatBourgeat, Thomas Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
Oliver BračevacBračevac, Oliver Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
David BromanBroman, David KTHSweden Committee Member in Program Committee within the FTSCS-track
Denis BuenoBueno, Denis Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Lola BurgueñoBurgueño, Lola Open University of CataloniaSpain Program Co-Chair in Program Committee within the SLE-track PC Chair in Organising Committee within the SLE-track
Arvid ButtingButting, Arvid Software Engineering, RWTH Aachen UniversityGermany Committee Member in Program Committee within the SLE-track
C Zixian CaiCai, Zixian Australian National UniversityAustralia Video Co-Chair in Organizing Committee for SPLASH 2022
Jonathan CameronCameron, Jonathan Carnegie Mellon UniversityUnited States Linear types for large-scale systems verification
Marco CampionCampion, Marco University of VeronaItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Committee Member in Program Committee within the DLS-track
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Program Co-Chair in Program Committee within the SLE-track PC Chair in Organising Committee within the SLE-track
Ethan CecchettiCecchetti, Ethan University of Maryland, College ParkUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Sponsorship Co-Chair in Organizing Committee for SPLASH 2022
Marsha ChechikChechik, Marsha University of Toronto Committee Member in Program Committee within the SLE-track
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina Committee Member in Program Committee within the SAS Papers-track
Sheng ChenChen, Sheng University of Louisiana at Lafayette Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the GPCE-track
Yanju ChenChen, Yanju University of California, Santa BarbaraUnited States Automated transpilation of imperative to functional code using neural-guided program synthesis
Alvin CheungCheung, Alvin University of California, Berkeley Committee Member in Review Committee within the SPLASH OOPSLA-track
Marc ChevalierChevalier, Marc SnykSwitzerland Artifact Evaluation Chair in Organizing Committee for SAS 2022 Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Michele ChiariChiari, Michele Politecnico di MilanoItaly Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Andrei ChişChiş, Andrei feenk, Switzerland Publicity Chair in Organising Committee within the SLE-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States C4: verified transactional objects
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the HATRA-track
Benjamin ChungChung, Benjamin Northeastern University Video Co-Chair in Organizing Committee for SPLASH 2022
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Human Aspects of Types and Reasoning Assistants (HATRA) Committee Member in Organizing Committee within the HATRA-track
Basile ClementClement, Basile InriaFrance End-to-end translation validation for the halide language
Michael CoblenzCoblenz, Michael University of Maryland at College ParkUnited States Human Aspects of Types and Reasoning Assistants (HATRA) Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the HATRA-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Albert CohenCohen, Albert GoogleFrance End-to-end translation validation for the halide language
Benoit CombemaleCombemale, Benoit University of Rennes; Inria; IRISAFrance Committee Member in Program Committee within the SLE-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Hybridisation Co-Chair in Organizing Committee for SPLASH 2022 Committee Member in Program Committee for APLAS 2022 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Committee within the GPCE-track Publicity Chair in Organizing Committee within the GPCE-track
Evelyne ContejeanContejean, Evelyne Translating canonical SQL to imperative code in Coq
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Publicity Chair, Web Co-Chair in Organizing Committee for SPLASH 2022
Patrick CousotCousot, Patrick Committee Member in Program Committee within the SAS Papers-track
Arlen CoxCox, Arlen IDA Committee Member in Program Committee within the SAS Papers-track
Will CrichtonCrichton, Will Stanford University Committee Member in Program Committee within the HATRA-track
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzech Republic Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Steering Committee within the SPLASH -E-track
D Emanuele D'OsualdoD'Osualdo, Emanuele MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Meenakshi D'SouzaD'Souza, Meenakshi IIITB - International Institute of Information Technology BangaloreIndia Committee Member in Program Committee for APLAS 2022
Alfonso de la Vegade la Vega, Alfonso Universidad de CantabriaSpain Committee Member in Program Committee within the SLE-track
Juan de Larade Lara, Juan Autonomous University of MadridSpain Committee Member in Program Committee within the SLE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for SPLASH 2022 Reactive and Event-Based Languages and Systems (REBLS) PC Co-Chair in Program Committee within the DLS-track Committee Member in Organizing Committee within the REBLS-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom Co-chair in Artifact Evaluation Committee for APLAS 2022 Committee Member in Program Committee for APLAS 2022
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
Delphine DemangeDemange, Delphine Univ Rennes, Inria, CNRS, IRISAFrance Committee Member in Review Committee within the SPLASH OOPSLA-track
Yinlin DengDeng, Yinlin University of Illinois at Urbana-Champaign Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Farzaneh DerakhshanDerakhshan, Farzaneh Carnegie Mellon UniversityUnited States Committee Member in Program Committee for APLAS 2022
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Plausible sealing for gradual parametricity Purity of an ST monad: full abstraction by semantically typed back-translation
Isil DilligDillig, Isil University of Texas at AustinUnited States Automated transpilation of imperative to functional code using neural-guided program synthesis Synthesizing fine-grained synchronization protocols for implicit monitors
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yi DingDing, Yi Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track
Thi Thu Ha DoanDoan, Thi Thu Ha University of Freiburg Committee Member in Program Committee for APLAS 2022
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in Program Committee within the SAS Papers-track
Derek DreyerDreyer, Derek MPI-SWSGermany Finding real bugs in big programs with incorrectness logic
Sophia DrossopoulouDrossopoulou, Sophia Facebook and Imperial College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2022 Committee Member in Review Committee within the SPLASH OOPSLA-track
Andrej DudenhefnerDudenhefner, Andrej Technical University Dortmund Committee Member in Organizing Committee within the Unsound-track
Greg DurrettDurrett, Greg University of Texas at Austin, USA Automated transpilation of imperative to functional code using neural-guided program synthesis
Arpita DuttaDutta, Arpita National University of SingaporeSingapore Co-chair in Artifact Evaluation Committee for APLAS 2022
Tristan DyerDyer, Tristan Applying cognitive principles to model-finding output: the positive value of negative information
Tristan DyerDyer, Tristan Brown UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
E Jonathan EdwardsEdwards, Jonathan United States Committee Member in Program Committee within the HATRA-track
Aaron ElineEline, Aaron AmazonUnited States C to checked C by 3c
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance Committee Member in Review Committee within the SPLASH OOPSLA-track
Sebastian ErdwegErdweg, Sebastian JGU Mainz Steering Committee Chair in Steering Committee within the GPCE-track
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland Reactive and Event-Based Languages and Systems (REBLS) Committee Member in Organizing Committee within the REBLS-track Committee Member in Review Committee within the SPLASH OOPSLA-track
F Marie FarrellFarrell, Marie Maynooth UniversityIreland Committee Member in Program Committee within the FTSCS-track
Marc FeeleyFeeley, Marc Université de MontréalCanada Committee Member in Program Committee within the DLS-track
Molly FeldmanFeldman, Molly Oberlin CollegeUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2022 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Committee within the HATRA-track
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Automated transpilation of imperative to functional code using neural-guided program synthesis
Jerome FeretFeret, Jerome INRIA ParisFrance Committee Member in Program Committee within the SAS Papers-track
Kostas FerlesFerles, Kostas UT AustinUnited States Synthesizing fine-grained synchronization protocols for implicit monitors
Kiko Fernandez-ReyesFernandez-Reyes, Kiko KlarnaSweden Committee Member in Program Committee within the SPLASH Onward! Papers-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Committee Member in Program Committee within the SAS Papers-track
Bernd FischerFischer, Bernd Stellenbosch University, South AfricaSouth Africa General Chair in Organising Committee within the SLE-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Applying cognitive principles to model-finding output: the positive value of negative information Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the HATRA-track
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Steering Committee for SPLASH 2022
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Program Committee within the FTSCS-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Committee Member in Program Committee for APLAS 2022
Adrian GallusGallus, Adrian RWTH Aachen University Weighted programming: a programming paradigm for specifying mathematical models
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Deepak GargGarg, Deepak MPI-SWSGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Aina Linn GeorgesGeorges, Aina Linn Aarhus University Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly Committee Member in Program Committee within the SAS Papers-track
Dimitra GiannakopoulouGiannakopoulou, Dimitra NASA Ames Research Center Committee Member in Program Committee within the FTSCS-track
Paola GianniniGiannini, Paola Universita' del Piemonte OrientaleItaly Committee Member in Organizing Committee within the Unsound-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom PC Member in Program Committee within the SPLASH Onward! Essays-track
Sabine GlesnerGlesner, Sabine Germany Committee Member in Program Committee within the FTSCS-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the GPCE-track
Aviral GoelGoel, Aviral Northeastern UniversityUnited States Chair in Chairs within the SPLASH PLTea-track
Anitha GollamudiGollamudi, Anitha UMass Lowell Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Christiane GoltzGoltz, Christiane SnykSwitzerland Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Program Committee within the GPCE-track Committee Member in Organizing Committee within the VMIL-track
Jeff GrayGray, Jeff University of Alabama Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
Neville GrechGrech, Neville University of MaltaMalta Elipmoc: advanced decompilation of Ethereum smart contracts Committee Member in Review Committee within the SPLASH OOPSLA-track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the DLS-track
Ben GreenmanGreenman, Ben Brown UniversityUnited States Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the HATRA-track
Benjamin GreenmanGreenman, Benjamin Brown University, USA Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2022
David GroveGrove, David IBM ResearchUnited States Chair in Steering Committee for SPLASH 2022
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Arjun GuhaGuha, Arjun Northeastern UniversityUnited States PC Co-Chair in Program Committee within the DLS-track
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee for APLAS 2022
H Houssem HachmaouiHachmaoui, Houssem Translating canonical SQL to imperative code in Coq
Osman HasanHasan, Osman National University of Sciences & Technology Committee Member in Program Committee within the FTSCS-track
Chris HawblitzelHawblitzel, Chris Microsoft Research Linear types for large-scale systems verification
Dongjie HeHe, Dongjie UNSW SydneyAustralia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Pinjia HeHe, Pinjia The Chinese University of Hong Kong, ShenzhenChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Kyle HeadleyHeadley, Kyle AmazonUnited States C to checked C by 3c
Martin HenzHenz, Martin National University of SingaporeSingapore Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the SAS Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Ben HermannHermann, Ben Technical University DortmundGermany Committee Member in Organizing Committee within the Unsound-track
MIchael HicksHicks, MIchael AmazonUnited States C to checked C by 3c
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Committee Member in Program Committee within the DLS-track Committee Member in Organizing Committee within the PAINT-track
Aquinas HoborHobor, Aquinas University College LondonUnited Kingdom Committee Member in Program Committee for APLAS 2022
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Budget and Finance Chair in Organizing Committee for SPLASH 2022
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2022 Comfy Chair in Organizing Committee for SPLASH 2022
Falk HowarHowar, Falk TU Dortmund UniversityGermany Committee Member in Organizing Committee within the Unsound-track
Jon HowellHowell, Jon VMWare Research Linear types for large-scale systems verification
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee for APLAS 2022 Committee Member in Program Committee within the SLE-track
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States SHARP: fast incremental context-sensitive pointer analysis for Java
Mathieu HuotHuot, Mathieu Oxford University Functional collection programming with semi-ring dictionaries
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Committee Member in Review Committee within the SPLASH OOPSLA-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Committee Member in Program Committee within the GPCE-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan Committee Member in Program Committee within the FTSCS-track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Committee Member in Program Committee for APLAS 2022 Committee Member in Program Committee within the SPLASH Onward! Papers-track
J Nouraldin JaberJaber, Nouraldin Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Koen JacobsJacobs, Koen KU Leuven Purity of an ST monad: full abstraction by semantically typed back-translation
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Alan JeffreyJeffrey, Alan RobloxUnited States Committee Member in Program Committee within the HATRA-track
Ranjit JhalaJhala, Ranjit University of California at San Diego; Amazon Web ServicesUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Hanru JiangJiang, Hanru Yanqi Lake Beijing Institute of Mathematical Sciences and Applications, ChinaChina On incorrectness logic for Quantum programs
Jacques-Henri JourdanJourdan, Jacques-Henri Universersité Paris Saclay, CNRS, LRIFrance Committee Member in Review Committee within the SPLASH OOPSLA-track
Ralf JungJung, Ralf MPI-SWSGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
K Ifaz KabirKabir, Ifaz University of Alberta Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Gail KaiserKaiser, Gail Columbia UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Gowtham KakiKaki, Gowtham University of Colorado BoulderUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan PC Chair in Program Committee within the GPCE-track PC Chair in Organizing Committee within the GPCE-track
Shoaib KamilKamil, Shoaib Adobe Research Committee Member in Review Committee within the SPLASH OOPSLA-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the SPLASH Onward! Papers-track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University and University College LondonGermany Quantitative strongest post: a calculus for reasoning about the flow of quantitative information Weighted programming: a programming paradigm for specifying mathematical models Committee Member in Review Committee within the SPLASH OOPSLA-track
Anders KaseorgKaseorg, Anders Massachusetts Institute of TechnologyUnited States C4: verified transactional objects
John KastnerKastner, John AmazonUnited States C to checked C by 3c
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology (AIST)Japan Live Programming (LIVE) Committee Member in Organizing Committee within the LIVE-track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Weighted programming: a programming paradigm for specifying mathematical models
Ryan KavanaghKavanagh, Ryan McGill UniversityCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2022 Organizer in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Review Committee within the SPLASH OOPSLA-track Organizer in Onward! Steering Committee within the SPLASH Onward! Papers-track
Chantal KellerKeller, Chantal LRI, Université Paris-SudFrance Translating canonical SQL to imperative code in Coq
Martin KelloggKellogg, Martin University of WashingtonUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2022 Committee Member in Program Committee within the GPCE-track Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Jörg KienzleKienzle, Jörg McGill University, CanadaCanada Committee Member in Program Committee within the SLE-track
Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Committee Member in Program Committee within the SLE-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Committee Member in Program Committee for APLAS 2022
Christos KotselidisKotselidis, Christos KTM Innovation / The University of ManchesterUnited Kingdom Virtual Machines and Language Implementations (VMIL) Co-chair in Organizing Committee within the VMIL-track
Georgia KouveiiKouveii, Georgia ARM Committee Member in Organizing Committee within the VMIL-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Applying cognitive principles to model-finding output: the positive value of negative information Committee Member in Program Committee within the HATRA-track
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Committee Member in Program Committee within the SAS Papers-track
Rahul KrishnanKrishnan, Rahul UT AustinUnited States Synthesizing fine-grained synchronization protocols for implicit monitors
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Thomas KühnKühn, Thomas Karlsruhe Institute of TechnologyGermany Committee Member in Program Committee within the SLE-track Artifact Evaluation Co-Chair in Organising Committee within the SLE-track
L Elizabeth LabradaLabrada, Elizabeth University of ChileCuba Plausible sealing for gradual parametricity
Sifis LagouvardosLagouvardos, Sifis University of AthensGreece Elipmoc: advanced decompilation of Ethereum smart contracts Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Andrea LattuadaLattuada, Andrea ETH Zurich Linear types for large-scale systems verification
Sam LauLau, Sam University of California San DiegoUnited States Live Programming (LIVE) Committee Member in Organizing Committee within the LIVE-track
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Julia LawallLawall, Julia InriaFrance Committee Member in Program Committee within the GPCE-track
Quang Loc LeLe, Quang Loc University College LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Xuan-Bach LeLe, Xuan-Bach Nanyang Technological UniversitySingapore Committee Member in Program Committee for APLAS 2022
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Organizing Committee within the VMIL-track
Edward LeeLee, Edward University of WaterlooCanada Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
Ondřej LengálLengál, Ondřej Brno University of Technology Committee Member in Program Committee for APLAS 2022
David LeopoldsederLeopoldseder, David Oracle LabsAustria Committee Member in Organizing Committee within the VMIL-track
Benjamin LernerLerner, Benjamin Northeastern University, United StatesUnited States Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Mohsen LesaniLesani, Mohsen University of California at Riverside C4: verified transactional objects
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Committee Member in Organizing Committee within the VMIL-track
Jialin LiLi, Jialin Linear types for large-scale systems verification
Yao LiLi, Yao University of PennsylvaniaUnited States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2022 Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
Jay P. LimLim, Jay P. Yale UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Bozhen LiuLiu, Bozhen Texas A&M University, USA SHARP: fast incremental context-sensitive pointer analysis for Java
Jiawei LiuLiu, Jiawei Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Crista LopesLopes, Crista University of California, IrvineUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
M Aravind MachiryMachiry, Aravind Purdue UniversityUnited States C to checked C by 3c
Julian MackayMackay, Julian Victoria University of Wellington Student Volunteer Chair in Organizing Committee for SPLASH 2022 Student Volunteer Chair in Organizers within the SPLASH Student Volunteers-track
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Daryl MaierMaier, Daryl IBM CanadaCanada Committee Member in Organizing Committee within the VMIL-track
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the GPCE-track
Robi MalikMalik, Robi New Zealand Committee Member in Program Committee within the FTSCS-track
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance Committee Member in Program Committee within the FTSCS-track
Louis MandelMandel, Louis IBM Research, USA Translating canonical SQL to imperative code in Coq
Benjamin MarianoMariano, Benjamin University of Texas at AustinUnited States Automated transpilation of imperative to functional code using neural-guided program synthesis
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the SLE-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the FTSCS-track
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Committee Member in Program Committee within the SAS Papers-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Steering Committee for SPLASH 2022 Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track
Umang MathurMathur, Umang National University of SingaporeSingapore Committee Member in Program Committee for APLAS 2022
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Matt McCutchenMcCutchen, Matt United States C to checked C by 3c
Kathryn S McKinleyMcKinley, Kathryn S Google Committee Member in Review Committee within the SPLASH OOPSLA-track
Marjan MernikMernik, Marjan University of MariborSlovenia Committee Member in Program Committee within the SLE-track
Mira MeziniMezini, Mira TU DarmstadtGermany Committee Member in Steering Committee for SPLASH 2022
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2022 Committee Member in Review Committee within the SPLASH OOPSLA-track
Anders MiltnerMiltner, Anders UT AustinUnited States Committee Member in Program Committee for APLAS 2022
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the SAS Papers-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Proof transfer for fast certification of multiple approximate neural networks
Sidi Mohamed BeillahiMohamed Beillahi, Sidi University of TorontoCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the SAS Papers-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
David MonniauxMonniaux, David Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Committee Member in Program Committee within the SAS Papers-track
Angelica Aparecida MoreiraMoreira, Angelica Aparecida Federal University of Minas GeraisBrazil Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Fabian MuehlboeckMuehlboeck, Fabian IST AustriaAustria Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Doctoral Symposium Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Committee Member in Program Committee for APLAS 2022
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria PC Member in Program Committee within the SPLASH Onward! Essays-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Steering Committee for SPLASH 2022
N Chandrakana NandiNandi, Chandrakana Certora, inc.United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Roberto NardoneNardone, Roberto University of Naples "Parthenope" Committee Member in Program Committee within the FTSCS-track
Jorge A. NavasNavas, Jorge A. Certora, inc.United States Committee Member in Program Committee within the SAS Papers-track
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Tim NelsonNelson, Tim Brown UniversityUnited States Applying cognitive principles to model-finding output: the positive value of negative information
Nicholas NethercoteNethercote, Nicholas Futurewei Technologies PC Member in Program Committee within the SPLASH Onward! Essays-track
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Program Committee for APLAS 2022
Victor NicoletNicolet, Victor University of TorontoCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology Committee Member in Program Committee within the SLE-track
Thomas NollNoll, Thomas RWTH Aachen UniversityGermany Committee Member in Program Committee within the FTSCS-track
Vivek NotaniNotani, Vivek Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Vesna NowackNowack, Vesna Lancaster University, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
O Peter W. O'HearnO'Hearn, Peter W. Meta; University College LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Kazuhiro OgataOgata, Kazuhiro Japan Advanced Institute of Science and Technology Committee Member in Program Committee within the FTSCS-track
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Committee Member in Review Committee within the SPLASH OOPSLA-track
Carlos OlarteOlarte, Carlos Université Sorbonne Paris Nord Committee Member in Program Committee within the FTSCS-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Committee Member in Program Committee within the GPCE-track
Luca OlivieriOlivieri, Luca University of Verona, Corvallis S.r.l.Italy Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Dan OlteanuOlteanu, Dan University of ZurichSwitzerland Functional collection programming with semi-ring dictionaries
Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in Program Committee within the HATRA-track
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the HATRA-track
Klaus OstermannOstermann, Klaus University of Tübingen Committee Member in Program Committee within the GPCE-track
P Uday P. KhedkerP. Khedker, Uday Indian Institute of Technology (IIT) BombayIndia Committee Member in Program Committee within the SPLASH Onward! Essays-track
Oded PadonPadon, Oded VMware ResearchUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Matteo PaltenghiPaltenghi, Matteo University of Stuttgart, GermanyGermany Bugs in Quantum computing platforms: an empirical study
Michail PapadimitriouPapadimitriou, Michail OctoMLUnited Kingdom Committee Member in Organizing Committee within the VMIL-track
Jihyeok ParkPark, Jihyeok Oracle Labs, AustraliaSouth Korea Committee Member in Program Committee for APLAS 2022 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Bryan ParnoParno, Bryan Carnegie Mellon University, USA Linear types for large-scale systems verification Committee Member in Program Committee within the HATRA-track
Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Lionel ParreauxParreaux, Lionel Hong Kong University of Science and Technology Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Marco PatrignaniPatrignani, Marco University of TrentoItaly Committee Member in Program Committee for APLAS 2022
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the DLS-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
David J. PearcePearce, David J. ConsenSysNew Zealand Committee Member in Program Committee within the FTSCS-track
Hila PelegPeleg, Hila TechnionIsrael Committee Member in Program Committee within the HATRA-track
Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands Language-parametric static semantic code completion
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Organizer in Onward! Steering Committee within the SPLASH Onward! Essays-track Organizer in Onward! Steering Committee within the SPLASH Onward! Papers-track
Lauren PickPick, Lauren Princeton UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States C4: verified transactional objects
Anton PodkopaevPodkopaev, Anton JetBrains ResearchRussia Committee Member in Program Committee for APLAS 2022
Guillermo PolitoPolito, Guillermo Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStALFrance Committee Member in Program Committee within the SPLASH Onward! Papers-track
Joe Gibbs PolitzPolitz, Joe Gibbs University of California at San DiegoUnited States Committee Member in Program Committee within the DLS-track
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2022 General Chair in Organizing Committee for SPLASH 2022
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Committee Member in Review Committee within the SPLASH OOPSLA-track
Michael PradelPradel, Michael University of StuttgartGermany Bugs in Quantum computing platforms: an empirical study
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Virtual Machines and Language Implementations (VMIL) Co-chair in Organizing Committee within the VMIL-track
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance Committee Member in Program Committee for APLAS 2022
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Committee Member in Steering Committee for SPLASH 2022
Francesco RanzatoRanzato, Francesco University of PadovaItaly Committee Member in Program Committee within the SAS Papers-track
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Committee Member in Review Committee within the SPLASH OOPSLA-track
Christoph ReichenbachReichenbach, Christoph Lund UniversitySweden Committee Member in Steering Committee within the GPCE-track
Alastair ReidReid, Alastair Arm LtdUnited Kingdom Committee Member in Program Committee within the HATRA-track
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Manuel RiggerRigger, Manuel ETH ZurichSwitzerland Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Markus RoggenbachRoggenbach, Markus Swansea University, Swansea, UK Committee Member in Program Committee within the FTSCS-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Steering Committee within the GPCE-track
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
S Leila SalemSalem, Leila University of TorontoCanada PC Member in Program Committee within the SPLASH Onward! Essays-track
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Reactive and Event-Based Languages and Systems (REBLS) Committee Member in Organizing Committee within the REBLS-track
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil Reactive and Event-Based Languages and Systems (REBLS) Committee Member in Organizing Committee within the REBLS-track
John SarracinoSarracino, John Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Isao SasanoSasano, Isao Shibaura Institute of TechnologyJapan Committee Member in Program Committee for APLAS 2022
Max SchaeferSchaefer, Max GitHub, Inc.United Kingdom Committee Member in Program Committee within the GPCE-track
Daniel SchoepeSchoepe, Daniel AmazonUnited Kingdom Committee Member in Program Committee within the SAS Papers-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Committee Member in Program Committee within the SPLASH Onward! Papers-track
Bernhard ScholzScholz, Bernhard University of SydneyAustralia General Chair in Organizing Committee within the GPCE-track
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark Committee Member in Program Committee within the GPCE-track
Sibylle SchuppSchupp, Sibylle Committee Member in Program Committee within the GPCE-track
Philipp SchusterSchuster, Philipp University of Tübingen Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
Elizabeth ScottScott, Elizabeth Royal Holloway University of London Committee Member in Program Committee within the SLE-track
Martina SeidlSeidl, Martina Johannes Kepler University LinzAustria Committee Member in Program Committee within the FTSCS-track
Benjamin SepanskiSepanski, Benjamin The University of Texas at Austin Synthesizing fine-grained synchronization protocols for implicit monitors
Ilya SergeySergey, Ilya National University of SingaporeSingapore Program Chair in Program Committee for APLAS 2022
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Sources of Unsoundness in Verification (Unsound) Committee Member in Program Committee within the SLE-track Committee Member in Organizing Committee within the Unsound-track
Peter SewellSewell, Peter University of CambridgeUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Functional collection programming with semi-ring dictionaries Committee Member in Program Committee within the GPCE-track
Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in Program Committee within the FTSCS-track
Qingkai ShiShi, Qingkai Ant GroupChina Complexity-guided container replacement synthesis
Avraham ShinnarShinnar, Avraham IBM ResearchUnited States Translating canonical SQL to imperative code in Coq
Xujie SiSi, Xujie McGill University, Canada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2022 Posters Co-Chair in Organizing Committee within the SPLASH Posters-track Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance Committee Member in Program Committee within the SAS Papers-track
Jerome SimeonSimeon, Jerome DocuSign, Inc.United States Translating canonical SQL to imperative code in Coq
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom PC Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Chair in Program Committee within the SPLASH Onward! Essays-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMwareUnited States Program Co-Chair in Organizing Committee for SAS 2022 Proof transfer for fast certification of multiple approximate neural networks Co-chair in Program Committee within the SAS Papers-track
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece Committee Member in Steering Committee for SPLASH 2022 Elipmoc: advanced decompilation of Ethereum smart contracts
Calvin SmithSmith, Calvin University of Texas AustinUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Jaclyn SmithSmith, Jaclyn Oxford UniversityUnited Kingdom Functional collection programming with semi-ring dictionaries
Kristina SojakovaSojakova, Kristina INRIA ParisFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Diomidis SpinellisSpinellis, Diomidis Athens University of Economics and Business; Delft University of TechnologyGreece Committee Member in Program Committee within the SPLASH Onward! Essays-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Committee Member in Program Committee within the SAS Papers-track
Caleb StanfordStanford, Caleb University of Pennsylvania Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Benno SteinStein, Benno Meta; University of Colorado BoulderUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the SAS Papers-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Ilina StoilkovskaStoilkovska, Ilina Amazon Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden Committee Member in Program Committee within the GPCE-track
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the GPCE-track
Jing SunSun, Jing School of Computer Science, University of AucklandNew Zealand Committee Member in Program Committee within the FTSCS-track
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Juan Pablo SáenzSáenz, Juan Pablo Politecnico di TorinoColombia Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Committee Member in Organizing Committee within the PAINT-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Committee Member in Program Committee within the SLE-track
T Walid TahaTaha, Walid Committee Member in Program Committee within the SLE-track
Sofiene TaharTahar, Sofiene Concordia University Committee Member in Program Committee within the FTSCS-track
Carolyn TalcottTalcott, Carolyn SRI International Committee Member in Program Committee within the FTSCS-track
Wensheng TangTang, Wensheng Hong Kong University of Science and TechnologyChina Complexity-guided container replacement synthesis
Éric TanterTanter, Éric University of Chile Plausible sealing for gradual parametricity
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in Review Committee within the SPLASH OOPSLA-track
Eli TilevichTilevich, Eli Virginia TechUnited States Committee Member in Program Committee within the GPCE-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Purity of an ST monad: full abstraction by semantically typed back-translation
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Committee Member in Program Committee within the SAS Papers-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Committee Member in Organizing Committee within the VMIL-track
James TizardTizard, James University of AucklandNew Zealand PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
David TolpinTolpin, David PUB+Israel PC Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track PC Chair in Program Committee within the SPLASH Onward! Papers-track
Matías ToroToro, Matías University of Chile Plausible sealing for gradual parametricity
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Program Committee within the DLS-track
Alix TrieuTrieu, Alix ANSSIFrance Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities
Ilias TsatirisTsatiris, Ilias University of AthensGreece Elipmoc: advanced decompilation of Ethereum smart contracts
Petr TumaTuma, Petr Charles UniversityCzech Republic Committee Member in Organizing Committee within the VMIL-track
U Shubham UgareUgare, Shubham University of Illinois at Urbana-ChampaignUnited States Proof transfer for fast certification of multiple approximate neural networks
Caterina UrbanUrban, Caterina INRIA & École Normale Supérieure \| Université PSLFrance Student Research Competition Co-Chair in Organizing Committee for SPLASH 2022 Program Co-Chair in Organizing Committee for SAS 2022 Posters Co-Chair in Organizing Committee within the SPLASH Posters-track Co-chair in Program Committee within the SAS Papers-track Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
V Marco Tulio ValenteValente, Marco Tulio Federal University of Minas Gerais, Brazil Committee Member in Program Committee within the SLE-track
Hendrik van Antwerpenvan Antwerpen, Hendrik Delft University of Technology Language-parametric static semantic code completion
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium Committee Member in Program Committee within the SPLASH Onward! Papers-track
Tijs van der Stormvan der Storm, Tijs CWI; University of GroningenNetherlands Committee Member in Program Committee within the GPCE-track
Rob van Glabbeekvan Glabbeek, Rob Committee Member in Program Committee within the FTSCS-track
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Committee Member in Steering Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, Faculty of Sciences, University of LisbonPortugal Committee Member in Steering Committee for SPLASH 2022
Mandana VaziriVaziri, Mandana IBM Research Committee Member in Review Committee within the SPLASH OOPSLA-track
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Review Committee within the SPLASH OOPSLA-track
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Committee Member in Organizing Committee within the PAINT-track
Jules VillardVillard, Jules Facebook LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Eelco VisserVisser, Eelco Delft University of Technology Steering Committee Member in Steering Committee for SPLASH 2022 Language-parametric static semantic code completion
Sandhya ViswanathanViswanathan, Sandhya Intel Committee Member in Organizing Committee within the VMIL-track
Jan VitekVitek, Jan Northeastern University; Czech Technical UniversityUnited States Committee Member in Steering Committee for SPLASH 2022 OOPSLA Review Committee Co-Chair in Organizing Committee for SPLASH 2022 Co-chair in Review Committee within the SPLASH OOPSLA-track
W Chengpeng WangWang, Chengpeng The Hong Kong University of Science and TechnologyChina Complexity-guided container replacement synthesis
Jingbo WangWang, Jingbo University of Southern California Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Xinyu WangWang, Xinyu University of MichiganUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yuepeng WangWang, Yuepeng Simon Fraser University Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Ran WeiWei, Ran Dalian University of TechnologyChina Committee Member in Program Committee within the SLE-track
Yuxiang WeiWei, Yuxiang Tongji UniversityChina Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Tobias WinklerWinkler, Tobias RWTH Aachen UniversityGermany Weighted programming: a programming paradigm for specifying mathematical models
Andreas WortmannWortmann, Andreas University of Stuttgart Committee Member in Program Committee within the SLE-track
X Li-yao XiaXia, Li-yao University of Pennsylvania C4: verified transactional objects
Ningning XieXie, Ningning University of CambridgeUnited Kingdom Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Program Committee within the GPCE-track
Peng YanYan, Peng University of Technology SydneyAustralia On incorrectness logic for Quantum programs
Sen YangYang, Sen Fudan University Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Peisen YaoYao, Peisen The Hong Kong University of Science and TechnologyChina Complexity-guided container replacement synthesis
Nengkun YuYu, Nengkun UTSAustralia Committee Member in Program Committee for APLAS 2022 On incorrectness logic for Quantum programs
Z Foivos S. ZakkakZakkak, Foivos S. Red Hat, Inc. Committee Member in Organizing Committee within the VMIL-track
Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands Committee Member in Program Committee within the SLE-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States C4: verified transactional objects
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Complexity-guided container replacement synthesis
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Linpeng ZhangZhang, Linpeng University College LondonUnited Kingdom Quantitative strongest post: a calculus for reasoning about the flow of quantitative information
Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Committee Member in Program Committee within the HATRA-track
Yi ZhouZhou, Yi Carnegie Mellon University Linear types for large-scale systems verification
He ZhuZhu, He Rutgers University, USA Committee Member in Review Committee within the SPLASH OOPSLA-track
Huibiao ZhuZhu, Huibiao China Committee Member in Program Committee within the FTSCS-track Committee Member in Program Committee within the FTSCS-track
Lukasz ZiarekZiarek, Lukasz University at BuffaloUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2022 Reactive and Event-Based Languages and Systems (REBLS) PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Organizing Committee within the REBLS-track
Daming ZouZou, Daming ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom Committee Member in Program Committee within the SLE-track
Elena ZuccaZucca, Elena University of Genova Committee Member in Program Committee for APLAS 2022 Committee Member in Organizing Committee within the Unsound-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Ö Peter ÖlveczkyÖlveczky, Peter University of Oslo, NorwayNorway Formal Techniques for Safety-Critical Systems (FTSCS) Committee Member in Organizing Committee within the FTSCS-track Committee Member in Program Committee within the FTSCS-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UK Committee Member in Program Committee within the GPCE-track

SPLASH 2022 Contributors

Results (425)

Tracks

Co-hosted Conferences

Workshops