‹Programming› 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (216)

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
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia Committee Member in Program Committee within the MoreVMs-track
Shaukat AliAli, Shaukat Simula Research LaboratoryNorway Session Chair of First paper session (part of QP) Workshop Opening Workshop Closing Co-chair 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
Luthfan Anshar LubisAnshar Lubis, Luthfan A Functional Programming Language with Versions
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the PX/23-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan A Functional Programming Language with Versions
Paolo ArcainiArcaini, Paolo National Institute of Informatics Japan Workshop Opening Workshop Closing Co-chair in Organizing Committee within the QP-track
B Atta BadiiBadii, Atta University of Reading, United Kingdom Model-Driven Quantum Federated Learning (QFL)
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Program Committee within the ‹Programming› Research Papers-track
Saam BaratiBarati, Saam Epic GamesUnited States Committee Member in Program Committee within the MoreVMs-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
Matteo BassoBasso, Matteo Università della Svizzera italiana Profiling and Optimizing Java Streams
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Joana BergsiekBergsiek, Joana Hasso Plattner InstituteGermany Probe Log: Visualizing the Control Flow of Babylonian Programming
Walter BinderBinder, Walter USI LuganoSwitzerland Profiling and Optimizing Java Streams
Florin BlanaruBlanaru, Florin OctoMLUnited States Cross-Language Interoperability of Heterogeneous Code
Laura BocchiBocchi, Laura University of KentUnited Kingdom A Theory of Composing Protocols
CF Bolz-TereickBolz-Tereick, CF Germany Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework
Daniele BonettaBonetta, Daniele Oracle LabsUnited States Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
John BoylandBoyland, John Univeristy of Wisconsin, MilwaukeeUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Committee Member in Organizing Committee within the mkTut-track
C Carmelo R. CartiereCartiere, Carmelo R. University of OxfordItaly Committee Member in Program Committee within the QP-track
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Program Committee within the VIMPL-track
Fernando CastorCastor, Fernando Utrecht University & Federal University of Pernambuco Committee Member in Program Committee within the PX/23-track
Tatiana Castro VélezCastro Vélez, Tatiana City University of New York (CUNY) Graduate Center Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Moharram ChallengerChallenger, Moharram University of AntwerpBelgium Model-Driven Quantum Federated Learning (QFL)
Marsha ChechikChechik, Marsha University of TorontoCanada SIGSOFT Observer in Steering Committee for ‹Programming› 2023
Yusui ChenChen, Yusui Towards a New Model of Experiential Learning for Quantum Programmers
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 Session Chair of Keynote (part of ‹Programming› Keynotes) Session Chair of Keynote (part of ‹Programming› Keynotes) Committee Member in Program Committee within the PX/23-track Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the VIMPL-track
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Steering Committee Member in Steering Committee for ‹Programming› 2023 My Space, Our Space, Their Space: a First Glance at Developers' Experience of Spaces 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
Dmitry ChuykoChuyko, Dmitry BellSoftKazakhstan Parallel garbage collector and thin monitor locks for SubstrateVM
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
Jácome CunhaCunha, Jácome Faculty of Engineering, University of Porto & HASLab/INESCPortugal Committee Member in Program Committee within the PX/23-track
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
Feng DaiDai, Feng The University of Tokyo Student Volunteer Co-Chair in Organizing Committee for ‹Programming› 2023 Student Volunteer Co-Chair in Organizing committee within the ‹Programming› Student Volunteers-track
David DaraisDarais, David GaloisUnited States Symphony: Expressive Secure Multiparty Computation with Coordination
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
Ross DuncanDuncan, Ross Cambridge Quantum Computing Committee Member in Program Committee within the QP-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
E Jonathan EdwardsEdwards, Jonathan IndependentUnited States Technical Dimensions of Programming Systems
Ryan EstesEstes, Ryan University of Vermont Symphony: Expressive Secure Multiparty Computation with Coordination
Elliot EvansEvans, Elliot PolytopeCanada A Caret for Your Thoughts: Adapting Caret (Ꮖ) Navigation to Visual Editors
F Farima FarmahinifarahaniFarmahinifarahani, Farima University of California at IrvineUnited States Black Boxes, White Noise: Similarity Detection for Neural Functions
Marc FeeleyFeeley, Marc Université de MontréalCanada A Compact and Extensible Portable Scheme VM Committee Member in Program Committee within the MoreVMs-track
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 Session Chair of Third paper session (part of QP) 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
Juan FumeroFumero, Juan University of Manchester, UKUnited Kingdom Cross-Language Interoperability of Heterogeneous Code TornadoQSim: An open-source high-performance and modular system for Quantum Circuit Simulation Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
G Richard P. GabrielGabriel, Richard P. PoetUnited States Steering Committee Member in Steering Committee for ‹Programming› 2023 Notes on “Notes on the Synthesis of Form”: Dawning Insights in Early Christopher Alexander Organizing Committee in Organizing Committee within the PX/23-track Committee Member in Program Committee within the PX/23-track
Swapnil GaikwadGaikwad, Swapnil ARMUnited Kingdom Committee Member in Program Committee within the MoreVMs-track
Ali GedawiGedawi, Ali New York Institute of TechnologyUnited States Towards a New Model of Experiential Learning for Quantum Programmers
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Steering Committee Member in Steering Committee for ‹Programming› 2023 Session Chair of Research Papers 6 (part of ‹Programming› Research Papers) Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity 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 UniversityUnited States Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben GreenmanGreenman, Ben Brown University, USA Gradual Soundness: Lessons from Static Python
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 DiegoUnited States 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
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Session Chair of Research Papers 1 (part of ‹Programming› Research Papers) Consistency types for replicated data in a higher-order distributed programming language
William HarrisHarris, William Galois, Inc. Symphony: Expressive Secure Multiparty Computation with Coordination
Hiroki HashimotoHashimoto, Hiroki Tokai UniversityJapan ReactCOP Supporting Layer Parameter Management for Front-end Web Applications
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
James HaydonHaydon, James National Institute of Informatics, JapanJapan Lawvere: A categorical programming language with effects Committee Member in Program Committee within the VIMPL-track
Dongjie HeHe, Dongjie UNSW SydneyAustralia Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
David HeathHeath, David University of Illinois Urbana-Champaign Symphony: Expressive Secure Multiparty Computation with Coordination
Michael HicksHicks, Michael University of Maryland; AmazonUnited States Symphony: Expressive Secure Multiparty Computation with Coordination
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Steering Committee Member in Steering Committee for ‹Programming› 2023 Program Chair in Organizing Committee for ‹Programming› 2023 Object-centric Time-Travel Debugging: Exploring Traces of Objects Probe Log: Visualizing the Control Flow of Babylonian Programming 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 Multiple-Representation Visual Compositional Dataflow Programming Committee Member in Program Committee within the PX/23-track
Martin HöstHöst, Martin Lund UniversitySweden Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development My Space, Our Space, Their Space: a First Glance at Developers' Experience of Spaces
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the ‹Programming› Research Papers-track
Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan 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
Takeo IgarashiIgarashi, Takeo The University of TokyoJapan Human-in-the-loop Creative AI
Takashi IkegamiIkegami, Takashi Let’s talk about Poetic Computation!
Yusuke IzawaIzawa, Yusuke Tokyo Institute of TechnologyJapan Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
J Joel JakubovicJakubovic, Joel University of KentUnited Kingdom Session Chair of Research Papers 4 (part of ‹Programming› Research Papers) Technical Dimensions of Programming Systems
Shwetha JayarajJayaraj, Shwetha New York Institute of TechnologyUnited States Towards a New Model of Experiential Learning for Quantum Programmers
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
Martin KavalarKavalar, Martin NextjournalGermany Clerk: Moldable Live Programming for Clojure
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Christoph KirschKirsch, Christoph University of Salzburg; Czech Technical UniversityAustria QUARC: Towards an Efficient Hybrid System for Bounded Model Checking
Oleg KiselyovKiselyov, Oleg Committee Member in Organizing Committee within the ARPL-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, LinzAustria Committee Member in Program Committee within the VIMPL-track
Sebastian KloibhoferKloibhofer, Sebastian Johannes Kepler University Linz Session Chair of Research Papers 2 (part of ‹Programming› Research Papers) Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
Christos KotselidisKotselidis, Christos KTM Innovation / The University of ManchesterUnited Kingdom Cross-Language Interoperability of Heterogeneous Code TornadoQSim: An open-source high-performance and modular system for Quantum Circuit Simulation Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
Eva KrebsKrebs, Eva Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Publicity Co-Chair in Organizing Committee for ‹Programming› 2023 Probe Log: Visualizing the Control Flow of Babylonian Programming
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Little Tricky Logic: Misconceptions in the Understanding of LTL Gradual Soundness: Lessons from Static Python Committee Member in Program Committee within the ‹Programming› Research Papers-track
Ales KubicekKubicek, Ales ETH ZürichSwitzerland TornadoQSim: An open-source high-performance and modular system for Quantum Circuit Simulation
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 Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
Pilar Selene Linares ArévaloLinares Arévalo, Pilar Selene University of MelbourneAustralia Uniqueness is Separation
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany 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 Black Boxes, White Noise: Similarity Detection for Neural Functions 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 Alexandre MadeiraMadeira, Alexandre Capturing qubit decoherence through paraconsistent transition systems
Lukas MakorMakor, Lukas JKU LinzAustria Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the PX/23-track
Philippa MarkovicsMarkovics, Philippa NextjournalAustria Clerk: Moldable Live Programming for Clojure
Stefan MarrMarr, Stefan University of KentUnited Kingdom Steering Committee Member in Steering Committee for ‹Programming› 2023 Session Chair of MoreVMs I (part of MoreVMs) Session Chair of MoreVMs III (part of MoreVMs) Committee Member in Organizing Committee within the MoreVMs-track
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Dave MasonMason, Dave Toronto Metropolitan University (formerly Ryerson University)Canada Threaded Execution as a Dual to Native Code
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework A Functional Programming Language with Versions 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 University of Potsdam; Hasso Plattner InstituteGermany Student Volunteer Co-Chair in Organizing Committee for ‹Programming› 2023 Committee Member in Program Committee within the ‹Programming› Research Papers-track Student Volunteer Co-Chair in Organizing committee within the ‹Programming› Student Volunteers-track
Wolfgang MauererMauerer, Wolfgang OTH Regensburg / Siemens AG Committee Member in Program Committee within the QP-track
Alan McCabeMcCabe, Alan Lund UniversitySweden Virtualization Co-Chair in Organizing Committee for ‹Programming› 2023
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
Jaroslaw Adam MiszczakMiszczak, Jaroslaw Adam Institute of Theoretical and Applied Informatics, Polish Academy of SciencesPoland Symbolic quantum programming for supporting applications of quantum computing technologies Committee Member in Program Committee within the QP-track
Armin MoinMoin, Armin Technical University of Munich, GermanyGermany Model-Driven Quantum Federated Learning (QFL)
Damien MorardMorard, Damien University of Geneva, Centre Universitaire d'Informatique, Geneva, SwitzerlandSwitzerland Committee Member in Program Committee within the VIMPL-track
Sosuke MoriguchiMoriguchi, Sosuke Tokyo Institute of TechnologyJapan Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
Raphael MosanerMosaner, Raphael JKU LinzAustria Session Chair of Research Papers 5 (part of ‹Programming› Research Papers) Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
Stefanie Muroya LeiMuroya Lei, Stefanie Institute of Science and Technology in AustriaPeru QUARC: Towards an Efficient Hybrid System for Bounded Model Checking
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 Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
Anders MøllerMøller, Anders Aarhus UniversityDenmark SIGPLAN Observer in Steering Committee for ‹Programming› 2023
N Tomoki NakamaruNakamaru, Tomoki University of TokyoJapan Virtualization Co-Chair in Organizing Committee for ‹Programming› 2023 Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track Committee Member in Program Committee within the MoreVMs-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
Michael NizichNizich, Michael New York Institute of TechnologyUnited States Towards a New Model of Experiential Learning for Quantum Programmers
James NobleNoble, James Research & ProgrammingNew Zealand Committee Member in Program Committee within the PX/23-track
O Liam O'ConnorO'Connor, Liam University of EdinburghUnited Kingdom Uniqueness is Separation Primrose: Selecting Container Data Types by their Properties
Léonard Oest O'LearyOest O'Leary, Léonard A Compact and Extensible Portable Scheme VM
Nobuhiko OguraOgura, Nobuhiko Tokyo City UniversityJapan ReactCOP Supporting Layer Parameter Management for Front-end Web Applications
Yoshiki OhshimaOhshima, Yoshiki Croquet Corporation, Shizuoka UniversityJapan 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
Orion PapadakisPapadakis, Orion The University of ManchesterUnited Kingdom Cross-Language Interoperability of Heterogeneous Code
Michail PapadimitriouPapadimitriou, Michail OctoMLUnited Kingdom Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
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 Charles University Technical Dimensions of Programming Systems 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
Q Xueying QinQin, Xueying The University of Edinburgh Primrose: Selecting Container Data Types by their Properties
R Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Session Chair of VIMPL (part of MoreVMs) Committee Member in Program Committee within the MoreVMs-track Committee Member in Organizing Committee within the VIMPL-track
Patrick ReinRein, Patrick University of Potsdam; Hasso Plattner InstituteGermany Steering Committee Member in Steering Committee for ‹Programming› 2023 Artifact Evaluation Co-Chair in Organizing Committee for ‹Programming› 2023 Probe Log: Visualizing the Control Flow of Babylonian Programming 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
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Uniqueness is Separation
Carlos Rojas CastilloRojas Castillo, Carlos Vrije Universiteit Brussel Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Eduardo RosalesRosales, Eduardo University of Lugano, Switzerland Profiling and Optimizing Java Streams
Andrea RosàRosà, Andrea USI LuganoSwitzerland Profiling and Optimizing Java Streams
Jack RusherRusher, Jack NextjournalGermany Clerk: Moldable Live Programming for Clojure
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
Koichi SasadaSasada, Koichi Cookpad, JapanJapan Committee Member in Program Committee within the MoreVMs-track
Ina SchaeferSchaefer, Ina KITGermany 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
Zoran SevaracSevarac, Zoran Deep Netts LLC Programming for deep learning on top of Virtual Machines
David C. ShepherdShepherd, David C. Virginia Commonwealth UniversityUnited States Committee Member in Program Committee within the PX/23-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 Capturing qubit decoherence through paraconsistent transition systems 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 Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
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 Committee Member in Program Committee within the VIMPL-track
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom Primrose: Selecting Container Data Types by their Properties
Athanasios StratikopoulosStratikopoulos, Athanasios The University of ManchesterUnited Kingdom Session Chair of MoveVMs IV (part of MoreVMs) Cross-Language Interoperability of Heterogeneous Code TornadoQSim: An open-source high-performance and modular system for Quantum Circuit Simulation Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs Committee Member in Program Committee within the MoreVMs-track Committee Member in Organizing Committee within the MoreVMs-track
Go SuzukiSuzuki, Go Tokyo Institute of TechnologyJapan Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
Ian SweetSweet, Ian Galois, Inc. Session Chair of Research Papers 3 (part of ‹Programming› Research Papers) Symphony: Expressive Secure Multiparty Computation with Coordination
Emma SöderbergSöderberg, Emma Lund UniversitySweden Steering Committee Member in Steering Committee for ‹Programming› 2023 Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development My Space, Our Space, Their Space: a First Glance at Developers' Experience of Spaces 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 University of Potsdam; Hasso Plattner InstituteGermany Object-centric Time-Travel Debugging: Exploring Traces of Objects 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
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan A Functional Programming Language with Versions
Ikuta TanigawaTanigawa, Ikuta Kyusyu University ReactCOP Supporting Layer Parameter Management for Front-end Web Applications
Steven TanimotoTanimoto, Steven University of Washington, SeattleUnited States Five Futures with AI Coding Agents 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
Christoph ThiedeThiede, Christoph Hasso Plattner Institute, University of Potsdam, GermanyGermany Object-centric Time-Travel Debugging: Exploring Traces of Objects
Peter ThiemannThiemann, Peter University of Freiburg, Germany Committee Member in Program Committee within the ‹Programming› Research Papers-track
Stephen Travis PopeTravis Pope, Stephen FASTLab and HeavenEverywhereMediaUnited States Resurrecting Score11 in Siren: What ever happened to the 1980s score languages?
U Katsuhiro UenoUeno, Katsuhiro Niigata UniversityJapan SML#: Toward the ideal interoperability between languages and systems Committee Member in Program Committee within the MoreVMs-track
Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Organizing Chair in Organizing Committee for ‹Programming› 2023 Session Chair of MoreVMs II (part of MoreVMs) Committee Member in Program Committee within the MoreVMs-track Committee Member in Organizing Committee within the MoreVMs-track
Lina UrbanUrban, Lina Hasso Plattner InstituteGermany Probe Log: Visualizing the Control Flow of Babylonian Programming
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
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 UniversityJapan Towards Reliable Distributed Quantum Computing on Quantum Interconnects 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 ReactCOP Supporting Layer Parameter Management for Front-end Web Applications
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Manuel WimmerWimmer, Manuel JKU LinzAustria 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
Paul WuilmartWuilmart, Paul KnowIt DataunitSweden Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
X Maria XekalakiXekalaki, Maria University of Manchester, UKUnited Kingdom Cross-Language Interoperability of Heterogeneous Code
Y Junwen YangYang, Junwen University of ChicagoChina Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Lia YehYeh, Lia University of OxfordUnited Kingdom Generalized W state circuits in the qudit Clifford hierarchy
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Committee Member in Program Committee within the QP-track
Tao YueYue, Tao Simula Research LaboratoryNorway Session Chair of Keynote and First papers (part of QP) Workshop Opening Workshop Closing Co-chair in Organizing Committee within the QP-track
Z Foivos S. ZakkakZakkak, Foivos S. Red Hat, Inc. Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs Committee Member in Program Committee within the MoreVMs-track
Lei ZhangZhang, Lei University of Maryland Baltimore CountyUnited States Committee Member in Program Committee within the QP-track
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan Session Chair of Second paper session (part of QP) Static Analysis for Quantum Software Correctness and Reliability Committee Member in Program Committee within the QP-track
Xin ZhaoZhao, Xin KTH Royal Institute of Technology Consistency types for replicated data in a higher-order distributed programming language
Elena ZuccaZucca, Elena University of GenoaItaly Committee Member in Program Committee within the ‹Programming› Research Papers-track

Results (216)

Tracks

Workshops

Tutorials