APLAS 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (97)

A Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance Committee Member in Program Committee for APLAS 2022
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Session Chair of Testing and Verification (part of APLAS )
Meghan AllenAllen, Meghan University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH -E-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Decoupling the Ascending and Descending Phases in Abstract Interpretation
B Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Committee Member in Program Committee for APLAS 2022
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Steering Committee Chair in Steering Committee within the SPLASH -E-track
Mike BarkminBarkmin, Mike University of Duisburg-Essen, GermanyGermany Committee Member in Program Committee within the SPLASH -E-track
Mike BeckerBecker, Mike TU Braunschweig Model-based Fault Classification for Automotive Software
C Pierre CagneCagne, Pierre Appalachian State University Characterizing functions mappable over GADTs
Luyu ChengCheng, Luyu Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee for APLAS 2022
Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore Automated Temporal Verification for Algebraic Effects
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the SPLASH -E-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Program Committee for APLAS 2022
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Steering Committee within the SPLASH -E-track
D Meenakshi D'SouzaD'Souza, Meenakshi IIITB - International Institute of Information Technology BangaloreIndia Committee Member in Program Committee for APLAS 2022
Sourav DasDas, Sourav Indian Institute of Technology KharagpurIndia Committee Member in Artifact Evaluation Committee for APLAS 2022
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
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Farzaneh DerakhshanDerakhshan, Farzaneh Carnegie Mellon UniversityUnited States Committee Member in Program Committee for APLAS 2022
Robert DickersonDickerson, Robert Purdue UniversityUnited States RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Thi Thu Ha DoanDoan, Thi Thu Ha University of Freiburg Committee Member in Program Committee for APLAS 2022
Arpita DuttaDutta, Arpita National University of SingaporeSingapore Co-chair in Artifact Evaluation Committee for APLAS 2022
Yotam DvirDvir, Yotam Tel Aviv University An Algebraic Theory for Shared-State Concurrency
F Andong FanFan, Andong Hong Kong University of Science and TechnologyChina A Calculus with Recursive Types, Record Concatenation and Subtyping
Molly FeldmanFeldman, Molly Oberlin CollegeUnited States Session Chair of Morning 1 (part of SPLASH -E) Committee Member in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Committee Member in Steering Committee within the SPLASH -E-track
Darius FooFoo, Darius National University of Singapore Automated Temporal Verification for Algebraic Effects
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly Committee Member in Artifact Evaluation Committee for APLAS 2022
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Committee Member in Program Committee for APLAS 2022
Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL) Committee Member in Artifact Evaluation Committee for APLAS 2022
Chuqin GengGeng, Chuqin McGill University Novice Type Error Diagnosis with Natural Language Models
Lilia GeorgievaGeorgieva, Lilia Committee Member in Artifact Evaluation Committee for APLAS 2022
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom Committee Member in Artifact Evaluation Committee for APLAS 2022
Philip GuoGuo, Philip University of California San Diego Committee Member in Program Committee within the SPLASH -E-track
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee for APLAS 2022
H Tianyu HanHan, Tianyu McGill University Novice Type Error Diagnosis with Natural Language Models
Martin HenzHenz, Martin National University of SingaporeSingapore Session Chair of Morning 2 (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee for APLAS 2022
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Session Chair of Types (part of APLAS )
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Committee Member in Program Committee for APLAS 2022
J Patricia JohannJohann, Patricia Appalachian State University Characterizing functions mappable over GADTs
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom An Algebraic Theory for Shared-State Concurrency
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Committee Member in Program Committee for APLAS 2022
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India Verification of Concurrent Programs under Release-Acquire Concurrency
L Ori LahavLahav, Ori Tel Aviv UniversityIsrael An Algebraic Theory for Shared-State Concurrency
Xuan-Bach LeLe, Xuan-Bach Nanyang Technological UniversitySingapore Committee Member in Program Committee for APLAS 2022
Yunjeong LeeLee, Yunjeong National University of Singapore Committee Member in Artifact Evaluation Committee for APLAS 2022
Ondřej LengálLengál, Ondřej Brno University of Technology Committee Member in Program Committee for APLAS 2022
Benjamin LernerLerner, Benjamin Northeastern University, United StatesUnited States Session Chair of Afternoon 2 (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Martin LesterLester, Martin University of ReadingUnited Kingdom Committee Member in Artifact Evaluation Committee for APLAS 2022
Yixuan LiLi, Yixuan McGill University Novice Type Error Diagnosis with Natural Language Models
M Julian MackayMackay, Julian Victoria University of WellingtonNew Zealand Session Chair of Semantics and Analysis (part of APLAS )
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Decoupling the Ascending and Descending Phases in Abstract Interpretation
Umang MathurMathur, Umang National University of SingaporeSingapore Committee Member in Program Committee for APLAS 2022
Roland MeyerMeyer, Roland TU BraunschweigGermany Model-based Fault Classification for Automotive Software
Anders MiltnerMiltner, Anders UT AustinUnited States Committee Member in Program Committee for APLAS 2022
Shouvick MondalMondal, Shouvick IIT Gandhinagar, IndiaIndia Committee Member in Artifact Evaluation Committee for APLAS 2022
Ankan MullickMullick, Ankan IIT Kharagpur Committee Member in Artifact Evaluation Committee for APLAS 2022
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Committee Member in Program Committee for APLAS 2022
N Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Committee Member in Artifact Evaluation Committee for APLAS 2022
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Program Committee for APLAS 2022
O Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina A Calculus with Recursive Types, Record Concatenation and Subtyping Applicative Intersection Types
P Jihyeok ParkPark, Jihyeok OracleAustralia Committee Member in Program Committee for APLAS 2022
Marco PatrignaniPatrignani, Marco University of TrentoItaly Committee Member in Program Committee for APLAS 2022
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology Committee Member in Artifact Evaluation Committee for APLAS 2022
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Novice Type Error Diagnosis with Natural Language Models
Anton PodkopaevPodkopaev, Anton JetBrains ResearchRussia Committee Member in Program Committee for APLAS 2022
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany Committee Member in Artifact Evaluation Committee for APLAS 2022
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance Committee Member in Program Committee for APLAS 2022
R Baber RehmanRehman, Baber University of Hong Kong Committee Member in Artifact Evaluation Committee for APLAS 2022
Tobias RungeRunge, Tobias TU Braunschweig Model-based Fault Classification for Automotive Software
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee for APLAS 2022
S Pranesh SantikellurSantikellur, Pranesh Technology Innovation Institute (TII), Abu Dhabi, UAEUnited Arab Emirates Committee Member in Artifact Evaluation Committee for APLAS 2022
Isao SasanoSasano, Isao Shibaura Institute of TechnologyJapan Committee Member in Program Committee for APLAS 2022
Ina SchaeferSchaefer, Ina KITGermany Model-based Fault Classification for Automotive Software
Ulrich SchöppSchöpp, Ulrich fortiss GmbHGermany Inferring Region Types via an Abstract Notion of Environment Transformation
Ilya SergeySergey, Ilya National University of SingaporeSingapore Program Chair in Program Committee for APLAS 2022 Session Chair of Keynote (part of APLAS )
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee for APLAS 2022
Xujie SiSi, Xujie McGill University, Canada Novice Type Error Diagnosis with Natural Language Models
Yahui SongSong, Yahui National University of SingaporeSingapore Automated Temporal Verification for Algebraic Effects
Salwa SouafSouaf, Salwa CEA List Committee Member in Artifact Evaluation Committee for APLAS 2022
Yaozhu SunSun, Yaozhu University of Hong KongChina Committee Member in Artifact Evaluation Committee for APLAS 2022
T Eli TilevichTilevich, Eli Virginia TechUnited States Session Chair of Afternoon 1 (part of SPLASH -E) Committee Member in Program Committee within the SPLASH -E-track
V Sören van der Wallvan der Wall, Sören PhD StudentGermany Model-based Fault Classification for Automotive Software
W Sebastian WolffWolff, Sebastian New York UniversityUnited States Model-based Fault Classification for Automotive Software
X Ningning XieXie, Ningning University of Cambridge / University of TorontoUnited Kingdom Applicative Intersection Types
Chuangjie XuXu, Chuangjie fortiss GmbHGermany Inferring Region Types via an Abstract Notion of Environment Transformation
Xu XueXue, Xu University of Hong Kong Applicative Intersection Types
Y Ziyi YangYang, Ziyi National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee for APLAS 2022
Haolin YeYe, Haolin McGill University Novice Type Error Diagnosis with Natural Language Models
Qianchuan YeYe, Qianchuan Purdue UniversityUnited States RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Committee Member in Program Committee for APLAS 2022
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Decoupling the Ascending and Descending Phases in Abstract Interpretation
Michael K. ZhangZhang, Michael K. Purdue University RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Yuyi ZhongZhong, Yuyi National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee for APLAS 2022
Yaoda ZhouZhou, Yaoda University of Hong KongChina A Calculus with Recursive Types, Record Concatenation and Subtyping
Elena ZuccaZucca, Elena University of GenoaItaly Committee Member in Program Committee for APLAS 2022

APLAS 2022 Contributors

Results (97)

Tracks

SPLASH 2022