‹Programming› 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (278)

A Rodin AarssenAarssen, Rodin CWI, NetherlandsNetherlands Concrete Syntax with Black Box Parsers
Ademar AguiarAguiar, Ademar FEUP, Universidade do PortoPortugal Committee Member in Steering Committee for ‹Programming› 2019 Session Chair of Session 3 (part of PX/19) Live Software Development --- Tightening the feedback loops
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Program Committee within the ICW-track
Shoaib AkramAkram, Shoaib Ghent UniversityBelgium Session Chair of Programming Across the System Stack (part of MoreVMs) To expose, or not to expose, hardware heterogeneity to runtimes! Committee Member in Program Committee within the PASS-track
Konrad AleksiejukAleksiejuk, Konrad Distributed Software on Mobile Robot
Saba AlimadadiAlimadadi, Saba Northeastern University Committee Member in Program Committee within the LANGETI-track
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs
Davide AnconaAncona, Davide University of GenovaItaly General Chair in Organizing Committee for ‹Programming› 2019 Committee Member in Steering Committee for ‹Programming› 2019
Michal AntkiewiczAntkiewicz, Michal University of Waterloo, Canada Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Marco AntoniottiAntoniotti, Marco Università degli Studi di Milano-Bicocca, Italy Committee Member in Program Committee within the ELS-track
Nuno AntunesAntunes, Nuno Universidade de Coimbra Committee Member in Program Committee within the LANGETI-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation
Vincenzo ArceriArceri, Vincenzo University of Verona, ItalyItaly Static Program Analysis for String Manipulation Languages
Hrshikesh AroraArora, Hrshikesh Iteratively Composing Statically Verified Traits Separating Use and Reuse to Improve Both
John AycockAycock, John University of Calgary, Canada Entombed: An Archaeological Examination of an Atari 2600 Game
B Nicolas B. PierronB. Pierron, Nicolas MozillaFrance Committee Member in Program Committee within the MoreVMs-track
Anya Helene BaggeBagge, Anya Helene University of BergenNorway Committee Member in Program Committee within the ‹Programming› Research Papers-track
Mehdi BagherzadehBagherzadeh, Mehdi Oakland UniversityUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Lars BakBak, Lars Toitware ApsDenmark Keynote: Turning IoT Devices into Robust and Safe Computers
Titus BarikBarik, Titus MicrosoftUnited States Committee Member in Program Committee within the PX/19-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Session Chair of Implementation Aspects (part of MoreVMs) Session Chair of Just-in-Time Compilation (part of MoreVMs) Welcome Committee Member in Program Committee within the ICW-track Committee Member in Organizing Committee within the MoreVMs-track
Massimo BartolettiBartoletti, Massimo Modelling and verifying Bitcoin contracts.
Antranig BasmanBasman, Antranig Critique presentation - Let Them Fail Presentation and Panel Discussion - Minimal Viable Revolution Committee Member in Program Committee within the Salon des Refusés-track
Marc BattyaniBattyani, Marc FractalConcept Committee Member in Program Committee within the ELS-track
Gabriele BavotaBavota, Gabriele Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the LANGETI-track
Andi BejleriBejleri, Andi IBM GBS, Frankfurt, Germany Comprehensive Multiparty Session Types
Amir Ben-AmramBen-Amram, Amir Committee Member in Program Committee within the VPT-track
Walter BinderBinder, Walter University of Lugano, Switzerland Optimization Coaching for Fork/Join Applications on the Java Virtual Machine Committee Member in Program Committee within the MoreVMs-track
Christoph BockischBockisch, Christoph Philipps-Universität MarburgGermany Committee Member in Program Committee within the PASS-track Committee Member in Organizing Committee within the PASS-track Committee Member in Organizing Committee within the PASS-track
Meinte BoersmaBoersma, Meinte Dutch Tax and Customs AgencyNetherlands Projectional DSLs from the ground up
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Germany Committee Member in Program Committee within the PX/19-track
Nicolas BrousseBrousse, Nicolas AdobeUnited States The Issue Of Source Code Repository Management In Large Enterprises
Eduard-Mihai BurtescuBurtescu, Eduard-Mihai Lyken Software Solutions Committee Member in Program Committee within the MoreVMs-track
C Anthony CaninoCanino, Anthony SUNY Binghamton Toward a Language Design for Energy Prediction
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Committee Member in Organizing Committee within the LANGETI-track Committee Member in Organizing Committee within the LANGETI-track
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Workshops Co-Chair in Organizing Committee for ‹Programming› 2019 Session Chair of Modularity and Modeling (part of ‹Programming› Research Papers) Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Workshop Selection within the ‹Programming› Workshops-track
Maura CerioliCerioli, Maura Civic Participation Powered by Ethereum: a Proposal
James CheneyCheney, James University of Edinburgh, UKUnited States TryLinks: An interactive tutorial system for a cross-tier Web programming language
Parmit ChilanaChilana, Parmit Simon Fraser University Committee Member in Program Committee within the PX/19-track
David ChisnallChisnall, David University of Cambridge Committee Member in Program Committee within the ICW-track
Andrei ChişChiş, Andrei feenk, Switzerland PetitParser
Jan ChristiansenChristiansen, Jan Flensburg University of Applied Sciences, Germany Proving Inequational Propositions about Haskell Programs in Coq One Monad to Prove Them All
Sacha ChuaChua, Sacha Toronto, Canada Committee Member in Program Committee within the ELS-track
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the ‹Programming› Research Papers-track
Luke ChurchChurch, Luke Session Chair of Salon des Refusés - Morning session (part of Salon des Refusés) What can we learn from systems? Presentation and Panel Discussion - Minimal Viable Revolution Critique presentation - Why Can't Programming Be Like Sketching? Computing beyond pencils Committee Member in Program Committee within the PX/19-track Committee Member in Organizing Committee within the PX/19-track Committee Member in Organizing Committee within the Salon des Refusés-track
Jane Cleland-HuangCleland-Huang, Jane University of Notre DameUnited States Committee Member in Steering Committee for ‹Programming› 2019
Tara CopplestoneCopplestone, Tara University of York, United Kingdom Entombed: An Archaeological Examination of an Atari 2600 Game
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzech Republic Pattern-Based S-Expression Rewriting in Emacs
Krzysztof CzarneckiCzarnecki, Krzysztof University of Waterloo, CanadaCanada Committee Member in Steering Committee for ‹Programming› 2019 Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
D Theo D'HondtD'Hondt, Theo Vrije Universiteit BrusselBelgium Chair in Steering Committee for ‹Programming› 2019
Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly A framework for big-step semantics A framework for big-step semantics (short presentation)
Emanuele De AngelisDe Angelis, Emanuele University of Chieti-PescaraItaly Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Program Committee within the ‹Programming› Research Papers-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Committee Member in Steering Committee for ‹Programming› 2019 Distributed Reactive Programming for Reactive Distributed Systems Committee Member in Program Committee within the ICW-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Poster Co-Chair in Organizing Committee for ‹Programming› 2019 A Language-Parametric Toolchain for Mining Idiomatic Code Patterns Committee Member in Program Committee within the LANGETI-track Committee Member in Jury within the ‹Programming› Student Research Competition-track Program Co-Chair in Organizing Committee within the ProWeb-track Poster Co-Chair in Organizing committee within the ‹Programming› Posters-track
Giorgio DelzannoDelzanno, Giorgio DIBRIS, University of GenovaItaly Committee Member in Organizing Committee for ‹Programming› 2019 Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study Validation of Internet of Things Frameworks
Giovanni DenaroDenaro, Giovanni University of Milano-Bicocca, Italy GUI Testing in Production: Challenges and Opportunities
Dario Di NucciDi Nucci, Dario Vrije Universiteit BrusselBelgium A Language-Parametric Toolchain for Mining Idiomatic Code Patterns
Massimiliano Di PentaDi Penta, Massimiliano University of SannioItaly Committee Member in Program Committee within the LANGETI-track
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Damiano DistanteDistante, Damiano Sapienza University of Rome, Italy Committee Member in Program Committee within the ProWeb-track
Elton DomnoriDomnori, Elton Canadian Institute of Technology, Tirana, AlbaniaAlbania Comprehensive Multiparty Session Types
Leonie Dreschler-FischerDreschler-Fischer, Leonie Committee Member in Program Committee within the ELS-track
Irène Anne DurandDurand, Irène Anne Bootstrapping Common Lisp Using Common Lisp MAKE-METHOD-LAMBDA Revisited
Sandra DylusDylus, Sandra University of Kiel, GermanyGermany Proving Inequational Propositions about Haskell Programs in Coq One Monad to Prove Them All
Falco DürschDürsch, Falco Faster Feedback through Lexical Test Prioritization
E Kerstin EderEder, Kerstin University of Bristol Committee Member in Program Committee within the PASS-track
Jonathan EdwardsEdwards, Jonathan United States Committee Member in Program Committee within the PX/19-track
Vyacheslav EgorovEgorov, Vyacheslav GoogleDenmark Committee Member in Program Committee within the MoreVMs-track
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Committee Member in Program Committee within the ‹Programming› Research Papers-track
R. Matthew EmersonEmerson, R. Matthew United States Committee Member in Program Committee within the ELS-track
Patrick EugsterEugster, Patrick Universita della Svizzera Italiana, Switzerland Comprehensive Multiparty Session Types
F Johan FabryFabry, Johan Raincode Labs, BelgiumBelgium Session Chair of Tool Battle: 1 Infrastructure, 2 Parser Generators! (part of CoCoDo) The Meager Validation of Live Programming A Language-Parametric Toolchain for Mining Idiomatic Code Patterns Committee Member in Organizing Committee within the CoCoDo-track
Mattia FazziniFazzini, Mattia Georgia Institute of TechnologyUnited States Committee Member in Program Committee within the LANGETI-track
Grigory FedyukovichFedyukovich, Grigory Princeton UniversityUnited States Committee Member in Program Committee within the VPT-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Efficient Implementation of Smalltalk Activation Records in Language Implementation Frameworks Towards Polyglot Adapters for the GraalVM Let Them Fail: Towards VM built-in behaviour that falls back to the program
Hugo Sereno FerreiraFerreira, Hugo Sereno FEUP, Universidade do Porto Live Software Development --- Tightening the feedback loops
Filipe Figueiredo CorreiaFigueiredo Correia, Filipe University of PortoPortugal Live Software Development --- Tightening the feedback loops
Fabio FioravantiFioravanti, Fabio University of Chieti-PescaraItaly Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
Christian FlachFlach, Christian Hasso Plattner Institute, University of Potsdam, GermanyGermany PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland IDVE: an Integrated Development and Verification Environment for JavaScript IDVE: an Integrated Development and Verification Environment for JavaScript Static Verification of JavaScript: IDE Support for Debugging Verification Issues
Matthew FlattFlatt, Matthew University of UtahUnited States Program Chair in Organizing Committee for ‹Programming› 2019 Rebooting Racket Program Chair in Program Committee within the ‹Programming› Research Papers-track
Luca FranceschiniFranceschini, Luca DIBRIS, University of Genova, ItalyItaly Student Volunteers Co-Chair in Organizing Committee for ‹Programming› 2019 RML: Runtime monitoring language (short presentation) RML: Runtime monitoring language Student Volunteer Co-Chair in Organizing committee within the ‹Programming› Student Volunteers-track
Lidia FuentesFuentes, Lidia Universidad de Málaga, SpainSpain Committee Member in Steering Committee for ‹Programming› 2019 Committee Member in Program Committee within the PASS-track
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Committee Member in Steering Committee for ‹Programming› 2019 Committee Member in Program Committee within the PX/19-track Committee Member in Organizing Committee within the PX/19-track Committee Member in Program Committee within the ‹Programming› Research Papers-track
Juan Pablo GaleottiGaleotti, Juan Pablo University of Buenos AiresArgentina Committee Member in Program Committee within the LANGETI-track
John P. GallagherGallagher, John P. Roskilde University Polyvariant Program Specialisation with Property-Based Abstraction Committee Member in Program Committee within the VPT-track
Isaac Oscar GarianoGariano, Isaac Oscar Iteratively Composing Statically Verified Traits
Luca GelatiGelati, Luca Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study
Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Hacking program analysis: a systematic approach to code protection
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the ‹Programming› Research Papers-track
Robert GoldmanGoldman, Robert Hierarchical Task Network Planning in Common Lisp
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging Interference
Michael GreenbergGreenberg, Michael Pomona College Committee Member in Program Committee within the ‹Programming› Research Papers-track
Giovanna GuerriniGuerrini, Giovanna Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study
Luca GuglielmoGuglielmo, Luca GUI Testing in Production: Challenges and Opportunities
H David H. LorenzH. Lorenz, David Technion—Israel Institute of Technology Committee Member in Program Committee within the PASS-track
Nicolas HafnerHafner, Nicolas Shirakumo.orgSwitzerland Shader Pipeline and Effect Encapsulation using CLOS
Jurriaan HageHage, Jurriaan Utrecht University, Netherlands Applications of Multi-view Learning Approaches for Software Comprehension
Philipp HallerHaller, Philipp KTH Royal Institute of Technology, SwedenGermany Student Research Competition Co-Chair in Organizing Committee for ‹Programming› 2019 Session Chair of Poster Session (part of ‹Programming› Student Research Competition) Session Chair of Oral Presentation (part of ‹Programming› Student Research Competition) Session Chair of Language Design, Types, and Monads (part of ‹Programming› Research Papers) Co-chair in Organizing Committee within the ‹Programming› Student Research Competition-track Committee Member in Jury within the ‹Programming› Student Research Competition-track Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the ProWeb-track
Geoff HamiltonHamilton, Geoff Committee Member in Program Committee within the VPT-track
Gorel HedinHedin, Gorel Lund UniversitySweden Gluing Internet of Things Together
Görel HedinHedin, Görel Factoring out Glue-code in Systems of IoT devices
Marco HeisigHeisig, Marco Lazy, Parallel Multiple Value Reductions in Common Lisp Committee Member in Program Committee within the ELS-track
Charlotte HerzeelHerzeel, Charlotte Vrije Universiteit Brussel Committee Member in Program Committee within the ELS-track
Robert HirschfeldHirschfeld, Robert Hasso-Plattner-Institut (HPI), GermanyGermany Committee Member in Steering Committee for ‹Programming› 2019 Faster Feedback through Lexical Test Prioritization PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM Efficient Implementation of Smalltalk Activation Records in Language Implementation Frameworks Towards Polyglot Adapters for the GraalVM Let Them Fail: Towards VM built-in behaviour that falls back to the program Babylonian-Style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness Committee Member in Program Committee within the PX/19-track Committee Member in Organizing Committee within the PX/19-track Committee Member in Program Committee within the ‹Programming› Research Papers-track
Tony HoskingHosking, Tony Australian National University / Data61Australia Committee Member in Program Committee within the MoreVMs-track
I Toyomi IshidaIshida, Toyomi Time Series Analysis of Programmer’s EEG for Debug State Classifcation
Yusuke IzawaIzawa, Yusuke Tokyo Institute of TechnologyJapan Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation BacCaml: The Meta-Hybrid Just-In-Time Compiler BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation)
J Slinger JansenJansen, Slinger Utrecht University, Netherlands Applications of Multi-view Learning Approaches for Software Comprehension
Björn JohnssonJohnsson, Björn Lund UniversitySweden Live GUI Development for Service-Based Systems Factoring out Glue-code in Systems of IoT devices
Ján JuhárJuhár, Ján Draw This Object: A Study of Debugging Representations
Eric JulJul, Eric University of OsloNorway Session Chair of ICW Intro (part of ICW) Session Chair of ICW Part I (part of ICW) Session Chair of ICW Part II (part of ICW) Introduction to the Workshop Panel Discussion & Wrap Up Introductory Discussion Committee Member in Organizing Committee within the ICW-track
Eric JulJul, Eric University of Oslo, Norway Program Chair in Program Committee within the ICW-track
Paulius JuodisiusJuodisius, Paulius IT University of Copenhagen, Denmark Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
K Eunsuk KangKang, Eunsuk Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology, JapanJapan Committee Member in Program Committee within the PX/19-track
Stephen KellKell, Stephen University of Kent Committee Member in Program Committee within the PX/19-track Committee Member in Program Committee within the Salon des Refusés-track Committee Member in Program Committee within the ICW-track Committee Member in Program Committee within the ‹Programming› Research Papers-track
Ravi KhadkaKhadka, Ravi Utrecht University, Netherlands Applications of Multi-view Learning Approaches for Software Comprehension
Christoph KirschKirsch, Christoph University of Salzburg Committee Member in Program Committee within the MoreVMs-track
Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the VPT-track
Christian KohlsKohls, Christian TH KölnGermany Committee Member in Organizing Committee within the MiniPLOP-track Committee Member in Organizing Committee within the MiniPLOP-track
Eva KrebsKrebs, Eva PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
Steven KrouseKrouse, Steven Visual Denotative Programming
Patrick KrusenottoKrusenotto, Patrick Deutsche Welle, Germany Committee Member in Program Committee within the ELS-track
L Ralf LaemmelLaemmel, Ralf University of Koblenz-Landau, Germany Semantic Query Integration With Reason
Jason LecerfLecerf, Jason CEA LIST, France SmaCC
Martin LeinbergerLeinberger, Martin University of Koblenz-Landau, Germany Semantic Query Integration With Reason
Maurizio LeottaLeotta, Maurizio DIBRIS, University of Genova, ItalyItaly Poster Co-Chair in Organizing Committee for ‹Programming› 2019 Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study Committee Member in Program Committee within the ProWeb-track Poster Chair in Organizing committee within the ‹Programming› Posters-track
Benjamin LernerLerner, Benjamin Northeastern University, United States Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
Manuel LeuenbergerLeuenberger, Manuel Exploring example-driven migration
Clayton LewisLewis, Clayton University of Colorado Boulder Why Can’t Programming Be Like Sketching? Critique presentation - Computing beyond pencils Committee Member in Program Committee within the Salon des Refusés-track
Mario Linares-VasquezLinares-Vasquez, Mario Universidad de los AndesColombia Committee Member in Organizing Committee within the LANGETI-track
Jens LinckeLincke, Jens Hasso Plattner Institute, University of Potsdam, GermanyGermany Session Chair of Session 1 (part of PX/19) PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM Babylonian-Style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness
Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Committee Member in Program Committee within the ProWeb-track
Alexei LisitsaLisitsa, Alexei University of Liverpool Welcome Closing Committee Member in Organizing Committee within the VPT-track Committee Member in Organizing Committee within the VPT-track Committee Member in Program Committee within the VPT-track
Lun LiuLiu, Lun University of California at Los Angeles, USA Committee Member in Program Committee within the MoreVMs-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Toward a Language Design for Energy Prediction Committee Member in Jury within the ‹Programming› Student Research Competition-track Committee Member in Program Committee within the PASS-track Committee Member in Organizing Committee within the PASS-track
Crista LopesLopes, Crista Committee Member in Steering Committee for ‹Programming› 2019
M Boris MagnussonMagnusson, Boris Lund University, Sweden Live GUI Development for Service-Based Systems Gluing Internet of Things Together Factoring out Glue-code in Systems of IoT devices Committee Member in Program Committee within the ICW-track
Pierre R. MaiMai, Pierre R. PMSF IT Consulting, GermanyGermany Committee Member in Program Committee within the ELS-track
Sam MalekMalek, Sam University of California, IrvineUnited States Committee Member in Program Committee within the LANGETI-track
Mariana MarasoiuMarasoiu, Mariana University of Cambridge What can we learn from systems? Computing beyond pencils Committee Member in Program Committee within the Salon des Refusés-track
Philipp MarekMarek, Philipp Austria Committee Member in Program Committee within the ELS-track
Leonardo MarianiMariani, Leonardo University of Milano BicoccaItaly GUI Testing in Production: Challenges and Opportunities
Stefan MarrMarr, Stefan University of KentUnited Kingdom Workshops Co-Chair in Organizing Committee for ‹Programming› 2019 Session Chair of Tools (part of ‹Programming› Research Papers) Session Chair of VMs and an Ideal World (part of MoreVMs) Session Chair of Just-in-Time Compilation (part of MoreVMs) Welcome Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching Committee Member in Program Committee within the PX/19-track Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Organizing Committee within the MoreVMs-track Committee Member in Workshop Selection within the ‹Programming› Workshops-track
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging Interference Tooling for live big data applications
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, Italy Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Static Program Analysis for String Manipulation Languages
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation A Shell-like Model for General Purpose Programming Programming Experiences with a Live Programming Environment for Data Structures Committee Member in Jury within the ‹Programming› Student Research Competition-track Committee Member in Program Committee within the PX/19-track Committee Member in Organizing Committee within the PX/19-track Committee Member in Program Committee within the PASS-track Committee Member in Organizing Committee within the PASS-track
Toni MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany Student Volunteer Co-Chair in Organizing Committee for ‹Programming› 2019 Faster Feedback through Lexical Test Prioritization Student Volunteer Co-Chair in Organizing committee within the ‹Programming› Student Volunteers-track
Nolwenn MaudetMaudet, Nolwenn Tokyo Design Lab Committee Member in Program Committee within the Salon des Refusés-track
António Menezes LeitãoMenezes Leitão, António Technical University of Lisbon, Portugal Plagiarism Detection for Common Lisp
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium A Language-Parametric Toolchain for Mining Idiomatic Code Patterns
Mira MeziniMezini, Mira TU Darmstadt, GermanyGermany Language Support for Multiple Privacy Enhancing Technologies Comprehensive Multiparty Session Types
Arek MikolajczakMikolajczak, Arek TryLinks: An interactive tutorial system for a cross-tier Web programming language
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Student Research Competition Co-Chair in Organizing Committee for ‹Programming› 2019 Co-chair in Organizing Committee within the ‹Programming› Student Research Competition-track Committee Member in Jury within the ‹Programming› Student Research Competition-track
Jeanine Miller AdkissonMiller Adkisson, Jeanine Tokyo Institute of TechnologyJapan A Shell-like Model for General Purpose Programming Magritte: A modern shell language Magritte: A modern shell language (short presentation)
Heather MillerMiller, Heather Carnegie Mellon University Keynote: We're Building On Hollowed Foundations: Worrying Trends in Open Source and What We Can Do About It
Tim MolderezMolderez, Tim Vrije Universiteit BrusselBelgium A Language-Parametric Toolchain for Mining Idiomatic Code Patterns
Stefan MonnierMonnier, Stefan Université de Montréal The Lisp of the prophet for the One True Editor
Kevin MoranMoran, Kevin College of William & MaryUnited States Committee Member in Program Committee within the LANGETI-track
Florian MyterMyter, Florian Vrije Universiteit Brussel, BelgiumBelgium Distributed Reactive Programming for Reactive Distributed Systems
Jens MönigMönig, Jens SAP SEGermany Committee Member in Program Committee within the PX/19-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Program Committee within the ProWeb-track
Guido MünsterMünster, Guido TH Köln Committee Member in Organizing Committee within the MiniPLOP-track
N Andrei NemytykhNemytykh, Andrei Program Systems Institute of RAS, Russia Welcome Closing Co-chair in Organizing Committee within the VPT-track Committee Member in Program Committee within the VPT-track
Antonina NepeivodaNepeivoda, Antonina Verifying String Replacing Procedures by Supercompilation
Nicolas NeußNeuß, Nicolas Program Chair in Program Committee within the ELS-track Program Chair in Organizing Committee within the ELS-track
Jim NewtonNewton, Jim EPITA / LRDE https://www.lrde.epita.frFrance Finite Automata Theory Based Optimization Implementing Baker’s \| SUBTYPEP Decision Procedure
Fabio NiephausNiephaus, Fabio Hasso Plattner Institute, University of PotsdamGermany Publicity Co-Chair in Organizing Committee for ‹Programming› 2019 PolyJuS: A Squeak/Smalltalk-based Polyglot Notebook System for the GraalVM Efficient Implementation of Smalltalk Activation Records in Language Implementation Frameworks Towards Polyglot Adapters for the GraalVM Let Them Fail: Towards VM built-in behaviour that falls back to the program Committee Member in Program Committee within the MoreVMs-track
Siegfried NijssenNijssen, Siegfried UC Louvain A Language-Parametric Toolchain for Mining Idiomatic Code Patterns
Mattias NordahlNordahl, Mattias Lund UniversitySweden Gluing Internet of Things Together
Midas NouwensNouwens, Midas Aarhus University Committee Member in Program Committee within the Salon des Refusés-track
O Aditya OakOak, Aditya Technische Universität Darmstadt Language Support for Multiple Privacy Enhancing Technologies
Tomoki OgushiOgushi, Tomoki Tokyo Tech Programming Experiences with a Live Programming Environment for Data Structures
Yoshiki OhshimaOhshima, Yoshiki HARC / Y Combinator ResearchJapan Committee Member in Program Committee within the PX/19-track
Akio OkaOka, Akio Tokyo Institute of Technology Programming Experiences with a Live Programming Environment for Data Structures
Dario OlianasOlianas, Dario Automatic test case generation from UML state machine diagrams
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong Kong, Hong KongHong Kong Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality Separating Use and Reuse to Improve Both
Steve OneyOney, Steve University of Michigan Committee Member in Program Committee within the PX/19-track
Guilherme OttoniOttoni, Guilherme Facebook Region-Based Compilation in the HHVM JIT Compiler
P Tobias PapePape, Tobias Hasso Plattner Institute, GermanyGermany Web Technology Chair in Organizing Committee for ‹Programming› 2019 Session Chair of Session 2 (part of PX/19) Efficient Implementation of Smalltalk Activation Records in Language Implementation Frameworks Let Them Fail: Towards VM built-in behaviour that falls back to the program Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness Committee Member in Jury within the ‹Programming› Student Research Competition-track
Cesare PautassoPautasso, Cesare Software Institute, Faculty of Informatics, USI LuganoSwitzerland Committee Member in Program Committee within the ProWeb-track
João Pedro DiasPedro Dias, João INESC TEC, PortoPortugal Live Software Development --- Tightening the feedback loops
Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Committee Member in Program Committee within the PX/19-track
Michael PerscheidPerscheid, Michael SAP Innovation Center PotsdamGermany Committee Member in Program Committee within the PX/19-track
Vincenzo PetitoPetito, Vincenzo Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Critique presentation - Visual Denotative Programming Committee Member in Program Committee within the Salon des Refusés-track
Alberto PettorossiPettorossi, Alberto University of Rome Tor Vergata, Italy Lemma Generation for Horn Clause Satisfiability: A Preliminary Study Committee Member in Program Committee within the VPT-track
Frank PiessensPiessens, Frank KU Leuven Committee Member in Program Committee within the ProWeb-track
Luís PinaPina, Luís George Mason UniversityUnited States Committee Member in Program Committee within the MoreVMs-track
Ian PiumartaPiumarta, Ian Viewpoints Research Institute Committee Member in Program Committee within the PX/19-track
Guillermo PolitoPolito, Guillermo Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de LilleArgentina Out-Of-Place Debugging: a Debugging Architecture to Reduce Debugging Interference
Joe Gibbs PolitzPolitz, Joe Gibbs University of California San Diego, United StatesUnited States Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
Sorawee PorncharoenwasePorncharoenwase, Sorawee Brown University, United States Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
Denys PoshyvanykPoshyvanyk, Denys William and MaryUnited States Committee Member in Program Committee within the LANGETI-track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Iteratively Composing Statically Verified Traits
Maurizio ProiettiProietti, Maurizio CNR-IASIItaly Lemma Generation for Horn Clause Satisfiability: A Preliminary Study Committee Member in Program Committee within the VPT-track
Jakub PrzygodzkiPrzygodzki, Jakub Distributed Software on Mobile Robot
R Stefan RamsonRamson, Stefan Hasso Plattner Institute, Germany Babylonian-Style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness
Raghava Rao MukkamalaRao Mukkamala, Raghava Department of Technology, Kristiania University College, Norway Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Michael RaskinRaskin, Michael Université de Bordeaux / LaBRI Working with First-Order Proofs and Provers
David RauchRauch, David Hasso Plattner Institute, GermanyGermany Babylonian-Style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code
Patrick ReinRein, Patrick Hasso Plattner Institute, GermanyGermany Secretary in Steering Committee for ‹Programming› 2019 Reading logic as code or as natural language text Reading logic as code or as natural language text (short presentation) Babylonian-Style Programming: Design and Implementation of an Integration of Live Examples into General-purpose Source Code Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness
André RestivoRestivo, André LIACC, Universidade do Porto, Porto, PortugalPortugal Live Software Development --- Tightening the feedback loops
Tamara RezkRezk, Tamara InriaFrance Committee Member in Program Committee within the ‹Programming› Research Papers-track
Christophe RhodesRhodes, Christophe Goldsmiths, University of London 20 more years of bootstrapping
Marina RibaudoRibaudo, Marina Civic Participation Powered by Ethereum: a Proposal
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Program Co-Chair in Organizing Committee within the ProWeb-track
François-René RideauRideau, François-René LegiCashUnited States Committee Member in Program Committee within the ELS-track
Oliviero RiganelliRiganelli, Oliviero GUI Testing in Production: Challenges and Opportunities
Manuel RiggerRigger, Manuel ETH ZurichSwitzerland Demo Chair in Organizing Committee for ‹Programming› 2019 Sulong: Executing Low-level Languages on Truffle Committee Member in Jury within the ‹Programming› Student Research Competition-track Demo Chair in Organizing committee within the ‹Programming› Demos-track Committee Member in Program Committee within the ICW-track Committee Member in Program Committee within the MoreVMs-track
Alberto RivaRiva, Alberto University of Florida, USAUnited States Committee Member in Program Committee within the ELS-track
Eduardo RosalesRosales, Eduardo University of Lugano, Switzerland Optimization Coaching for Fork/Join Applications on the Java Virtual Machine
Francesco RossiniRossini, Francesco University of Turin, ItalyItaly Cantor pairing in a reversible programming language Cantor pairing in a reversible programming language (short presentation)
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Optimization Coaching for Fork/Join Applications on the Java Virtual Machine
Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the VPT-track
S Amir SaeidiSaeidi, Amir Utrecht University, Netherlands Applications of Multi-view Learning Approaches for Software Comprehension
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala UniversitySweden Committee Member in Program Committee within the VPT-track
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Publicity Co-Chair in Organizing Committee for ‹Programming› 2019 Committee Member in Steering Committee for ‹Programming› 2019 Session Chair of Language Design and Reactivity (part of ‹Programming› Research Papers) Language Support for Multiple Privacy Enhancing Technologies Developing Distributed Systems with ScalaLoci Committee Member in Program Committee within the PX/19-track Committee Member in Program Committee within the PASS-track
Atrisha SarkarSarkar, Atrisha University of Waterloo, Canada Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Jennifer B. SartorSartor, Jennifer B. Ghent University and Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the MoreVMs-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Distributed Reactive Programming for Reactive Distributed Systems
Christopher SchusterSchuster, Christopher University of California, Santa CruzUnited States IDVE: an Integrated Development and Verification Environment for JavaScript IDVE: an Integrated Development and Verification Environment for JavaScript Static Verification of JavaScript: IDE Support for Debugging Verification Issues
Philipp SeiferSeifer, Philipp University of Koblenz-Landau, Germany Semantic Query Integration With Reason
Manuel SerranoSerrano, Manuel Inria, France Committee Member in Steering Committee for ‹Programming› 2019 Session Chair of Live Programming (part of ‹Programming› Research Papers) Committee Member in Program Committee within the ProWeb-track
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Iteratively Composing Statically Verified Traits Separating Use and Reuse to Improve Both
Peter SestoftSestoft, Peter IT University of CopenhagenDenmark Committee Member in Program Committee within the VPT-track
Nikolay ShilovShilov, Nikolay Innopolis UniversityRussia Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata
Oleks ShturmovShturmov, Oleks University of OsloNorway Session Chair of ELS 2019 Keynote Slot (part of ICW)
Oleks ShturmovShturmov, Oleks University of Oslo ELS 2019 Keynote Slot Interconnecting Code in 2019 — Il buono, il brutto, il cattivo Panel Discussion & Wrap Up Introductory Discussion
Oleks ShturmovShturmov, Oleks University of OsloNorway Co-chair in Organizing Committee within the ICW-track
Oleks ShturmovShturmov, Oleks University of Oslo Program Co-Chair in Program Committee within the ICW-track
Hoang Son PhamSon Pham, Hoang UC Louvain A Language-Parametric Toolchain for Mining Idiomatic Code Patterns
Winnie SoonSoon, Winnie Aarhus UniversityDenmark Committee Member in Program Committee within the Salon des Refusés-track
Steffen StaabStaab, Steffen University of Koblenz-Landau and University of Southampton, Germany Semantic Query Integration With Reason
Lukas StadlerStadler, Lukas Oracle Labs, AustriaAustria VM design in an Ideal World vs. VM design in the Real World
Alessio StallaStalla, Alessio Symbols as Namespaces in Common Lisp Committee Member in Program Committee within the ELS-track
Friedrich SteimannSteimann, Friedrich Fernuniversität Committee Member in Program Committee within the PX/19-track
Andrea StoccoStocco, Andrea Università della Svizzera italiana (USI)Switzerland How Artificial Intelligence Can Improve Web Development and Testing Committee Member in Program Committee within the ProWeb-track
Robert StrandhStrandh, Robert Bootstrapping Common Lisp Using Common Lisp MAKE-METHOD-LAMBDA Revisited
Matúš SulírSulír, Matúš Technical University of KošiceSlovakia Draw This Object: A Study of Debugging Representations
Joshua SunshineSunshine, Joshua Carnegie Mellon University Committee Member in Program Committee within the ‹Programming› Research Papers-track
Mario SüdholtSüdholt, Mario IMT Atlantique, Nantes, France Committee Member in Steering Committee for ‹Programming› 2019 Committee Member in Program Committee within the ProWeb-track
T Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany Committee Member in Program Committee within the PX/19-track
Tucker TaftTaft, Tucker AdaCore, United StatesUnited States ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations
Steven TanimotoTanimoto, Steven University of Washington, SeattleUnited States Committee Member in Program Committee within the PX/19-track
Philip TchernavskijTchernavskij, Philip Ex Situ \| Université Paris-SudFrance Session Chair of Salon des Refusés - Morning session (part of Salon des Refusés) Welcome to Salon des Refusés Critique presentation - Visual Denotative Programming Committee Member in Organizing Committee within the Salon des Refusés-track
Finn TeegenTeegen, Finn University of Kiel, GermanyGermany One Monad to Prove Them All
Peter ThiemannThiemann, Peter University of Freiburg, Germany Committee Member in Steering Committee for ‹Programming› 2019
U Hidetake UwanoUwano, Hidetake National Institute of Technology, Nara College, Japan Time Series Analysis of Programmer’s EEG for Debug State Classifcation Committee Member in Program Committee within the PX/19-track
V Léo ValaisValais, Léo Implementing Baker’s \| SUBTYPEP Decision Procedure
Andrea ValenzaValenza, Andrea Web Security Training [at] UniGe: an Experience
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium Committee Member in Program Committee within the ProWeb-track
Tijs van der Stormvan der Storm, Tijs CWI, NetherlandsNetherlands Language Engineering with Rascal Concrete Syntax with Black Box Parsers
Didier VernaVerna, Didier EPITA / LRDEFrance Finite Automata Theory Based Optimization Implementing Baker’s \| SUBTYPEP Decision Procedure Parallelizing Quickref Quickref: Auto-Documenting the Common Lisp Ecosystem Organizing Chair in Organizing Committee within the ELS-track
Malte VieringViering, Malte TU Darmstadt, Germany Comprehensive Multiparty Session Types
Jurgen VinjuVinju, Jurgen CWI, NetherlandsNetherlands Concrete Syntax with Black Box Parsers
W Alessandro WarthWarth, Alessandro Google Committee Member in Program Committee within the PX/19-track
Pascal WeisenburgerWeisenburger, Pascal Technische Universität DarmstadtGermany Developing Distributed Systems with ScalaLoci Developing Distributed Systems with ScalaLoci
Adam WelcWelc, Adam Uber TechnologiesUnited States Committee Member in Organizing Committee within the MoreVMs-track
Johannes WestlundWestlund, Johannes Tokyo Institute of Technology, Japan / KTH Royal Institute of Technology, Sweden A Shell-like Model for General Purpose Programming
Hernan WilkinsonWilkinson, Hernan 10PinesArgentina VM Support for Live Typing LiveTyping in Action - Automatic Type Annotation for Dynamically Typed Languages
Andy WingoWingo, Andy Igalia, S.L. Committee Member in Program Committee within the MoreVMs-track
Junao WuWu, Junao TryLinks: An interactive tutorial system for a cross-tier Web programming language
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Y Joe YoderYoder, Joe The Refactory, Inc.United States Committee Member in Organizing Committee within the MiniPLOP-track
Z Vadim ZaytsevZaytsev, Vadim Raincode Labs, BelgiumBelgium A Language-Parametric Toolchain for Mining Idiomatic Code Patterns Committee Member in Organizing Committee within the CoCoDo-track
Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States Committee Member in Program Committee within the PASS-track
Weixin ZhangZhang, Weixin The University of Hong Kong, Hong Kong Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Committee Member in Program Committee within the PASS-track Committee Member in Organizing Committee within the PASS-track
Steffen ZschalerZschaler, Steffen King's College LondonGermany Committee Member in Program Committee within the ‹Programming› Research Papers-track
Elena ZuccaZucca, Elena University of Genova Local Organizing Chair in Organizing Committee for ‹Programming› 2019
Å Alfred ÅkessonÅkesson, Alfred Lund University, SwedenSweden Gluing Internet of Things Together
Ó Breanndán Ó NualláinÓ Nualláin, Breanndán University of AmsterdamNetherlands Committee Member in Program Committee within the ELS-track
Ś Adam ŚwiderskiŚwiderski, Adam Distributed Software on Mobile Robot

Results (278)

Tracks

Workshops

Co-hosted Coding Dojos

Co-hosted Symposia