‹Programming› 2023 Contributors - ‹Programming› 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (132)

A Dave AbrahamsAbrahams, Dave AdobeUnited States Committee Member in Organizing Committee within the VIMPL-track
Rui AbreuAbreu, Rui Meta PlatformsUnited States Committee Member in Program Committee within the QP-track
Ademar AguiarAguiar, Ademar FEUP, Universidade do PortoPortugal Steering Committee Member in Steering Committee for ‹Programming› 2023
Shaukat AliAli, Shaukat Simula Research LaboratoryNorway Committee Member in Organizing Committee within the QP-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the VIMPL-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Steering Committee Member in Steering Committee for ‹Programming› 2023 Committee Member in Program Committee within the ‹Programming› Research Papers-track
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the PX/23-track
Paolo ArcainiArcaini, Paolo National Institute of Informatics Japan Committee Member in Organizing Committee within the QP-track
B Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Program Committee within the ‹Programming› Research Papers-track
Pietro BarbieriBarbieri, Pietro Università di GenovaItaly Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Johanna BarzenBarzen, Johanna University of Stuttgart Committee Member in Program Committee within the QP-track
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Laura BocchiBocchi, Laura University of KentUnited Kingdom A Theory of Composing Protocols
John BoylandBoyland, John Univeristy of Wisconsin, MilwaukeeUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
C Carmelo R. CartiereCartiere, Carmelo R. NEXTSENSE (SRL)Italy Committee Member in Program Committee within the QP-track
Fernando CastorCastor, Fernando Utrecht University & Federal University of Pernambuco Committee Member in Program Committee within the PX/23-track
Marsha ChechikChechik, Marsha University of TorontoCanada SIGSOFT Observer in Steering Committee for ‹Programming› 2023
Benjamin ChetiouiChetioui, Benjamin University of Bergen, Norway Revisiting Language Support for Generic Programming: When Genericity is a Core Design Goal
Michele ChiariChiari, Michele TU WienAustria Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan General Chair in Organizing Committee for ‹Programming› 2023 Committee Member in Program Committee within the PX/23-track Committee Member in Program Committee within the ‹Programming› Research Papers-track
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Steering Committee Member in Steering Committee for ‹Programming› 2023 Organizing Committee in Organizing Committee within the PX/23-track Committee Member in Program Committee within the PX/23-track Committee Member in Program Committee within the ‹Programming› Research Papers-track
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Committee Member in Program Committee within the VIMPL-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Workshops Co-Chair in Organizing Committee for ‹Programming› 2023 Committee Member in Program Committee within the PX/23-track Co-chair in Workshop Selection Committee within the ‹Programming› Workshops-track
Ludovic CourtèsCourtès, Ludovic Inria, France Building a Secure Software Supply Chain with GNU Guix
D Theo D'HondtD'Hondt, Theo Vrije Universiteit BrusselBelgium Steering Committee Member in Steering Committee for ‹Programming› 2023 Committee Member in Program Committee within the ‹Programming› Research Papers-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Steering Committee Member in Steering Committee for ‹Programming› 2023 Committee Member in Program Committee within the ‹Programming› Research Papers-track
Tao DongDong, Tao GoogleUnited States Committee Member in Program Committee within the PX/23-track
Tobias DürschmidDürschmid, Tobias Carnegie Mellon University, Institute for Software ResearchUnited States Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
F Sebastian FeldFeld, Sebastian Delft University of TechnologyNetherlands Committee Member in Program Committee within the QP-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the PX/23-track
Yuan FengFeng, Yuan Centre for Quantum Software and Information, University of Technology Sydney, Australia Committee Member in Program Committee within the QP-track
João Paulo FernandesFernandes, João Paulo LIACC, Universidade do Porto, Porto, PortugalPortugal Committee Member in Program Committee within the QP-track
Matthew FlattFlatt, Matthew University of UtahUnited States Steering Committee Member in Steering Committee for ‹Programming› 2023 Committee Member in Program Committee within the ‹Programming› Research Papers-track
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Steering Committee Member in Steering Committee for ‹Programming› 2023 Organizing Committee in Organizing Committee within the PX/23-track Committee Member in Program Committee within the PX/23-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Steering Committee Member in Steering Committee for ‹Programming› 2023 Committee Member in Program Committee within the ‹Programming› Research Papers-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Workshops Co-Chair in Organizing Committee for ‹Programming› 2023 Out-of-Things Debugging: A Live Debugging Approach for Internet of Things Committee Member in Program Committee within the ‹Programming› Research Papers-track Co-chair in Workshop Selection Committee within the ‹Programming› Workshops-track
Ben GreenmanGreenman, Ben Brown University, USA Gradual Soundness: Lessons from Static Python
Ben GreenmanGreenman, Ben Brown UniversityUnited States Little Tricky Logic: Misconceptions in the Understanding of LTL
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain Committee Member in Program Committee within the PX/23-track
Philip GuoGuo, Philip University of California San Diego Committee Member in Program Committee within the PX/23-track
H Juuso HaavistoHaavisto, Juuso University of Oxford Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Ichiro HasuoHasuo, Ichiro National Institute of Informatics, JapanJapan Committee Member in Program Committee within the QP-track
Magne HaveraaenHaveraaen, Magne University of Bergen, Norway Revisiting Language Support for Generic Programming: When Genericity is a Core Design Goal
Dongjie HeHe, Dongjie UNSW SydneyAustralia Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Steering Committee Member in Steering Committee for ‹Programming› 2023 Program Chair in Organizing Committee for ‹Programming› 2023 Organizing Committee in Organizing Committee within the PX/23-track Committee Member in Program Committee within the PX/23-track Program Chair in Program Committee within the ‹Programming› Research Papers-track
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the PX/23-track
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the ‹Programming› Research Papers-track
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Publicity Co-Chair in Organizing Committee for ‹Programming› 2023 Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the QP-track
Yusuke IzawaIzawa, Yusuke Tokyo Institute of TechnologyJapan Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
J Jaakko JärviJärvi, Jaakko University of TurkuNorway Revisiting Language Support for Generic Programming: When Genericity is a Core Design Goal
K Ifaz KabirKabir, Ifaz University of Alberta Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Wolfgang KislingKisling, Wolfgang Johannes Kepler University Linz Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
Stefan KlikovitsKlikovits, Stefan Johannes Kepler University, Linz Committee Member in Program Committee within the VIMPL-track
Jaroslaw KozlakKozlak, Jaroslaw AGH University of Science and Technology, Poland Committee Member in Program Committee within the QP-track
Eva KrebsKrebs, Eva Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Publicity Co-Chair in Organizing Committee for ‹Programming› 2023
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Gradual Soundness: Lessons from Static Python Little Tricky Logic: Misconceptions in the Understanding of LTL Committee Member in Program Committee within the ‹Programming› Research Papers-track
L Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
David LeopoldsederLeopoldseder, David Oracle LabsAustria Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
Jens LinckeLincke, Jens Hasso Plattner Institute, University of Potsdam, GermanyGermany Committee Member in Program Committee within the PX/23-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Crista LopesLopes, Crista University of California, IrvineUnited States Steering Committee Member in Steering Committee for ‹Programming› 2023 Committee Member in Program Committee within the ‹Programming› Research Papers-track
Kuang-Chen LuLu, Kuang-Chen Brown University, USAUnited States Gradual Soundness: Lessons from Static Python
M Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the PX/23-track
Stefan MarrMarr, Stefan University of KentUnited Kingdom Steering Committee Member in Steering Committee for ‹Programming› 2023
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Organizing Committee in Organizing Committee within the PX/23-track Committee Member in Program Committee within the PX/23-track Committee Member in Program Committee within the ‹Programming› Research Papers-track
Toni MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany Committee Member in Program Committee within the ‹Programming› Research Papers-track
Wolfgang MauererMauerer, Wolfgang OTH Regensburg / Siemens AG Committee Member in Program Committee within the QP-track
Carl MeyerMeyer, Carl Meta Gradual Soundness: Lessons from Static Python
Mark MinasMinas, Mark Universität der Bundeswehr MünchenGermany Committee Member in Program Committee within the PX/23-track
Andriy MiranskyyMiranskyy, Andriy Toronto Metropolitan University (formerly Ryerson University)Canada Committee Member in Program Committee within the QP-track
Damien MorardMorard, Damien University of Geneva, Centre Universitaire d'Informatique, Geneva, SwitzerlandSwitzerland Committee Member in Program Committee within the VIMPL-track
Raphael MosanerMosaner, Raphael Johannes Kepler University Linz Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
Anders MøllerMøller, Anders Aarhus UniversityDenmark SIGPLAN Observer in Steering Committee for ‹Programming› 2023
N Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Tim NelsonNelson, Tim Brown UniversityUnited States Little Tricky Logic: Misconceptions in the Understanding of LTL
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Artifact Evaluation Co-Chair in Organizing Committee for ‹Programming› 2023 Co-chair in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
James NobleNoble, James Research & ProgrammingNew Zealand Committee Member in Program Committee within the PX/23-track
O Yoshiki OhshimaOhshima, Yoshiki Croquet StudiosJapan Committee Member in Program Committee within the PX/23-track
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom A Theory of Composing Protocols
P Aniket PansePanse, Aniket Meta Gradual Soundness: Lessons from Static Python
Tobias PapePape, Tobias Hasso Plattner Institute, GermanyGermany Web Technology Chair in Organizing Committee for ‹Programming› 2023
Hila PelegPeleg, Hila TechnionIsrael Committee Member in Program Committee within the ‹Programming› Research Papers-track
Michael PerscheidPerscheid, Michael SAP Innovation Center PotsdamGermany Committee Member in Program Committee within the PX/23-track
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Committee Member in Program Committee within the PX/23-track Committee Member in Program Committee within the ‹Programming› Research Papers-track
Mario PiattiniPiattini, Mario University of Castilla-La Mancha, Spain Committee Member in Program Committee within the QP-track
Ian PiumartaPiumarta, Ian Viewpoints Research Institute Committee Member in Program Committee within the PX/23-track
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in Program Committee within the ‹Programming› Research Papers-track
Angel Luis Scull PupoPupo, Angel Luis Scull Sofware Languages Lab, Vrije Universiteit Brussel Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
R Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Committee Member in Organizing Committee within the VIMPL-track
Patrick ReinRein, Patrick Hasso Plattner InstituteGermany Steering Committee Member in Steering Committee for ‹Programming› 2023 Artifact Evaluation Co-Chair in Organizing Committee for ‹Programming› 2023 Co-chair in Artifact Evaluation Committee within the ‹Programming› Artifacts-track Committee Member in Program Committee within the PX/23-track
Juan RipollRipoll, Juan Spanish Research Council Committee Member in Program Committee within the QP-track
Elijah RiveraRivera, Elijah Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Carlos Rojas CastilloRojas Castillo, Carlos Vrije Universiteit Brussel Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
S Sam SaarinenSaarinen, Sam Brown University Little Tricky Logic: Misconceptions in the Understanding of LTL
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Steering Committee Chair in Steering Committee for ‹Programming› 2023 Committee Member in Program Committee within the QP-track
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Lars SchützeSchütze, Lars Technische Universität DresdenGermany Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Manuel SerranoSerrano, Manuel Inria; University of Côte d'AzurFrance Steering Committee Member in Steering Committee for ‹Programming› 2023 Committee Member in Program Committee within the ‹Programming› Research Papers-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Committee Member in Program Committee within the VIMPL-track
Luís Soares BarbosaSoares Barbosa, Luís Committee Member in Program Committee within the QP-track
Lukas StadlerStadler, Lukas Oracle Labs, AustriaAustria Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Friedrich SteimannSteimann, Friedrich Fernuniversität in HagenGermany Committee Member in Program Committee within the ‹Programming› Research Papers-track
Athanasios StratikopoulosStratikopoulos, Athanasios The University of ManchesterUnited Kingdom Committee Member in Organizing Committee within the MoreVMs-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Steering Committee Member in Steering Committee for ‹Programming› 2023 Committee Member in Program Committee within the PX/23-track Committee Member in Program Committee within the ‹Programming› Research Papers-track
T Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany Committee Member in Program Committee within the PX/23-track
Davide TaibiTaibi, Davide Tampere University Finland Committee Member in Program Committee within the QP-track
Steven TanimotoTanimoto, Steven University of Washington, SeattleUnited States Committee Member in Program Committee within the PX/23-track
Philip TchernavskijTchernavskij, Philip Aarhus UniversityDenmark Committee Member in Program Committee within the PX/23-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany Committee Member in Program Committee within the ‹Programming› Research Papers-track
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Organizing Chair in Organizing Committee for ‹Programming› 2023 Committee Member in Organizing Committee within the MoreVMs-track
Hidetake UwanoUwano, Hidetake National Institute of Technology, Nara College, Japan Committee Member in Program Committee within the PX/23-track
V Tijs van der Stormvan der Storm, Tijs CWI; University of GroningenNetherlands Committee Member in Program Committee within the ‹Programming› Research Papers-track
Tatiana Castro VelezVelez, Tatiana Castro City University of New York (CUNY) Graduate Center Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Dino ViehlandViehland, Dino Meta Gradual Soundness: Lessons from Static Python
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands Committee Member in Program Committee within the ‹Programming› Research Papers-track
A. Laura VoineaVoinea, A. Laura University of Kent, UKUnited Kingdom A Theory of Composing Protocols
W Ryo WakizakaWakizaka, Ryo Kyoto University Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Web Technology Chair in Organizing Committee for ‹Programming› 2023
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Manuel WimmerWimmer, Manuel JKU Linz, CDL-MINTAustria Committee Member in Program Committee within the QP-track
Allen Wirfs-BrockWirfs-Brock, Allen Wirfs-Brock AssociatesUnited States Committee Member in Program Committee within the PX/23-track
Y Junwen YangYang, Junwen University of ChicagoChina Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Committee Member in Program Committee within the QP-track
Tao YueYue, Tao Simula Research LaboratoryNorway Committee Member in Organizing Committee within the QP-track
Z Lei ZhangZhang, Lei Ryerson UniversityCanada Committee Member in Program Committee within the QP-track
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan Committee Member in Program Committee within the QP-track
Elena ZuccaZucca, Elena University of GenoaItaly Committee Member in Program Committee within the ‹Programming› Research Papers-track