ECOOP and ISSTA 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (667)

Mithun P. Acharya ABB Corporate Research Committee Member in Program Committee within the TAV-CPS/IoT-track
Wasif Afzal Mälardalen University Author of Automated Test Mapping and Coverage for Network Topologies within the ISSTA Technical Papers-track in ISSTA 2018
Gul Agha University of Illinois at Urbana-Champaign, USA Author of Targeted Test Generation for Actor Systems within the ECOOP Research Papers-track in ECOOP 2018 Author of Targeted Test Generation for Actor Systems within the Posters-track in ECOOP and ISSTA 2018
Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto Argentina Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Amal Ahmed Northeastern University United States Speaker of Compiler Verification for a Multi-Language World within the Summer School-track in ECOOP and ISSTA 2018 Speaker in Speakers within the ECOOP and ISSTA Summer School-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Pekka Aho Open University of the Netherlands Netherlands Author of Keynote: Alégroth, Amalfitano, Vos, and Aho within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Co-chair in Organizing Committee within the INTUITESTBEDS-track
Wolfgang Ahrendt Chalmers University of Technology Sweden Keynote Speaker of Who is to Blame? - Runtime Verification of Distributed Objects with Active Monitors within the VORTEX-track in VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
Manish Ahuja Accenture Labs Author of Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing within the ISSTA Technical Papers-track in ISSTA 2018
Jesse Alama Vicampo Author of Your inner compiler engineer wants out! within the Curry On Talks-track in CurryOn 2018
Abdulmajeed Alameer University of Southern California, USA Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Mansour Alharthi Author of On the Effectiveness of Kernel Debloating via Compile-time Configuration within the SALAD-track in SALAD 2018
Saba Alimadadi Northeastern University Session Chair of Tool Demos (part of ISSTA Tool Demonstrations) Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Amin Alipour University of Houston United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Karim Ali University of Alberta Canada Web Chair in Organizing Committee for ECOOP and ISSTA 2018 Web Chair in Organizing Committee for ISSTA 2018 Web Chair in Organizing Committee for ECOOP 2018 Session Chair of Static Analysis (part of ISSTA Technical Papers) Session Chair of Static Analysis (part of ECOOP Research Papers) Author of Opening Remarks within the BenchWork-track in BenchWork 2018 Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track in ECOOP 2018 Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ISSTA Technical Papers-track Co-chair in Organizing Committee within the BenchWork-track
Shaukat Ali Simula Research Lab Committee Member in Program Committee within the TAV-CPS/IoT-track
Miltiadis Allamanis Microsoft Research, Cambridge United Kingdom Committee Member in Program Committee within the ML4PL-track
Kevin Allix University of Luxembourg Author of AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App Collection within the BenchWork-track in BenchWork 2018
Mohammad M. Almasi University of Manitoba Author of Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications within the ISSTA Technical Papers-track in ISSTA 2018
Anil Altinay Author of BinRec: Attack Surface Reduction Through Dynamic Binary Recovery within the SALAD-track in SALAD 2018
Emil Alégroth Blekinge Institute of Technology Author of Keynote: Alégroth, Amalfitano, Vos, and Aho within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Author of Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Committee Member in Program Committee within the INTUITESTBEDS-track
Domenico Amalfitano University of Naples Federico II Author of Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Author of Keynote: Alégroth, Amalfitano, Vos, and Aho within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Committee Member in Program Committee within the INTUITESTBEDS-track
Nada Amin University of Cambridge United Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ICOOOLPS-track
Davide Ancona University of Genova Italy Session Chair of Session 1 (part of VORTEX) Author of A Formalism for Specification of Java API Interfaces within the FTfJP-track in FTfJP 2018 Presenter of Test of Time Award within the ECOOP Keynotes-track in ECOOP 2018 Author of Modeling infinite behaviour by corules within the ECOOP Research Papers-track in ECOOP 2018 Author of Modelling infinite behaviour by corules within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Academic Panel within the ECOOP and ISSTA Doc Symposium-track Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Gabriele Anderst-Kotsis Johannes Kepler University, Linz, Austria Author of Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview within the SOAP-track in SOAP 2018 Author of Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview within the Posters-track in ECOOP and ISSTA 2018
Anastasios Antoniadis University of Athens, Greece Greece Author of Two-phase Analysis for Precision and Scalability within the Doc Symposium-track in ECOOP and ISSTA 2018
Tomoyuki Aotani Tokyo Institute of Technology Japan Author of A Context-Oriented Programming Approach to Dependency Hell within the COP-track in COP 2018 Author of ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions within the ECOOP Research Papers-track in ECOOP 2018 Committee Member in Program Committee within the COP-track
Andrea Arcuri Westerdals Oslo ACT, and University of Luxembourg Committee Member in Program Committee within the ISSTA Technical Papers-track
Luca Ardito Author of Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices within the INTUITESTBEDS-track in INTUITESTBEDS 2018
Michael Arntzenius University of Birmingham, UK Author of DB ⋈ FP = Datafun: a new functional query language within the Curry On Talks-track in CurryOn 2018
Cyrille Artho KTH Royal Institute of Technology, Sweden Committee Member in Program Committee within the VORTEX-track
Mohammadreza Ashouri University of Potsdam, Germany Author of A Comprehensive Approach for Battling Browser Fingerprinting Based on Machine Learning within the Doc Symposium-track in ECOOP and ISSTA 2018
Elias Athanasopoulos University of Cyprus Cyprus Committee Member in Program Committee within the WoSSCA-track
Giorgio Audrito Università di Torino Italy Author of On Distributed runtime verification by aggregate computing within the VORTEX-track in VORTEX 2018
Faraz Babar American Express Author of Using APIs and micro-services as the glue between observed and derived facts within the Curry On Talks-track in CurryOn 2018
Hamid Bagheri University of Nebraska-Lincoln, USA Tool Demos Co-Chair in Organizing Committee for ISSTA 2018 Author of Best Tool Demonstration Award within the ISSTA Keynotes-track in ISSTA 2018 Tool Demos Co-Chair in Program Committee within the ISSTA Tool Demonstrations-track
Mauro Baluda Avaloq Evolution AG Switzerland Committee Member in Program Committee within the ISSTA Technical Papers-track
Saam Barati Apple United States Author of Benchmarking WebKit within the BenchWork-track in BenchWork 2018 Speaker in Attendees within the WoSSCA-track
Edd Barrett King's College London United Kingdom Author of In Search of Accurate Benchmarking within the BenchWork-track in BenchWork 2018 Author of Why VM Benchmarking is Probably Misleading you within the Curry On Talks-track in CurryOn 2018
Earl Barr University College London United Kingdom Author of Making Data-Driven Porting Decisions with Tuscan within the ISSTA Technical Papers-track in ISSTA 2018 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Earl T. Barr Author of Making Data-Driven Porting Decisions with Tuscan within the Posters-track in ECOOP and ISSTA 2018
Alexandre Bartel Technical University Darmstadt Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Ezio Bartocci Technische Universität Wien Committee Member in Program Committee within the VORTEX-track
Blake Bassett University of Illinois at Urbana-Champaign, USA Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the ECOOP Research Papers-track in ECOOP 2018 Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the Posters-track in ECOOP and ISSTA 2018
Lars Baumgärtner Philipps-Universität Marburg Author of Fault-tolerant Distributed Reactive Programming within the ECOOP Research Papers-track in ECOOP 2018 Author of Fault-tolerant Distributed Reactive Programming within the Posters-track in ECOOP and ISSTA 2018
Farnaz Behrang Georgia Institute of Technology Author of Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments within the ISSTA Technical Papers-track in ISSTA 2018
Simon Belak Metabase Author of Transducing for fun and profit within the Curry On Talks-track in CurryOn 2018
Moritz Beller Delft University of Technology Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Jonathan Bell George Mason University United States Author of CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs within the ECOOP Research Papers-track in ECOOP 2018 Author of CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs within the Posters-track in ECOOP and ISSTA 2018 Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Julia Belyakova Czech Technical University in Prague Russia Doctoral Symposium Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2018 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2018 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP and ISSTA Doc Symposium-track
Janis Benefelds SEB Life and Pensions Holding AB Author of Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications within the ISSTA Technical Papers-track in ISSTA 2018
Manuel Benz University of Paderborn Germany Co-chair in Organizers within the Panathon-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Bernhard Berger University of Bremen Germany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems Hungary Author of IncAL - Incrementalizing Lattice-Based Program Analyses within the DPA-track in DPA 2018
Ivan Beschastnikh University of British Columbia Canada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Matteo Biagiola Fondazione Bruno Kessler, Trento, Italy Author of Automated End To End Testing of Single Page Web Applications within the Doc Symposium-track in ECOOP and ISSTA 2018 Author of Automated End To End Testing of Single Page Web Applications within the Posters-track in ECOOP and ISSTA 2018
Matthijs Bijman Delft University of Technology Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track in FTfJP 2018
Tegawendé F. Bissyandé University of Luxembourg, Luxembourg Author of Generating tests for mobile platforms within the ISAGT 2018-track in ISAGT 2018 Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the ISSTA Technical Papers-track in ISSTA 2018 Author of CiD: Automating the Detection of API-related Compatibility Issues in Android Apps within the ISSTA Technical Papers-track in ISSTA 2018 Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the Posters-track in ECOOP and ISSTA 2018 Author of CiD: Automating the Detection of API-related Compatibility Issues in Android Apps within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Xuan Bi The University of Hong Kong China Author of The Essence of Nested Composition within the ECOOP Research Papers-track in ECOOP 2018 Author of Typed First-Class Traits within the ECOOP Research Papers-track in ECOOP 2018 Author of Typed First-Class Traits within the Posters-track in ECOOP and ISSTA 2018 Author of The Essence of Nested Composition within the Posters-track in ECOOP and ISSTA 2018
Lasse Blaauwbroek Czech Institute for Informatics Robotics and Cybernetics Czech Republic Committee Member in Program Committee within the ML4PL-track
Steve Blackburn Australian National University Australia Committee Member in Program Committee within the BenchWork-track
Arianna Blasi Università della Svizzera italiana (USI) and IMDEA Software Institute Switzerland Author of Translating Code Comments to Procedure Specifications within the ISSTA Artifacts-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the ISSTA Technical Papers-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the Posters-track in ECOOP and ISSTA 2018
Luc Bläser Hochschule für Technik Rapperswil Switzerland Author of Checking Non-Deterministic Behavior in Unit Tests within the ISAGT 2018-track in ISAGT 2018 Author of Practical Detection of Concurrency Issues at Coding Time within the ISSTA Technical Papers-track in ISSTA 2018 Author of Practical Detection of Concurrency Issues at Coding Time within the ISSTA Artifacts-track in ISSTA 2018 Author of Practical Detection of Concurrency Issues at Coding Time within the Posters-track in ECOOP and ISSTA 2018
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM ISSTA Program Chair in Organizing Committee for ECOOP and ISSTA 2018 Program Chair in Organizing Committee for ISSTA 2018 Session Chair of Keynote: Ernst & ISSTA 2019 Preview (part of ISSTA Keynotes) Author of The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and how to master them) within the SOAP-track in SOAP 2018 Speaker of An Opinionated Survey of the Java Static Analysis Landscape within the SALAD-track in SALAD 2018 Author of Towards a Data-Curation Platform for Code-Centric Research within the BenchWork-track in BenchWork 2018 Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track in ECOOP 2018 Presenter of Welcome within the ISSTA Keynotes-track in ISSTA 2018 Author of Distinguished Paper Awards within the ISSTA Keynotes-track in ISSTA 2018 Author of Secure integration of cryptographic software within the Posters-track in ECOOP and ISSTA 2018 Co-chair in Organizers within the Panathon-track Program Chair in Program Committee within the ISSTA Technical Papers-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Carl Friedrich Bolz-Tereick Germany Author of The first 15 years of PyPy: A retrospective within the ICOOOLPS-track in ICOOOLPS 2018
Borzoo Bonakdarpour Iowa State University, USA Committee Member in Program Committee within the VORTEX-track
Ambrose Bonnaire-Sergeant Indiana University Bloomington United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mateus Borges Imperial College London Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Leonid Borodaev Author of Computer-aided unit-test generation with UTA within the ISAGT 2018-track in ISAGT 2018
R.P. Jagadeesh Chandra Bose Accenture Labs Author of Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing within the ISSTA Technical Papers-track in ISSTA 2018
Herbert Bos Author of BinRec: Attack Surface Reduction Through Dynamic Binary Recovery within the SALAD-track in SALAD 2018
William J. Bowman Northeastern University, USA United States Committee Member in Program Committee within the FTfJP-track
John Boyland Univeristy of Wisconsin, Milwaukee United States Committee Member in Program Committee within the FTfJP-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Edwin Brady University of St. Andrews, UK United Kingdom Author of Subtype Polymorphism à la carte via Machine Learning on Dependent Types within the ML4PL-track in ML4PL 2018
Tegan Brennan Author of Symbolic Path Cost Analysis for Side-Channel Detection within the ISSTA Technical Papers-track in ISSTA 2018 Author of Symbolic Path Cost Analysis for Side-Channel Detection within the Posters-track in ECOOP and ISSTA 2018
Lionel Briand SnT Centre/University of Luxembourg Luxembourg Speaker of Artificial Intelligence for Automated Software Testing within the Summer School-track in ECOOP and ISSTA 2018 Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track Speaker in Speakers within the ECOOP and ISSTA Summer School-track
Lionel C. Briand SnT Centre/University of Luxembourg Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach within the ISSTA Technical Papers-track in ISSTA 2018
Einar Broch Johnsen University of Oslo Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track in VORTEX 2018
Sylwia Brodacka Luna Author of Luna - overview within the Curry On Talks-track in CurryOn 2018
Camilo Bruni Google Germany Author of Real World Benchmarks for JavaScript within the BenchWork-track in BenchWork 2018
Stefan Brunthaler Bundeswehr University Munich Germany Author of Software Diversity vs. Side Channels within the WoSSCA 2018-track in WoSSCA 2018 Author of Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization within the ECOOP Research Papers-track in ECOOP 2018
Timofey Bryksin Author of Detecting anomalies in Kotlin code within the ML4PL-track in ML4PL 2018
Richard Bubel Technische Universität Darmstadt Germany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Tevfik Bultan University of California, Santa Barbara Session Chair of Keynote: Visser, Khurshid, and Pasareanu & Awards (part of ISSTA Keynotes) Session Chair of Optimization and Performance (part of ISSTA Technical Papers) Author of Impact Paper Awards within the ISSTA Keynotes-track in ISSTA 2018 Author of Symbolic Path Cost Analysis for Side-Channel Detection within the ISSTA Technical Papers-track in ISSTA 2018 Author of Symbolic Path Cost Analysis for Side-Channel Detection within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track
Clément Béra RMOD - INRIA Lille Nord Europe France Author of Assessing primitives performance on multi-stage execution within the ICOOOLPS-track in ICOOOLPS 2018 Committee Member in Program Committee within the ICOOOLPS-track
Marcel Böhme Monash University Australia Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Cristian Cadar Imperial College London United Kingdom Doctoral Symposium Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2018 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Secure and Sound (part of ISSTA Technical Papers) Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP and ISSTA Doc Symposium-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Yan Cai Institute of Software, Chinese Academy of Sciences China Committee Member in Program Committee within the TAV-CPS/IoT-track
Joana Campos University of Lisbon, Portugal Author of Dependent Types for Class-based Mutable Objects within the ECOOP Research Papers-track in ECOOP 2018
Chun Cao Nanjing University Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the ECOOP Research Papers-track in ECOOP 2018 Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the Posters-track in ECOOP and ISSTA 2018
Michael Carbin MIT United States Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Posters Committee within the ECOOP and ISSTA Posters-track
Nicolás Cardozo Universidad de los Andes Colombia Author of A Declarative Language for Context Activation within the COP-track in COP 2018 Author of Generating Software Adaptations using Machine Learning within the ML4PL-track in ML4PL 2018 Author of Generating software adaptations using machine learning within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the COP-track
Chandler Carruth Google United States Author of Hardware and Software Mitigations within the WoSSCA 2018-track in WoSSCA 2018 Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Elias Castegren Uppsala University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sergio Delgado Castellanos IMDEA Software Institute Author of Translating Code Comments to Procedure Specifications within the ISSTA Artifacts-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the ISSTA Technical Papers-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the Posters-track in ECOOP and ISSTA 2018
Lorenzo Cavallaro Royal Holloway, University of London United Kingdom Committee Member in Program Committee within the WoSSCA-track
Mariano Ceccato Fondazione Bruno Kessler Italy Committee Member in Program Committee within the INTUITESTBEDS-track
Ahmet Celik University of Texas at Austin, USA Author of piCoq: Parallel Regression Proving for Large-Scale Verification Projects within the ISSTA Technical Papers-track in ISSTA 2018
Manuel Chakravarty Tweag I/O & IOHK Netherlands Author of Do-It-Yourself Functional Reactive Programming within the Curry On Talks-track in CurryOn 2018
Yiqun Chen Author of Testing for Performance Issues in OS Kernels within the Doc Symposium-track in ECOOP and ISSTA 2018 Author of Testing for Performance Issues in OS Kernels within the Posters-track in ECOOP and ISSTA 2018
Yifan Chen Peking University Author of An Empirical Study on TensorFlow Program Bugs within the ISSTA Technical Papers-track in ISSTA 2018
Xiangqun Chen Peking University Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Artifacts-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Technical Papers-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the Posters-track in ECOOP and ISSTA 2018
Junjie Chen Peking University China Author of Learning to Accelerate Symbolic Execution via Code Transformation within the ECOOP Research Papers-track in ECOOP 2018 Author of Learning to Accelerate Symbolic Execution via Code Transformation within the Posters-track in ECOOP and ISSTA 2018
Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology China Author of An Empirical Study on TensorFlow Program Bugs within the ISSTA Technical Papers-track in ISSTA 2018
Yannick Chevalier Presenter of Implementing security protocol monitors within the VORTEX-track in VORTEX 2018
Shigeru Chiba University of Tokyo, Japan Japan Committee Member in Program Committee within the ICOOOLPS-track
Maria Christakis MPI-SWS Germany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2018 Presenter of Distinguished Artifact Award within the ECOOP Keynotes-track in ECOOP 2018 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benjamin W Chung Northeastern University Author of KafKa: Gradual Typing for Objects within the ECOOP Research Papers-track in ECOOP 2018
Benjamin Chung Northeastern University United States Author of Monotonic Gradual Typing in a Common Calculus within the FTfJP-track in FTfJP 2018 Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Cristina Cifuentes Oracle Labs Australia Author of Buffer Overflow Detection for C Programs is Hard to Learn within the ML4PL-track in ML4PL 2018 Author of Building a Node.js Benchmark: Initial Steps within the BenchWork-track in BenchWork 2018 Author of Opening Remarks within the BenchWork-track in BenchWork 2018 Co-chair in Organizers within the Panathon-track Co-chair in Organizing Committee within the BenchWork-track
Jürgen Cito MIT United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
David Clark University College London Author of OASIs: Oracle Assessment and Improvement Tool within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of OASIs: Oracle Assessment and Improvement Tool within the Posters-track in ECOOP and ISSTA 2018
Cliff Click Self United States Author of Lessons from a Big Data Machine Learning Startup within the Curry On Talks-track in CurryOn 2018 Speaker of Writing Virtual Machines for fun and profit within the Summer School-track in ECOOP and ISSTA 2018 Speaker in Speakers within the ECOOP and ISSTA Summer School-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track Committee Member in Program Committee within the WoSSCA-track
David Cok CEA, LIST, Software Safety and Security Laboratory Author of Specification Idioms from Industrial Experience within the FTfJP-track in FTfJP 2018 Author of Reasoning about Functional Programming in Java and C++ within the FTfJP-track in FTfJP 2018
Riccardo Coppola Politecnico di Torino Author of Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Committee Member in Program Committee within the INTUITESTBEDS-track
João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa Author of SNITCH: dynamic dependent Information flow for independent Java bytecode within the VORTEX-track in VORTEX 2018
Patrick Cousot Committee Member in Program Committee within the SOAP-track
Andrew Craik IBM Author of Performance Monitoring in Eclipse OpenJ9 within the BenchWork-track in BenchWork 2018
José Creissac Campos University of Minho Committee Member in Program Committee within the INTUITESTBEDS-track
Raimil Cruz University of Chile Chile Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Chris Cummins University of Edinburgh United Kingdom Author of Machine learning for compilers within the ISAGT 2018-track in ISAGT 2018 Author of Compiler Fuzzing through Deep Learning within the ISSTA Technical Papers-track in ISSTA 2018 Author of Deep Learning over Code within the Posters-track in ECOOP and ISSTA 2018
Michael D. Shah Northeastern University, USA United States Author of Iceberg: A Dynamic Analysis of Java Critical Sections Investigating Runtime Performance Variability within the SOAP-track in SOAP 2018
Francesco Dagnino DIBRIS, University of Genova, Italy Italy Author of A Formalism for Specification of Java API Interfaces within the FTfJP-track in FTfJP 2018 Author of Modeling infinite behaviour by corules within the ECOOP Research Papers-track in ECOOP 2018 Author of Modelling infinite behaviour by corules within the Posters-track in ECOOP and ISSTA 2018
Benoit Daloze JKU Linz, Austria Austria Committee Member in Program Committee within the ICOOOLPS-track
Ferruccio Damiani University of Turin Italy Presenter of On Distributed runtime verification by aggregate computing within the VORTEX-track in VORTEX 2018
Tommy Dang Texas Tech University Author of MalViz: An Interactive Visualization Tool for Tracing Malware within the ISSTA Tool Demonstrations-track in ISSTA 2018
Stijn De Gouw Presenter of Analysis of SLA Compliance in the Cloud within the VORTEX-track in VORTEX 2018
Joeri De Koster Vrije Universiteit Brussel, Belgium Belgium Author of Static typing of complex presence constraints in interfaces within the ECOOP Research Papers-track in ECOOP 2018
Wolfgang De Meuter Vrije Universiteit Brussel Author of Static typing of complex presence constraints in interfaces within the ECOOP Research Papers-track in ECOOP 2018
Coen De Roover Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the COP-track
Bjorn De Sutter Ghent University, Belgium Belgium Speaker of Class hierarchy flattening: obfuscating (almost) all type information in Java programs within the SALAD-track in SALAD 2018
Renzo Degiovanni Universidad Nacional de Río Cuarto Argentina Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Martin Deiman Testwerk Committee Member in Program Committee within the INTUITESTBEDS-track
Marcio Eduardo Delamaro University of São Paulo Committee Member in Program Committee within the INTUITESTBEDS-track
Ankush Desai University of California, Berkeley Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mariangiola Dezani Università di Torino Italy Committee Member in Program Committee within the FTfJP-track
Werner Dietl University of Waterloo, Canada Canada Committee Member in Steering Committee within the FTfJP-track
Jens Dietrich Massey University New Zealand Author of A Micro-Benchmark for Dynamic Program Behaviour within the BenchWork-track in BenchWork 2018 Committee Member in Program Committee within the BenchWork-track
Brendan Dolan-Gavitt New York University United States Committee Member in Program Committee within the WoSSCA-track
Julian Dolby IBM Thomas J. Watson Research Center United States Workshops Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Workshops Co-Chair in Organizing Committee for ISSTA 2018 Workshops Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Porting and Repair (part of ISSTA Technical Papers) Speaker of WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support within the SALAD-track in SALAD 2018 Co-chair in Organizers within the Panathon-track Workshops Co-Chair in Organizing Committee within the ECOOP and ISSTA Workshops-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University Germany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Alastair Donaldson Imperial College London United Kingdom Session Chair of Testing (part of ECOOP Research Papers) Author of A Portable Framework for Multi-core Interference Tuning and Analysis within the Posters-track in ECOOP and ISSTA 2018
Vlastimil Dort Charles University Author of Lightweight Verification of Array Indexing within the ISSTA Artifacts-track in ISSTA 2018 Author of Lightweight Verification of Array Indexing within the ISSTA Technical Papers-track in ISSTA 2018
Hyunsook Do University of North Texas United States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Ian Drosos University of California, San Diego United States Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Technical Papers-track in ISSTA 2018 Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Artifacts-track in ISSTA 2018
Sophia Drossopoulou Imperial College London Greece Author of Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages within the ICOOOLPS-track in ICOOOLPS 2018 Author of Towards specifications of robustness -- the things that programs do not do within the FTfJP-track in FTfJP 2018 Author of Safely Abstracting Memory Layouts within the FTfJP-track in FTfJP 2018 Author of SHAPES: Adding memory layouts and SIMD capabilities to high-level languages within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the ECOOP Research Papers-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Lydie Du Bousquet LIG Committee Member in Program Committee within the INTUITESTBEDS-track
Neville Dubash Accenture Labs Author of Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing within the ISSTA Technical Papers-track in ISSTA 2018
Stéphane Ducasse INRIA Lille Author of Assessing primitives performance on multi-stage execution within the ICOOOLPS-track in ICOOOLPS 2018
Benoît Duhoux Université catholique de Louvain, Belgium Belgium Author of Feature Visualiser: an Inspection Tool for Context-Oriented Programmers within the COP-track in COP 2018 Author of Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented Programming within the Posters-track in ECOOP and ISSTA 2018
Bruno Dumas Author of Feature Visualiser: an Inspection Tool for Context-Oriented Programmers within the COP-track in COP 2018 Author of Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented Programming within the Posters-track in ECOOP and ISSTA 2018
Ivana Dusparic Trinity College Dublin, Ireland Author of Generating Software Adaptations using Machine Learning within the ML4PL-track in ML4PL 2018 Author of Generating software adaptations using machine learning within the Posters-track in ECOOP and ISSTA 2018
Xingzhong Du Oracle Labs Author of Buffer Overflow Detection for C Programs is Hard to Learn within the ML4PL-track in ML4PL 2018
Anurag Dwarakanath Accenture Labs Author of Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing within the ISSTA Technical Papers-track in ISSTA 2018
Tobias Dürschmid Hasso Plattner Institute Germany Author of Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns within the COP-track in COP 2018
Manuel Egele Boston University, USA United States Committee Member in Program Committee within the WoSSCA-track
Michael Eichberg TU Darmstadt, Germany Author of Lattice Based Modularization of Static Analyses within the SOAP-track in SOAP 2018 Author of Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java within the SOAP-track in SOAP 2018 Committee Member in Program Committee within the SOAP-track
Susan Eisenbach Imperial College London Author of Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages within the ICOOOLPS-track in ICOOOLPS 2018 Author of Safely Abstracting Memory Layouts within the FTfJP-track in FTfJP 2018 Author of SHAPES: Adding memory layouts and SIMD capabilities to high-level languages within the Posters-track in ECOOP and ISSTA 2018
Michael Emery Massey University Author of A Micro-Benchmark for Dynamic Program Behaviour within the BenchWork-track in BenchWork 2018
Arnout Engelen Lightbend Author of Strategies for Streaming within the Curry On Talks-track in CurryOn 2018
Sebastian Erdweg TU Delft Netherlands Author of IncAL - Incrementalizing Lattice-Based Program Analyses within the DPA-track in DPA 2018 Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track in FTfJP 2018 Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the Curry On Talks-track in CurryOn 2018 Author of Incrementalizing Lattice-Based Program Analyses within the Posters-track in ECOOP and ISSTA 2018 Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Michael D. Ernst University of Washington, USA Presenter of Pluggable Type Systems Reconsidered within the ISSTA Keynotes-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the ISSTA Artifacts-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the ISSTA Technical Papers-track in ISSTA 2018 Author of Lightweight Verification of Array Indexing within the ISSTA Artifacts-track in ISSTA 2018 Author of Lightweight Verification of Array Indexing within the ISSTA Technical Papers-track in ISSTA 2018 Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Technical Papers-track in ISSTA 2018 Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Artifacts-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the Posters-track in ECOOP and ISSTA 2018
Erik Ernst Google Inc. Denmark Committee Member in Program Committee within the FTfJP-track
Jonathan Eyolfson University of Waterloo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yliès Falcone Univ. Grenoble Alpes, Inria France Committee Member in Program Committee within the VORTEX-track
João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC Portugal Author of A Pattern-based IoT Testing Framework within the TAV-CPS/IoT-track in TAV-CPS/IoT 2018
Anna Rita Fasolino Federico II University of Naples Italy Author of Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Co-chair in Organizing Committee within the INTUITESTBEDS-track
Mattia Fazzini Georgia Institute of Technology United States Author of Automatically Translating Bug Reports into Test Cases for Mobile Apps within the ISSTA Technical Papers-track in ISSTA 2018 Author of Automatically Translating Bug Reports into Test Cases for Mobile Apps within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Tim Felgentreff Oracle Labs, Potsdam Germany Author of GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework within the ICOOOLPS-track in ICOOOLPS 2018 Committee Member in Program Committee within the ICOOOLPS-track Co-chair in Organizing Committee within the ICOOOLPS-track
Yu Feng University of Texas at Austin, USA China Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Pietro Ferrara JuliaSoft SRL, Italy Italy Committee Member in Program Committee within the SOAP-track
Jan Fiedor Brno University of Technology Author of Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of Advances in the ANaConDA Framework within the Posters-track in ECOOP and ISSTA 2018
Olivier Flückiger Northeastern University, USA Author of Optimization based on Facts and Fiction within the Doc Symposium-track in ECOOP and ISSTA 2018
Chris Ford ThoughtWorks (UK) Ltd. Author of It Ain't Necessarily So within the Curry On Talks-track in CurryOn 2018
George Fourtounis University of Athens Author of Static Analysis of Java Dynamic Proxies within the ISSTA Technical Papers-track in ISSTA 2018 Author of Static Analysis of Java Dynamic Proxies within the ISSTA Artifacts-track in ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Artifacts-track in ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Technical Papers-track in ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the Posters-track in ECOOP and ISSTA 2018
Adrian Francalanza University of Malta Malta Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Artifacts-track in ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Technical Papers-track in ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the Posters-track in ECOOP and ISSTA 2018
Luca Franceschini DIBRIS, University of Genova Italy Author of A Formalism for Specification of Java API Interfaces within the FTfJP-track in FTfJP 2018
Steve Francia Google United States Author of Go: building on the shoulders of giants and stepping on a few toes within the Curry On Keynotes-track in CurryOn 2018
Juliana Franco Microsoft Research, Cambridge United Kingdom Author of Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages within the ICOOOLPS-track in ICOOOLPS 2018 Author of Safely Abstracting Memory Layouts within the FTfJP-track in FTfJP 2018 Author of SHAPES: Adding memory layouts and SIMD capabilities to high-level languages within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the FTfJP-track
Michael Franz University of California, Irvine United States Author of BinRec: Attack Surface Reduction Through Dynamic Binary Recovery within the SALAD-track in SALAD 2018 Author of Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization within the ECOOP Research Papers-track in ECOOP 2018 Committee Member in Program Committee within the SALAD-track
Gordon Fraser University of Passau Germany Author of Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications within the ISSTA Technical Papers-track in ISSTA 2018
Bernd Freisleben Philipps-Universität Marburg Author of Fault-tolerant Distributed Reactive Programming within the ECOOP Research Papers-track in ECOOP 2018 Author of Fault-tolerant Distributed Reactive Programming within the Posters-track in ECOOP and ISSTA 2018
Pietro Frigo Vrije Universiteit Amsterdam Netherlands Speaker in Attendees within the WoSSCA-track
Eric Fritz University of Wisconsin, Milwaukee United States Author of Maintaining Canonical Form After Edge Deletion within the ICOOOLPS-track in ICOOOLPS 2018
Hugo Férée University of Kent, UK United Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Jian Gao School of Software, Tsinghua University Author of Managing Concurrent Testing of Data Race with ComRaDe within the ISSTA Tool Demonstrations-track in ISSTA 2018
Qing Gao Peking University Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Artifacts-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Technical Papers-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the Posters-track in ECOOP and ISSTA 2018
Philippa Gardner Imperial College London Author of A Concurrent Specification of POSIX File Systems within the ECOOP Research Papers-track in ECOOP 2018
Deepak Garg Max Planck Institute for Software Systems Germany Committee Member in Program Committee within the WoSSCA-track
Andreas Garnæs Zendesk Denmark Author of Type-Safe GraphQL Servers with GADTs within the Curry On Talks-track in CurryOn 2018
Vahid Garousi Wageningen University Committee Member in Program Committee within the INTUITESTBEDS-track
Julien Gascon-Samson Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the ECOOP Research Papers-track in ECOOP 2018 Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the Posters-track in ECOOP and ISSTA 2018
François Gauthier Oracle Labs Australia Author of Affogato: Runtime Detection of Injection Attacks for Node.js within the SOAP-track in SOAP 2018 Author of Building a Node.js Benchmark: Initial Steps within the BenchWork-track in BenchWork 2018
Bas Geerdink ING Author of Streaming analytics: How to Get Fast Predictions From Real-Time Data with Flink, Kafka, and Cassandra within the Curry On Talks-track in CurryOn 2018
Johannes Geismann Heinz Nixdorf Institute, Paderborn University Germany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Eduardo Geraldo Presenter of SNITCH: dynamic dependent Information flow for independent Java bytecode within the VORTEX-track in VORTEX 2018
Elena Giachino Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track in VORTEX 2018
Thomas Gilray University of Maryland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Cristiano Giuffrida Author of BinRec: Attack Surface Reduction Through Dynamic Binary Recovery within the SALAD-track in SALAD 2018
Milos Gligoric University of Texas at Austin United States Author of piCoq: Parallel Regression Proving for Large-Scale Verification Projects within the ISSTA Technical Papers-track in ISSTA 2018
Alberto Goffi Università della Svizzera italiana (USI) Author of Translating Code Comments to Procedure Specifications within the ISSTA Artifacts-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the ISSTA Technical Papers-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the Posters-track in ECOOP and ISSTA 2018
Yoav Goldberg Bar Ilan University Israel Committee Member in Program Committee within the ML4PL-track
Elisa Gonzalez Boix Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the COP-track
Alessandra Gorla IMDEA Software Institute Spain Author of Translating Code Comments to Procedure Specifications within the ISSTA Artifacts-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the ISSTA Technical Papers-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the Posters-track in ECOOP and ISSTA 2018
Shivanshu Goyal University of British Columbia Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the ECOOP Research Papers-track in ECOOP 2018 Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the Posters-track in ECOOP and ISSTA 2018
Neville Grech University of Athens Session Chair of Session III (part of DPA) Author of MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts within the DPA-track in DPA 2018 Author of Efficient Reflection String Analysis via Graph Coloring within the ECOOP Research Papers-track in ECOOP 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Artifacts-track in ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Technical Papers-track in ISSTA 2018 Author of Efficient Reflection String Analysis via Graph Coloring within the Posters-track in ECOOP and ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Organizing Committee within the DPA-track
Radu Grigore University of Kent United Kingdom Committee Member in Steering Committee within the FTfJP-track
Alex Groce Northern Arizona University United States Committee Member in Program Committee within the TAV-CPS/IoT-track
Dan Grossman University of Washington United States Author of Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates within the ECOOP Research Papers-track in ECOOP 2018
Daniel Grus Graz University of Technology Austria Committee Member in Program Committee within the WoSSCA-track
Shengjian (Daniel) Guo Virginia Tech Author of Eliminating Timing Side-Channel Leaks using Program Repair within the ISSTA Artifacts-track in ISSTA 2018 Author of Eliminating Timing Side-channel Leaks Using Program Repair within the ISSTA Technical Papers-track in ISSTA 2018
Hui Guo University of California, Davis Author of Exploiting Community Structure for Floating-Point Precision Tuning within the ISSTA Technical Papers-track in ISSTA 2018
Tianxiao Gu Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the ECOOP Research Papers-track in ECOOP 2018 Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the Posters-track in ECOOP and ISSTA 2018
Ming Gu Author of Managing Concurrent Testing of Data Race with ComRaDe within the ISSTA Tool Demonstrations-track in ISSTA 2018
Samuel Guyer Author of Iceberg: A Dynamic Analysis of Java Critical Sections Investigating Runtime Performance Variability within the SOAP-track in SOAP 2018
Alex Gyori Facebook United States Author of Evaluating Test-Suite Reduction in Real-World Software Evolution within the ISSTA Technical Papers-track in ISSTA 2018 Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
David H. Lorenz Technion—Israel Institute of Technology Israel Committee Member in Program Committee within the COP-track
William G.J. Halfond University of Southern California United States Workshops Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Workshops Co-Chair in Organizing Committee for ISSTA 2018 Workshops Co-Chair in Organizing Committee for ECOOP 2018 Author of Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications within the ISSTA Technical Papers-track in ISSTA 2018 Author of Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications within the ISSTA Artifacts-track in ISSTA 2018 Workshops Co-Chair in Organizing Committee within the ECOOP and ISSTA Workshops-track Committee Member in Posters Committee within the ECOOP and ISSTA Posters-track
Philipp Haller KTH Royal Institute of Technology Germany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Types (part of ECOOP Research Papers) Presenter of Distinguished Artifact Award within the ECOOP Keynotes-track in ECOOP 2018 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christian Hammer University of Potsdam Germany Session Chair of Runtime Systems (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Dan Hao Peking University China Author of Learning to Accelerate Symbolic Execution via Code Transformation within the ECOOP Research Papers-track in ECOOP 2018 Author of Learning to Accelerate Symbolic Execution via Code Transformation within the Posters-track in ECOOP and ISSTA 2018
Ben Hardekopf UC Santa Barbara Committee Member in Program Committee within the SOAP-track
Farah Hariri University of Illinois at Urbana-Champaign Author of Targeted Test Generation for Actor Systems within the ECOOP Research Papers-track in ECOOP 2018 Author of Targeted Test Generation for Actor Systems within the Posters-track in ECOOP and ISSTA 2018
Mark Harman Facebook and University College London United Kingdom Author of OASIs: Oracle Assessment and Improvement Tool within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of OASIs: Oracle Assessment and Improvement Tool within the Posters-track in ECOOP and ISSTA 2018
William Harris Galois United States Committee Member in Program Committee within the WoSSCA-track Committee Member in Program Committee within the SALAD-track
Behnaz Hassanshahi Oracle Labs, Australia Author of Affogato: Runtime Detection of Injection Attacks for Node.js within the SOAP-track in SOAP 2018
Klaus Havelund NASA/Caltech Jet Propulsion Laboratory United States Committee Member in Program Committee within the VORTEX-track
Byron Hawkins INRIA Rennes France Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Görel Hedin Lund University Sweden Committee Member in Program Committee within the ICOOOLPS-track
Gorel Hedin Lund University Sweden Committee Member in Program Committee within the COP-track
Mats Heimdahl University of Minnesota Committee Member in Program Committee within the TAV-CPS/IoT-track
Dominik Helm TU Darmstadt, Germany Author of Lattice Based Modularization of Static Analyses within the SOAP-track in SOAP 2018
Hadi Hemmati University of Calgary Canada Author of Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications within the ISSTA Technical Papers-track in ISSTA 2018
Laurie Hendren McGill University, Canada Canada Committee Member in Program Committee within the BenchWork-track
Micha Hergarden Open University of the Netherlands, The Netherlands Author of Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free within the ICOOOLPS-track in ICOOOLPS 2018
Ben Hermann University of Paderborn Germany Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2018 Workshops Co-Chair of Opening within the SOAP-track in SOAP 2018 Author of Towards a Data-Curation Platform for Code-Centric Research within the BenchWork-track in BenchWork 2018 Presenter of Distinguished Artifact Award within the ISSTA Keynotes-track in ISSTA 2018 Co-chair in Organizing Committee within the SOAP-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifacts-track Committee Member in Program Committee within the BenchWork-track
Felienne Hermans TU Delft Netherlands Author of How does code sound? within the Curry On Keynotes-track in CurryOn 2018
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) Author of Horn Clause-based Program Analysis with CiaoPP within the DPA-track in DPA 2018
Stefan Heule Stanford University, USA United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Michael Hilton Carnegie Mellon University, USA United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Robert Hirschfeld HPI, University of Potsdam Germany Author of Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns within the COP-track in COP 2018 Author of Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming within the COP-track in COP 2018 Author of GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework within the ICOOOLPS-track in ICOOOLPS 2018 Author of Polyglot Programming - Opportunities of Language Implementation Frameworks for Software Developers within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the COP-track
Celeste Hollenbeck Northeastern University, USA Author of Analyzing Duplication in JavaScript within the BenchWork-track in BenchWork 2018 Author of Building a Node.js Benchmark: Initial Steps within the BenchWork-track in BenchWork 2018
Shin Hong Handong Global University South Korea Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Robert Hoschek Author of GUI Scalability Issues of Windows Desktop Applications and How to Find Them within the INTUITESTBEDS-track in INTUITESTBEDS 2018
Petr Hosek Google, Inc. United States Author of Making Data-Driven Porting Decisions with Tuscan within the ISSTA Technical Papers-track in ISSTA 2018 Author of Making Data-Driven Porting Decisions with Tuscan within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Marieke Huisman University of Twente Netherlands Author of An Exercise in Verifying Sequential Programs with VerCors within the FTfJP-track in FTfJP 2018
Shabbir Hussain Northeastern University Author of Analyzing Duplication in JavaScript within the BenchWork-track in BenchWork 2018
Aftab Hussain University of California, Irvine United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Wenxiang Hu Peking University Author of Learning to Accelerate Symbolic Execution via Code Transformation within the ECOOP Research Papers-track in ECOOP 2018 Author of Learning to Accelerate Symbolic Execution via Code Transformation within the Posters-track in ECOOP and ISSTA 2018
Hong Hu Georgia Institute of Technology United States Author of On the Effectiveness of Kernel Debloating via Compile-time Configuration within the SALAD-track in SALAD 2018
Reiner Hähnle Technical University of Darmstadt Germany Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track in VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
Atsushi Igarashi Kyoto University, Japan Japan Session Chair of Formal Calculi (part of ECOOP Research Papers) Author of ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions within the ECOOP Research Papers-track in ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the COP-track
Hiroaki Inoue Mitsubishi Electric Corporation, Japan Japan Author of ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions within the ECOOP Research Papers-track in ECOOP 2018
Dan Iorga Imperial College London, UK Author of Auto-tuning Framework for Multi-core Interference Analysis within the Doc Symposium-track in ECOOP and ISSTA 2018 Author of A Portable Framework for Multi-core Interference Tuning and Analysis within the Posters-track in ECOOP and ISSTA 2018
Reyhaneh Jabbarvand University of California, Irvine United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Jennifer Mary Jacobs Stanford Author of Domain Specific Programming Platforms for Creativity within the Curry On Talks-track in CurryOn 2018
Gunel Jahangirova Fondazione Bruno Kessler & University College London Italy Author of OASIs: Oracle Assessment and Improvement Tool within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of OASIs: Oracle Assessment and Improvement Tool within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Jean-Baptiste Jeannin University of Michigan, USA Committee Member in Program Committee within the VORTEX-track
Somesh Jha University of Wisconsin, Madison United States Committee Member in Program Committee within the SALAD-track
Yu Jiang Author of Managing Concurrent Testing of Data Race with ComRaDe within the ISSTA Tool Demonstrations-track in ISSTA 2018
Yanyan Jiang Nanjing University China Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the ECOOP Research Papers-track in ECOOP 2018 Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the Posters-track in ECOOP and ISSTA 2018
Jiajun Jiang Peking University China Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Artifacts-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Technical Papers-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the Posters-track in ECOOP and ISSTA 2018
Colin Johnson University of Kent Author of Subtype Polymorphism à la carte via Machine Learning on Dependent Types within the ML4PL-track in ML4PL 2018
Beau Johnston Australian National University Australia Author of The Architecture Independent Workload Characterization within the BenchWork-track in BenchWork 2018
Martin Johns SAP Security Research / TU Braunschweig Germany Committee Member in Program Committee within the ISSTA Technical Papers-track
Timothy Jones Montoux New Zealand Committee Member in Program Committee within the FTfJP-track
Simon Peyton Jones Microsoft Research United Kingdom Author of Linear Haskell: practical linearity in a higher-order polymorphic language within the Curry On Keynotes-track in CurryOn 2018 Speaker of 35 years of fun with functional programming within the Summer School-track in ECOOP and ISSTA 2018 Speaker in Speakers within the ECOOP and ISSTA Summer School-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Sung-Shik Jongmans Open University of the Netherlands, The Netherlands Author of Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free within the ICOOOLPS-track in ICOOOLPS 2018
Sebastiaan Joosten Author of An Exercise in Verifying Sequential Programs with VerCors within the FTfJP-track in FTfJP 2018
Alexander Jordan Oracle Labs, Australia Author of Affogato: Runtime Detection of Injection Attacks for Node.js within the SOAP-track in SOAP 2018
Alisa Joy Maas University of Wisconsin-Madison United States Student Volunteers Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Student Volunteers Co-Chair in Organizing Committee for ISSTA 2018 Student Volunteers Co-Chair in Organizing Committee for ECOOP 2018 Student Volunteers Co-Chair in Organizing Committee within the ECOOP and ISSTA Student Volunteers-track
Eric Jul University of Oslo Norway Session Chair of Awards & Keynote: Xu (part of ECOOP Keynotes) Session Chair of WoSSCA 2 (part of WoSSCA) Session Chair of WoSSCA 1 (part of WoSSCA) Presenter of Test of Time Award within the ECOOP Keynotes-track in ECOOP 2018 Presenter of Dahl-Nygaard Awards within the ECOOP Keynotes-track in ECOOP 2018 Committee Member in Program Committee within the ICOOOLPS-track Co-chair in Organizing Committee within the WoSSCA-track Organizer in Attendees within the WoSSCA-track
Kumseok Jung University of British Columbia South Korea Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the ECOOP Research Papers-track in ECOOP 2018 Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the Posters-track in ECOOP and ISSTA 2018
Woosung Jung Seoul National University of Education South Korea Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the ISSTA Technical Papers-track in ISSTA 2018 Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the Posters-track in ECOOP and ISSTA 2018
René Just University of Massachusetts, USA Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Technical Papers-track in ISSTA 2018 Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Artifacts-track in ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Gowtham Kaki Purdue University United States Author of Safe Transferable Regions within the ECOOP Research Papers-track in ECOOP 2018
Sophie Kaleba INRIA Author of Assessing primitives performance on multi-stage execution within the ICOOOLPS-track in ICOOOLPS 2018
Tetsuo Kamina Oita University Japan Session Chair of Session 1 (part of COP) Session Chair of Session 2 (part of COP) Committee Member in Organizing Committee within the COP-track
Teemu Kanstrén VTT Committee Member in Program Committee within the INTUITESTBEDS-track
Timotej Kapus Imperial College London Author of Improving Symbolic Flat Memory Models with Pointer Alias Analysis within the Doc Symposium-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Holden Karau Google Author of ApacheSpark as a gateway drug to FP: Concepts taught & broken within the Curry On Talks-track in CurryOn 2018
George Kastrinis University of Athens Greece Author of Defensive Points-To Analysis: Effective Soundness via Laziness within the ECOOP Research Papers-track in ECOOP 2018 Author of Efficient Reflection String Analysis via Graph Coloring within the ECOOP Research Papers-track in ECOOP 2018 Author of Static Analysis of Java Dynamic Proxies within the ISSTA Technical Papers-track in ISSTA 2018 Author of Static Analysis of Java Dynamic Proxies within the ISSTA Artifacts-track in ISSTA 2018 Author of Defensive Points-To Analysis: Effective Soundness via Laziness within the Posters-track in ECOOP and ISSTA 2018 Author of Efficient Reflection String Analysis via Graph Coloring within the Posters-track in ECOOP and ISSTA 2018
Martin Kellogg University of Washington, Seattle United States Author of Lightweight Verification of Array Indexing within the ISSTA Artifacts-track in ISSTA 2018 Author of Lightweight Verification of Array Indexing within the ISSTA Technical Papers-track in ISSTA 2018
Lindsey Kennard Author of Secure Multi-Cloud MapReduce Computation within the Doc Symposium-track in ECOOP and ISSTA 2018
Rody Kersten Synopsys, Inc. Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the ISSTA Technical Papers-track in ISSTA 2018 Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the Posters-track in ECOOP and ISSTA 2018
Kareem Khazem University College London United Kingdom Author of Making Data-Driven Porting Decisions with Tuscan within the ISSTA Technical Papers-track in ISSTA 2018 Author of Making Data-Driven Porting Decisions with Tuscan within the Posters-track in ECOOP and ISSTA 2018
Sarfraz Khurshid University of Texas at Austin United States Session Chair of Test and Oracle Generation (part of ISSTA Technical Papers) Author of Learning to Accelerate Symbolic Execution via Code Transformation within the ECOOP Research Papers-track in ECOOP 2018 Author of Test input generation with Java PathFinder: Then and Now within the ISSTA Keynotes-track in ISSTA 2018 Author of Learning to Accelerate Symbolic Execution via Code Transformation within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track
Fitsum Kifetew Fondazione Bruno Kessler Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Moonzoo Kim KAIST Korea, South Committee Member in Program Committee within the ISSTA Technical Papers-track
Dongsun Kim University of Luxembourg Luxembourg Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the ISSTA Technical Papers-track in ISSTA 2018 Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the Posters-track in ECOOP and ISSTA 2018
Taesoo Kim Georgia Tech United States Author of On the Effectiveness of Kernel Debloating via Compile-time Configuration within the SALAD-track in SALAD 2018 Committee Member in Program Committee within the WoSSCA-track Committee Member in Program Committee within the SALAD-track
Miryung Kim University of California, Los Angeles United States Committee Member in Program Committee within the SALAD-track
Alexis King Northwestern University Author of Hackett: a metaprogrammable Haskell within the Curry On Talks-track in CurryOn 2018
Engin Kirda Northeastern University United States Committee Member in Program Committee within the WoSSCA-track
Jacques Klein University of Luxembourg, SnT Luxembourg Author of Generating tests for mobile platforms within the ISAGT 2018-track in ISAGT 2018 Author of CiD: Automating the Detection of API-related Compatibility Issues in Android Apps within the ISSTA Technical Papers-track in ISSTA 2018 Author of CiD: Automating the Detection of API-related Compatibility Issues in Android Apps within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track
Laura Kovacs Chalmers University of Technology Sweden Committee Member in Program Committee within the FTfJP-track
Filip Krikava Czech Technical University Committee Member in Organizing Committee for CurryOn 2018 Author of Extracting tests from runtime behavior for R within the ISAGT 2018-track in ISAGT 2018 Author of Tests from Traces: Automated Unit Test Generation for R within the ISSTA Artifacts-track in ISSTA 2018 Author of Tests from Traces: Automated Unit Test Extraction for R within the ISSTA Technical Papers-track in ISSTA 2018 Author of Tests from Traces: Automated Unit Test Extraction for R within the Posters-track in ECOOP and ISSTA 2018
Murali Krishna Ramanathan Uber United States Committee Member in Program Committee within the ECOOP Research Papers-track
Paddy Krishnan Author of Buffer Overflow Detection for C Programs is Hard to Learn within the ML4PL-track in ML4PL 2018
Siddharth Krishna New York University United States Committee Member in Program Committee within the FTfJP-track
Taddeus Kroes Vrije Universiteit Amsterdam Netherlands Author of BinRec: Attack Surface Reduction Through Dynamic Binary Recovery within the SALAD-track in SALAD 2018 Speaker in Attendees within the WoSSCA-track
Stefan Krüger University of Paderborn Germany Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track in ECOOP 2018 Author of Secure integration of cryptographic software within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Edlira Kuci TU Darmstadt, Germany Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track in FTfJP 2018
Anil Kurmus IBM Research Switzerland Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Konstantin Kuznetsov Saarland University, CISPA Germany Author of Translating Code Comments to Procedure Specifications within the ISSTA Artifacts-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the ISSTA Technical Papers-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Florian Kübler TU Darmstadt, Germany Author of Lattice Based Modularization of Static Analyses within the SOAP-track in SOAP 2018 Author of Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java within the SOAP-track in SOAP 2018
Yvan Labiche Carleton University Committee Member in Program Committee within the INTUITESTBEDS-track
Chris Laffra Uber Technologies Session Chair of After Tea Session (part of ISAGT) Session Chair of After Lunch Session (part of ISAGT) Session Chair of Morning Session (part of ISAGT) Author of Closing within the ISAGT 2018-track in ISAGT 2018 Author of Welcome within the ISAGT 2018-track in ISAGT 2018 Author of Plenary Discussion within the ISAGT 2018-track in ISAGT 2018 Author of Automatic Python test generation within the ISAGT 2018-track in ISAGT 2018 Author of Application Extraction for Java: A retrospective report of the Jax project within the SALAD-track in SALAD 2018 Author of Little Languages within the Curry On Talks-track in CurryOn 2018 Co-chair in Organizing Committee within the ISAGT-track Committee Member in Program Committee within the ISAGT-track
Pratap Lakshman Microsoft, India Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the ECOOP Research Papers-track in ECOOP 2018
Wing Lam University of Illinois at Urbana-Champaign United States Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the ECOOP Research Papers-track in ECOOP 2018 Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Cosimo Laneve Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track in VORTEX 2018
Torsten Layda SIX, Switzerland Committee Member in Organizing Committee for CurryOn 2018
Nhien-An Le-Khac University College Dublin Ireland Author of Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics within the Posters-track in ECOOP and ISSTA 2018 Speaker in Attendees within the WoSSCA-track
Hugh Leather University of Edinburgh Author of Compiler Fuzzing through Deep Learning within the ISSTA Technical Papers-track in ISSTA 2018 Author of Deep Learning over Code within the Posters-track in ECOOP and ISSTA 2018
Gary Leavens University of Central Florida United States Committee Member in Steering Committee within the FTfJP-track
Jaekwon Lee University of Luxembourg, Luxembourg Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the ISSTA Technical Papers-track in ISSTA 2018 Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the Posters-track in ECOOP and ISSTA 2018
Bruno Legeard Smartesting Committee Member in Program Committee within the INTUITESTBEDS-track
Caroline Lemieux University of California, Berkeley United States Author of PerfFuzz: Automatically Generating Pathological Inputs within the ISSTA Technical Papers-track in ISSTA 2018 Author of PerfFuzz: Automatically Generating Pathological Inputs within the Posters-track in ECOOP and ISSTA 2018
Andrea Leopardi Weedmaps Author of Papers we love - Elixir edition within the Curry On Talks-track in CurryOn 2018
Mohsen Lesani University of California, Riverside United States Committee Member in Program Committee within the ECOOP Research Papers-track
Martin Leucker University of Lübeck Germany Session Chair of Session 3 (part of VORTEX) Keynote Speaker of Stream-based runtime verification with hardware support within the VORTEX-track in VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
Tien-Duy B. Le School of Information Systems, Singapore Management University Author of Deep Specification Mining within the ISSTA Technical Papers-track in ISSTA 2018
Ondřej Lhoták University of Waterloo, Canada Author of Safe and Sound Program Analysis with Flix within the ISSTA Technical Papers-track in ISSTA 2018
Bruno Lima Faculty of Engineering, University of Porto and INESC TEC Portugal Author of A Pattern-based IoT Testing Framework within the TAV-CPS/IoT-track in TAV-CPS/IoT 2018
Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia Colombia Author of Mutode: Generic JavaScript and Node.js Mutation Testing Tool within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of Mutode: Generic JavaScript and Node.js Mutation Testing Tool within the Posters-track in ECOOP and ISSTA 2018
Jens Lincke Hasso Plattner Institute Germany Session Chair of Session 1 (part of COP) Session Chair of Session 2 (part of COP) Committee Member in Organizing Committee within the COP-track
Han Liu Author of Managing Concurrent Testing of Data Race with ComRaDe within the ISSTA Tool Demonstrations-track in ISSTA 2018
Fengyun Liu EPFL, Switzerland Switzerland Author of Theory and Practice of Coroutines with Snapshots within the ECOOP Research Papers-track in ECOOP 2018 Author of Theory and Practice of Coroutines with Snapshots within the Posters-track in ECOOP and ISSTA 2018
Yu David Liu State University of New York, Binghamton United States Session Chair of Languages (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Yang Liu Nanyang Technological University, Singapore Singapore Committee Member in Program Committee within the ISSTA Technical Papers-track
Ben Livshits Imperial College London, UK Author of Rethinking Modern Web Browsers within the Curry On Talks-track in CurryOn 2018
Paley Li Northeastern University New Zealand Author of KafKa: Gradual Typing for Objects within the ECOOP Research Papers-track in ECOOP 2018
Ding Li NEC Labs China Author of Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications within the ISSTA Technical Papers-track in ISSTA 2018 Author of Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications within the ISSTA Artifacts-track in ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Yaqi Li Institute of Software, Chinese Academy of Sciences Author of LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps within the ISSTA Tool Demonstrations-track in ISSTA 2018
Sihan Li Author of Targeted Test Generation for Actor Systems within the ECOOP Research Papers-track in ECOOP 2018 Author of Targeted Test Generation for Actor Systems within the Posters-track in ECOOP and ISSTA 2018
Li Li Monash University, Australia Australia Author of Generating tests for mobile platforms within the ISAGT 2018-track in ISAGT 2018 Author of CiD: Automating the Detection of API-related Compatibility Issues in Android Apps within the ISSTA Technical Papers-track in ISSTA 2018 Author of CiD: Automating the Detection of API-related Compatibility Issues in Android Apps within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Crista Lopes Author of NJR: A Normalized Java Resource within the SOAP-track in SOAP 2018 Author of InspectorClone: Evaluating Precision of Clone Detection Tools within the BenchWork-track in BenchWork 2018
David Lo Singapore Management University Singapore Author of Deep Specification Mining within the ISSTA Technical Papers-track in ISSTA 2018
Georgy Lukyanov Newcastle University, UK United Kingdom Committee Member in Program Committee within the ML4PL-track
Jian Lu Nanjing University Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the ECOOP Research Papers-track in ECOOP 2018 Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the Posters-track in ECOOP and ISSTA 2018
Yingjun Lyu University of Southern California United States Author of Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications within the ISSTA Technical Papers-track in ISSTA 2018 Author of Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications within the ISSTA Artifacts-track in ISSTA 2018
Ravichandhran Madhavan EPFL Switzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Magnus Madsen Aalborg University Denmark Session Chair of Session II (part of DPA) Author of Program Analysis with Flix within the DPA-track in DPA 2018 Author of Safe and Sound Program Analysis with Flix within the ISSTA Technical Papers-track in ISSTA 2018 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the DPA-track
Peyman Mahdian University of Illinois at Urbana-Champaign, USA Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the ECOOP Research Papers-track in ECOOP 2018 Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the Posters-track in ECOOP and ISSTA 2018
Muhammad Suleman Mahmood University of Illinois at Urbana-Champaign Author of Evaluating Test-Suite Reduction in Real-World Software Evolution within the ISSTA Technical Papers-track in ISSTA 2018
Petr Maj Czech Technical University Author of Analyzing Duplication in JavaScript within the BenchWork-track in BenchWork 2018 Author of Building a Node.js Benchmark: Initial Steps within the BenchWork-track in BenchWork 2018
Sam Malek University of California, Irvine United States Committee Member in Program Committee within the INTUITESTBEDS-track
Roman Manevich Ben-Gurion University of the Negev Israel Committee Member in Program Committee within the SOAP-track
Ravi Mangal Georgia Institute of Technology United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Morley Mao University of Michigan United States Committee Member in Program Committee within the SALAD-track
Alexandru Marginean University College London, UK United Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Leonardo Mariani University of Milano Bicocca Italy Committee Member in Program Committee within the INTUITESTBEDS-track
Darko Marinov University of Illinois at Urbana-Champaign United States Author of Evaluating Test-Suite Reduction in Real-World Software Evolution within the ISSTA Technical Papers-track in ISSTA 2018
Stefan Marr University of Kent United Kingdom Committee Member in Program Committee within the COP-track Committee Member in Program Committee within the ICOOOLPS-track
Guillaume Martres EPFL, Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hidehiko Masuhara Tokyo Institute of Technology Japan Author of A Context-Oriented Programming Approach to Dependency Hell within the COP-track in COP 2018 Committee Member in Organizing Committee within the COP-track
Srdjan Matic IMDEA Software Institute Spain Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Toni Mattis Hasso Plattner Institute Author of Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming within the COP-track in COP 2018
Xiaoxing Ma Nanjing University China Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the ECOOP Research Papers-track in ECOOP 2018 Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the Posters-track in ECOOP and ISSTA 2018
Stephen McCamant University of Minnesota Committee Member in Program Committee within the TAV-CPS/IoT-track
Phil McMinn University of Sheffield United Kingdom Author of Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications within the ISSTA Technical Papers-track in ISSTA 2018 Committee Member in Program Committee within the TAV-CPS/IoT-track
Tyler McMullen Fastly United States Author of Isolation Without Containers within the Curry On Talks-track in CurryOn 2018
Aastha Mehta MPI-SWS Germany Author of Pacer: Efficient I/O Side-Channel Mitigation in the Cloud within the WoSSCA 2018-track in WoSSCA 2018 Speaker in Attendees within the WoSSCA-track
Christopher Meiklejohn Université catholique de Louvain United States Committee Member in Organizing Committee for CurryOn 2018
Darya Melicher Carnegie Mellon University Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Kim Mens Université Catholique de Louvain, Belgium Belgium Author of Feature Visualiser: an Inspection Tool for Context-Oriented Programmers within the COP-track in COP 2018 Author of Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented Programming within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the COP-track
Sukarno Mertoguno ONR United States Author of ONR's perspective on debloating within the SALAD-track in SALAD 2018 Speaker in Attendees within the WoSSCA-track
Mira Mezini TU Darmstadt Germany Author of Lattice Based Modularization of Static Analyses within the SOAP-track in SOAP 2018 Author of Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java within the SOAP-track in SOAP 2018 Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track in FTfJP 2018 Author of Fault-tolerant Distributed Reactive Programming within the ECOOP Research Papers-track in ECOOP 2018 Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track in ECOOP 2018 Author of Fault-tolerant Distributed Reactive Programming within the Posters-track in ECOOP and ISSTA 2018
Gianluca Mezzetti Aarhus University, Denmark Italy Author of Type Regression Testing to Detect Breaking Changes in Node.js Libraries within the ECOOP Research Papers-track in ECOOP 2018 Author of Type Regression Testing to Detect Breaking Changes in Node.js Libraries within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ana Milanova Rensselaer Polytechnic Institute United States Author of Definite Reference Mutability within the ECOOP Research Papers-track in ECOOP 2018 Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Heather Miller Ecole Polytechnique Federale de Lausanne CurryOn Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Committee Member in Organizing Committee for CurryOn 2018 Author of Opening Remarks within the Curry On Keynotes-track in CurryOn 2018
Matt Miller Microsoft Author of Systematizing speculative execution side channel vulnerabilities and their mitigations within the WoSSCA 2018-track in WoSSCA 2018
Todd Millstein University of California, Los Angeles United States ECOOP Program Chair in Organizing Committee for ECOOP and ISSTA 2018 Program Chair in Organizing Committee for ECOOP 2018 Presenter of Distinguished Paper Award within the ECOOP Keynotes-track in ECOOP 2018 Presenter of Welcome within the ECOOP Keynotes-track in ECOOP 2018 Program Chair in Program Committee within the ECOOP Research Papers-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Suzanne Millstein University of Washington Author of Lightweight Verification of Array Indexing within the ISSTA Artifacts-track in ISSTA 2018 Author of Lightweight Verification of Array Indexing within the ISSTA Technical Papers-track in ISSTA 2018
Todd Millstein University of California, Los Angeles Session Chair of Asynchrony and Concurrency (part of ECOOP Research Papers)
Mehdi Mirakhorli Rochester Institute of Technology United States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Eliot Miranda Cadence Design Systems United States Committee Member in Program Committee within the ICOOOLPS-track
Sasa Misailovic University of Illinois at Urbana-Champaign, USA Committee Member in Program Committee within the ISSTA Technical Papers-track
Archan Misra Singapore Management University, Singapore Keynote Speaker of Computing Paradigms for Emerging Pervasive & IoT-based Applications within the TAV-CPS/IoT-track in TAV-CPS/IoT 2018
Nick Mitchell IBM TJ Watson Research Center United States Speaker of Degunking the Cloud within the SALAD-track in SALAD 2018
Ragnar Mogk Technische Universität Darmstadt Author of Fault-tolerant Distributed Reactive Programming within the ECOOP Research Papers-track in ECOOP 2018 Author of Fault-tolerant Distributed Reactive Programming within the Posters-track in ECOOP and ISSTA 2018
Rosemary Monahan National University of Ireland Chair in Steering Committee within the FTfJP-track
Hyungon Moon Georgia Tech United States Author of On the Effectiveness of Kernel Debloating via Compile-time Configuration within the SALAD-track in SALAD 2018 Speaker in Attendees within the WoSSCA-track
Kevin Moran College of William & Mary United States Committee Member in Program Committee within the INTUITESTBEDS-track
Robin Morisset Apple United States Speaker in Attendees within the WoSSCA-track
Robert Morris MIT Author of Analysing The Effect of Uncertainty in Airport Surface Operations within the TAV-CPS/IoT-track in TAV-CPS/IoT 2018
Sarah Mount King's College London United Kingdom Diversity Chair in Organizing Committee for ECOOP and ISSTA 2018 Diversity Chair in Organizing Committee for ISSTA 2018 Diversity Chair in Organizing Committee for ECOOP 2018 Author of In Search of Accurate Benchmarking within the BenchWork-track in BenchWork 2018 Committee Member in Program Committee within the ICOOOLPS-track
Mohammad Mousavi University of Leicester, UK United Kingdom Author of Conformance Testing as a Tool for Designing Connected Vehicle Functions within the TAV-CPS/IoT-track in TAV-CPS/IoT 2018 Committee Member in Program Committee within the TAV-CPS/IoT-track
Rashmi Mudduluru University of Washington, Seattle United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Fabian Muehlboeck Cornell University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
John Mumm Vectrology Solutions Author of A CRDT Primer: Defanging Order Theory within the Curry On Talks-track in CurryOn 2018
Alastair Murray Codeplay Software Author of Compiler Fuzzing through Deep Learning within the ISSTA Technical Papers-track in ISSTA 2018 Author of Deep Learning over Code within the Posters-track in ECOOP and ISSTA 2018
Tukaram Muske Tata Consultancy Services Ltd India Author of Repositioning of Static Analysis Alarms within the ISSTA Artifacts-track in ISSTA 2018 Author of Repositioning of Static Analysis Alarms within the ISSTA Technical Papers-track in ISSTA 2018 Author of Repositioning of Static Analysis Alarms within the Posters-track in ECOOP and ISSTA 2018
Onur Mutlu ETH Zurich Committee Member in Program Committee within the WoSSCA-track
Monika Mužikovská Brno University of Technology Author of Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of Advances in the ANaConDA Framework within the Posters-track in ECOOP and ISSTA 2018
Anders Møller Aarhus University Denmark Author of Type Regression Testing to Detect Breaking Changes in Node.js Libraries within the ECOOP Research Papers-track in ECOOP 2018 Author of ISSTA 2019 Preview within the ISSTA Keynotes-track in ISSTA 2018 Author of Type Regression Testing to Detect Breaking Changes in Node.js Libraries within the Posters-track in ECOOP and ISSTA 2018 Speaker of Static Program Analysis within the Summer School-track in ECOOP and ISSTA 2018 Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ISSTA Technical Papers-track Speaker in Speakers within the ECOOP and ISSTA Summer School-track
Peter Müller ETH Zurich Switzerland Committee Member in Steering Committee within the FTfJP-track
André N. Meyer University of Zurich Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Mei Nagappan University of Waterloo Canada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Mayur Naik University of Pennsylvania United States Committee Member in Program Committee within the SALAD-track
Akbar Siami Namin Texas Tech University Author of MalViz: An Interactive Visualization Tool for Tracing Malware within the ISSTA Tool Demonstrations-track in ISSTA 2018
Joseph Nash Author of BinRec: Attack Surface Reduction Through Dynamic Binary Recovery within the SALAD-track in SALAD 2018
Yeoul Na Author of BinRec: Attack Surface Reduction Through Dynamic Binary Recovery within the SALAD-track in SALAD 2018
Yeoul Na Author of Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization within the ECOOP Research Papers-track in ECOOP 2018
Shiva Nejati SnT Centre/University of Luxembourg Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach within the ISSTA Technical Papers-track in ISSTA 2018 Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach within the Posters-track in ECOOP and ISSTA 2018
Rumyana Neykova Imperial College London, UK United Kingdom Committee Member in Program Committee within the VORTEX-track
Lisa Nguyen Quang Do Paderborn University Germany Posters Chair in Organizing Committee for ECOOP and ISSTA 2018 Poster Chair in Organizing Committee for ISSTA 2018 Posters Chair in Organizing Committee for ECOOP 2018 Session Chair of Poster session (part of ECOOP and ISSTA Posters) Author of Towards a Data-Curation Platform for Code-Centric Research within the BenchWork-track in BenchWork 2018 Posters Chair in Posters Committee within the ECOOP and ISSTA Posters-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Vinh The Nguyen Texas Tech University United States Author of MalViz: An Interactive Visualization Tool for Tracing Malware within the ISSTA Tool Demonstrations-track in ISSTA 2018
Fabio Niephaus Hasso Plattner Institute, University of Potsdam Germany Author of GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework within the ICOOOLPS-track in ICOOOLPS 2018 Author of Polyglot Programming - Opportunities of Language Implementation Frameworks for Software Developers within the Posters-track in ECOOP and ISSTA 2018
Filip Niksic MPI-SWS Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yannic Noller Humboldt-Universität zu Berlin Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the ISSTA Technical Papers-track in ISSTA 2018 Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the Posters-track in ECOOP and ISSTA 2018
Gian Ntzik Imperial College London Author of A Concurrent Specification of POSIX File Systems within the ECOOP Research Papers-track in ECOOP 2018
Nate Nystrom Universita della Svizzera italiana Switzerland Committee Member in Program Committee within the ECOOP Research Papers-track
Hamed Okhravi MIT Lincoln Labs United States Committee Member in Program Committee within the WoSSCA-track
Bruno C. d. S. Oliveira University of Hong Kong, China Hong Kong Author of The Essence of Nested Composition within the ECOOP Research Papers-track in ECOOP 2018 Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the ECOOP Research Papers-track in ECOOP 2018 Author of Typed First-Class Traits within the ECOOP Research Papers-track in ECOOP 2018 Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the Posters-track in ECOOP and ISSTA 2018 Author of Typed First-Class Traits within the Posters-track in ECOOP and ISSTA 2018 Author of The Essence of Nested Composition within the Posters-track in ECOOP and ISSTA 2018
Rafael Oliveira USP Committee Member in Program Committee within the INTUITESTBEDS-track
Wytse Oortwijn University of Twente, The Netherlands Author of Tool demonstration: The VerCors Verification Toolset within the FTfJP-track in FTfJP 2018 Author of An Exercise in Verifying Sequential Programs with VerCors within the FTfJP-track in FTfJP 2018
Nathalie Oostvogels Vrije Universiteit Brussel Belgium Author of Static typing of complex presence constraints in interfaces within the ECOOP Research Papers-track in ECOOP 2018
Alessandro Orso Georgia Tech United States Author of Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments within the ISSTA Technical Papers-track in ISSTA 2018 Author of Automatically Translating Bug Reports into Test Cases for Mobile Apps within the ISSTA Technical Papers-track in ISSTA 2018 Author of Automatically Translating Bug Reports into Test Cases for Mobile Apps within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track
Alex Orso Georgia Institute of Technology United States Session Chair of Machine Learning (part of ISSTA Technical Papers) Speaker of Software Testing and Debugging: State of the Art and Open Issues within the Summer School-track in ECOOP and ISSTA 2018 Speaker in Speakers within the ECOOP and ISSTA Summer School-track
Thomas Ostrand Author of Automated Test Mapping and Coverage for Network Topologies within the ISSTA Technical Papers-track in ISSTA 2018
Gordon Pace University of Malta Malta Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Rohan Padhye University of California, Berkeley Author of PerfFuzz: Automatically Generating Pathological Inputs within the ISSTA Technical Papers-track in ISSTA 2018 Author of PerfFuzz: Automatically Generating Pathological Inputs within the Posters-track in ECOOP and ISSTA 2018
Oded Padon Tel Aviv University Israel Committee Member in Program Committee within the FTfJP-track
Luca Padovani University of Turin, Italy Italy Author of Mailbox Types for Unordered Interactions within the ECOOP Research Papers-track in ECOOP 2018 Committee Member in Program Committee within the VORTEX-track
Ana Paiva University of Porto Co-chair in Organizing Committee within the INTUITESTBEDS-track
Chris Palmer Google United States Author of Application-Specific Principals Must Align With Platform Boundaries within the WoSSCA 2018-track in WoSSCA 2018 Speaker in Attendees within the WoSSCA-track
Karl Palmskog University of Texas at Austin United States Author of piCoq: Parallel Regression Proving for Large-Scale Verification Projects within the ISSTA Technical Papers-track in ISSTA 2018
Jens Palsberg University of California, Los Angeles United States Author of NJR: A Normalized Java Resource within the SOAP-track in SOAP 2018 Speaker of Delta Debugging of Java Bytecode within the SALAD-track in SALAD 2018 Committee Member in Program Committee within the SALAD-track Committee Member in Program Committee within the BenchWork-track
Linjie Pan Institute of Software, Chinese Academy of Sciences Author of LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps within the ISSTA Tool Demonstrations-track in ISSTA 2018
Tobias Pape HPI, Germany Germany Committee Member in Program Committee within the ICOOOLPS-track
Matthew Parkinson Microsoft Research, UK United Kingdom Committee Member in Program Committee within the FTfJP-track
Jihyeok Park KAIST, South Korea South Korea Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Chris Parnin NCSU United States Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Technical Papers-track in ISSTA 2018 Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Artifacts-track in ISSTA 2018
Corina S Pasareanu NASA Ames Research Center United States Author of Analysing The Effect of Uncertainty in Airport Surface Operations within the TAV-CPS/IoT-track in TAV-CPS/IoT 2018 Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the ISSTA Technical Papers-track in ISSTA 2018 Author of Test input generation with Java PathFinder: Then and Now within the ISSTA Keynotes-track in ISSTA 2018 Author of Symbolic Path Cost Analysis for Side-Channel Detection within the ISSTA Technical Papers-track in ISSTA 2018 Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the Posters-track in ECOOP and ISSTA 2018 Author of Symbolic Path Cost Analysis for Side-Channel Detection within the Posters-track in ECOOP and ISSTA 2018 Speaker of Symbolic Execution and Probabilistic Reasoning within the Summer School-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track Speaker in Speakers within the ECOOP and ISSTA Summer School-track Committee Member in Program Committee within the TAV-CPS/IoT-track
Karthik Pattabiraman University of British Columbia Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the ECOOP Research Papers-track in ECOOP 2018 Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the Posters-track in ECOOP and ISSTA 2018
Mathias Payer Purdue University United States Co-chair in Organizing Committee within the WoSSCA-track
Hila Peleg Technion, Israel Israel Session Chair of Session #1 (part of ML4PL) Session Chair of Session #3 (part of ML4PL) Author of On the Importance of Common Sense in Program Synthesis within the ML4PL-track in ML4PL 2018 Committee Member in Organizing Committee within the ML4PL-track
Artem Pelenitsyn Czech Technical University in Prague Russia Session Chair of Session #1 (part of ML4PL) Session Chair of Session #2 (part of ML4PL) Author of Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks within the ML4PL-track in ML4PL 2018 Committee Member in Organizing Committee within the ML4PL-track
Gervasio Daniel Perez Universidad de Buenos Aires Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Andrea Peruffo Nokia Author of Akka.JS and why the actor model matters even in JS's world. within the Curry On Talks-track in CurryOn 2018
Pavlos Petoumenos University of Edinburgh United Kingdom Author of Compiler Fuzzing through Deep Learning within the ISSTA Technical Papers-track in ISSTA 2018 Author of Deep Learning over Code within the Posters-track in ECOOP and ISSTA 2018
Victor Petukhov ITMO University Author of Detecting anomalies in Kotlin code within the ML4PL-track in ML4PL 2018
Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca Switzerland Author of Looking ahead: what can we do during the PhD for a future career? within the Doc Symposium-track in ECOOP and ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Academic Panel within the ECOOP and ISSTA Doc Symposium-track Committee Member in Program Committee within the INTUITESTBEDS-track Organizing Committee in Organizing Committee within the TAV-CPS/IoT-track
Mauro Pezzè University of Milano-Bicocca, Italy Author of Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Author of Translating Code Comments to Procedure Specifications within the ISSTA Artifacts-track in ISSTA 2018 Author of Translating Code Comments to Procedure Specifications within the ISSTA Technical Papers-track in ISSTA 2018
Quoc-Sang Phan Fujitsu Laboratories of America United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
David Pichardie Univ Rennes, ENS Rennes, IRISA France Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Luís Pina George Mason University United States Author of CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs within the ECOOP Research Papers-track in ECOOP 2018 Author of CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs within the Posters-track in ECOOP and ISSTA 2018
Pedro da Rocha Pinto Imperial College London Author of A Concurrent Specification of POSIX File Systems within the ECOOP Research Papers-track in ECOOP 2018
Goran Piskachev Fraunhofer IEM Germany Author of Transparent Static Analysis for the Detection of Security Vulnerabilities within the Posters-track in ECOOP and ISSTA 2018 Author of Transparent Static Analysis for the Detection of Security Vulnerabilities within the Doc Symposium-track in ECOOP and ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Filip Pizlo Apple United States Author of Polymorphic Inline Caching in JavaScriptCore within the ICOOOLPS-track in ICOOOLPS 2018 Author of Speculative side channels: the view from WebKit within the WoSSCA 2018-track in WoSSCA 2018 Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Sanjay Podder Author of Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing within the ISSTA Technical Papers-track in ISSTA 2018
Alex Polozov Microsoft Research United States Committee Member in Program Committee within the ML4PL-track
Michalis Polychronakis Stony Brook University United States Committee Member in Program Committee within the WoSSCA-track
Pedro Martins Pontes Faculty of Engineering, University of Porto and INESC TEC Portugal Author of A Pattern-based IoT Testing Framework within the TAV-CPS/IoT-track in TAV-CPS/IoT 2018
Denys Poshyvanyk William and Mary United States Committee Member in Program Committee within the INTUITESTBEDS-track
Nikita Povarov JetBrains Author of Detecting anomalies in Kotlin code within the ML4PL-track in ML4PL 2018
Michael Pradel TU Darmstadt Germany Invited Speaker of DeepBugs: A Learning Approach to Name-based Bug Detection within the SOAP-track in SOAP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
Martin Prammer Georgia Institute of Technology Author of Automatically Translating Bug Reports into Test Cases for Mobile Apps within the ISSTA Technical Papers-track in ISSTA 2018 Author of Automatically Translating Bug Reports into Test Cases for Mobile Apps within the Posters-track in ECOOP and ISSTA 2018
Wishnu Prasetya Utrecht University Committee Member in Program Committee within the INTUITESTBEDS-track
Ron Pressler Author of Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra within the Curry On Talks-track in CurryOn 2018
Aleksandar Prokopec Oracle Labs Switzerland Author of Theory and Practice of Coroutines with Snapshots within the ECOOP Research Papers-track in ECOOP 2018 Author of Theory and Practice of Coroutines with Snapshots within the Posters-track in ECOOP and ISSTA 2018
Sebastian Proksch University of Zurich Switzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Ka I Pun Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track in VORTEX 2018
Lina Qiu University of British Columbia Canada Author of Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe within the ISSTA Technical Papers-track in ISSTA 2018 Author of Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe within the Posters-track in ECOOP and ISSTA 2018
Mohaned Qunaibit University of California, Irvine United States Author of Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization within the ECOOP Research Papers-track in ECOOP 2018
Xiao Qu ABB Corporate Research Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Rodric Rabbah Author of Serverless Computing with Functions within the Curry On Talks-track in CurryOn 2018
Hany Ragab Vrije Universiteit Amsterdam Italy Speaker in Attendees within the WoSSCA-track
G. Ramalingam Microsoft Research Author of Safe Transferable Regions within the ECOOP Research Papers-track in ECOOP 2018
Rudolf Ramler Software Competence Center Hagenberg Author of GUI Scalability Issues of Windows Desktop Applications and How to Find Them within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Committee Member in Program Committee within the INTUITESTBEDS-track
Stefan Ramson Hasso Plattner Institute, Potsdam Committee Member in Program Committee within the COP-track
Raghotham M Rao Accenture Labs Author of Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing within the ISSTA Technical Papers-track in ISSTA 2018
Marianna Rapoport University of Waterloo Canada Artifact Evaluation Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2018 Presenter of Distinguished Artifact Award within the ECOOP Keynotes-track in ECOOP 2018 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Shawn Rasheed Massey University New Zealand Author of A Micro-Benchmark for Dynamic Program Behaviour within the BenchWork-track in BenchWork 2018
Antonio Ravara Committee Member in Program Committee within the VORTEX-track
Baishakhi Ray Columbia University, New York United States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Kaveh Razavi Vrije Universiteit Amsterdam Netherlands Committee Member in Program Committee within the WoSSCA-track
John Regehr University of Utah United States Committee Member in Program Committee within the WoSSCA-track
Giles Reger University of Manchester United Kingdom Committee Member in Program Committee within the VORTEX-track
Michael Reif TU Darmstadt, Germany Germany Author of Lattice Based Modularization of Static Analyses within the SOAP-track in SOAP 2018 Author of Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java within the SOAP-track in SOAP 2018
Tobias Reinhard Technische Universität Darmstadt Author of Static Latency Tracking with Placement Types within the FTfJP-track in FTfJP 2018
Patrick Rein Hasso Plattner Institute Author of Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns within the COP-track in COP 2018
Armin Rezaiean-Asel University of British Columbia Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the ECOOP Research Papers-track in ECOOP 2018 Author of ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications within the Posters-track in ECOOP and ISSTA 2018
Filippo Ricca DIBRIS, University of Genova, Italy Author of Automated End To End Testing of Single Page Web Applications within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the INTUITESTBEDS-track
Vincenzo Riccio University of Naples Federico II Italy Author of Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities within the INTUITESTBEDS-track in INTUITESTBEDS 2018
Manuel Rigger Johannes Kepler University Linz Austria Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Noam Rinetzky Tel Aviv University Israel Committee Member in Program Committee within the SOAP-track
Diego Rodríguez-Baquero Universidad de los Andes Colombia Author of Mutode: Generic JavaScript and Node.js Mutation Testing Tool within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of Mutode: Generic JavaScript and Node.js Mutation Testing Tool within the Posters-track in ECOOP and ISSTA 2018
José Miguel Rojas University of Sheffield United Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Paolo Rondena Author of Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art within the INTUITESTBEDS-track in INTUITESTBEDS 2018
Nico Rosner University of California, Santa Barbara United States Publicity Chair in Organizing Committee for ECOOP and ISSTA 2018 Publicity Chair in Organizing Committee for ISSTA 2018 Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2018 Publicity Chair in Organizing Committee for ECOOP 2018 Presenter of Distinguished Artifact Award within the ISSTA Keynotes-track in ISSTA 2018 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifacts-track
Andreas Rossberg Google Germany Author of WebAssembly, Past, Present, and Future within the Curry On Keynotes-track in CurryOn 2018
Gregg Rothermel University of Nebraska-Lincoln, USA Committee Member in Program Committee within the ISSTA Technical Papers-track
Julia Rubin University of British Columbia Canada Author of Analyzing the analyzers within the ISAGT 2018-track in ISAGT 2018 Author of Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe within the ISSTA Technical Papers-track in ISSTA 2018 Author of Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe within the Posters-track in ECOOP and ISSTA 2018
Cindy Rubio-González University of California, Davis Session Chair of Testing and Fault Localization (part of ISSTA Technical Papers) Author of Exploiting Community Structure for Floating-Point Precision Tuning within the ISSTA Technical Papers-track in ISSTA 2018 Author of Landing your Dream Job After Graduate School within the Doc Symposium-track in ECOOP and ISSTA 2018 Committee Member in Academic Panel within the ECOOP and ISSTA Doc Symposium-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Michael Rusinowitch Author of Implementing security protocol monitors within the VORTEX-track in VORTEX 2018
Mehrdad Sabetzadeh SnT Centre/University of Luxembourg Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach within the ISSTA Technical Papers-track in ISSTA 2018 Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach within the Posters-track in ECOOP and ISSTA 2018
Miles Sabin Underscore LLP Author of Adding kind-polymorphism to the Scala programming language within the Curry On Talks-track in CurryOn 2018
Alireza Sadeghi Google, Inc United States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Mohsen Safari University of Twente, The Netherlands Author of An Exercise in Verifying Sequential Programs with VerCors within the FTfJP-track in FTfJP 2018
Seemanta Saha University of California Santa Barbara Author of Symbolic Path Cost Analysis for Side-Channel Detection within the ISSTA Technical Papers-track in ISSTA 2018 Author of Symbolic Path Cost Analysis for Side-Channel Detection within the Posters-track in ECOOP and ISSTA 2018
Guido Salvaneschi TU Darmstadt Author of Static Latency Tracking with Placement Types within the FTfJP-track in FTfJP 2018 Author of Lattice Based Modularization of Static Analyses within the SOAP-track in SOAP 2018 Author of Fault-tolerant Distributed Reactive Programming within the ECOOP Research Papers-track in ECOOP 2018 Author of Distributed Multitier Programming with Placement Types using ScalaLoci within the Posters-track in ECOOP and ISSTA 2018 Author of Fault-tolerant Distributed Reactive Programming within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the FTfJP-track Committee Member in Program Committee within the COP-track
Mark Santolucito Yale University United States Committee Member in Program Committee within the ML4PL-track
Jennifer B. Sartor Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the ECOOP Research Papers-track
Annabel Satin P.C.K. United Kingdom Financial Chair and AITO Liaison in Organizing Committee for ECOOP and ISSTA 2018 Finance Chair in Organizing Committee for ISSTA 2018 Finance Chair in Organizing Committee for ECOOP 2018
Asanka Sayakkara University College Dublin Ireland Author of Electromagnetic Side-Channel Attacks: Potential for Progressing Hindered Digital Forensic Analysis within the WoSSCA 2018-track in WoSSCA 2018 Author of Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics within the Posters-track in ECOOP and ISSTA 2018 Author of Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics within the Doc Symposium-track in ECOOP and ISSTA 2018 Speaker in Attendees within the WoSSCA-track
Alceste Scalas Imperial College London United Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mark Scanlon University College Dublin Ireland Author of Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics within the Posters-track in ECOOP and ISSTA 2018 Speaker in Attendees within the WoSSCA-track
Max Schaefer Semmle United Kingdom Session Chair of Session I (part of DPA) Author of QL + LGTM = Declarative Program Analysis for the Masses within the DPA-track in DPA 2018 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the DPA-track
Ina Schaefer Technische Universität Braunschweig Germany Committee Member in Program Committee within the ECOOP Research Papers-track
Stephan Schaik Vrije Universiteit Amsterdam Netherlands Speaker in Attendees within the WoSSCA-track
Patrick Schaumont Virginia Tech Author of Eliminating Timing Side-Channel Leaks using Program Repair within the ISSTA Artifacts-track in ISSTA 2018 Author of Eliminating Timing Side-channel Leaks Using Program Repair within the ISSTA Technical Papers-track in ISSTA 2018
Gerardo Schneider University of Gothenburg Sweden Committee Member in Program Committee within the VORTEX-track
Tom Schrijvers KU Leuven Author of The Essence of Nested Composition within the ECOOP Research Papers-track in ECOOP 2018 Author of The Essence of Nested Composition within the Posters-track in ECOOP and ISSTA 2018
Andreas Schuler University of Applied Sciences Upper Austria Author of Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview within the SOAP-track in SOAP 2018 Author of Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview within the Posters-track in ECOOP and ISSTA 2018
Jasper Schulz King's College London Germany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2018 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2018 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2018 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP and ISSTA Doc Symposium-track
Christopher Schuster University of California, Santa Cruz Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Koushik Sen University of California, Berkeley United States Author of PerfFuzz: Automatically Generating Pathological Inputs within the ISSTA Technical Papers-track in ISSTA 2018 Author of PerfFuzz: Automatically Generating Pathological Inputs within the Posters-track in ECOOP and ISSTA 2018
Alexander Serebrenik Eindhoven University of Technology Netherlands Author of Repositioning of Static Analysis Alarms within the ISSTA Artifacts-track in ISSTA 2018 Author of Repositioning of Static Analysis Alarms within the ISSTA Technical Papers-track in ISSTA 2018 Author of Repositioning of Static Analysis Alarms within the Posters-track in ECOOP and ISSTA 2018
Marco Servetto Victoria University of Wellington Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the ECOOP Research Papers-track in ECOOP 2018 Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the Posters-track in ECOOP and ISSTA 2018
Peter Sewell University of Cambridge United Kingdom Committee Member in Program Committee within the WoSSCA-track
Sina Shamshiri University of Sheffield United Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Xipeng Shen North Carolina State University United States Committee Member in Program Committee within the ECOOP Research Papers-track
Elena Sherman Boise State University United States Author of Redesigning Soot's Data-flow Analysis Framework for Abstract Interpretation within the SOAP-track in SOAP 2018 Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Seung Yeob Shin SnT Centre/University of Luxembourg Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach within the ISSTA Technical Papers-track in ISSTA 2018 Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach within the Posters-track in ECOOP and ISSTA 2018
August Shi University of Illinois at Urbana-Champaign Author of Evaluating Test-Suite Reduction in Real-World Software Evolution within the ISSTA Technical Papers-track in ISSTA 2018
Jeremy G. Siek Indiana University, USA United States Committee Member in Program Committee within the ECOOP Research Papers-track
Samarth Sikand Accenture Labs Author of Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing within the ISSTA Technical Papers-track in ISSTA 2018
Yannis Smaragdakis University of Athens Author of Declarative Static Analysis and Zombies (ok, Soundness) within the DPA-track in DPA 2018 Author of Defensive Points-To Analysis: Effective Soundness via Laziness within the ECOOP Research Papers-track in ECOOP 2018 Author of Efficient Reflection String Analysis via Graph Coloring within the ECOOP Research Papers-track in ECOOP 2018 Author of Static Analysis of Java Dynamic Proxies within the ISSTA Technical Papers-track in ISSTA 2018 Author of Static Analysis of Java Dynamic Proxies within the ISSTA Artifacts-track in ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Artifacts-track in ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Technical Papers-track in ISSTA 2018 Author of Defensive Points-To Analysis: Effective Soundness via Laziness within the Posters-track in ECOOP and ISSTA 2018 Author of Efficient Reflection String Analysis via Graph Coloring within the Posters-track in ECOOP and ISSTA 2018 Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the Posters-track in ECOOP and ISSTA 2018 Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Kirill Smirenko Saint Petersburg State University Author of Detecting anomalies in Kotlin code within the ML4PL-track in ML4PL 2018
Scott F. Smith The Johns Hopkins University United States Committee Member in Program Committee within the ECOOP Research Papers-track
Justin Smith North Carolina State University United States Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Aleš Smrčka Brno University of Technology Czech Republic Author of Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of Advances in the ANaConDA Framework within the Posters-track in ECOOP and ISSTA 2018
Oleg Sokolsky University of Pennsylvania, USA Committee Member in Program Committee within the VORTEX-track
Linhai Song Pennsylvania State University, USA United States Author of Fine-Grained Library Customization within the SALAD-track in SALAD 2018
Dawn Song Author of PerfFuzz: Automatically Generating Pathological Inputs within the ISSTA Technical Papers-track in ISSTA 2018 Author of PerfFuzz: Automatically Generating Pathological Inputs within the Posters-track in ECOOP and ISSTA 2018
Tyler Sorensen Imperial College London United Kingdom Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Matthias Springer Tokyo Institute of Technology Germany Committee Member in Program Committee within the COP-track
Johannes Späth Fraunhofer IEM Germany Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track in ECOOP 2018
Manu Sridharan Uber Author of Challenges in Large-Scale Mobile App Performance within the Curry On Talks-track in CurryOn 2018
Siwakorn Srisakaokul University of Illinois at Urbana-Champaign, USA Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the ECOOP Research Papers-track in ECOOP 2018 Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the Posters-track in ECOOP and ISSTA 2018
Yulia Startsev Mozilla Author of Language Design in the Open within the Curry On Talks-track in CurryOn 2018
Deian Stefan University of California, San Diego Author of Constant-time crypto programming with FaCT within the Curry On Talks-track in CurryOn 2018
Kathryn Stolee North Carolina State University United States Tool Demos Co-Chair in Organizing Committee for ISSTA 2018 Author of Best Tool Demonstration Award within the ISSTA Keynotes-track in ISSTA 2018 Committee Member in Posters Committee within the ECOOP and ISSTA Posters-track Committee Member in Program Committee within the ISSTA Technical Papers-track Tool Demos Co-Chair in Program Committee within the ISSTA Tool Demonstrations-track
Volker Stolz Høgskulen på Vestlandet Norway Author of On Distributed runtime verification by aggregate computing within the VORTEX-track in VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
Raoul Strackx KU Leuven Belgium Speaker in Attendees within the WoSSCA-track
Per Erik Strandberg Westermo Research and Development AB Author of Automated Test Mapping and Coverage for Network Topologies within the ISSTA Technical Papers-track in ISSTA 2018
Gianluca Stringhini University College London United Kingdom Committee Member in Program Committee within the WoSSCA-track
Pavle Subotic University College London United Kingdom Author of Scalable Logic Defined Static Analysis with Soufflé within the DPA-track in DPA 2018
Yulei Sui University of Technology Sydney, Australia Australia Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Li Sui Massey University, New Zealand New Zealand Author of A Micro-Benchmark for Dynamic Program Behaviour within the BenchWork-track in BenchWork 2018
Alexander J. Summers ETH Zurich Switzerland Program Chair in Program Committee within the FTfJP-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Daniel Sundmark Mälardalen University Author of Automated Test Mapping and Coverage for Network Topologies within the ISSTA Technical Papers-track in ISSTA 2018
Wanting Sun Beijing University of Posts and Telecommunications Author of Managing Concurrent Testing of Data Race with ComRaDe within the ISSTA Tool Demonstrations-track in ISSTA 2018
Wei Sun University of Nebraska-Lincoln, USA Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Julian Sutherland Imperial College London Author of A Concurrent Specification of POSIX File Systems within the ECOOP Research Papers-track in ECOOP 2018
Jerry Swan University of York Author of Subtype Polymorphism à la carte via Machine Learning on Dependent Types within the ML4PL-track in ML4PL 2018
Tamás Szabó Author of Incrementalizing Lattice-Based Program Analyses within the Posters-track in ECOOP and ISSTA 2018
Tamás Szabó itemis AG / TU Delft Germany Author of IncAL - Incrementalizing Lattice-Based Program Analyses within the DPA-track in DPA 2018 Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track in FTfJP 2018 Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the Curry On Talks-track in CurryOn 2018
César Sánchez IMDEA Software Institute Spain Committee Member in Program Committee within the VORTEX-track
Mario Südholt IMT Atlantique, Nantes, France Committee Member in Program Committee within the COP-track
Marcel Taeumel Hasso Plattner Institute Germany Author of Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns within the COP-track in COP 2018
Amjed Tahir Massey University New Zealand Author of A Micro-Benchmark for Dynamic Program Behaviour within the BenchWork-track in BenchWork 2018
Rohith Talluri Tata Consultancy Services Ltd Author of Repositioning of Static Analysis Alarms within the ISSTA Artifacts-track in ISSTA 2018 Author of Repositioning of Static Analysis Alarms within the ISSTA Technical Papers-track in ISSTA 2018 Author of Repositioning of Static Analysis Alarms within the Posters-track in ECOOP and ISSTA 2018
Yudai Tanabe Tokyo Institute of Technology Japan Author of A Context-Oriented Programming Approach to Dependency Hell within the COP-track in COP 2018
Gang Tan Pennsylvania State University United States Committee Member in Program Committee within the ECOOP Research Papers-track
Alexandros Tasos Imperial College London Greece Author of Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages within the ICOOOLPS-track in ICOOOLPS 2018 Author of Safely Abstracting Memory Layouts within the FTfJP-track in FTfJP 2018 Author of SHAPES: Adding memory layouts and SIMD capabilities to high-level languages within the Posters-track in ECOOP and ISSTA 2018
Valerio Terragni Università della Svizzera Italiana Switzerland Committee Member in Program Committee within the TAV-CPS/IoT-track
Hannes Thaller Institute for Software Systems Engineering, Johannes Kepler University, Linz Austria Author of Probabilistic Software Modeling within the Doc Symposium-track in ECOOP and ISSTA 2018 Author of Probabilistic Software Modeling within the Posters-track in ECOOP and ISSTA 2018
Alexander Thiemann Stripe Inc Author of SuperRecord: Practical Anonymous Records for Haskell within the Curry On Talks-track in CurryOn 2018
Peter Thiemann University of Freiburg Germany Committee Member in Program Committee within the ECOOP Research Papers-track
Rei Thiessen Google Inc. Author of Simple encoding of lattices in Datalog within the DPA-track in DPA 2018
Dave Thomas Kx Systems Canada Speaker of Simplicity - The Road Not Taken? within the Curry On Talks-track in CurryOn 2018
Frank Tip Northeastern University United States General Chair in Organizing Committee for ECOOP and ISSTA 2018 General Chair in Organizing Committee for ISSTA 2018 General Chair in Organizing Committee for ECOOP 2018 Session Chair of Welcome & Keynote: Torlak (part of ISSTA Keynotes) Session Chair of Keynote: Visser, Khurshid, and Pasareanu & Awards (part of ISSTA Keynotes) Session Chair of Keynote: Zeller & ECOOP 2019 Preview (part of ECOOP Keynotes) Session Chair of Welcome & Keynote: De Moor (part of ECOOP Keynotes) Author of Application Extraction for Java: A retrospective report of the Jax project within the SALAD-track in SALAD 2018 Presenter of Welcome within the ECOOP Keynotes-track in ECOOP 2018 Presenter of Welcome within the ISSTA Keynotes-track in ISSTA 2018 Mentor in Mentors within the ECOOP and ISSTA Summer School-track Co-chair in Organizing Committee within the SALAD-track
Ben L. Titzer Google Germany Author of Peering behind the Turing Mirror within the WoSSCA 2018-track in WoSSCA 2018 Author of WebAssembly, Past, Present, and Future within the Curry On Keynotes-track in CurryOn 2018 Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Martin Toldam Torp Aarhus University Denmark Author of Type Regression Testing to Detect Breaking Changes in Node.js Libraries within the ECOOP Research Papers-track in ECOOP 2018 Author of Type Regression Testing to Detect Breaking Changes in Node.js Libraries within the Posters-track in ECOOP and ISSTA 2018
John Toman University of Washington, Seattle United States Author of Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates within the ECOOP Research Papers-track in ECOOP 2018
Paolo Tonella Fondazione Bruno Kessler Italy Author of OASIs: Oracle Assessment and Improvement Tool within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of Automated End To End Testing of Single Page Web Applications within the Posters-track in ECOOP and ISSTA 2018 Author of OASIs: Oracle Assessment and Improvement Tool within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track
Marco Torchiano Author of Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices within the INTUITESTBEDS-track in INTUITESTBEDS 2018
Emina Torlak University of Washington United States Presenter of Solver-Aided Programming for All within the ISSTA Keynotes-track in ISSTA 2018
Emma Tosch University of Massachusetts, Amherst Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yves Le Traon University of Luxembourg Luxembourg Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the ISSTA Technical Papers-track in ISSTA 2018 Author of Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization within the Posters-track in ECOOP and ISSTA 2018
Laurence Tratt King's College London United Kingdom Sponsorship Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Sponsorship Chair in Organizing Committee for ISSTA 2018 Sponsorship Chair in Organizing Committee for ECOOP 2018 Author of In Search of Accurate Benchmarking within the BenchWork-track in BenchWork 2018 Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Omer Tripp Google Inc. United States Workshops Co-Chair of Opening within the SOAP-track in SOAP 2018 Author of Detection of Spectre vulnerabilities via static analysis within the SALAD-track in SALAD 2018 Co-chair in Organizing Committee within the SOAP-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Omer Tripp IBM Thomas J. Watson Research Center Israel Speaker in Attendees within the WoSSCA-track
Hong-Linh Truong TU Wien Committee Member in Program Committee within the TAV-CPS/IoT-track
Fraser Tweedale Red Hat Author of Taming the C monster: Haskell FFI techniques within the Curry On Talks-track in CurryOn 2018
Naoyasu Ubayashi Kyushu University Japan Committee Member in Program Committee within the COP-track
Mohsen Vakilian Google Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Jo Van Bulck KU Leuven Belgium Speaker in Attendees within the WoSSCA-track
Vasco T. Vasconcelos University of Lisbon, Portugal Author of Dependent Types for Class-based Mutable Objects within the ECOOP Research Papers-track in ECOOP 2018
Mandana Vaziri IBM Research United States Committee Member in Program Committee within the ECOOP Research Papers-track
Ondřej Vašíček Brno University of Technology Author of Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of Advances in the ANaConDA Framework within the Posters-track in ECOOP and ISSTA 2018
Didier Verna EPITA / LRDE France Committee Member in Program Committee within the COP-track
Toon Verwaest Google Germany Author of Peering behind the Turing Mirror within the WoSSCA 2018-track in WoSSCA 2018 Author of Real World Benchmarks for JavaScript within the BenchWork-track in BenchWork 2018 Speaker in Attendees within the WoSSCA-track
Alvaro Videla Author of Lector in Codigo within the Curry On Talks-track in CurryOn 2018
Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven Netherlands Local Organizing Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Local Organizing Co-Chair in Organizing Committee for ISSTA 2018 Local Organizing Co-Chair in Organizing Committee for ECOOP 2018
Brian Vinter Københavns Universitet Denmark Committee Member in Program Committee within the WoSSCA-track
Mirko Viroli University of Bologna Author of On Distributed runtime verification by aggregate computing within the VORTEX-track in VORTEX 2018
Willem Visser Stellenbosch University South Africa Author of Test input generation with Java PathFinder: Then and Now within the ISSTA Keynotes-track in ISSTA 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track
Eelco Visser Delft University of Technology Netherlands Author of Spoofax: Live Programming Language Design within the Curry On Talks-track in CurryOn 2018
Jan Vitek Northeastern University United States Summer School Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 CurryOn Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Comfy Chair in Organizing Committee for ECOOP and ISSTA 2018 Summer School Co-Chair in Organizing Committee for ISSTA 2018 Committee Member in Organizing Committee for CurryOn 2018 Comfy Chair in Organizing Committee for ECOOP 2018 Summer School Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Welcome: Peyton Jones (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Orso (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Click (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Møller (part of ECOOP and ISSTA Summer School) Session Chair of WoSSCA 3 (part of WoSSCA) Session Chair of SALAD 3 (part of SALAD) Author of Monotonic Gradual Typing in a Common Calculus within the FTfJP-track in FTfJP 2018 Author of Analyzing Duplication in JavaScript within the BenchWork-track in BenchWork 2018 Author of Building a Node.js Benchmark: Initial Steps within the BenchWork-track in BenchWork 2018 Presenter of ECOOP 2019 Preview within the ECOOP Keynotes-track in ECOOP 2018 Author of KafKa: Gradual Typing for Objects within the ECOOP Research Papers-track in ECOOP 2018 Author of Opening Remarks within the Curry On Keynotes-track in CurryOn 2018 Author of Tests from Traces: Automated Unit Test Generation for R within the ISSTA Artifacts-track in ISSTA 2018 Author of Tests from Traces: Automated Unit Test Extraction for R within the ISSTA Technical Papers-track in ISSTA 2018 Author of Tests from Traces: Automated Unit Test Extraction for R within the Posters-track in ECOOP and ISSTA 2018 Summer School Co-Chair in Organizing Committee within the ECOOP and ISSTA Summer School-track Comfy Chair in Organizing Committee within the WoSSCA-track Organizer in Attendees within the WoSSCA-track Co-chair in Organizing Committee within the SALAD-track
Markus Voelter itemis Author of IncAL - Incrementalizing Lattice-Based Program Analyses within the DPA-track in DPA 2018
Tomas Vojnar Brno University of Technology Author of Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs within the ISSTA Tool Demonstrations-track in ISSTA 2018 Author of Advances in the ANaConDA Framework within the Posters-track in ECOOP and ISSTA 2018
Stijn Volckaert University of California, Irvine Author of BinRec: Attack Surface Reduction Through Dynamic Binary Recovery within the SALAD-track in SALAD 2018 Author of Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization within the ECOOP Research Papers-track in ECOOP 2018
Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit Author of Keynote: Alégroth, Amalfitano, Vos, and Aho within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Co-chair in Organizing Committee within the INTUITESTBEDS-track
YINGYING WANG Author of Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe within the ISSTA Technical Papers-track in ISSTA 2018 Author of Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe within the Posters-track in ECOOP and ISSTA 2018
Haoyu Wang Author of CiD: Automating the Detection of API-related Compatibility Issues in Android Apps within the ISSTA Technical Papers-track in ISSTA 2018 Author of CiD: Automating the Detection of API-related Compatibility Issues in Android Apps within the Posters-track in ECOOP and ISSTA 2018
Yanlin Wang University of Hong Kong China Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the ECOOP Research Papers-track in ECOOP 2018 Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the Posters-track in ECOOP and ISSTA 2018
Chao Wang USC United States Author of Eliminating Timing Side-Channel Leaks using Program Repair within the ISSTA Artifacts-track in ISSTA 2018
Chao Wang University of Southern California United States Author of Eliminating Timing Side-channel Leaks Using Program Repair within the ISSTA Technical Papers-track in ISSTA 2018 Committee Member in Posters Committee within the ECOOP and ISSTA Posters-track Committee Member in Program Committee within the SALAD-track Committee Member in Program Committee within the TAV-CPS/IoT-track
Harumi Watanabe Tokai University Japan Committee Member in Program Committee within the COP-track
Takuo Watanabe Tokyo Institute of Technology Japan Author of A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems within the COP-track in COP 2018
Pascal Weisenburger Technische Universität Darmstadt Germany Author of Static Latency Tracking with Placement Types within the FTfJP-track in FTfJP 2018 Author of Distributed Multitier Programming with Placement Types using ScalaLoci within the Posters-track in ECOOP and ISSTA 2018
Thomas Wetzlmaier Author of GUI Scalability Issues of Windows Desktop Applications and How to Find Them within the INTUITESTBEDS-track in INTUITESTBEDS 2018
Elaine Weyuker Mälardalen University Sweden Author of Automated Test Mapping and Coverage for Network Topologies within the ISSTA Technical Papers-track in ISSTA 2018
Stefan Winter TU Darmstadt Germany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Tobias Wrigstad Uppsala University Sweden Author of Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages within the ICOOOLPS-track in ICOOOLPS 2018 Author of Safely Abstracting Memory Layouts within the FTfJP-track in FTfJP 2018 Author of SHAPES: Adding memory layouts and SIMD capabilities to high-level languages within the Posters-track in ECOOP and ISSTA 2018 Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Thomas Wuerthinger Oracle Labs Author of Code into Data: Embedding programs into datastores with GraalVM within the Curry On Talks-track in CurryOn 2018
Meng Wu Virginia Tech China Author of Eliminating Timing Side-Channel Leaks using Program Repair within the ISSTA Artifacts-track in ISSTA 2018 Author of Eliminating Timing Side-channel Leaks Using Program Repair within the ISSTA Technical Papers-track in ISSTA 2018
Tao Xie Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the ECOOP Research Papers-track in ECOOP 2018 Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the Posters-track in ECOOP and ISSTA 2018
Yifan Xing Author of Distributed Systems Protocols and their Vulnerabilities within the Curry On Talks-track in CurryOn 2018
Xinyu Xing Author of Fine-Grained Library Customization within the SALAD-track in SALAD 2018
Yingfei Xiong Peking University China Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Artifacts-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Technical Papers-track in ISSTA 2018 Author of An Empirical Study on TensorFlow Program Bugs within the ISSTA Technical Papers-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the Posters-track in ECOOP and ISSTA 2018
Jingling Xue UNSW Sydney Australia Committee Member in Program Committee within the ISSTA Technical Papers-track
Chang Xu Nanjing University Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the ECOOP Research Papers-track in ECOOP 2018 Author of Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis within the Posters-track in ECOOP and ISSTA 2018
Harry Xu University of California, Los Angeles United States Session Chair of SALAD 1 (part of SALAD) Session Chair of SALAD 2 (part of SALAD) Author of Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design within the ECOOP Keynotes-track in ECOOP 2018 Chair in Organizing Committee within the SALAD-track
Vanya Yaneva University of Edinburgh, UK United Kingdom Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Heron Yang Carnegie Mellon University Author of Analysing The Effect of Uncertainty in Airport Surface Operations within the TAV-CPS/IoT-track in TAV-CPS/IoT 2018
Wei Yang University of Illinois at Urbana-Champaign United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Jun Yan Institute of Software, Chinese Academy of Sciences Author of LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps within the ISSTA Tool Demonstrations-track in ISSTA 2018
Jiwei Yan Institute of Software, Chinese Academy of Sciences Author of LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps within the ISSTA Tool Demonstrations-track in ISSTA 2018
Daphne Yao Virginia Tech United States Committee Member in Program Committee within the SALAD-track
Ming-Ho Yee Northeastern University United States Student Volunteers Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Student Volunteers Co-Chair in Organizing Committee for ISSTA 2018 Student Volunteers Co-Chair in Organizing Committee for ECOOP 2018 Student Volunteers Co-Chair in Organizing Committee for ECOOP 2018 Student Volunteers Co-Chair in Organizing Committee within the ECOOP and ISSTA Student Volunteers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tingting Yu University of Kentucky United States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Organizer in Organizing Committee within the TAV-CPS/IoT-track
Tadeu Zagallo Apple, Inc, Netherlands Speaker in Attendees within the WoSSCA-track
Francesco Zappa Nardelli Inria France Author of KafKa: Gradual Typing for Objects within the ECOOP Research Papers-track in ECOOP 2018 Committee Member in Posters Committee within the ECOOP and ISSTA Posters-track
Gianluigi Zavattaro Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track in VORTEX 2018
Steve Zdancewic University of Pennsylvania United States Committee Member in Program Committee within the SALAD-track
Andreas Zeller Saarland University Germany Summer School Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Summer School Co-Chair in Organizing Committee for ISSTA 2018 Summer School Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Lecture: Briand (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Ahmed (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Pasareanu (part of ECOOP and ISSTA Summer School) Session Chair of Mobile (part of ISSTA Technical Papers) Invited Guest of Inferring Input Structure for Machine Learning within the ML4PL-track in ML4PL 2018 Speaker of Parser-Directed Test Generation within the ECOOP Keynotes-track in ECOOP 2018 Committee Member in Program Committee within the ISSTA Technical Papers-track Summer School Co-Chair in Organizing Committee within the ECOOP and ISSTA Summer School-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Olivier Zendra INRIA / LORIA France Committee Member in Program Committee within the ICOOOLPS-track Co-chair in Organizing Committee within the ICOOOLPS-track
Lingming Zhang Author of Learning to Accelerate Symbolic Execution via Code Transformation within the ECOOP Research Papers-track in ECOOP 2018 Author of Learning to Accelerate Symbolic Execution via Code Transformation within the Posters-track in ECOOP and ISSTA 2018
Xiangyu Zhang Purdue University United States Committee Member in Program Committee within the SALAD-track
Jian Zhang Beihang University Author of LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps within the ISSTA Tool Demonstrations-track in ISSTA 2018
Hongyu Zhang The University of Newcastle Australia Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Artifacts-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Technical Papers-track in ISSTA 2018 Author of Shaping Program Repair Space with Existing Patches and Similar Code within the Posters-track in ECOOP and ISSTA 2018
Qirun Zhang University of California, Davis United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Yuhao Zhang Peking University China Author of An Empirical Study on TensorFlow Program Bugs within the ISSTA Technical Papers-track in ISSTA 2018
Lu Zhang Peking University Author of Learning to Accelerate Symbolic Execution via Code Transformation within the ECOOP Research Papers-track in ECOOP 2018 Author of An Empirical Study on TensorFlow Program Bugs within the ISSTA Technical Papers-track in ISSTA 2018 Author of Learning to Accelerate Symbolic Execution via Code Transformation within the Posters-track in ECOOP and ISSTA 2018
Haoyuan Zhang Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the ECOOP Research Papers-track in ECOOP 2018 Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the Posters-track in ECOOP and ISSTA 2018
Dongmei Zhang Microsoft Research, China China Author of ISSTA 2019 Preview within the ISSTA Keynotes-track in ISSTA 2018
Yang Zhao Oracle Labs Author of Buffer Overflow Detection for C Programs is Hard to Learn within the ML4PL-track in ML4PL 2018
Peiyuan Zhao University of Illinois at Urbana-Champaign Author of Evaluating Test-Suite Reduction in Real-World Software Evolution within the ISSTA Technical Papers-track in ISSTA 2018
Meital Zilberstein Technion Israel Committee Member in Program Committee within the ML4PL-track
Thomas Zimmermann Microsoft Research United States Committee Member in Program Committee within the ISSTA Technical Papers-track
Frank Zimmer SES Techcom Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach within the ISSTA Technical Papers-track in ISSTA 2018 Author of Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach within the Posters-track in ECOOP and ISSTA 2018
Elena Zucca University of Genova Italy Author of Modeling infinite behaviour by corules within the ECOOP Research Papers-track in ECOOP 2018 Author of Modelling infinite behaviour by corules within the Posters-track in ECOOP and ISSTA 2018 Committee Member in Program Committee within the FTfJP-track
Daniele Zuddas Università della Svizzera italiana (USI) Italy Author of Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art within the INTUITESTBEDS-track in INTUITESTBEDS 2018 Committee Member in Program Committee within the INTUITESTBEDS-track
Marcelo d'Amorim Federal University of Pernambuco Brazil Author of Automatically Translating Bug Reports into Test Cases for Mobile Apps within the ISSTA Technical Papers-track in ISSTA 2018 Author of Automatically Translating Bug Reports into Test Cases for Mobile Apps within the Posters-track in ECOOP and ISSTA 2018
Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University Session Chair of Session 2 (part of VORTEX) Keynote Speaker of Run-time checking of data- and protocol-oriented properties of Java programs within the VORTEX-track in VORTEX 2018 Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track in VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
Peli de Halleux Microsoft Research Author of A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects within the ECOOP Research Papers-track in ECOOP 2018
Oege de Moor Semmle Keynote Speaker of Program Analysis for Everyone within the ECOOP Keynotes-track in ECOOP 2018
Ugo de'Liguoro Università di Torino Author of Mailbox Types for Unordered Interactions within the ECOOP Research Papers-track in ECOOP 2018
Tijs van der Storm CWI Netherlands Local Organizing Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Local Organizing Co-Chair in Organizing Committee for ISSTA 2018 Local Organizing Co-Chair in Organizing Committee for ECOOP 2018 Presenter of Welcome within the ECOOP Keynotes-track in ECOOP 2018 Presenter of Welcome within the ISSTA Keynotes-track in ISSTA 2018 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the COP-track
Xin Yang Author of Managing Concurrent Testing of Data Race with ComRaDe within the ISSTA Tool Demonstrations-track in ISSTA 2018
Weiliang Ying Author of Managing Concurrent Testing of Data Race with ComRaDe within the ISSTA Tool Demonstrations-track in ISSTA 2018
Ezgi Çiçek MPI-SWS, Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ivan Čukić KDE e.V. Author of Atom Heart Monad: FRP in C++ within the Curry On Talks-track in CurryOn 2018

Results (667)

Tracks

Co-hosted Conferences

Workshops