‹Programming› 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (232)

( Ruanqianqian (Lisa) Huang(Lisa) Huang, Ruanqianqian University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
A Rui AbreuAbreu, Rui Faculty of Engineering, University of PortoUnited States Committee Member in Program Committee within the QP-track
Ademar AguiarAguiar, Ademar Faculty of Engineering, University of Porto & INESC TECPortugal Steering Committee Member in Steering Committee for ‹Programming› 2024
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Programme Committee in Program Committee within the VIMPL-track Committee Member in Program Committee within the ‹Programming› Research Papers-track
Shaukat AliAli, Shaukat Simula Research Laboratory and Oslo Metropolitan UniversityNorway Committee Member in Program Committee within the QP-track
Knut Anders StokkeAnders Stokke, Knut University of Bergen, NorwayNorway Containers for GUIs
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the PX/24-track
Vincent AranegaAranega, Vincent Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 - CRIStAL A VM-agnostic and backwards compatible protected modifier for dynamically-typed languages
Paolo ArcainiArcaini, Paolo National Institute of Informatics Japan The 2nd International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2024) Committee Member in Organizing Committee within the QP-track
Farid ArthaudArthaud, Farid Massachusetts Institute of Technology, USA Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Ellen ArvidssonArvidsson, Ellen Uppsala UniversitySweden Verona: Ownership, Value Independence, Memory Management, and the Future of Mutation
Hasina AttaullahAttaullah, Hasina Bielefeld University of Applied Sciences and ArtsGermany The Next-Gen Interactive Runtime Simulator for Neural Network Programming
B Mikhail BarashBarash, Mikhail University of BergenNorway Containers for GUIs
Johanna BarzenBarzen, Johanna University of Stuttgart Committee Member in Program Committee within the QP-track
Benoit BaudryBaudry, Benoit Université de MontréalCanada Programming algorithmic art
Olga BaysalBaysal, Olga Carleton UniversityCanada Committee Member in Program Committee within the PX/24-track
Andreas BexellBexell, Andreas EricssonSweden Virtualization Co-Chair in Organizing Committee for ‹Programming› 2024 Extrapolating a programmer career - from Vim to LLM and beyond
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany Committee Member in Jury within the ‹Programming› Student Research Competition-track
Moa BjörkmanBjörkman, Moa Ironies of Programming Automation: Exploring the Experience of Code Synthesis Via Large Language Models
Florin BlanaruBlanaru, Florin Axelera AINetherlands Committee Member in Program Committee within the MoreVMs-track
Markus BorgBorg, Markus CodeSceneSweden Industry Panel Demo of the CodeScene Software Engineering Intelligence Platform: Informed DecisionMaking and LLM-based Refactoring Demo of the CodeScene Software Engineering Intelligence Platform: Informed Decision-Making and LLM-based Refactoring
Matt BovelBovel, Matt EPFL, LAMPSwitzerland Programme Committee in Program Committee within the VIMPL-track
Michelle BrachmanBrachman, Michelle IBM ResearchUnited States Committee Member in Program Committee within the PX/24-track
Rodrigo BrunoBruno, Rodrigo INESC-ID, Instituto Superior Técnico, Universidade de LisboaPortugal Committee Member in Program Committee within the MoreVMs-track
Lukas BöhmeBöhme, Lukas Hasso Plattner Institute, University of Potsdam, Potsdam, GermanyGermany Faster Feedback with AI? -- A Test Prioritization Study Enhancing Developer Experience in Software Development through LLM-Assisted Mentorship Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
C Carmelo R. CartiereCartiere, Carmelo R. University of OxfordItaly Committee Member in Program Committee within the QP-track
Giuseppe CastagnaCastagna, Giuseppe CNRS; Université Paris CitéFrance The Design Principles of the Elixir Type System
Roberto Castañeda LozanoCastañeda Lozano, Roberto OracleSweden Committee Member in Program Committee within the MoreVMs-track
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Arrays in Practice, An Empirical Study of Array Access Patterns on the JVM Committee Member in Jury within the ‹Programming› Student Research Competition-track
Fernando CastorCastor, Fernando University of Twente and Federal University of Pernambuco Committee Member in Program Committee within the PX/24-track
Tatiana Castro VélezCastro Vélez, Tatiana City University of New York (CUNY) Graduate CenterUnited States Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Marsha ChechikChechik, Marsha University of TorontoCanada SIGSOFT Observer in Steering Committee for ‹Programming› 2024
Michele ChiariChiari, Michele TU WienAustria Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Steering Committee Member in Steering Committee for ‹Programming› 2024 Session Chair of Research Papers 5 (part of ‹Programming› Research Papers) Committee Member in Program Committee within the ‹Programming› Research Papers-track
Joana ChicauChicau, Joana University of the Arts LondonUnited Kingdom Artistic Co-Chair in Organizing Committee for ‹Programming› 2024 Session Chair of Session III (part of ‹Programming› Arts) Co-chair in Organizing Committee within the ‹Programming› Arts-track
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Steering Committee Member in Steering Committee for ‹Programming› 2024 General Co-Chair in Organizing Committee for ‹Programming› 2024 Artistic Co-Chair in Organizing Committee for ‹Programming› 2024 Session Chair of Session III (part of ‹Programming› Arts) Ironies of Programming Automation: Exploring the Experience of Code Synthesis Via Large Language Models Practical Arts Programming Workshop The Programming Experience Workshop Co-chair in Organizing Committee within the Programming with AI-track Committee Member in Program Committee within the ‹Programming› Research Papers-track Co-chair in Workshop Selection Committee within the ‹Programming› Workshops-track Co-chair in Organizing Committee within the ‹Programming› Arts-track Committee Member in Organizing Committee within the PX/24-track Committee Member in Program Committee within the PX/24-track
Philippe CodognetCodognet, Philippe Japanese-French Laboratory for Informatics A Constraint Programming Approach for QUBO solving and Quantum Annealing
Gene CoopermanCooperman, Gene Northeastern UniversityUnited States McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs
D Theo D'HondtD'Hondt, Theo Vrije Universiteit BrusselBelgium Steering Committee Member in Steering Committee for ‹Programming› 2024
Joeri De KosterDe Koster, Joeri Vrije Universiteit BrusselBelgium Reactive Programming without Functions
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Session Chair of Research Papers 1 (part of ‹Programming› Research Papers) A Virtual Machine for Higher-Order Reactors Reactive Programming without Functions Committee Member in Program Committee within the ‹Programming› Research Papers-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ‹Programming› Research Papers-track
Georgios DiapoulisDiapoulis, Georgios Chalmers \| University of GothenburgSweden Committee Member in Program Committee within the ‹Programming› Posters and Demos-track
Guillaume DubocDuboc, Guillaume The Design Principles of the Elixir Type System
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance A VM-agnostic and backwards compatible protected modifier for dynamically-typed languages
Ross DuncanDuncan, Ross Quantinuum Committee Member in Program Committee within the QP-track
Jean-Baptiste DöderleinDöderlein, Jean-Baptiste ENS Rennes LiveRec: Prototyping Probes by Framing Debug Protocols
Marius DörbandtDörbandt, Marius Hasso Plattner Institute, University of PotsdamGermany Implementing Babylonian/G by Putting Examples into Game Contexts
E Jonathan EdwardsEdwards, Jonathan IndependentUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the PX/24-track
Joel EngströmEngström, Joel Ironies of Programming Automation: Exploring the Experience of Code Synthesis Via Large Language Models
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Committee Member in Program Committee within the ‹Programming› Research Papers-track
Linda ErlenhovErlenhov, Linda Chalmers University of Technology, Sweden / University of Gothenburg, Sweden Committee Member in Program Committee within the Programming with AI-track
Erik ErnstErnst, Erik Google Inc.Denmark Recent Evolution of Dart — a pragmatic story.
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Jury within the ‹Programming› Student Research Competition-track
F Sebastian FeldFeld, Sebastian Delft University of TechnologyNetherlands Committee Member in Program Committee within the QP-track
Yuan FengFeng, Yuan Centre for Quantum Software and Information, University of Technology Sydney, Australia Committee Member in Program Committee within the QP-track
Christian FlachFlach, Christian Hasso Plattner Institute, University of Potsdam, GermanyGermany Broadening the View of Live Programmers: Integrating a Cross-cutting Perspective on Run-time Behavior Into a Live Programming Environment
Pär FlygareFlygare, Pär CodeSceneSweden Demo of the CodeScene Software Engineering Intelligence Platform: Informed DecisionMaking and LLM-based Refactoring Demo of the CodeScene Software Engineering Intelligence Platform: Informed Decision-Making and LLM-based Refactoring
G Richard P. GabrielGabriel, Richard P. PoetUnited States The Programming Experience Workshop Committee Member in Organizing Committee within the PX/24-track Committee Member in Program Committee within the PX/24-track
Diego GarbervetskyGarbervetsky, Diego University of Buenos Aires and CONICET, ArgentinaArgentina Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines
Jose García-AlonsoGarcía-Alonso, Jose Universidad de ExtremaduraSpain Shifting Quantum Circuits Languages Abstraction Level with Composable Quantum Oracles
Leonard GeierGeier, Leonard University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Matthías Páll GissurarsonGissurarson, Matthías Páll Chalmers University of Technology, SwedenSweden Committee Member in Program Committee within the ‹Programming› Posters and Demos-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium BoaSpect: An Expressive Instrumentation Platform for JavaScript Committee Member in Program Committee within the MoreVMs-track
Jesus M. Gonzalez-BarahonaGonzalez-Barahona, Jesus M. Universidad Rey Juan CarlosSpain Committee Member in Program Committee within the PX/24-track
Ben GreenmanGreenman, Ben University of UtahUnited States Little Tricky Logic: Misconceptions in the Understanding of LTL Privacy-Respecting Type Error Telemetry at Scale
Ben GreenmanGreenman, Ben Brown University, USA Conceptual Mutation Testing for Student Programming Misconceptions
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom Binary Analysis in Isabelle/HOL
John GrundyGrundy, John Monash UniversityAustralia Committee Member in Program Committee within the PX/24-track
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain Committee Member in Program Committee within the PX/24-track
Arjun GuhaGuha, Arjun Northeastern University; RobloxUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Håkon Robbestad GylterudGylterud, Håkon Robbestad University of BergenNorway Containers for GUIs
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 Student Research Competition Co-Chair in Organizing Committee for ‹Programming› 2024 Lightweight Affine Types for Safe Concurrency in Scala Co-chair in Organizing Committee within the ‹Programming› Student Research Competition-track
Ben HamlinHamlin, Ben Portland State University Lossy Effect Transformers: Reasoning about Quantum Security Loss with Relational Effect Predicates and Weakest Precondition Logic
Shivam HandaHanda, Shivam Committee Member in Program Committee within the ‹Programming› Research Papers-track
Ichiro HasuoHasuo, Ichiro National Institute of Informatics, JapanJapan Committee Member in Program Committee within the QP-track
Dongjie HeHe, Dongjie Chongqing University, ChinaChina Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Lo HeanderHeander, Lo Lund UniversitySweden Student Volunteer Chair in Organizing Committee for ‹Programming› 2024 Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code DAPPER - Seamless, Tailored Code Review Committee Member in Program Committee within the Programming with AI-track Student Volunteer Chair in Organizing committee within the ‹Programming› Student Volunteers-track
Ludovic HenrioHenrio, Ludovic University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIPFrance Provably Fair Cooperative Scheduling
Takato HideshimaHideshima, Takato The University of Tokyo, Japan Collective Allocator Abstraction to Control Object Spatial Locality in C++
Daniel HillerströmHillerström, Daniel Huawei Zurich Research CenterSwitzerland Committee Member in Program Committee within the ‹Programming› Research Papers-track
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Steering Committee Member in Steering Committee for ‹Programming› 2024 Artifact Evaluation Co-Chair in Organizing Committee for ‹Programming› 2024 Faster Feedback with AI? -- A Test Prioritization Study Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration Implementing Babylonian/G by Putting Examples into Game Contexts Examples out of Thin Air: AI-generated Dynamic Context to Assist Program Comprehension by Example Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization The Programming Experience Workshop The Programming Experience Workshop Broadening the View of Live Programmers: Integrating a Cross-cutting Perspective on Run-time Behavior Into a Live Programming Environment Committee Member in Program Committee within the Programming with AI-track Committee Member in Program Committee within the ‹Programming› Research Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ‹Programming› Artifacts-track Committee Member in Jury within the ‹Programming› Student Research Competition-track Committee Member in Organizing Committee within the PX/24-track Committee Member in Program Committee within the PX/24-track
Kenji HisazumiHisazumi, Kenji Shibaura Institute of TechnologyJapan Towards a DevOps Modeling based on Context-Oriented Programming
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand In-line Compositional Visual Programming Committee Member in Program Committee within the PX/24-track
Marian HristovHristov, Marian Erla+: Translating Formal Models into Executable Actor-Based Implementations
Shaohan HuHu, Shaohan JPMorgan Chase & CoUnited States Committee Member in Program Committee within the QP-track
Jacob HughesHughes, Jacob King's College London Retro-fitting Garbage Collection into Rust
Reiner HähnleHähnle, Reiner TU Darmstadt Provably Fair Cooperative Scheduling
Martin HöstHöst, Martin Lund UniversitySweden Developers' Perspective on Today's and Tomorrow's Programming Tool Assistance: A Survey
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the ‹Programming› Research Papers-track
Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan Model-based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems
Jin IshikawaIshikawa, Jin Oita UniversityJapan Programming with Screen State Transitions for Smartphones
Takashi IshioIshio, Takashi Future University HakodateJapan Committee Member in Program Committee within the PX/24-track
Yusuke IzawaIzawa, Yusuke IBM Research - TokyoJapan Committee Member in Program Committee within the MoreVMs-track Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
J Alan JeffreyJeffrey, Alan RobloxUnited States Privacy-Respecting Type Error Telemetry at Scale
Luka JovanovicJovanovic, Luka Northeastern University McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs
Thorsten JungeblutJungeblut, Thorsten Bielefeld University of Applied Sciences and ArtsGermany The Next-Gen Interactive Runtime Simulator for Neural Network Programming
Jaakko JärviJärvi, Jaakko University of TurkuNorway Containers for GUIs
K Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Programming with Screen State Transitions for Smartphones
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Program Committee within the ‹Programming› Research Papers-track
Georgia KouveliKouveli, Georgia ARM Committee Member in Program Committee within the MoreVMs-track
Eva KrebsKrebs, Eva Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Publicity Co-Chair in Organizing Committee for ‹Programming› 2024 Faster Feedback with AI? -- A Test Prioritization Study Implementing Babylonian/G by Putting Examples into Game Contexts Examples out of Thin Air: AI-generated Dynamic Context to Assist Program Comprehension by Example Broadening the View of Live Programmers: Integrating a Cross-cutting Perspective on Run-time Behavior Into a Live Programming Environment
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Little Tricky Logic: Misconceptions in the Understanding of LTL Privacy-Respecting Type Error Telemetry at Scale Conceptual Mutation Testing for Student Programming Misconceptions
Peng KuangKuang, Peng Lund University, Sweden & WASPSweden Poster Co-Chair in Organizing Committee for ‹Programming› 2024 Ironies of Programming Automation: Exploring the Experience of Code Synthesis Via Large Language Models Developers' Perspective on Today's and Tomorrow's Programming Tool Assistance: A Survey Co-chair in Organizing Committee within the ‹Programming› Posters and Demos-track
Raula Gaikovina KulaKula, Raula Gaikovina Nara Institute of Science and TechnologyJapan Committee Member in Program Committee within the PX/24-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Student Research Competition Co-Chair in Organizing Committee for ‹Programming› 2024 Co-chair in Organizing Committee within the ‹Programming› Student Research Competition-track
L Seolhwa LeeLee, Seolhwa Technical University of DarmstadtGermany Committee Member in Program Committee within the ‹Programming› Posters and Demos-track
Clayton LewisLewis, Clayton University of Colorado Boulder Committee Member in Program Committee within the Programming with AI-track
Jack Liell-CockLiell-Cock, Jack University of Oxford Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration Committee Member in Program Committee within the PX/24-track
Mikael LindbergLindberg, Mikael Saab Kockums Industry Panel
Lovro LugovićLugović, Lovro University of Southern Denmark Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
Gustaf LundhLundh, Gustaf Axis CommunicationsSweden Industry Panel
M Nicolas MalevéMalevé, Nicolas Aarhus University Dear developers, what do you mean by photography?
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the PX/24-track
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of Research Paper 6 (part of ‹Programming› Research Papers) Session Chair of VM Design (part of MoreVMs) Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines MoreVMs'24 Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Organizing Committee within the MoreVMs-track Committee Member in Jury within the ‹Programming› Student Research Competition-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan The Programming Experience Workshop Committee Member in Organizing Committee within the PX/24-track Committee Member in Program Committee within the PX/24-track
Leon MatthesMatthes, Leon Hasso Plattner Institute, University of PotsdamGermany Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization
Toni MattisMattis, Toni University of Potsdam; Hasso Plattner InstituteGermany Faster Feedback with AI? -- A Test Prioritization Study Implementing Babylonian/G by Putting Examples into Game Contexts Examples out of Thin Air: AI-generated Dynamic Context to Assist Program Comprehension by Example
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› 2024 Ironies of Programming Automation: Exploring the Experience of Code Synthesis Via Large Language Models
Ângelo MendonçaMendonça, Ângelo ISCTE-IULPortugal Autocorrection in Projectional Editors
Leonel MerinoMerino, Leonel University of StuttgartGermany Committee Member in Program Committee within the PX/24-track
Mark MinasMinas, Mark Universität der Bundeswehr MünchenGermany Committee Member in Program Committee within the PX/24-track
Eliot MirandaMiranda, Eliot Cadence Design SystemsUnited States Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization
Edward MisbackMisback, Edward University of Washington, USA Magic Markup: Maintaining Document-External Markup with an LLM
Jaroslaw Adam MiszczakMiszczak, Jaroslaw Adam Institute of Theoretical and Applied Informatics, Polish Academy of SciencesPoland Committee Member in Program Committee within the QP-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
Mohammad Reza MousaviMousavi, Mohammad Reza King's College LondonUnited Kingdom Property-Based Testing and Debugging of Quantum Programs
Aäron MunstersMunsters, Aäron Vrije Universiteit BrusselBelgium BoaSpect: An Expressive Instrumentation Platform for JavaScript Bringing multi-language instrumentation support to WebAssembly
Juan Manuel MurilloMurillo, Juan Manuel University of Extremadura and COMPUTAEX FoundationSpain Shifting Quantum Circuits Languages Abstraction Level with Composable Quantum Oracles
Anders MøllerMøller, Anders Aarhus UniversityDenmark SIGPLAN Observer in Steering Committee for ‹Programming› 2024
Hausi MüllerMüller, Hausi University of VictoriaCanada Committee Member in Program Committee within the QP-track
N Tomoki NakamaruNakamaru, Tomoki The University of Tokyo, JapanJapan 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 Conceptual Mutation Testing for Student Programming Misconceptions
Jens NicolayNicolay, Jens Vrije Universiteit BrusselBelgium A Virtual Machine for Higher-Order Reactors
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Committee Member in Program Committee within the ICW-track
James NobleNoble, James Creative Research & ProgrammingNew Zealand Committee Member in Program Committee within the ‹Programming› Research Papers-track
Jonas NorlinderNorlinder, Jonas Uppsala UniversitySweden MoreVMs'24 Committee Member in Organizing Committee within the MoreVMs-track
Kalle NorrestamNorrestam, Kalle CodeSceneSweden Demo of the CodeScene Software Engineering Intelligence Platform: Informed DecisionMaking and LLM-based Refactoring Demo of the CodeScene Software Engineering Intelligence Platform: Informed Decision-Making and LLM-based Refactoring
O Martin OderskyOdersky, Martin EPFLSwitzerland A Formal Foundation of Reach Capabilities
Bjarno OeyenOeyen, Bjarno Vrije Universiteit BrusselBelgium A Virtual Machine for Higher-Order Reactors Reactive Programming without Functions
Nobuhiko OguraOgura, Nobuhiko Tokyo City UniversityJapan Towards a DevOps Modeling based on Context-Oriented Programming
Yoshiki OhshimaOhshima, Yoshiki Croquet Corporation, Shizuoka UniversityJapan Committee Member in Program Committee within the PX/24-track
Idan OrzechOrzech, Idan Massachusetts Institute of Technology, USA Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Wendlasida OuedraogoOuedraogo, Wendlasida INRIA Saclay Coqlex: Generating Formally Verified Lexers
P Tobias PapePape, Tobias Hasso Plattner Institute, GermanyGermany Web Technology Chair in Organizing Committee for ‹Programming› 2024
David J. PearcePearce, David J. ConsenSysUnited States Programme Committee in Program Committee within the VIMPL-track
Michael PerscheidPerscheid, Michael SAP Innovation Center PotsdamGermany Committee Member in Program Committee within the PX/24-track
Tomas PetricekPetricek, Tomas Charles UniversityCzechia Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Jury within the ‹Programming› Student Research Competition-track Committee Member in Program Committee within the PX/24-track
Mario PiattiniPiattini, Mario University of Castilla-La Mancha, Spain Committee Member in Program Committee within the QP-track
Javier PimásPimás, Javier Universidad de Buenos AiresArgentina Virtual Machines: should we keep doing them? Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines
Maxwell PirtlePirtle, Maxwell Northeastern University McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs
Ian PiumartaPiumarta, Ian Kyoto University of Advanced ScienceJapan Committee Member in Program Committee within the PX/24-track
Guillermo PolitoPolito, Guillermo Inria, Cristal, UMR 9189, Université de LilleFrance A VM-agnostic and backwards compatible protected modifier for dynamically-typed languages
Joe Gibbs PolitzPolitz, Joe Gibbs University of California at San DiegoUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Ulysses PopplePopple, Ulysses Group project work time and presentations Introduction to Nodysseus Committee Member in Organizing Committee within the NODY-track
Siddhartha PrasadPrasad, Siddhartha Brown University Conceptual Mutation Testing for Student Programming Misconceptions
Angel Luis Scull PupoPupo, Angel Luis Scull Sofware Languages Lab, Vrije Universiteit BrusselBelgium BoaSpect: An Expressive Instrumentation Platform for JavaScript
R Dimi RacordonRacordon, Dimi EPFL, LAMPSwitzerland Session Chair of Ownership (part of MoreVMs) Session Chair of Safety and Correctness (part of MoreVMs) Value Independence in Modern Programming Languages Value Independence in Modern Programming Languages Committee Member in Organizing Committee within the VIMPL-track Committee Member in Organizing Committee within the VIMPL-track
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Germany Broadening the View of Live Programmers: Integrating a Cross-cutting Perspective on Run-time Behavior Into a Live Programming Environment
Robert RandRand, Robert University of ChicagoUnited States Committee Member in Program Committee within the QP-track
Patrick ReinRein, Patrick University of Potsdam; Hasso Plattner InstituteGermany Secretary in Steering Committee for ‹Programming› 2024 Artifact Evaluation Co-Chair in Organizing Committee for ‹Programming› 2024 Broadening the View of Live Programmers: Integrating a Cross-cutting Perspective on Run-time Behavior Into a Live Programming Environment Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ‹Programming› Artifacts-track Committee Member in Program Committee within the PX/24-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Committee Member in Program Committee within the MoreVMs-track
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Steering Committee Member in Steering Committee for ‹Programming› 2024 Program Co-Chair in Organizing Committee for ‹Programming› 2024 Faster Feedback with AI? -- A Test Prioritization Study Implementing Babylonian/G by Putting Examples into Game Contexts Examples out of Thin Air: AI-generated Dynamic Context to Assist Program Comprehension by Example Program Co-Chair in Program Committee within the ‹Programming› Research Papers-track
Idriss RiouakRiouak, Idriss Department of Computer Science, Lund University, SwedenSweden Workshops Co-Chair in Organizing Committee for ‹Programming› 2024 Using Static Analysis to Improve the Efficiency of Program Analysis Co-chair in Workshop Selection Committee within the ‹Programming› Workshops-track
Anton Risberg AlakülaRisberg Alaküla, Anton Lund UniversitySweden Poster Co-Chair in Organizing Committee for ‹Programming› 2024 Co-chair in Organizing Committee within the ‹Programming› Posters and Demos-track
Wille RobertRobert, Wille Johannes Kepler University Linz, Austria Committee Member in Program Committee within the QP-track
Antonio Ruiz-CortésRuiz-Cortés, Antonio University of SevilleSpain Shifting Quantum Circuits Languages Abstraction Level with Composable Quantum Oracles
Christofer RydenfältRydenfält, Christofer Lund UniversitySweden Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
S Sam SaarinenSaarinen, Sam Brown University Little Tricky Logic: Misconceptions in the Understanding of LTL
Shinobu SaitoSaito, Shinobu NTTJapan Model-based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems Committee Member in Program Committee within the QP-track
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Steering Committee Chair in Steering Committee for ‹Programming› 2024 Session Chair of Research Papers 4 (part of ‹Programming› Research Papers) Programme Committee in Program Committee within the ‹Programming› Research Papers-track
Sanaullah Sanaullah Bielefeld University of Applied Sciences and ArtsGermany The Next-Gen Interactive Runtime Simulator for Neural Network Programming
André L. SantosSantos, André L. University Institute of Lisbon, Portugal Autocorrection in Projectional Editors
Shigeyuki SatoSato, Shigeyuki The University of Electro-CommunicationsJapan Collective Allocator Abstraction to Control Object Spatial Locality in C++
Ina SchaeferSchaefer, Ina KITGermany Committee Member in Program Committee within the QP-track
Gabriel SchererScherer, Gabriel INRIA SaclayFrance Coqlex: Generating Formally Verified Lexers
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Oliver SchulzSchulz, Oliver Hasso Plattner Institute, University of PotsdamGermany Implementing Babylonian/G by Putting Examples into Game Contexts
Alexander SerebrenikSerebrenik, Alexander Eindhoven University of TechnologyNetherlands Committee Member in Program Committee within the ‹Programming› Posters and Demos-track
Manuel SerranoSerrano, Manuel Inria; University of Côte d'AzurFrance Steering Committee Member in Steering Committee for ‹Programming› 2024 Program Co-Chair in Organizing Committee for ‹Programming› 2024 Program Co-Chair in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the MoreVMs-track
Marco ServettoServetto, Marco Victoria University of WellingtonNew Zealand Programme Committee in Program Committee within the VIMPL-track
Mitesh ShahShah, Mitesh Roblox Privacy-Respecting Type Error Telemetry at Scale
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Programme Committee in Program Committee within the ‹Programming› Research Papers-track
Marina ShimchenkoShimchenko, Marina Uppsala UniversitySweden Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors
Boris ShingarovShingarov, Boris LabWareCanada Tinyrossa: a compiler framework for vertical, verified construction of Smalltalk VMs
Oleks ShturmovShturmov, Oleks University of Oslo & University of CopenhagenDenmark Interconnecting Code Workshop -- CANCELLED Committee Member in Organizing Committee within the ICW-track Committee Member in Organizing Committee within the ICW-track Committee Member in Program Committee within the ICW-track
Luís Soares BarbosaSoares Barbosa, Luís Committee Member in Program Committee within the QP-track
Fang SongSong, Fang Portland State University Lossy Effect Transformers: Reasoning about Quantum Security Loss with Relational Effect Predicates and Weakest Precondition Logic
Maarten SteevensSteevens, Maarten Ghent University, BelgiumBelgium Concolic Multiverse Debugging
Elisabeth StenholmStenholm, Elisabeth University of BergenNorway Containers for GUIs
Quentin StiévenartStiévenart, Quentin Université du Québec à Montréal (UQAM)Canada Committee Member in Jury within the ‹Programming› Student Research Competition-track
Lutz StrassburgerStrassburger, Lutz INRIA Saclay Coqlex: Generating Formally Verified Lexers
Filip StrömbäckStrömbäck, Filip Linköping UniversitySweden Name Trees: Uniform and Extensible Interactions Between Languages and Language Extensions Committee Member in Program Committee within the PX/24-track
Javier Sánchez RiveroSánchez Rivero, Javier COMPUTAEX Shifting Quantum Circuits Languages Abstraction Level with Composable Quantum Oracles
Emma SöderbergSöderberg, Emma Lund UniversitySweden Steering Committee Member in Steering Committee for ‹Programming› 2024 General Co-Chair in Organizing Committee for ‹Programming› 2024 Ironies of Programming Automation: Exploring the Experience of Code Synthesis Via Large Language Models Developers' Perspective on Today's and Tomorrow's Programming Tool Assistance: A Survey Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code Co-chair in Organizing Committee within the Programming with AI-track
T Marcel TaeumelTaeumel, Marcel University of Potsdam; Hasso Plattner InstituteGermany Session Chair of Research Papers 2 (part of ‹Programming› Research Papers) Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization Committee Member in Program Committee within the PX/24-track
Davide TaibiTaibi, Davide University of Oulu and Tampere University Finland Committee Member in Program Committee within the QP-track
Daniel TalavánTalaván, Daniel COMPUTAEX Shifting Quantum Circuits Languages Abstraction Level with Composable Quantum Oracles
Steven TanimotoTanimoto, Steven University of Washington, SeattleUnited States Magic Markup: Maintaining Document-External Markup with an LLM Committee Member in Program Committee within the PX/24-track
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Magic Markup: Maintaining Document-External Markup with an LLM
Pablo TesoneTesone, Pablo Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium A VM-agnostic and backwards compatible protected modifier for dynamically-typed languages
Iona ThomasThomas, Iona Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 - CRIStAL A VM-agnostic and backwards compatible protected modifier for dynamically-typed languages
Michael Kirkedal ThomsenThomsen, Michael Kirkedal University of Oslo & University of Copenhagen Committee Member in Program Committee within the ICW-track
Adam TornhillTornhill, Adam Empear ABSweden Demo of the CodeScene Software Engineering Intelligence Platform: Informed DecisionMaking and LLM-based Refactoring Demo of the CodeScene Software Engineering Intelligence Platform: Informed Decision-Making and LLM-based Refactoring
Paola Torres Núñez del PradoTorres Núñez del Prado, Paola Stockholm University of the Arts KhipuKoding by Paola Torres Nunez del Prado
Emma ToschTosch, Emma Northeastern University, USA Programme Committee in Program Committee within the ‹Programming› Research Papers-track
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Collective Allocator Abstraction to Control Object Spatial Locality in C++
V José ValimValim, José Dashbit The Design Principles of the Elixir Type System
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Session Chair of Research Papers 3 (part of ‹Programming› Research Papers) LiveRec: Prototyping Probes by Framing Debug Protocols Programme Committee in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the MoreVMs-track
Riemer van Rozenvan Rozen, Riemer CWINetherlands LiveRec: Prototyping Probes by Framing Debug Protocols
A. Laura VoineaVoinea, A. Laura University of Kent, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Jan VranýVraný, Jan LabWareUnited Kingdom Tinyrossa: a compiler framework for vertical, verified construction of Smalltalk VMs
W Ryo WakizakaWakizaka, Ryo Kyoto UniversityJapan Committee Member in Artifact Evaluation Committee within the ‹Programming› Artifacts-track
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Towards a DevOps Modeling based on Context-Oriented Programming
Robert WillimWillim, Robert Sweden Exhibition: Mundania Chamber
Manuel WimmerWimmer, Manuel JKU LinzAustria Committee Member in Program Committee within the QP-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors Programme Committee in Program Committee within the ‹Programming› Research Papers-track
X Maria XekalakiXekalaki, Maria University of Manchester, UK Session Chair of Managed Rust (part of MoreVMs) MoreVMs'24 Committee Member in Organizing Committee within the MoreVMs-track
Yichen XuXu, Yichen EPFL A Formal Foundation of Reach Capabilities
Y Erdem YildirimYildirim, Erdem Set-theoretic Maps with Type Variables
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Committee Member in Program Committee within the QP-track
Tao YueYue, Tao Beihang UniversityChina The 2nd International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2024) Committee Member in Organizing Committee within the QP-track
Z Foivos S. ZakkakZakkak, Foivos S. Red HatGreece 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 Opening Closing The 2nd International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2024) Committee Member in Organizing Committee within the QP-track
Elena ZuccaZucca, Elena University of GenoaItaly Programme Committee in Program Committee within the ‹Programming› Research Papers-track
Å Beatrice ÅkerblomÅkerblom, Beatrice Stockholm University Arrays in Practice, An Empirical Study of Array Access Patterns on the JVM
Ö Erik ÖsterlundÖsterlund, Erik OracleSweden Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors

Results (232)

Tracks

Workshops

Tutorials