‹Programming› 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (316)

A Ragnhild AalvikAalvik, Ragnhild University of Bergen VisAST: Generic AST Visualizer for Software Language Education
Alireza S. AbyanehAbyaneh, Alireza S. University of Salzburg Selfie: Towards Minimal Symbolic Execution
Shoaib AkramAkram, Shoaib Ghent UniversityBelgium Managing Hybrid Memories by Predicting Object Write Intensity Committee Member in Program Committee within the PASS-track
Davide AnconaAncona, Davide University of GenovaItaly Runtime Verification of Flow-Based Programming for the Internet of Things Committee Member in Program Committee within the ‹Programming› Research Papers-track
Knut Anders StokkeAnders Stokke, Knut University of Bergen, Norway Automating Testing of Programming Assignments
Andreas AndronikakisAndronikakis, Andreas The University of Manchester On the Future of Research VMs: A Hardware/Software Perspective
Anthony AnjorinAnjorin, Anthony Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain Towards a Visual Editor for Lens Combinators On the Development of Consistent User Interfaces Committee Member in Programme Committee within the Bx-track
Nuno AntunesAntunes, Nuno Universidade de Coimbra Committee Member in Program Committee within the LASSY-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of Technology Harmonizing Signals and Events with a Lightweight Extension to Java
Iain ApreoteseiApreotesei, Iain The University of Manchester On the Future of Research VMs: A Hardware/Software Perspective
Uwe AßmannAßmann, Uwe TU Dresden, Germany Committee Member in Organizing Committee within the LASSY-track
Robert AtkeyAtkey, Robert University of Strathclyde Handlers.Js
B Alberto BacchelliBacchelli, Alberto University of ZurichSwitzerland Committee Member in Program Committee within the ‹Programming› Research Papers-track
Anya Helene BaggeBagge, Anya Helene University of BergenNorway VisAST: Generic AST Visualizer for Software Language Education Automating Testing of Programming Assignments Software != Programs - Software Behaviour as an Emergent Property Rascal
Titus BarikBarik, Titus MicrosoftUnited States Committee Member in Program Committee within the PX/18-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Committee Member in Organizing Committee within the MoreVMs-track
Antranig BasmanBasman, Antranig An Anatomy of Interaction: Co-Occurrences and Entanglements Critique - Semprola: A Semiotic Programming Language Committee Member in Programme Committee within the Salon des Refusés-track
Simon BatesBates, Simon An Anatomy of Interaction: Co-Occurrences and Entanglements
Simon BauerBauer, Simon University of Salzburg Selfie: Towards Minimal Symbolic Execution
Pavel BažantBažant, Pavel A Non-Tabular Spreadsheet with Broad Applicability
Michel Beaudouin-LafonBeaudouin-Lafon, Michel An Anatomy of Interaction: Co-Occurrences and Entanglements
Kirstie BellmanBellman, Kirstie Aerospace Corporation Committee Member in Program Committee within the LASSY-track
Alexandre BergelBergel, Alexandre University of ChileChile An API and Visual Environment to use Neural Network To Reason About Source Code
Nataliia BielovaBielova, Nataliia InriaFrance Committee Member in Program Committee within the ProWeb-track
Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Steering Committee for ‹Programming› 2018 Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization
Christoph BockischBockisch, Christoph Philipps-Universität MarburgGermany Discussion & closing Welcome Co-chair in Program Committee within the PASS-track Committee Member in Organizing Committee within the PASS-track
Guillaume BoisseauBoisseau, Guillaume Profunctor Optics and the Yoneda Lemma Understanding Profunctor Optics: a representation theorem
Michel BuffaBuffa, Michel Université Côte d’Azur, CNRS, INRIA Programming virtual musical instruments and audio effects in the Web browser
Javier BurroniBurroni, Javier Committee Member in Programme Committee within the Salon des Refusés-track
Clément BéraBéra, Clément RMOD - INRIA Lille Nord EuropeFrance Committee Member in Program Committee within the MoreVMs-track
C Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Committee Member in Program Committee within the PASS-track Committee Member in Organizing Committee within the LASSY-track
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Program Committee within the LASSY-track
Kerry ChangChang, Kerry IBM Research Committee Member in Program Committee within the PX/18-track
James CheneyCheney, James University of Edinburgh, UKUnited States Committee Member in Jury within the ‹Programming› Student Research Competition-track Language-integrated provenance in Haskell Committee Member in Programme Committee within the Bx-track
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Université de Montréal Committee Member in Program Committee within the MoreVMs-track
Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Organizing Committee within the Programming for the Large-track
Parmit ChilanaChilana, Parmit Simon Fraser University Committee Member in Program Committee within the PX/18-track
Maria ChristakisChristakis, Maria MPI-SWSGermany Committee Member in Program Committee within the ‹Programming› Student Research Competition-track
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the PX/18-track
Luke ChurchChurch, Luke Welcome to Salon des Refusés Critique - Lector in Codigo or The Role of the Reader Committee Member in Programme Committee within the Salon des Refusés-track Organizing Committee in Organizing Committee within the PX/18-track Organizing Committee in Program Committee within the PX/18-track
James ClarksonClarkson, James The University of Manchester Towards Practical Heterogeneous Virtual Machines
Jane Cleland-HuangCleland-Huang, Jane University of Notre DameUnited States Committee Member in Steering Committee for ‹Programming› 2018
Diego ClerissiClerissi, Diego DIBRIS, University of Genova, Italy Runtime Verification of Flow-Based Programming for the Internet of Things
Anthony CleveCleve, Anthony University of Namur Committee Member in Programme Committee within the Bx-track
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the PASS-track
Jon CorbettCorbett, Jon Indigenizing Computer Programming for Cultural Maintenance
Pascal CostanzaCostanza, Pascal imec Committee Member in Program Committee within the Programming for the Large-track
Steven CostiouCostiou, Steven University of Brest Collectors
Alcino CunhaCunha, Alcino University of Minho and INESC TEC, PortugalPortugal Committee Member in Programme Committee within the Bx-track
Krzysztof CzarneckiCzarnecki, Krzysztof University of Waterloo, CanadaCanada Committee Member in Steering Committee for ‹Programming› 2018
D Theo D'HondtD'Hondt, Theo Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for ‹Programming› 2018
Benoit DalozeDaloze, Benoit JKU Linz, AustriaAustria Few Versatile vs. Many Specialized Collections
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications Committee Member in Organizing Committee within the Programming for the Large-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications Committee Member in Organizing Committee within the Programming for the Large-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Jury within the ‹Programming› Student Research Competition-track Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications Committee Member in Organizing Committee within the ProWeb-track
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Delft University of Technology, NetherlandsNetherlands Towards Zero-Overhead Disambiguation of Deep Priority Conflicts
Giorgio DelzannoDelzanno, Giorgio DIBRIS, University of Genova, Italy Runtime Verification of Flow-Based Programming for the Internet of Things
Marcus DenkerDenker, Marcus INRIA Lille Collectors
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js
Zinovy DiskinDiskin, Zinovy McMaster University Committee Member in Programme Committee within the Bx-track
Tobias DistlerDistler, Tobias Friedrich-Alexander-Universität Erlangen-Nürnberg Committee Member in Program Committee within the ProWeb-track
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the MoreVMs-track
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States Committee Member in Program Committee within the Programming for the Large-track
Patrick DubroyDubroy, Patrick Y Combinator Research, USAGermany Committee Member in Programme Committee within the Salon des Refusés-track
Stéphane DucasseDucasse, Stéphane INRIA Lille Scoped Extension Methods in Dynamically-Typed Languages
Laurence DuchienDuchien, Laurence University of LilleFrance Committee Member in Program Committee within the LASSY-track
Adrien DuchêneDuchêne, Adrien Lightweight Data Sharing System based on Bidirectional Transformations
Sara DécovaDécova, Sara Session Types for Tierless Web Applications
E Joe EdelmanEdelman, Joe Germany Social Programming Considered as a Habitat for Groups
Jonathan EdwardsEdwards, Jonathan United States Committee Member in Program Committee within the PX/18-track
Lieven EeckhoutEeckhout, Lieven Ghent University, Belgium Managing Hybrid Memories by Predicting Object Write Intensity
Matthias EichholzEichholz, Matthias Towards Safe Modular Composition of Network Functions
Anna Maria EilertsenEilertsen, Anna Maria University of Bergen, Norway Software != Programs - Software Behaviour as an Emergent Property
Susan EisenbachEisenbach, Susan Imperial College London Committee Member in Program Committee within the ‹Programming› Research Papers-track
Romina EramoEramo, Romina University of L'AquilaItaly Enhancing the JTL Tool for Bidirectional Transformations Committee Member in Programme Committee within the Bx-track
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands PIE: A Domain-Specific Language for Interactive Software Development Pipelines
Erik ErnstErnst, Erik Google Inc.Denmark Committee Member in Steering Committee for ‹Programming› 2018
Patrick EugsterEugster, Patrick Purdue University Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the PASS-track
F Luc FabresseFabresse, Luc Mines Douai Scoped Extension Methods in Dynamically-Typed Languages
Johan FabryFabry, Johan Raincode Labs, BelgiumBelgium How to double embed the general-purpose language of your embedded DSL for expressivity, performance and profit Committee Member in Program Committee within the MoreVMs-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Live Multi-language Development and Runtime Environments
Antonio FilieriFilieri, Antonio Imperial College LondonUnited Kingdom Committee Member in Program Committee within the ‹Programming› Research Papers-track
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Marios FokaefsFokaefs, Marios École Polytechnique de Montréal Committee Member in Program Committee within the LASSY-track
Nikos FoutrisFoutris, Nikos The University of ManchesterUnited Kingdom On the Future of Research VMs: A Hardware/Software Perspective
Simon FowlerFowler, Simon The University of EdinburghUnited Kingdom Session Types for Tierless Web Applications
Luca FranceschiniFranceschini, Luca DIBRIS, University of Genova, ItalyItaly Runtime Verification of Flow-Based Programming for the Internet of Things
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Committee Member in Program Committee within the MoreVMs-track
Lidia FuentesFuentes, Lidia Universidad de Málaga, SpainSpain Committee Member in Steering Committee for ‹Programming› 2018 Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the PASS-track
Juan FumeroFumero, Juan The University of ManchesterUnited Kingdom Towards Practical Heterogeneous Virtual Machines
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Committee Member in Steering Committee for ‹Programming› 2018 Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Programme Committee within the Salon des Refusés-track Organizing Committee in Organizing Committee within the PX/18-track Organizing Committee in Program Committee within the PX/18-track
Alisa GazizullinaGazizullina, Alisa Innopolis University Fully Homomorphic Encryption Scheme for Secure Computation
Sudipto GhoshGhosh, Sudipto Colorado State University, USAUnited States Committee Member in Steering Committee for ‹Programming› 2018
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the ‹Programming› Research Papers-track Session Chair of Mathematical Foundations (part of Bx) Profunctor Optics and the Yoneda Lemma Committee Member in Programme Committee within the Bx-track
Holger GieseGiese, Holger Hasso Plattner Institute, University of PotsdamGermany Committee Member in Programme Committee within the Bx-track
Yossi GilGil, Yossi Technion—Israel Institute of Technology Committee Member in Program Committee within the ‹Programming› Research Papers-track
Boris GlavicGlavic, Boris Illinois Institute of TechnologyUnited States Committee Member in Programme Committee within the Bx-track
Martin GogollaGogolla, Martin Committee Member in Programme Committee within the Bx-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ‹Programming› Research Papers-track
Michael GreefsGreefs, Michael Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js
Michael GreenbergGreenberg, Michael Pomona College Word expansion supports POSIX shell interactivity
Sylvia GreweGrewe, Sylvia TU Darmstadt Publicity Chair in Organizing Committee for ‹Programming› 2018
Matthias GrimmerGrimmer, Matthias Oracle Labs, Austria Introspection for C and its Applications to Library Robustness
Tobias GrosserGrosser, Tobias ETH Zurich Committee Member in Program Committee within the MoreVMs-track
Serge GueltonGuelton, Serge Quarkslab Easy::Jit: Compiler assisted library to enable Just-In-Time compilation in C++ codes
H Jurriaan HageHage, Jurriaan Utrecht University On the Effect of Semantically Enriched Context Models on Software Modularization
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Student Research Competition Chair in Organizing Committee for ‹Programming› 2018 Session Chair of SRC Poster Presentation (part of ‹Programming› Student Research Competition) Student Research Competition Chair in Organizing Committee 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 Programming for the Large-track Committee Member in Program Committee within the ProWeb-track
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Tim HartleyHartley, Tim The University of Manchester On the Future of Research VMs: A Hardware/Software Perspective
Michael HauptHaupt, Michael eBay Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
Jules HedgesHedges, Jules University of Oxford Bimorphic lenses in compositional game theory
Görel HedinHedin, Görel Live Programming of Internet of Things in PalCom
Rolf HennickerHennicker, Rolf Ludwig Maximilians University Munich, Germany Committee Member in Program Committee within the LASSY-track
Ludovic HenrioHenrio, Ludovic INRIA Committee Member in Student Grants Committee for ‹Programming› 2018 SafePlace: Trustable Virtual Machine Scheduling (invited talk)
Felienne HermansHermans, Felienne Committee Member in Program Committee within the ‹Programming› Research Papers-track
Soichiro HidakaHidaka, Soichiro Hosei UniversityJapan Committee Member in Programme Committee within the Bx-track
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Handlers.Js
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Steering Committee Chair in Steering Committee for ‹Programming› 2018 Live Multi-language Development and Runtime Environments Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the LASSY-track The Exploration Workspace: Interleaving the Implementation and Usage of Plain Objects Do Java Programmers Write Better Python? – Studying Off-Language Code Quality on GitHub Organizing Committee in Organizing Committee within the PX/18-track Organizing Committee in Program Committee within the PX/18-track
Siegfried HorschigHorschig, Siegfried Do Java Programmers Write Better Python? – Studying Off-Language Code Quality on GitHub
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan Lightweight Data Sharing System based on Bidirectional Transformations An Axiomatic Basis for Bidirectional Programming Committee Member in Programme Committee within the Bx-track Committee Member in Program Committee within the LASSY-track
Christian HumerHumer, Christian Oracle Labs, SwitzerlandSwitzerland Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
Christian HäublHäubl, Christian Oracle Labs Sulong, and Thanks for All the Fish
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the ‹Programming› Research Papers-track
J Slinger JansenJansen, Slinger On the Effect of Semantically Enriched Context Models on Software Modularization
Vasu JindalJindal, Vasu University of Texas at Dallas Towards an Intelligent Fault Prediction Code Editor to Improve Software Quality using Deep Learning
Michael JohnsonJohnson, Michael Macquarie University, Australia Confidentiality in the process of (model-driven) software development Cospans and Symmetric Lenses Committee Member in Programme Committee within the Bx-track
Jaakko JärviJärvi, Jaakko University of BergenNorway VisAST: Generic AST Visualizer for Software Language Education
K Hermann KaindlKaindl, Hermann On the Development of Consistent User Interfaces
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Harmonizing Signals and Events with a Lightweight Extension to Java Committee Member in Program Committee within the LASSY-track
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology, JapanJapan Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the PX/18-track
Stephen KellKell, Stephen University of Cambridge Critique (2) - Files as Directories: Some Thoughts on Accessing Structured Data Within Files Committee Member in Programme Committee within the Salon des Refusés-track The inevitable death of VMs: a progress report
Mickael KerboeufKerboeuf, Mickael University of Brest Collectors
Ravi KhadkaKhadka, Ravi Universiteit Utrecht On the Effect of Semantically Enriched Context Models on Software Modularization
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods
Jörg KienzleKienzle, Jörg McGill University, CanadaCanada Committee Member in Steering Committee for ‹Programming› 2018 Committee Member in Program Committee within the ‹Programming› Research Papers-track
Byoungoh KimKim, Byoungoh A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
Chul-Joo KimKim, Chul-Joo A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
Ekkart KindlerKindler, Ekkart Technical University of DenmarkDenmark Committee Member in Programme Committee within the Bx-track
Christoph KirschKirsch, Christoph University of SalzburgAustria Selfie: Towards Minimal Symbolic Execution
Annabelle KlarlKlarl, Annabelle Ludwig-Maximilians-Universität MünchenGermany Committee Member in Program Committee within the LASSY-track
Jari KleimolaKleimola, Jari Aalto University Programming virtual musical instruments and audio effects in the Web browser
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ National Institute of Informatics, JapanTaiwan An Axiomatic Basis for Bidirectional Programming Towards a Visual Editor for Lens Combinators
Gabriël KonatKonat, Gabriël Delft University of TechnologyNetherlands PIE: A Domain-Specific Language for Interactive Software Development Pipelines
Sandra KostovaKostova, Sandra Slovak University of Technology in Bratislava, Slovakia Applying Aspect-Oriented Change Realization in the Mobile Application Domain
Christos KotselidisKotselidis, Christos The University of ManchesterUnited Kingdom Towards Practical Heterogeneous Virtual Machines On the Future of Research VMs: A Hardware/Software Perspective
Jacob KreindlKreindl, Jacob Johannes Kepler University LinzAustria Sulong, and Thanks for All the Fish
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA The Recurring Rainfall Problem
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Committee Member in Program Committee within the ‹Programming› Research Papers-track
Harald KönigKönig, Harald Multimodel Correspondence through Inter-Model Constraints
Thomas KühnKühn, Thomas Technische Universität DresdenGermany Committee Member in Organizing Committee within the LASSY-track
L Ralf LaemmelLaemmel, Ralf University of Koblenz-Landau, Germany Committee Member in Program Committee within the ‹Programming› Research Papers-track
Yngve LamoLamo, Yngve Multimodel Correspondence through Inter-Model Constraints
Oliver LarkinLarkin, Oliver University of York, UK Programming virtual musical instruments and audio effects in the Web browser
Marius LauderLauder, Marius Continental Automotive GmbH, Germany, GermanyGermany Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Committee Member in Steering Committee for ‹Programming› 2018
Erhan LeblebiciLeblebici, Erhan TU Darmstadt Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain Committee Member in Programme Committee within the Bx-track
Jérôme LebrunLebrun, Jérôme Université Côte d’Azur, CNRS, INRIA Programming virtual musical instruments and audio effects in the Web browser
Yoonkyong LeeLee, Yoonkyong A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
Maurizio LeottaLeotta, Maurizio DIBRIS, University of Genova, Italy Runtime Verification of Flow-Based Programming for the Internet of Things
Håkon Heggernes LerringLerring, Håkon Heggernes University of Bergen, Norway Automating Testing of Programming Assignments
Stéphane LetzLetz, Stéphane Programming virtual musical instruments and audio effects in the Web browser
Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Handlers.Js Session Types for Tierless Web Applications Committee Member in Program Committee within the ProWeb-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the ‹Programming› Student Research Competition-track Committee Member in Jury within the ‹Programming› Student Research Competition-track Discussion & closing Welcome Co-chair 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› 2018
David H. LorenzLorenz, David H. Open University and Technion IIT Committee Member in Steering Committee for ‹Programming› 2018
Etienne LozesLozes, Etienne Université de Nice Sophia-Antipolis, FranceFrance Student Grants Committee Chair in Student Grants Committee for ‹Programming› 2018 Student Grants Committee Chair in Organizing Committee for ‹Programming› 2018
Mikel LujánLuján, Mikel University of Manchester On the Future of Research VMs: A Hardware/Software Perspective
M Boris MagnussonMagnusson, Boris Lund University, Sweden Live Programming of Internet of Things in PalCom
Mariana MarasoiuMarasoiu, Mariana University of Cambridge Committee Member in Programme Committee within the Salon des Refusés-track
Hugues MarchalMarchal, Hugues Lightweight Data Sharing System based on Bidirectional Transformations
Stefan MarrMarr, Stefan University of KentUnited Kingdom Workshops Co-Chair in Organizing Committee for ‹Programming› 2018 Committee Member in Workshop Selection Committee within the ‹Programming› Workshops-track Committee Member in Organizing Committee within the MoreVMs-track Few Versatile vs. Many Specialized Collections Committee Member in Program Committee within the PX/18-track
Matteo MarraMarra, Matteo Vrije Universiteit Brussel Debugging Support for Big Data Processing Applications
Michaela MaršálkováMaršálková, Michaela A Non-Tabular Spreadsheet with Broad Applicability
Juan Manuel Martinez CaamañoMartinez Caamaño, Juan Manuel Quarkslab Easy::Jit: Compiler assisted library to enable Just-In-Time compilation in C++ codes
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Steering Committee for ‹Programming› 2018 Committee Member in Jury within the ‹Programming› Student Research Competition-track Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods Committee Member in Program Committee within the ‹Programming› Research Papers-track Discussion & closing Welcome Co-chair in Program Committee within the PASS-track Committee Member in Organizing Committee within the PASS-track Organizing Committee in Organizing Committee within the PX/18-track Organizing Committee in Program Committee within the PX/18-track
Nicholas MatsakisMatsakis, Nicholas Mozilla Corporation Committee Member in Program Committee within the MoreVMs-track
Kazutaka MatsudaMatsuda, Kazutaka Tohoku UniversityJapan Session Chair of Programming and Applications (part of Bx) Co-chair in Programme Committee within the Bx-track Committee Member in Organizing Committee within the Bx-track
Toni MattisMattis, Toni Hasso Plattner Institute Mining Concepts from Code using Community Detection Do Java Programmers Write Better Python? – Studying Off-Language Code Quality on GitHub
John MawerMawer, John The University of Manchester On the Future of Research VMs: A Hardware/Software Perspective
Philipp MayerMayer, Philipp University of Salzburg Selfie: Towards Minimal Symbolic Execution
Rene MayrhoferMayrhofer, Rene Johannes Kepler University Linz Introspection for C and its Applications to Library Robustness
Kathryn S McKinleyMcKinley, Kathryn S Google Managing Hybrid Memories by Predicting Object Write Intensity
Paulin MelatagiaMelatagia, Paulin Université de Yaoundé An API and Visual Environment to use Neural Network To Reason About Source Code
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Committee Member in Organizing Committee within the LASSY-track
Mira MeziniMezini, Mira TU DarmstadtGermany Committee Member in Program Committee within the ‹Programming› Research Papers-track Towards Safe Modular Composition of Network Functions Reactive Programming Experience with REScala
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Committee Member in Program Committee within the ‹Programming› Student Research Competition-track
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Fault-tolerant Reactive Programming Reactive Programming Experience with REScala
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Session Types for Tierless Web Applications
Peter D. MossesMosses, Peter D. Swansea UniversityUnited Kingdom FunCons
Emerson Murphy-HillMurphy-Hill, Emerson North Carolina State University Committee Member in Program Committee within the ‹Programming› Research Papers-track
Christian MöslMösl, Christian University of Salzburg Selfie: Towards Minimal Symbolic Execution
Hanspeter MössenböckMössenböck, Hanspeter JKU Linz, AustriaAustria Introspection for C and its Applications to Library Robustness Sulong, and Thanks for All the Fish
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Program Committee within the ProWeb-track
N Minh NgoNgo, Minh INRIAFrance Student Volunteers Chair in Organizing Committee for ‹Programming› 2018
Fabio NiephausNiephaus, Fabio Hasso Plattner Institute, University of PotsdamGermany Publicity Co-Chair in Organizing Committee for ‹Programming› 2018 Live Multi-language Development and Runtime Environments
Andrew NisbetNisbet, Andrew The University of Manchester On the Future of Research VMs: A Hardware/Software Perspective
James NobleNoble, James Victoria University of Wellington Committee Member in Programme Committee within the Salon des Refusés-track
David NolenNolen, David Cognitec Committee Member in Programme Committee within the Salon des Refusés-track
Mattias NordahlNordahl, Mattias Lund University, Sweden Live Programming of Internet of Things in PalCom
O Yoshiki OhshimaOhshima, Yoshiki HARC / Y Combinator ResearchJapan Committee Member in Program Committee within the PX/18-track
Dario OlianasOlianas, Dario DIBRIS, University of Genova, Italy Runtime Verification of Flow-Based Programming for the Internet of Things
Steve OneyOney, Steve University of Michigan Attention Patterns for Code Animations: Using Eye Trackers to Evaluate Dynamic Code Presentation Techniques Committee Member in Program Committee within the PX/18-track
Jesper OqvistOqvist, Jesper Lund University The Extensible Compiler Architecture of ExtendJ JastAdd
Fernando OrejasOrejas, Fernando Universitat Politècnica de Catalunya, Spain Committee Member in Programme Committee within the Bx-track
P Hugo PachecoPacheco, Hugo University of Minho, PortugalPortugal Committee Member in Programme Committee within the Bx-track
Luca PadovaniPadovani, Luca University of Turin, ItalyItaly Committee Member in Jury within the ‹Programming› Student Research Competition-track Deadlock-Free Typestate-Oriented Programming
Richard PaigePaige, Richard University of YorkCanada Committee Member in Programme Committee within the Bx-track
Maulishree PandeyPandey, Maulishree University of Michigan Attention Patterns for Code Animations: Using Eye Trackers to Evaluate Dynamic Code Presentation Techniques
Orion PapadakisPapadakis, Orion The University of Manchester On the Future of Research VMs: A Hardware/Software Perspective
Michalis PapadimitriouPapadimitriou, Michalis The University of Manchester Towards Practical Heterogeneous Virtual Machines
Tobias PapePape, Tobias HPI, GermanyGermany Demos Chair in Organizing Committee for ‹Programming› 2018 Web Technology Chair in Organizing Committee for ‹Programming› 2018 Live Multi-language Development and Runtime Environments
Jihyeok ParkPark, Jihyeok KAIST, South KoreaSouth Korea A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
Joonyoung ParkPark, Joonyoung A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
Roly PereraPerera, Roly University of Edinburgh, UK / University of Glasgow, UKUnited Kingdom Committee Member in Program Committee within the PX/18-track
Michael PerscheidPerscheid, Michael SAP Innovation Center PotsdamGermany Committee Member in Program Committee within the PX/18-track
Tomas PetricekPetricek, Tomas Alan Turing InstituteUnited Kingdom What we talk about when we talk about monads Welcome to Salon des Refusés Critique - An Anatomy of Interaction: Co-Occurrences and Entanglements Committee Member in Programme Committee within the Salon des Refusés-track
Laure PhilipsPhilips, Laure Software Languages Lab Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications
Alfonso PierantonioPierantonio, Alfonso Enhancing the JTL Tool for Bidirectional Transformations
Frank PiessensPiessens, Frank KU Leuven Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js Committee Member in Program Committee within the ProWeb-track
Alain PlantecPlantec, Alain University of Occidental Brittary, France Collectors
Guillermo PolitoPolito, Guillermo CNRSArgentina Scoped Extension Methods in Dynamically-Typed Languages
Clément PonceletPoncelet, Clément University of Salzburg Selfie: Towards Minimal Symbolic Execution
Roman PoppPopp, Roman TU Wien, Vienna, AustriaAustria On the Development of Consistent User Interfaces
Michael PradelPradel, Michael TU Darmstadt Committee Member in Program Committee within the ProWeb-track
R Patrick ReinRein, Patrick Hasso Plattner Institute A Soup of Objects: Convenience Interfaces for Accessing Domain Objects in a Global Object Graph The Exploration Workspace: Interleaving the Implementation and Usage of Plain Objects
Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands Committee Member in Programme Committee within the Bx-track
Bob ReyndersReynders, Bob imec-DistriNet, KU Leuven, BelgiumBelgium Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js
Tamara RezkRezk, Tamara InriaFrance Local Organizing Chair in Organizing Committee for ‹Programming› 2018 Committee Member in Jury within the ‹Programming› Student Research Competition-track
Marina RibaudoRibaudo, Marina DIBRIS, University of Genova, Italy Runtime Verification of Flow-Based Programming for the Internet of Things
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Runtime Verification of Flow-Based Programming for the Internet of Things
Manuel RiggerRigger, Manuel Johannes Kepler University LinzAustria Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine Introspection for C and its Applications to Library Robustness Sulong, and Thanks for All the Fish
Armin RigoRigo, Armin PyPy.org, SwitzerlandSwitzerland Committee Member in Program Committee within the MoreVMs-track
Eduardo RosalesRosales, Eduardo University of Lugano, Switzerland Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization
Robert RosebrughRosebrugh, Robert Cospans and Symmetric Lenses
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization
Yves RoudierRoudier, Yves Université de Nice Sophia-Antipolis, France Poster Chair in Organizing Committee for ‹Programming› 2018 Committee Member in Jury within the ‹Programming› Student Research Competition-track
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina Committee Member in Program Committee within the ProWeb-track
Adrian RutleRutle, Adrian Multimodel Correspondence through Inter-Model Constraints
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
S Amir SaeidiSaeidi, Amir Universiteit Utrecht On the Effect of Semantically Enriched Context Models on Software Modularization
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Committee Member in Steering Committee for ‹Programming› 2018 Program Chair in Organizing Committee for ‹Programming› 2018 Conference Opening Program Chair in Program Committee within the ‹Programming› Research Papers-track Towards Safe Modular Composition of Network Functions Reactive Programming Experience with REScala Committee Member in Program Committee within the PX/18-track
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit BrusselBelgium Workshops Co-Chair in Organizing Committee for ‹Programming› 2018 Committee Member in Workshop Selection Committee within the ‹Programming› Workshops-track Managing Hybrid Memories by Predicting Object Write Intensity
Yukinori SatoSato, Yukinori Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the Programming for the Large-track
Jack SchaedlerSchaedler, Jack Committee Member in Programme Committee within the Salon des Refusés-track
Roland SchatzSchatz, Roland Johannes Kepler University Linz Introspection for C and its Applications to Library Robustness Sulong, and Thanks for All the Fish
Filippo SchiavioSchiavio, Filippo Università della Svizzera italiana Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization
Alan SchmittSchmitt, Alan Inria Committee Member in Program Committee within the ProWeb-track
Pierre Yves SchobbensSchobbens, Pierre Yves University of NamurBelgium Lightweight Data Sharing System based on Bidirectional Transformations
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Committee Member in Program Committee within the ProWeb-track
Franklin SchransSchrans, Franklin Imperial College London Writing Safe Smart Contracts in Flint
Andy SchürrSchürr, Andy TU Darmstadt Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain Committee Member in Programme Committee within the Bx-track
Chris SeatonSeaton, Chris Oracle LabsUnited Kingdom Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
Sara SeidlSeidl, Sara University of Salzburg Selfie: Towards Minimal Symbolic Execution
Manuel SerranoSerrano, Manuel Inria, France General Chair in Steering Committee for ‹Programming› 2018 General Chair in Organizing Committee for ‹Programming› 2018 Conference Opening Hop.js: JavaScript Multitier Programming Committee Member in Program Committee within the ProWeb-track
Oli SharpeSharpe, Oli United Kingdom Semprola: A Semiotic Programming Language
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeUnited Kingdom Handlers.Js
Daniel SlocombeSlocombe, Daniel Imperial College London, UK Soundness and Completeness for Object Garbage Collection in the Pony Language
Ana SokolovaSokolova, Ana University of Salzburg Selfie: Towards Minimal Symbolic Execution
Louis SpinelliSpinelli, Louis University of Washington, USA Attention Patterns for Code Animations: Using Eye Trackers to Evaluate Dynamic Code Presentation Techniques
Thomas SpringerSpringer, Thomas Committee Member in Program Committee within the LASSY-track
Friedrich SteimannSteimann, Friedrich Fernuniversität The Game of Programmer vs. IDE ACID for Programmers! The Fun of Being Wrong, or: The Game of Programmer vs. IDE Committee Member in Program Committee within the PX/18-track
Michael J. SteindorferSteindorfer, Michael J. Delft University of Technology Towards Zero-Overhead Disambiguation of Deep Priority Conflicts PIE: A Domain-Specific Language for Interactive Software Development Pipelines
Maoni StephensStephens, Maoni United States Committee Member in Program Committee within the MoreVMs-track
Perdita StevensStevens, Perdita University of EdinburghUnited Kingdom Session Chair of Tools and Systems (part of Bx) Towards sound, flexible and optimal build for megamodels Confidentiality in the process of (model-driven) software development Committee Member in Programme Committee within the Bx-track
Serge StinckwichStinckwich, Serge UPMC & INRIA An API and Visual Environment to use Neural Network To Reason About Source Code
Jan StolarekStolarek, Jan University of Edinburgh, UKPoland Language-integrated provenance in Haskell
Patrick StünkelStünkel, Patrick Multimodel Correspondence through Inter-Model Constraints
Adilla SusungiSusungi, Adilla MINES ParisTech, France On the Semantics of Loop Transformation Languages
Mario SüdholtSüdholt, Mario IMT Atlantique, Nantes, France Committee Member in Steering Committee for ‹Programming› 2018 Committee Member in Program Committee within the ‹Programming› Research Papers-track Committee Member in Program Committee within the ProWeb-track
T Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany Live Multi-language Development and Runtime Environments Committee Member in Program Committee within the PX/18-track
Steven TanimotoTanimoto, Steven University of Washington, SeattleUnited States Committee Member in Program Committee within the PX/18-track
Philip TchernavskijTchernavskij, Philip Ex Situ \| Université Paris-SudFrance An Anatomy of Interaction: Co-Occurrences and Entanglements Critique (1) - Files as Directories: Some Thoughts on Accessing Structured Data Within Files Committee Member in Programme Committee within the Salon des Refusés-track
Camille TeruelTeruel, Camille INRIA Scoped Extension Methods in Dynamically-Typed Languages
James TerwilligerTerwilliger, James Committee Member in Programme Committee within the Bx-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany Committee Member in Steering Committee for ‹Programming› 2018 Committee Member in Program Committee within the ProWeb-track
Gaël ThomasThomas, Gaël Telecom SudParisFrance Committee Member in Program Committee within the MoreVMs-track
Ben L. TitzerTitzer, Ben L. GoogleGermany Committee Member in Program Committee within the MoreVMs-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Committee Member in Program Committee within the ‹Programming› Research Papers-track
Michele TucciTucci, Michele Enhancing the JTL Tool for Bidirectional Transformations
V Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium Committee Member in Organizing Committee within the ProWeb-track
Michael Van De VanterVan De Vanter, Michael Oracle LabsUnited States Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
Tijs van der Stormvan der Storm, Tijs Centrum Wiskunde & Informatica / University of GroningenNetherlands Committee Member in Program Committee within the ‹Programming› Research Papers-track
Marko van Eekelenvan Eekelen, Marko Open University of the Netherlands Detecting energy bugs and hotspots in control software using model checking
Bernard van Gastelvan Gastel, Bernard Open University of the Netherlands, The Netherlands Detecting energy bugs and hotspots in control software using model checking
Pascal van Gastelvan Gastel, Pascal Avans University of Applied Sciences Detecting energy bugs and hotspots in control software using model checking
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal Committee Member in Program Committee within the Programming for the Large-track
Didier VernaVerna, Didier EPITA / LRDEFrance Lisp, Jazz, Aikido – Three Expressions of a Single Essence
Alvaro VidelaVidela, Alvaro Lector in Codigo or The Role of the Reader
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Committee Member in Steering Committee for ‹Programming› 2018 Towards Zero-Overhead Disambiguation of Deep Priority Conflicts PIE: A Domain-Specific Language for Interactive Software Development Pipelines Committee Member in Program Committee within the ‹Programming› Research Papers-track
Janis VoigtländerVoigtländer, Janis University of Duisburg-Essen Committee Member in Programme Committee within the Bx-track
Valentino VranićVranić, Valentino Slovak University of Technology in BratislavaSlovakia Applying Aspect-Oriented Change Realization in the Mobile Application Domain
Markus VölterVölter, Markus itemis/independent Committee Member in Program Committee within the PX/18-track
W Meng WangWang, Meng University of BristolUnited Kingdom Committee Member in Programme Committee within the Bx-track
Jens WeberWeber, Jens University of Victoria Session Chair of Model Transformation (part of Bx) Co-chair in Programme Committee within the Bx-track Committee Member in Organizing Committee within the Bx-track
Pascal WeisenburgerWeisenburger, Pascal Technische Universität DarmstadtGermany Distributed Reactive Applications with ScalaLoci
Adam WelcWelc, Adam Uber TechnologiesUnited States Committee Member in Organizing Committee within the MoreVMs-track
Bernhard WestfechtelWestfechtel, Bernhard University of Bayreuth Committee Member in Programme Committee within the Bx-track
Manuel WidmoserWidmoser, Manuel University of Salzburg Selfie: Towards Minimal Symbolic Execution
Raphael WimmerWimmer, Raphael University of RegensburgGermany Files as Directories: Some Thoughts on Accessing Structured Data Within Files
Andy WingoWingo, Andy Igalia, S.L. Self-hosted scripting in Guile
Allen Wirfs-BrockWirfs-Brock, Allen Wirfs-Brock AssociatesUnited States Committee Member in Program Committee within the PX/18-track
Martin WitteWitte, Martin Siemens AG, Germany Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain
Erik WitternWittern, Erik Committee Member in Program Committee within the ProWeb-track
Mario WolczkoWolczko, Mario Oracle LabsUnited States Committee Member in Program Committee within the MoreVMs-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Committee Member in Program Committee within the Programming for the Large-track
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
X Maria XekalakiXekalaki, Maria The University of Manchester Towards Practical Heterogeneous Virtual Machines
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK Handlers.Js
Enes YigitbasYigitbas, Enes University of Paderborn, GermanyGermany Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain On the Development of Consistent User Interfaces
Z Foivos S. ZakkakZakkak, Foivos S. On the Future of Research VMs: A Hardware/Software Perspective
Vadim ZaytsevZaytsev, Vadim Raincode Labs, BelgiumBelgium CoCoDo opening and introductions 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
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Discussion & closing Welcome Co-chair in Program Committee within the PASS-track Committee Member in Organizing Committee within the PASS-track
Ezra ZigmondZigmond, Ezra Harvard University Fine-grained, Dynamic Access Control for Database-backed Applications
Steffen ZschalerZschaler, Steffen King's College LondonGermany Committee Member in Steering Committee for ‹Programming› 2018
Å Alfred ÅkessonÅkesson, Alfred Lund University, SwedenSweden DSL for End-user Service Composition Live Programming of Internet of Things in PalCom

Results (316)

Tracks

Workshops

Co-hosted Coding Dojos