‹Programming› 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (229)

A Ademar AguiarAguiar, Ademar FEUP, Universidade do PortoPortugal General Chair in Organizing Committee for ‹Programming› 2022 Committee Member in Steering Committee for ‹Programming› 2022 Session Chair of Concurrency & Synchronization (part of ‹Programming› Research Papers) A Live Environment to Improve the Refactoring Experience Conference Opening Conference Closing
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Committee Member in Research Papers within the ‹Programming› Research Papers-track
Miltiadis AllamanisAllamanis, Miltiadis United Kingdom External Reviewer in Research Papers within the ‹Programming› Research Papers-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Committee Member in Steering Committee for ‹Programming› 2022
Irène Anne DurandAnne Durand, Irène Inria BordeauxFrance Research Paper: A CLOS protocol for lexical environments
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/22-track
Marco AntoniottiAntoniotti, Marco Università degli Studi di Milano-Bicocca, Italy Committee Member in Program Committee within the ELS-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan A Functional Programming Language with Versions
Uwe AßmannAßmann, Uwe TU Dresden, Germany Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Dominik AumayrAumayr, Dominik Johannes Kepler University Linz, AustriaAustria Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Flávio AzevedoAzevedo, Flávio STEM Education The University of Texas at AustinUnited States Some Humbling Lessons from a Reconstructible Computational Medium
B Pedro BarbosaBarbosa, Pedro LASIGEPortugal Genetic Engine: Grammar-Guided Genetic Programming without the grammar (poster)
Antranig BasmanBasman, Antranig Raising the Floor - InternationalUnited Kingdom Session Chair of The Boxer Experience (part of Boxer Salon) Welcome and Introduction to Boxer Boxer and the Tradition of Materialised Programming Committee Member in Organizing Committee within the Boxer Salon-track Committee Member in Organizing Committee within the Boxer Salon-track Committee Member in Program Committee within the PX/22-track
Marc BattyaniBattyani, Marc FractalConcept Committee Member in Program Committee within the ELS-track
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Flec: practical CRDTs on IoT hardware (demo) WOOD: An out-of-things Debugger for IoT applications (demo)
Tom BeckmannBeckmann, Tom Hasso Plattner InstituteGermany Toward Understanding Task Complexity in Maintenance-based Studies of Programming Tools
Virginia BerningerBerninger, Virginia Programming in an fMRI Scanner: A Report from the Field
Gavin BiermanBierman, Gavin Oracle LabsUnited Kingdom Programme Committee in Program Committee within the MoreVMs-track
Tiago Boldt SousaBoldt Sousa, Tiago Faculdade de Engenharia e Universidade do PortoPortugal Student Volunteers Co-Chair in Organizing Committee for ‹Programming› 2022 Student Volunteer Co-Chair in Organizing committee within the ‹Programming› Student Volunteers-track
Gilad BrachaBracha, Gilad F5United States Day 2 Opening \| Bitrot Revisited: Local First Software and Orthogonal Synchronization
Michelle BrachmanBrachman, Michelle IBM ResearchUnited States Committee Member in Program Committee within the PX/22-track
Rodrigo BrunoBruno, Rodrigo INESC-ID / Técnico, ULisboaPortugal Wrap-Up Welcome Discussion Committee Member in Organizing Committee within the MoreVMs-track
C Paulo CanelasCanelas, Paulo LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal Dive into LiquidJava ⁠— Extending Java with Liquid Types (demo) Genetic Engine: Grammar-Guided Genetic Programming without the grammar (poster)
Nicolas ChappeChappe, Nicolas An Optimised Flow for Futures: From Theory to Practice
Steven CheungCheung, Steven University of Birmingham, UK Transparent Synchronous Dataflow
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime ShopifyCanada Programme Committee in Program Committee within the MoreVMs-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Workshops Co-Chair in Organizing Committee for ‹Programming› 2022 Conference Closing Committee Member in Program Committee within the PX/22-track Committee Member in Research Papers within the ‹Programming› Research Papers-track Workshops Co-Chair in Workshop Selection Committee within the ‹Programming› Workshops-track
Laurent ChristopheChristophe, Laurent VUB Prioritising Server Side Reachability via Inter-process Concolic Testing
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Publicity Co-Chair in Organizing Committee for ‹Programming› 2022 Virtualization Co-Chair in Organizing Committee for ‹Programming› 2022 Committee Member in Steering Committee for ‹Programming› 2022 Session Chair of PX/22 (part of PX/22) Boxer and the "Time of Possibility" Committee Member in Organizing Committee within the Boxer Salon-track Committee Member in Organizing Committee within the PX/22-track Committee Member in Program Committee within the PX/22-track Committee Member in Research Papers within the ‹Programming› Research Papers-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the PX/22-track
Pascal CostanzaCostanza, Pascal imec Committee Member in Program Committee within the ELS-track
Nathanaëlle CourantCourant, Nathanaëlle INRIAFrance Debootstrapping without archeology: Stacked implementations in Camlboot
Jácome CunhaCunha, Jácome University of Porto and INESC TEC, PortugalPortugal Committee Member in Program Committee within the PX/22-track
D Theo D'HondtD'Hondt, Theo Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for ‹Programming› 2022 Session Chair of Crista Lopes (part of ‹Programming› Keynotes) Session Chair of ‹Programming› Online Tuesday (part of ‹Programming› Research Papers)
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for ‹Programming› 2022 The Art of the Meta Stream Protocol: Torrents of Streams Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity Sets Prioritising Server Side Reachability via Inter-process Concolic Testing
Kevin De PorreDe Porre, Kevin Vrije Universiteit BrusselBelgium Programming Geo-Distributed Systems using ECROs (demo)
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Session Chair of Compiler Construction (part of ‹Programming› Research Papers) Research Paper: RacketLogger: Logging and Visualising Changes in DrRacket Prioritising Server Side Reachability via Inter-process Concolic Testing Committee Member in Selection Committee within the ‹Programming› Posters and Demonstrations-track Committee Member in Research Papers within the ‹Programming› Research Papers-track Committee Member in Steering Committee within the ProWeb-track
Christophe De TroyerDe Troyer, Christophe Vrije Universiteit BrusselBelgium The Art of the Meta Stream Protocol: Torrents of Streams
Thomas Del VecchioDel Vecchio, Thomas Brown UniversityUnited States Automated, Targeted Testing of Property-Based Testing Predicates
Elisabetta Di NittoDi Nitto, Elisabetta Politecnico di MilanoItaly ACM SIGSOFT observer in Steering Committee for ‹Programming› 2022
Dario Di NucciDi Nucci, Dario University of SalernoItaly Prioritising Server Side Reachability via Inter-process Concolic Testing
Ioanna M. Dimitriou H.Dimitriou H., Ioanna M. Igalia Committee Member in Program Committee within the ELS-track
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States A Transient Semantics for Typed Racket
Andrea A. diSessadiSessa, Andrea A. Graduate School of Education, University of California at Berkeley The Boxer Experience
Tao DongDong, Tao GoogleUnited States Committee Member in Program Committee within the PX/22-track
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Interpreter Register Autolocalisation: Improving the performance of efficient interpreters
E Jonathan EdwardsEdwards, Jonathan United States Session Chair of ‹Programming› Online Monday (part of ‹Programming› Research Papers) Session Chair of End-user Programming (part of ‹Programming› Research Papers)
Jonathan EdwardsEdwards, Jonathan Massachusetts Institute of Technology Session Chair of Implementing Boxer (part of Boxer Salon)
Jonathan EdwardsEdwards, Jonathan United States Analysing programming systems using technical dimensions Future of technical dimensions & what is missing Committee Member in Organizing Committee within the Boxer Salon-track Committee Member in Research Papers within the ‹Programming› Research Papers-track Committee Member in Tutorial Organizers within the MOPS-track
Michael EngelEngel, Michael Norwegian University of Science and Technology (NTNU)Norway Wrap-Up Welcome Discussion Program Chair in Organizing Committee within the MoreVMs-track Committee Member in Organizing Committee within the MoreVMs-track
Sebastian ErdwegErdweg, Sebastian JGU Mainz Committee Member in Research Papers within the ‹Programming› Research Papers-track
Guilherme EspadaEspada, Guilherme LASIGE, Faculdade de Ciências, Universidade de LisboaPortugal Genetic Engine: Grammar-Guided Genetic Programming without the grammar (poster) Genetic Engine: Genetic Programming for the Common Programmer (demo)
Elliot EvansEvans, Elliot PolytopeCanada let chart = ⊥; let song = ♩; // Embedding Visual Languages in Code
Jenn EvansEvans, Jenn An Experiment in Live Collaborative Programming on the Croquet Shared Experience Platform
F Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the PX/22-track
Matthias FelleisenFelleisen, Matthias Northeastern University A Transient Semantics for Typed Racket
Sara FernandesFernandes, Sara FEUP, Universidade do PortoPortugal Student Volunteers Co-Chair in Organizing Committee for ‹Programming› 2022 A Live Environment to Improve the Refactoring Experience Student Volunteer Co-Chair in Organizing committee within the ‹Programming› Student Volunteers-track
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Steering Committee for ‹Programming› 2022
Alcides FonsecaFonseca, Alcides LASIGE, Faculty of Sciences, University of LisbonPortugal Dive into LiquidJava ⁠— Extending Java with Liquid Types (demo) Genetic Engine: Grammar-Guided Genetic Programming without the grammar (poster) Genetic Engine: Genetic Programming for the Common Programmer (demo)
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Steering Committee Member in Steering Committee within the ProWeb-track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Programme Committee in Program Committee within the MoreVMs-track
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom Programme Committee in Program Committee within the MoreVMs-track
Vanessa FreudenbergFreudenberg, Vanessa Croquet CorpUnited States An Experiment in Live Collaborative Programming on the Croquet Shared Experience Platform
Yuquan FUFU, Yuquan Type Checking Extracted Methods
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Committee Member in Steering Committee for ‹Programming› 2022 Session Chair of PX/22 (part of PX/22) Committee Member in Organizing Committee within the PX/22-track Committee Member in Program Committee within the PX/22-track Committee Member in Research Papers within the ‹Programming› Research Papers-track
Catarina GamboaGamboa, Catarina LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal Dive into LiquidJava ⁠— Extending Java with Liquid Types (demo)
Dan GhicaGhica, Dan University of BirminghamUnited Kingdom Transparent Synchronous Dataflow
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Steering Committee for ‹Programming› 2022 Session Chair of ‹Programming› Online Thursday (part of ‹Programming› Research Papers) Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity External Reviewer in Research Papers within the ‹Programming› Research Papers-track
Steven GithensGithens, Steven diSessa Family FoundationUnited States Boxer Sunrise Project Update Hands-on with Boxer
Marcel GoethalsGoethals, Marcel Ink&SwitchNetherlands Crosscut — Drawing Dynamic Representations
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Workshops Co-Chair in Organizing Committee for ‹Programming› 2022 Programming Geo-Distributed Systems using ECROs (demo) Deriving Static Security Testing from Runtime Security Protection for Web Applications Flec: practical CRDTs on IoT hardware (demo) WOOD: An out-of-things Debugger for IoT applications (demo) Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay Committee Member in Program Committee within the MoreVMs-track Workshops Co-Chair in Workshop Selection Committee within the ‹Programming› Workshops-track
Ben GreenmanGreenman, Ben Brown UniversityUnited States A Transient Semantics for Typed Racket Types for Tables: A Language Design Benchmark
Tobias GrosserGrosser, Tobias University of EdinburghUnited Kingdom Programme Committee in Program Committee within the MoreVMs-track
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology External Reviewer in Research Papers within the ‹Programming› Research Papers-track
Eduardo GuerraGuerra, Eduardo Free University of Bozen-Bolzano Workshops Chair in Organizing Committee for ‹Programming› 2022 Workshops Co-Chair in Workshop Selection Committee within the ‹Programming› Workshops-track
Robbert Gurdeep SinghGurdeep Singh, Robbert Universiteit Gent, BelgiumBelgium WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (poster) WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (demo)
Mark GuzdialGuzdial, Mark University of MichiganUnited States Creating New Programming Experiences Inspired by Boxer for Developing Computationally Literate Society
H Philipp HallerHaller, Philipp KTHSweden Committee Member in Research Papers within the ‹Programming› Research Papers-track
Chris HancockHancock, Chris Tertl ConsultingUnited States Boxer: An appreciation in five inventions
Michael HauptHaupt, Michael BabbelGermany Programme Committee in Program Committee within the MoreVMs-track
Marco HeisigHeisig, Marco Research Paper: Closing the Performance Gap Between Lisp and C
Ludovic HenrioHenrio, Ludovic CNRSFrance An Optimised Flow for Futures: From Theory to Practice
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Committee Member in Program Committee within the ProWeb-track
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Virtualization Co-Chair in Organizing Committee for ‹Programming› 2022 Committee Member in Steering Committee for ‹Programming› 2022 Session Chair of PX/22 (part of PX/22) Towards Just-in-time and Language-agnostic Mutation Testing Example Mining - Assisting Example Creation to Enhance Code Comprehension Toward Understanding Task Complexity in Maintenance-based Studies of Programming Tools Day 3 Opening \| Games & Social Committee Member in Organizing Committee within the PX/22-track Committee Member in Organizing Committee within the PX/22-track Committee Member in Program Committee within the PX/22-track Committee Member in Research Papers within the ‹Programming› Research Papers-track
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Calling Cards: Concrete Visual End-User Programming
Christian HumerHumer, Christian Oracle LabsSwitzerland Programme Committee in Program Committee within the MoreVMs-track
I Leon IngelseIngelse, Leon LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal Genetic Engine: Grammar-Guided Genetic Programming without the grammar (poster) Genetic Engine: Genetic Programming for the Common Programmer (demo)
J Joel JakubovicJakubovic, Joel University of KentUnited Kingdom Introduction to the technical dimensions framework Next steps for programming systems research Analysing programming systems using technical dimensions Future of technical dimensions & what is missing The problem of programming systems research methodologies Committee Member in Tutorial Organizers within the MOPS-track
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States ACM SIGPLAN observer in Steering Committee for ‹Programming› 2022
Viviane JonckersJonckers, Viviane VUBBelgium Enhancing DrRacket with Dodona for Learning Scheme (poster)
Richard JonesJones, Richard University of KentUnited Kingdom Who You Gonna Call? A Case Study about the Call-Site Behaviour in Ruby-on-Rails Applications
K Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Who You Gonna Call? A Case Study about the Call-Site Behaviour in Ruby-on-Rails Applications Less Is More: Merging AST Nodes To Optimize Interpreters Who You Gonna Call? A study of the call-site behaviour of Ruby-on-Rails applications (poster) Less Is More: Merging AST Nodes To Optimize Interpreters (poster) Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Szymon KaliskiKaliski, Szymon Crosscut — Drawing Dynamic Representations
Sven KarolKarol, Sven Merseburg University of Applied SciencesGermany Poster and Demonstrations Chair in Organizing Committee for ‹Programming› 2022 Co-chair in Selection Committee within the ‹Programming› Posters and Demonstrations-track
Stephen KellKell, Stephen University of Kent Committee Member in Research Papers within the ‹Programming› Research Papers-track
Elpida Keravnou-PapailiouKeravnou-Papailiou, Elpida University of CyprusCyprus Figuring and Drawing: a visual approach to principled programming
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Committee Member in Research Papers within the ‹Programming› Research Papers-track
Harald KoestlerKoestler, Harald Research Paper: Closing the Performance Gap Between Lisp and C
Gabriël KonatKonat, Gabriël Delft University of TechnologyNetherlands Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Eva KrebsKrebs, Eva Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Publicity Co-Chair in Organizing Committee for ‹Programming› 2022 Example Mining - Assisting Example Creation to Enhance Code Comprehension Day 3 Opening \| Games & Social
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Types for Tables: A Language Design Benchmark Automated, Targeted Testing of Property-Based Testing Predicates
Thomas KühnKühn, Thomas Karlsruhe Institute of TechnologyGermany Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
L Soufyane LabsariLabsari, Soufyane Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStALFrance Interpreter Register Autolocalisation: Improving the performance of efficient interpreters
Octave LaroseLarose, Octave University of KentUnited Kingdom Who You Gonna Call? A Case Study about the Call-Site Behaviour in Ruby-on-Rails Applications Less Is More: Merging AST Nodes To Optimize Interpreters Less Is More: Merging AST Nodes To Optimize Interpreters (poster)
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Committee Member in Research Papers within the ‹Programming› Research Papers-track
Tom LauwaertsLauwaerts, Tom Universiteit Gent, BelgiumBelgium WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (poster) WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (demo)
Lukas LazarekLazarek, Lukas Northwestern University A Transient Semantics for Typed Racket
Maurizio LeottaLeotta, Maurizio DIBRIS, University of Genova, ItalyItaly Committee Member in Program Committee within the ProWeb-track
Julien LepillerLepiller, Julien Yale University Debootstrapping without archeology: Stacked implementations in Camlboot
Nick LevineLevine, Nick RavenPack Committee Member in Program Committee within the ELS-track
Clayton LewisLewis, Clayton University of Colorado Boulder Session Chair of Boxer and Education II (part of Boxer Salon) Automatic Programming and Education Committee Member in Organizing Committee within the Boxer Salon-track
Jens LinckeLincke, Jens Hasso Plattner Institute, University of Potsdam, GermanyGermany Committee Member in Program Committee within the PX/22-track
Crista LopesLopes, Crista University of California, IrvineUnited States Committee Member in Steering Committee for ‹Programming› 2022 The Curious Case of Code Duplication in GitHub
Nuno P. LopesLopes, Nuno P. Universidade de LisboaPortugal Torchy: A Tracing JIT Compiler for PyTorch
Kuang-Chen LuLu, Kuang-Chen Brown University, USAUnited States Types for Tables: A Language Design Benchmark
Aran LunzerLunzer, Aran Croquet CorporationUnited Kingdom An Experiment in Live Collaborative Programming on the Croquet Shared Experience Platform
M Amaury MailléMaillé, Amaury CNRSFrance An Optimised Flow for Futures: From Theory to Practice
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the PX/22-track
Miguel MarcelinoMarcelino, Miguel Research Paper: Transpiling Python to Julia using PyJL
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Steering Committee for ‹Programming› 2022 Session Chair of Functional Programming (part of ‹Programming› Research Papers) Who You Gonna Call? A Case Study about the Call-Site Behaviour in Ruby-on-Rails Applications Less Is More: Merging AST Nodes To Optimize Interpreters Less Is More: Merging AST Nodes To Optimize Interpreters (poster) Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium WOOD: An out-of-things Debugger for IoT applications (demo)
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Session Chair of PX/22 (part of PX/22) CodeMap: a Graphical Note-Taking Tool Cooperating with an Integrated Development Environment A Functional Programming Language with Versions Committee Member in Organizing Committee within the PX/22-track Committee Member in Program Committee within the PX/22-track Committee Member in Research Papers within the ‹Programming› Research Papers-track
Toni MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany Towards Just-in-time and Language-agnostic Mutation Testing Toward Understanding Task Complexity in Maintenance-based Studies of Programming Tools
Philipp MeierMeier, Philipp NubankGermany Committee Member in Program Committee within the ELS-track
António Menezes LeitãoMenezes Leitão, António Technical University of Lisbon, Portugal Research Paper: Transpiling Python to Julia using PyJL
Johannes MeyMey, Johannes Technische Universität Dresden Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Mark MinasMinas, Mark Bundeswehr University MunichGermany Committee Member in Program Committee within the PX/22-track
Ralph MoellerMoeller, Ralph Committee Member in Program Committee within the ELS-track
Andrey MokhovMokhov, Andrey Jane StreetUnited Kingdom United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees
Stefan MonnierMonnier, Stefan Université de MontréalCanada Research Paper: Open Closures: Disclosing lambda's inner monomaniac object!
Kevin MoranMoran, Kevin George Mason University Committee Member in Program Committee within the ProWeb-track
Matthieu MoyMoy, Matthieu CNRSFrance An Optimised Flow for Futures: From Theory to Practice
Koko MuroyaMuroya, Koko RIMS, Kyoto UniversityJapan Transparent Synchronous Dataflow
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
N No NameName, No Round Table
Tim NelsonNelson, Tim Brown UniversityUnited States Automated, Targeted Testing of Property-Based Testing Predicates
Nicolas NeußNeuß, Nicolas Friedrich-Alexander-Universität Erlangen Committee Member in Program Committee within the ELS-track
Liddy NevileNevile, Liddy Sunrise Research Laboratory, Royal Melbourne Institute of TechnologyAustralia Boxer Down-Under
Jim NewtonNewton, Jim EPITA / LRDE https://www.lrde.epita.frFrance Committee Member in Organizing Committee within the ELS-track
Jens NicolayNicolay, Jens Vrije Universiteit BrusselBelgium The Art of the Meta Stream Protocol: Torrents of Streams Deriving Static Security Testing from Runtime Security Protection for Web Applications Committee Member in Program Committee within the ProWeb-track
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Publicity Co-Chair in Organizing Committee for ‹Programming› 2022 Towards Just-in-time and Language-agnostic Mutation Testing
James NobleNoble, James Creative Research & ProgrammingNew Zealand Day 4 Opening \| N Things I Hate About \nu* Committee Member in Program Committee within the PX/22-track Committee Member in Research Papers within the ‹Programming› Research Papers-track
O Yoshiki OhshimaOhshima, Yoshiki Croquet StudiosJapan An Experiment in Live Collaborative Programming on the Croquet Shared Experience Platform Committee Member in Program Committee within the PX/22-track
P Nahuel PalumboPalumbo, Nahuel Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStALFrance Interpreter Register Autolocalisation: Improving the performance of efficient interpreters
Tobias PapePape, Tobias Hasso Plattner Institute, GermanyGermany Web Technology Chair in Organizing Committee for ‹Programming› 2022
Hila PelegPeleg, Hila TechnionIsrael Committee Member in Program Committee within the PX/22-track
Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Committee Member in Research Papers within the ‹Programming› Research Papers-track
Michael PerscheidPerscheid, Michael SAP Innovation Center PotsdamGermany Committee Member in Program Committee within the PX/22-track
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Next steps for programming systems research What are programming systems & how do you study them? The problem of programming systems research methodologies Foundations of a live data exploration environment Committee Member in Selection Committee within the ‹Programming› Posters and Demonstrations-track Committee Member in Program Committee within the PX/22-track Committee Member in Research Papers within the ‹Programming› Research Papers-track Committee Member in Program Committee within the ProWeb-track Committee Member in Tutorial Organizers within the MOPS-track
Henri PicciottoPicciotto, Henri Boxer: A Teacher's Experience
Daniel PinhoPinho, Daniel FEUP, Universidade do PortoPortugal Student Volunteers Co-Chair in Organizing Committee for ‹Programming› 2022 Student Volunteer Co-Chair in Organizing committee within the ‹Programming› Student Volunteers-track
Ian PiumartaPiumarta, Ian Viewpoints Research Institute Committee Member in Program Committee within the PX/22-track
Don PlogerPloger, Don United States Chartworld in the Classroom
Guillermo PolitoPolito, Guillermo CNRS; CRIStAL; University of Lille; Centrale Lille; InriaFrance Interpreter Register Autolocalisation: Improving the performance of efficient interpreters
Adrien PommelletPommellet, Adrien EPITA / LRDE Committee Member in Program Committee within the ELS-track
Angel Luis Scull PupoPupo, Angel Luis Scull Sofware Languages Lab, Vrije Universiteit Brussel Deriving Static Security Testing from Runtime Security Protection for Web Applications
R Gabriel RadanneRadanne, Gabriel InriaFrance Committee Member in Program Committee within the ProWeb-track
Michael RaskinRaskin, Michael Université de Bordeaux / LaBRI Research Paper: QueryFS: compiling queries to define a filesystem
Mikhail RaskinRaskin, Mikhail Technical University of Munich Committee Member in Program Committee within the ELS-track
Ivan ReeseReese, Ivan Ink&SwitchCanada Crosscut — Drawing Dynamic Representations
Patrick ReinRein, Patrick Hasso Plattner InstituteGermany Committee Member in Steering Committee for ‹Programming› 2022 Example Mining - Assisting Example Creation to Enhance Code Comprehension Toward Understanding Task Complexity in Maintenance-based Studies of Programming Tools Committee Member in Program Committee within the PX/22-track
Turgut Reis KursunReis Kursun, Turgut VUBBelgium Research Paper: RacketLogger: Logging and Visualising Changes in DrRacket Enhancing DrRacket with Dodona for Learning Scheme (poster)
Hadrien RenaudRenaud, Hadrien CNRSFrance An Optimised Flow for Futures: From Theory to Practice
Thierry RenauxRenaux, Thierry Vrije Universiteit BrusselBelgium Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity Sets
Stefan ReschkeReschke, Stefan Hasso Plattner Institute, University of PotsdamGermany Towards Just-in-time and Language-agnostic Mutation Testing
André RestivoRestivo, André LIACC, Universidade do Porto, Porto, PortugalPortugal A Live Environment to Improve the Refactoring Experience
Max-Gerd RetzlaffRetzlaff, Max-Gerd IoT devices and embedded systems with uLisp
Christophe RhodesRhodes, Christophe Goldsmiths, University of London Committee Member in Program Committee within the ELS-track
Filippo RiccaRicca, Filippo Università di GenovaItaly Steering Committee Member in Steering Committee within the ProWeb-track
Todd RichardsRichards, Todd Programming in an fMRI Scanner: A Report from the Field
Oliviero RiganelliRiganelli, Oliviero University of Milano - BicoccaItaly Committee Member in Program Committee within the ProWeb-track
Manuel RiggerRigger, Manuel ETH ZurichSwitzerland Programme Committee in Program Committee within the MoreVMs-track
Sam RitchieRitchie, Sam Mentat CollectiveUnited States Building SICMUtils, the Atelier of Abstractions Lisp as Renaissance Workshop: A Lispy Tour through Mathematical Physics The Road to Reality: Interactive Physics from Eval to Einstein
Alberto RivaRiva, Alberto University of Florida, USAUnited States Committee Member in Program Committee within the ELS-track
Elijah RiveraRivera, Elijah Automated, Targeted Testing of Property-Based Testing Predicates
Carlos Rojas CastilloRojas Castillo, Carlos Vrije Universiteit BrusselBelgium WOOD: An out-of-things Debugger for IoT applications (demo)
Jeremy RoschelleRoschelle, Jeremy Digital Promise On the Generality of Boxer Principles of Spatial Metaphor and Naive Realism
S Mathijs SaeySaey, Mathijs VUBBelgium Enhancing DrRacket with Dodona for Learning Scheme (poster)
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Steering Committee Chair in Steering Committee for ‹Programming› 2022 Conference Opening
André L. SantosSantos, André L. University Institute of Lisbon, Portugal Poster and Demonstrations Chair in Organizing Committee for ‹Programming› 2022 Co-chair in Selection Committee within the ‹Programming› Posters and Demonstrations-track
Max SchaeferSchaefer, Max GitHub, Inc.United Kingdom Committee Member in Research Papers within the ‹Programming› Research Papers-track
Gabriel SchererScherer, Gabriel INRIA SaclayFrance Debootstrapping without archeology: Stacked implementations in Camlboot
Christophe ScholliersScholliers, Christophe Universiteit Gent, BelgiumBelgium WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (poster) WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (demo)
René SchöneSchöne, René Technische Universität DresdenGermany Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Andrew SengulSengul, Andrew April APL Compiler
Manuel SerranoSerrano, Manuel Inria, France Committee Member in Steering Committee for ‹Programming› 2022
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Sham: A DSL for Fast DSLs
Bruce SherinSherin, Bruce Northwestern University, USAUnited States BoxerJS: Reflections on a JavaScript Boxer implementation
David SmithSmith, David An Experiment in Live Collaborative Programming on the Croquet Shared Experience Platform
Jeff SmitsSmits, Jeff Delft University of Technology, NetherlandsNetherlands Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Tim SoethoutSoethout, Tim ING Bank; CWINetherlands Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Sam SoucieSoucie, Sam Indiana UniversityUnited States Automated, Targeted Testing of Property-Based Testing Predicates
Daniel SpeicherSpeicher, Daniel cronn GmbH, BonnGermany Did JHotDraw respect the Law of Good Style? - A deep dive into the nature of false positives of bad code smells
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States External Reviewer in Research Papers within the ‹Programming› Research Papers-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Research Paper: RacketLogger: Logging and Visualising Changes in DrRacket Committee Member in Organizing Committee within the ProWeb-track
Andrea StoccoStocco, Andrea Università della Svizzera italiana (USI)Switzerland Steering Committee Member in Steering Committee within the ProWeb-track
Robert StrandhStrandh, Robert Research Paper: A CLOS protocol for lexical environments Creating a Common Lisp Implementation
Emma SöderbergSöderberg, Emma Lund UniversitySweden Program Chair in Organizing Committee for ‹Programming› 2022 Session Chair of Testing & Analysis (part of ‹Programming› Research Papers) Session Chair of ‹Programming› Online Wednesday (part of ‹Programming› Research Papers) Conference Opening Committee Member in Program Committee within the PX/22-track Program Chair in Research Papers within the ‹Programming› Research Papers-track
T Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany Committee Member in Program Committee within the PX/22-track
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan A Functional Programming Language with Versions
Rikito TaniguchiTaniguchi, Rikito Tokyo Institute of TechnologyJapan CodeMap: a Graphical Note-Taking Tool Cooperating with an Integrated Development Environment
Steven TanimotoTanimoto, Steven University of Washington, SeattleUnited States Programming in an fMRI Scanner: A Report from the Field Committee Member in Program Committee within the PX/22-track
Deborah TatarTatar, Deborah Virginia Tech, USAUnited States Session Chair of Boxer and Education I (part of Boxer Salon) Boxer and Change
Philip TchernavskijTchernavskij, Philip Aarhus UniversityDenmark Committee Member in Program Committee within the PX/22-track
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil Committee Member in Program Committee within the ProWeb-track
Pablo TesoneTesone, Pablo Inria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France Interpreter Register Autolocalisation: Improving the performance of efficient interpreters
Rob ThompsonThompson, Rob Programming in an fMRI Scanner: A Report from the Field
Christopher Steven TimperleyTimperley, Christopher Steven Carnegie Mellon UniversityUnited States Dive into LiquidJava ⁠— Extending Java with Liquid Types (demo)
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Sham: A DSL for Fast DSLs Type Checking Extracted Methods
Emma ToschTosch, Emma University of Vermont Committee Member in Research Papers within the ‹Programming› Research Papers-track
U Brian UptonUpton, Brian An Experiment in Live Collaborative Programming on the Croquet Shared Experience Platform
Hidetake UwanoUwano, Hidetake National Institute of Technology, Nara College, Japan Committee Member in Program Committee within the PX/22-track
V Sam Van den VonderVan den Vonder, Sam Vrije Universiteit BrusselBelgium Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity Sets
Jens Van der PlasVan der Plas, Jens Software Languages Lab, Vrije Universiteit BrusselBelgium Research Paper: RacketLogger: Logging and Visualising Changes in DrRacket
Tijs van der Stormvan der Storm, Tijs CWI; University of GroningenNetherlands Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions Bacatá: Notebooks for DSLs, Almost for Free Committee Member in Research Papers within the ‹Programming› Research Papers-track
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Committee Member in Selection Committee within the ‹Programming› Posters and Demonstrations-track Committee Member in Research Papers within the ‹Programming› Research Papers-track
Maarten VandercammenVandercammen, Maarten Vrije Universiteit Brussel Prioritising Server Side Reachability via Inter-process Concolic Testing
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Bacatá: Notebooks for DSLs, Almost for Free
Didier VernaVerna, Didier EPITA / LRDEFrance Demo: ETAP: Experimental Typesetting Algorithms Platform Committee Member in Organizing Committee within the ELS-track
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions Bacatá: Notebooks for DSLs, Almost for Free
Eelco VisserVisser, Eelco Delft University of Technology Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
W Rajan WaliaWalia, Rajan Indiana University Sham: A DSL for Fast DSLs
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Committee Member in Program Committee within the ProWeb-track
Michael WesselWessel, Michael Research Paper: An Ontology-Based Dialogue Managment Framework for Virtual Personal Assistants in Common Lisp
John WrennWrenn, John Brown UniversityUnited States Automated, Targeted Testing of Property-Based Testing Predicates
Tobias WrigstadWrigstad, Tobias Uppsala University, SwedenSweden Committee Member in Research Papers within the ‹Programming› Research Papers-track
Y Cheri YatesYates, Cheri Programming in an fMRI Scanner: A Report from the Field
Ó Breanndán Ó NualláinÓ Nualláin, Breanndán University of AmsterdamNetherlands Committee Member in Program Committee within the ELS-track

Results (229)

Tracks

Workshops

Tutorials

Co-hosted Symposia