ECOOP and ISSTA 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (671)

A Mithun P. AcharyaAcharya, Mithun P. ABB Corporate Research Committee Member in Program Committee within the TAV-CPS/IoT-track
Wasif AfzalAfzal, Wasif Mälardalen University Automated Test Mapping and Coverage for Network Topologies
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign, USA Targeted Test Generation for Actor Systems Targeted Test Generation for Actor Systems
Nazareno AguirreAguirre, Nazareno Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Amal AhmedAhmed, Amal Northeastern UniversityUnited States Compiler Verification for a Multi-Language World 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 AhoAho, Pekka Open University of the NetherlandsNetherlands Keynote: Alégroth, Amalfitano, Vos, and Aho Co-chair in Organizing Committee within the INTUITESTBEDS-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Who is to Blame? - Runtime Verification of Distributed Objects with Active Monitors Committee Member in Program Committee within the VORTEX-track
Manish AhujaAhuja, Manish Accenture Labs Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
Jesse AlamaAlama, Jesse Vicampo Your inner compiler engineer wants out!
Abdulmajeed AlameerAlameer, Abdulmajeed University of Southern California, USA Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Mansour AlharthiAlharthi, Mansour On the Effectiveness of Kernel Debloating via Compile-time Configuration
Karim AliAli, Karim University of AlbertaCanada 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) Opening Remarks CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs 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 AliAli, Shaukat Simula Research Lab Committee Member in Program Committee within the TAV-CPS/IoT-track
Saba AlimadadiAlimadadi, Saba Northeastern University Session Chair of Tool Demos (part of ISSTA Tool Demonstrations) Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Amin AlipourAlipour, Amin University of HoustonUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Miltiadis AllamanisAllamanis, Miltiadis Microsoft Research, CambridgeUnited Kingdom Committee Member in Program Committee within the ML4PL-track
Kevin AllixAllix, Kevin University of Luxembourg AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App Collection
Mohammad M. AlmasiAlmasi, Mohammad M. University of Manitoba Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications
Anil AltinayAltinay, Anil BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
Emil AlégrothAlégroth, Emil Blekinge Institute of Technology Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices Keynote: Alégroth, Amalfitano, Vos, and Aho Committee Member in Program Committee within the INTUITESTBEDS-track
Domenico AmalfitanoAmalfitano, Domenico University of Naples Federico II Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities Keynote: Alégroth, Amalfitano, Vos, and Aho Committee Member in Program Committee within the INTUITESTBEDS-track
Nada AminAmin, Nada University of CambridgeUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ICOOOLPS-track
Davide AnconaAncona, Davide University of GenovaItaly Session Chair of Session 1 (part of VORTEX) A Formalism for Specification of Java API Interfaces Test of Time Award Modeling infinite behaviour by corules Modelling infinite behaviour by corules 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-KotsisAnderst-Kotsis, Gabriele Johannes Kepler University, Linz, Austria Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview
Anastasios AntoniadisAntoniadis, Anastasios University of Athens, GreeceGreece Two-phase Analysis for Precision and Scalability
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan A Context-Oriented Programming Approach to Dependency Hell ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions Committee Member in Program Committee within the COP-track
Andrea ArcuriArcuri, Andrea Westerdals Oslo ACT, and University of Luxembourg Committee Member in Program Committee within the ISSTA Technical Papers-track
Luca ArditoArdito, Luca Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices
Michael ArntzeniusArntzenius, Michael University of Birmingham, UK DB ⋈ FP = Datafun: a new functional query language
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Committee Member in Program Committee within the VORTEX-track
Mohammadreza AshouriAshouri, Mohammadreza University of Potsdam, Germany A Comprehensive Approach for Battling Browser Fingerprinting Based on Machine Learning
Elias AthanasopoulosAthanasopoulos, Elias University of CyprusCyprus Committee Member in Program Committee within the WoSSCA-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly On Distributed runtime verification by aggregate computing
B Faraz BabarBabar, Faraz American Express Using APIs and micro-services as the glue between observed and derived facts
Hamid BagheriBagheri, Hamid University of Nebraska-Lincoln, USA Tool Demos Co-Chair in Organizing Committee for ISSTA 2018 Best Tool Demonstration Award Tool Demos Co-Chair in Program Committee within the ISSTA Tool Demonstrations-track
Mauro BaludaBaluda, Mauro Avaloq Evolution AGSwitzerland Committee Member in Program Committee within the ISSTA Technical Papers-track
Saam BaratiBarati, Saam AppleUnited States Benchmarking WebKit Speaker in Attendees within the WoSSCA-track
Earl T. BarrBarr, Earl T. University College LondonUnited Kingdom Making Data-Driven Porting Decisions with Tuscan
Earl T. BarrBarr, Earl T. Making Data-Driven Porting Decisions with Tuscan
Earl T. BarrBarr, Earl T. University College LondonUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom In Search of Accurate Benchmarking Why VM Benchmarking is Probably Misleading you
Alexandre BartelBartel, Alexandre Technical University Darmstadt Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Ezio BartocciBartocci, Ezio Technische Universität Wien Committee Member in Program Committee within the VORTEX-track
Blake BassettBassett, Blake University of Illinois at Urbana-Champaign, USA A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Lars BaumgärtnerBaumgärtner, Lars Philipps-Universität Marburg Fault-tolerant Distributed Reactive Programming Fault-tolerant Distributed Reactive Programming
Farnaz BehrangBehrang, Farnaz Georgia Institute of Technology Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments
Simon BelakBelak, Simon Metabase Transducing for fun and profit
Jonathan BellBell, Jonathan George Mason UniversityUnited States CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Moritz BellerBeller, Moritz Delft University of Technology Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Julia BelyakovaBelyakova, Julia Czech Technical University in PragueRussia 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 BenefeldsBenefelds, Janis SEB Life and Pensions Holding AB Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications
Manuel BenzBenz, Manuel University of PaderbornGermany Co-chair in Organizers within the Panathon-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Bernhard BergerBerger, Bernhard University of BremenGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Gábor BergmannBergmann, Gábor Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical SystemsHungary IncAL - Incrementalizing Lattice-Based Program Analyses
Ivan BeschastnikhBeschastnikh, Ivan University of British ColumbiaCanada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Xuan BiBi, Xuan The University of Hong KongChina Typed First-Class Traits The Essence of Nested Composition Typed First-Class Traits The Essence of Nested Composition
Matteo BiagiolaBiagiola, Matteo Fondazione Bruno Kessler, Trento, Italy Automated End To End Testing of Single Page Web Applications Automated End To End Testing of Single Page Web Applications
Matthijs BijmanBijman, Matthijs Delft University of Technology Incremental Overload Resolution in Object-Oriented Programming Languages
Tegawendé F. BissyandéBissyandé, Tegawendé F. University of Luxembourg, Luxembourg Generating tests for mobile platforms Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization CiD: Automating the Detection of API-related Compatibility Issues in Android Apps Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization CiD: Automating the Detection of API-related Compatibility Issues in Android Apps Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Lasse BlaauwbroekBlaauwbroek, Lasse Czech Institute for Informatics Robotics and CyberneticsCzech Republic Committee Member in Program Committee within the ML4PL-track
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Program Committee within the BenchWork-track
Arianna BlasiBlasi, Arianna Università della Svizzera italiana (USI) and IMDEA Software InstituteSwitzerland Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications
Luc BläserBläser, Luc Hochschule für Technik RapperswilSwitzerland Checking Non-Deterministic Behavior in Unit Tests Practical Detection of Concurrency Issues at Coding Time Practical Detection of Concurrency Issues at Coding Time Practical Detection of Concurrency Issues at Coding Time
Eric BoddenBodden, Eric 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) The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and how to master them) An Opinionated Survey of the Java Static Analysis Landscape Towards a Data-Curation Platform for Code-Centric Research CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Distinguished Paper Awards Welcome Secure integration of cryptographic software 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-TereickBolz-Tereick, Carl Friedrich Germany The first 15 years of PyPy: A retrospective
Borzoo BonakdarpourBonakdarpour, Borzoo Iowa State University, USA Committee Member in Program Committee within the VORTEX-track
Ambrose Bonnaire-SergeantBonnaire-Sergeant, Ambrose Indiana University BloomingtonUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mateus BorgesBorges, Mateus Imperial College London Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Leonid BorodaevBorodaev, Leonid Computer-aided unit-test generation with UTA
Herbert BosBos, Herbert BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
R.P. Jagadeesh Chandra BoseBose, R.P. Jagadeesh Chandra Accenture Labs Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
William J. BowmanBowman, William J. Northeastern University, USAUnited States Committee Member in Program Committee within the FTfJP-track
John BoylandBoyland, John Univeristy of Wisconsin, MilwaukeeUnited States Committee Member in Program Committee within the FTfJP-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Subtype Polymorphism à la carte via Machine Learning on Dependent Types
Tegan BrennanBrennan, Tegan Symbolic Path Cost Analysis for Side-Channel Detection Symbolic Path Cost Analysis for Side-Channel Detection
Lionel BriandBriand, Lionel SnT Centre/University of LuxembourgLuxembourg Artificial Intelligence for Automated Software Testing Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach Committee Member in Program Committee within the ISSTA Technical Papers-track Speaker in Speakers within the ECOOP and ISSTA Summer School-track
Lionel C. BriandBriand, Lionel C. SnT Centre/University of Luxembourg Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Analysis of SLA Compliance in the Cloud
Sylwia BrodackaBrodacka, Sylwia Luna Luna - overview
Camilo BruniBruni, Camilo GoogleGermany Real World Benchmarks for JavaScript
Stefan BrunthalerBrunthaler, Stefan Bundeswehr University MunichGermany Software Diversity vs. Side Channels Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
Timofey BryksinBryksin, Timofey Detecting anomalies in Kotlin code
Richard BubelBubel, Richard Technische Universität DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Tevfik BultanBultan, Tevfik 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) Symbolic Path Cost Analysis for Side-Channel Detection Impact Paper Awards Symbolic Path Cost Analysis for Side-Channel Detection Committee Member in Program Committee within the ISSTA Technical Papers-track
Clément BéraBéra, Clément RMOD - INRIA Lille Nord EuropeFrance Assessing primitives performance on multi-stage execution Committee Member in Program Committee within the ICOOOLPS-track
Marcel BöhmeBöhme, Marcel Monash UniversityAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
C Cristian CadarCadar, Cristian Imperial College LondonUnited 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 CaiCai, Yan Institute of Software, Chinese Academy of SciencesChina Committee Member in Program Committee within the TAV-CPS/IoT-track
Joana CamposCampos, Joana University of Lisbon, Portugal Dependent Types for Class-based Mutable Objects
Chun CaoCao, Chun Nanjing University Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Michael CarbinCarbin, Michael MITUnited 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 CardozoCardozo, Nicolás Universidad de los AndesColombia A Declarative Language for Context Activation Generating Software Adaptations using Machine Learning Generating software adaptations using machine learning Committee Member in Program Committee within the COP-track
Chandler CarruthCarruth, Chandler GoogleUnited States Hardware and Software Mitigations Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Elias CastegrenCastegren, Elias Uppsala University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sergio Delgado CastellanosCastellanos, Sergio Delgado IMDEA Software Institute Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications
Lorenzo CavallaroCavallaro, Lorenzo Royal Holloway, University of LondonUnited Kingdom Committee Member in Program Committee within the WoSSCA-track
Mariano CeccatoCeccato, Mariano Fondazione Bruno KesslerItaly Committee Member in Program Committee within the INTUITESTBEDS-track
Ahmet CelikCelik, Ahmet University of Texas at Austin, USA piCoq: Parallel Regression Proving for Large-Scale Verification Projects
Manuel ChakravartyChakravarty, Manuel Tweag I/O & IOHKNetherlands Do-It-Yourself Functional Reactive Programming
Junjie ChenChen, Junjie Peking UniversityChina Learning to Accelerate Symbolic Execution via Code Transformation Learning to Accelerate Symbolic Execution via Code Transformation
Xiangqun ChenChen, Xiangqun Peking University Shaping Program Repair Space with Existing Patches and Similar Code Shaping Program Repair Space with Existing Patches and Similar Code Shaping Program Repair Space with Existing Patches and Similar Code
Yifan ChenChen, Yifan Peking University An Empirical Study on TensorFlow Program Bugs
Yiqun ChenChen, Yiqun Testing for Performance Issues in OS Kernels Testing for Performance Issues in OS Kernels
Shing-Chi CheungCheung, Shing-Chi Department of Computer Science and Engineering, The Hong Kong University of Science and TechnologyChina An Empirical Study on TensorFlow Program Bugs
Yannick ChevalierChevalier, Yannick Implementing security protocol monitors
Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Committee Member in Program Committee within the ICOOOLPS-track
Maria ChristakisChristakis, Maria MPI-SWSGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2018 Distinguished Artifact Award Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Monotonic Gradual Typing in a Common Calculus
Benjamin ChungChung, Benjamin Northeastern University KafKa: Gradual Typing for Objects
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Buffer Overflow Detection for C Programs is Hard to Learn Opening Remarks Building a Node.js Benchmark: Initial Steps Co-chair in Organizers within the Panathon-track Co-chair in Organizing Committee within the BenchWork-track
Jürgen CitoCito, Jürgen MITUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
David ClarkClark, David University College London OASIs: Oracle Assessment and Improvement Tool OASIs: Oracle Assessment and Improvement Tool
Cliff ClickClick, Cliff SelfUnited States Lessons from a Big Data Machine Learning Startup Writing Virtual Machines for fun and profit 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 CokCok, David CEA, LIST, Software Safety and Security Laboratory Reasoning about Functional Programming in Java and C++ Specification Idioms from Industrial Experience
Riccardo CoppolaCoppola, Riccardo Politecnico di Torino Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices Committee Member in Program Committee within the INTUITESTBEDS-track
João Costa SecoCosta Seco, João NOVA LINCS -- Universidade Nova de Lisboa SNITCH: dynamic dependent Information flow for independent Java bytecode
Patrick CousotCousot, Patrick Committee Member in Program Committee within the SOAP-track
Andrew CraikCraik, Andrew IBM Performance Monitoring in Eclipse OpenJ9
José Creissac CamposCreissac Campos, José University of Minho Committee Member in Program Committee within the INTUITESTBEDS-track
Raimil CruzCruz, Raimil University of ChileChile Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Chris CumminsCummins, Chris University of EdinburghUnited Kingdom Machine learning for compilers Compiler Fuzzing through Deep Learning Deep Learning over Code
D Marcelo d'Amorimd'Amorim, Marcelo Federal University of PernambucoBrazil Automatically Translating Bug Reports into Test Cases for Mobile Apps Automatically Translating Bug Reports into Test Cases for Mobile Apps
Michael D. ShahD. Shah, Michael Northeastern University, USAUnited States Iceberg: A Dynamic Analysis of Java Critical Sections Investigating Runtime Performance Variability
Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly A Formalism for Specification of Java API Interfaces Modeling infinite behaviour by corules Modelling infinite behaviour by corules
Benoit DalozeDaloze, Benoit JKU Linz, AustriaAustria Committee Member in Program Committee within the ICOOOLPS-track
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly On Distributed runtime verification by aggregate computing
Tommy DangDang, Tommy Texas Tech University MalViz: An Interactive Visualization Tool for Tracing Malware
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Session Chair of Session 2 (part of VORTEX) Run-time checking of data- and protocol-oriented properties of Java programs Analysis of SLA Compliance in the Cloud Committee Member in Program Committee within the VORTEX-track
Stijn De GouwDe Gouw, Stijn Analysis of SLA Compliance in the Cloud
Peli de Halleuxde Halleux, Peli Microsoft Research A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Static typing of complex presence constraints in interfaces
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Static typing of complex presence constraints in interfaces
Oege de Moorde Moor, Oege Semmle Program Analysis for Everyone
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the COP-track
Bjorn De SutterDe Sutter, Bjorn Ghent University, Belgium Belgium Class hierarchy flattening: obfuscating (almost) all type information in Java programs
Ugo de'Liguorode'Liguoro, Ugo Università di Torino Mailbox Types for Unordered Interactions
Renzo DegiovanniDegiovanni, Renzo Universidad Nacional de Río CuartoArgentina Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Martin DeimanDeiman, Martin Testwerk Committee Member in Program Committee within the INTUITESTBEDS-track
Marcio Eduardo DelamaroDelamaro, Marcio Eduardo University of São Paulo Committee Member in Program Committee within the INTUITESTBEDS-track
Ankush DesaiDesai, Ankush University of California, Berkeley Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Committee Member in Program Committee within the FTfJP-track
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Committee Member in Steering Committee within the FTfJP-track
Jens DietrichDietrich, Jens Massey UniversityNew Zealand A Micro-Benchmark for Dynamic Program Behaviour Committee Member in Program Committee within the BenchWork-track
Hyunsook DoDo, Hyunsook University of North TexasUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Brendan Dolan-GavittDolan-Gavitt, Brendan New York UniversityUnited States Committee Member in Program Committee within the WoSSCA-track
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited 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) WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support 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
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Session Chair of Testing (part of ECOOP Research Papers) A Portable Framework for Multi-core Interference Tuning and Analysis
Vlastimil DortDort, Vlastimil Charles University Lightweight Verification of Array Indexing Lightweight Verification of Array Indexing
Ian DrososDrosos, Ian University of California, San DiegoUnited States Comparing developer-provided to user-provided tests for fault localization and automated program repair Comparing developer-provided to user-provided tests for fault localization and automated program repair
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonGreece Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages Towards specifications of robustness -- the things that programs do not do Safely Abstracting Memory Layouts SHAPES: Adding memory layouts and SIMD capabilities to high-level languages Committee Member in Program Committee within the ECOOP Research Papers-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Lydie Du BousquetDu Bousquet, Lydie LIG Committee Member in Program Committee within the INTUITESTBEDS-track
Xingzhong DuDu, Xingzhong Oracle Labs Buffer Overflow Detection for C Programs is Hard to Learn
Neville DubashDubash, Neville Accenture Labs Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
Stéphane DucasseDucasse, Stéphane INRIA Lille Assessing primitives performance on multi-stage execution
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Feature Visualiser: an Inspection Tool for Context-Oriented Programmers Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented Programming
Bruno DumasDumas, Bruno Feature Visualiser: an Inspection Tool for Context-Oriented Programmers Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented Programming
Ivana DusparicDusparic, Ivana Trinity College Dublin, Ireland Generating Software Adaptations using Machine Learning Generating software adaptations using machine learning
Anurag DwarakanathDwarakanath, Anurag Accenture Labs Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
Tobias DürschmidDürschmid, Tobias Hasso Plattner InstituteGermany Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns
E Manuel EgeleEgele, Manuel Boston University, USAUnited States Committee Member in Program Committee within the WoSSCA-track
Michael EichbergEichberg, Michael TU Darmstadt, Germany Lattice Based Modularization of Static Analyses Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java Committee Member in Program Committee within the SOAP-track
Susan EisenbachEisenbach, Susan Imperial College London Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages Safely Abstracting Memory Layouts SHAPES: Adding memory layouts and SIMD capabilities to high-level languages
Michael EmeryEmery, Michael Massey University A Micro-Benchmark for Dynamic Program Behaviour
Arnout EngelenEngelen, Arnout Lightbend Strategies for Streaming
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands IncAL - Incrementalizing Lattice-Based Program Analyses Incremental Overload Resolution in Object-Oriented Programming Languages Better living through incrementality: Immediate static analysis feedback without loss of precision Incrementalizing Lattice-Based Program Analyses Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Erik ErnstErnst, Erik Google Inc.Denmark Committee Member in Program Committee within the FTfJP-track
Michael D. ErnstErnst, Michael D. University of Washington, USA Pluggable Type Systems Reconsidered Lightweight Verification of Array Indexing Lightweight Verification of Array Indexing Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications Comparing developer-provided to user-provided tests for fault localization and automated program repair Comparing developer-provided to user-provided tests for fault localization and automated program repair Translating Code Comments to Procedure Specifications
Jonathan EyolfsonEyolfson, Jonathan University of Waterloo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
F Yliès FalconeFalcone, Yliès Univ. Grenoble Alpes, InriaFrance Committee Member in Program Committee within the VORTEX-track
João Pascoal FariaFaria, João Pascoal Faculty of Engineering, University of Porto and INESC TECPortugal A Pattern-based IoT Testing Framework
Anna Rita FasolinoFasolino, Anna Rita Federico II University of NaplesItaly Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities Co-chair in Organizing Committee within the INTUITESTBEDS-track
Mattia FazziniFazzini, Mattia Georgia Institute of TechnologyUnited States Automatically Translating Bug Reports into Test Cases for Mobile Apps Automatically Translating Bug Reports into Test Cases for Mobile Apps Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework Committee Member in Program Committee within the ICOOOLPS-track Co-chair in Organizing Committee within the ICOOOLPS-track
Yu FengFeng, Yu University of Texas at Austin, USAChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Pietro FerraraFerrara, Pietro JuliaSoft SRL, ItalyItaly Committee Member in Program Committee within the SOAP-track
Jan FiedorFiedor, Jan Brno University of Technology Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Advances in the ANaConDA Framework
Olivier FlückigerFlückiger, Olivier Northeastern University, USA Optimization based on Facts and Fiction
Chris FordFord, Chris ThoughtWorks (UK) Ltd. It Ain't Necessarily So
George FourtounisFourtounis, George University of Athens Static Analysis of Java Dynamic Proxies Static Analysis of Java Dynamic Proxies Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
Luca FranceschiniFranceschini, Luca DIBRIS, University of GenovaItaly A Formalism for Specification of Java API Interfaces
Steve FranciaFrancia, Steve GoogleUnited States Go: building on the shoulders of giants and stepping on a few toes
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages Safely Abstracting Memory Layouts SHAPES: Adding memory layouts and SIMD capabilities to high-level languages Committee Member in Program Committee within the FTfJP-track
Michael FranzFranz, Michael University of California, IrvineUnited States BinRec: Attack Surface Reduction Through Dynamic Binary Recovery Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization Committee Member in Program Committee within the SALAD-track
Gordon FraserFraser, Gordon University of PassauGermany Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications
Bernd FreislebenFreisleben, Bernd Philipps-Universität Marburg Fault-tolerant Distributed Reactive Programming Fault-tolerant Distributed Reactive Programming
Pietro FrigoFrigo, Pietro Vrije Universiteit AmsterdamNetherlands Speaker in Attendees within the WoSSCA-track
Eric FritzFritz, Eric University of Wisconsin, MilwaukeeUnited States Maintaining Canonical Form After Edge Deletion
Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
G Jian GaoGao, Jian School of Software, Tsinghua University Managing Concurrent Testing of Data Race with ComRaDe
Qing GaoGao, Qing Peking University Shaping Program Repair Space with Existing Patches and Similar Code Shaping Program Repair Space with Existing Patches and Similar Code Shaping Program Repair Space with Existing Patches and Similar Code
Philippa GardnerGardner, Philippa Imperial College London A Concurrent Specification of POSIX File Systems
Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Committee Member in Program Committee within the WoSSCA-track
Andreas GarnæsGarnæs, Andreas ZendeskDenmark Type-Safe GraphQL Servers with GADTs
Vahid GarousiGarousi, Vahid Wageningen University Committee Member in Program Committee within the INTUITESTBEDS-track
Julien Gascon-SamsonGascon-Samson, Julien ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
François GauthierGauthier, François Oracle LabsAustralia Affogato: Runtime Detection of Injection Attacks for Node.js Building a Node.js Benchmark: Initial Steps
Bas GeerdinkGeerdink, Bas ING Streaming analytics: How to Get Fast Predictions From Real-Time Data with Flink, Kafka, and Cassandra
Johannes GeismannGeismann, Johannes Heinz Nixdorf Institute, Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Eduardo GeraldoGeraldo, Eduardo SNITCH: dynamic dependent Information flow for independent Java bytecode
Elena GiachinoGiachino, Elena Analysis of SLA Compliance in the Cloud
Thomas GilrayGilray, Thomas University of Maryland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Cristiano GiuffridaGiuffrida, Cristiano BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
Milos GligoricGligoric, Milos University of Texas at AustinUnited States piCoq: Parallel Regression Proving for Large-Scale Verification Projects
Alberto GoffiGoffi, Alberto Università della Svizzera italiana (USI) Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications
Yoav GoldbergGoldberg, Yoav Bar Ilan UniversityIsrael Committee Member in Program Committee within the ML4PL-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the COP-track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications
Shivanshu GoyalGoyal, Shivanshu University of British Columbia ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Neville GrechGrech, Neville University of Athens Session Chair of Session III (part of DPA) MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts Efficient Reflection String Analysis via Graph Coloring Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Efficient Reflection String Analysis via Graph Coloring Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Committee Member in Organizing Committee within the DPA-track
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Committee Member in Steering Committee within the FTfJP-track
Alex GroceGroce, Alex Northern Arizona UniversityUnited States Committee Member in Program Committee within the TAV-CPS/IoT-track
Dan GrossmanGrossman, Dan University of WashingtonUnited States Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
Daniel GrusGrus, Daniel Graz University of TechnologyAustria Committee Member in Program Committee within the WoSSCA-track
Ming GuGu, Ming Managing Concurrent Testing of Data Race with ComRaDe
Tianxiao GuGu, Tianxiao Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Hui GuoGuo, Hui University of California, Davis Exploiting Community Structure for Floating-Point Precision Tuning
Shengjian (Daniel) GuoGuo, Shengjian (Daniel) Virginia Tech Eliminating Timing Side-channel Leaks Using Program Repair Eliminating Timing Side-Channel Leaks using Program Repair
Samuel GuyerGuyer, Samuel Iceberg: A Dynamic Analysis of Java Critical Sections Investigating Runtime Performance Variability
Alex GyoriGyori, Alex FacebookUnited States Evaluating Test-Suite Reduction in Real-World Software Evolution Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
H David H. LorenzH. Lorenz, David Technion—Israel Institute of TechnologyIsrael Committee Member in Program Committee within the COP-track
William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited 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 Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications 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 HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Types (part of ECOOP Research Papers) Distinguished Artifact Award Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christian HammerHammer, Christian University of PotsdamGermany 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 HaoHao, Dan Peking UniversityChina Learning to Accelerate Symbolic Execution via Code Transformation Learning to Accelerate Symbolic Execution via Code Transformation
Ben HardekopfHardekopf, Ben UC Santa Barbara Committee Member in Program Committee within the SOAP-track
Farah HaririHariri, Farah University of Illinois at Urbana-Champaign Targeted Test Generation for Actor Systems Targeted Test Generation for Actor Systems
Mark HarmanHarman, Mark Facebook and University College LondonUnited Kingdom OASIs: Oracle Assessment and Improvement Tool OASIs: Oracle Assessment and Improvement Tool
William HarrisHarris, William GaloisUnited States Committee Member in Program Committee within the WoSSCA-track Committee Member in Program Committee within the SALAD-track
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia Affogato: Runtime Detection of Injection Attacks for Node.js
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the VORTEX-track
Byron HawkinsHawkins, Byron INRIA RennesFrance Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Program Committee within the COP-track
Görel HedinHedin, Görel Lund UniversitySweden Committee Member in Program Committee within the ICOOOLPS-track
Mats HeimdahlHeimdahl, Mats University of Minnesota Committee Member in Program Committee within the TAV-CPS/IoT-track
Dominik HelmHelm, Dominik TU Darmstadt, Germany Lattice Based Modularization of Static Analyses
Hadi HemmatiHemmati, Hadi University of CalgaryCanada Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications
Laurie HendrenHendren, Laurie McGill University, CanadaCanada Committee Member in Program Committee within the BenchWork-track
Micha HergardenHergarden, Micha Open University of the Netherlands, The Netherlands Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free
Ben HermannHermann, Ben University of PaderbornGermany Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2018 Opening Towards a Data-Curation Platform for Code-Centric Research Distinguished Artifact Award 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 HermansHermans, Felienne How does code sound?
Manuel HermenegildoHermenegildo, Manuel IMDEA Software Institute and T.U. of Madrid (UPM) Horn Clause-based Program Analysis with CiaoPP
Stefan HeuleHeule, Stefan Stanford University, USAUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Michael HiltonHilton, Michael Carnegie Mellon University, USAUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework Polyglot Programming - Opportunities of Language Implementation Frameworks for Software Developers Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the COP-track
Celeste HollenbeckHollenbeck, Celeste Northeastern University, USA Analyzing Duplication in JavaScript Building a Node.js Benchmark: Initial Steps
Shin HongHong, Shin Handong Global UniversitySouth Korea Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Robert HoschekHoschek, Robert GUI Scalability Issues of Windows Desktop Applications and How to Find Them
Petr HosekHosek, Petr Google, Inc.United States Making Data-Driven Porting Decisions with Tuscan Making Data-Driven Porting Decisions with Tuscan Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Hong HuHu, Hong Georgia Institute of TechnologyUnited States On the Effectiveness of Kernel Debloating via Compile-time Configuration
Wenxiang HuHu, Wenxiang Peking University Learning to Accelerate Symbolic Execution via Code Transformation Learning to Accelerate Symbolic Execution via Code Transformation
Marieke HuismanHuisman, Marieke University of TwenteNetherlands An Exercise in Verifying Sequential Programs with VerCors
Aftab HussainHussain, Aftab University of California, IrvineUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Shabbir HussainHussain, Shabbir Northeastern University Analyzing Duplication in JavaScript
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany Analysis of SLA Compliance in the Cloud Committee Member in Program Committee within the VORTEX-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Session Chair of Formal Calculi (part of ECOOP Research Papers) ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the COP-track
Hiroaki InoueInoue, Hiroaki Mitsubishi Electric Corporation, JapanJapan ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
Dan IorgaIorga, Dan Imperial College London, UK Auto-tuning Framework for Multi-core Interference Analysis A Portable Framework for Multi-core Interference Tuning and Analysis
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of California, IrvineUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Jennifer Mary JacobsJacobs, Jennifer Mary Stanford Domain Specific Programming Platforms for Creativity
Gunel JahangirovaJahangirova, Gunel Fondazione Bruno Kessler & University College LondonItaly OASIs: Oracle Assessment and Improvement Tool OASIs: Oracle Assessment and Improvement Tool Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan, USA Committee Member in Program Committee within the VORTEX-track
Somesh JhaJha, Somesh University of Wisconsin, MadisonUnited States Committee Member in Program Committee within the SALAD-track
Jiajun JiangJiang, Jiajun Peking UniversityChina Shaping Program Repair Space with Existing Patches and Similar Code Shaping Program Repair Space with Existing Patches and Similar Code Shaping Program Repair Space with Existing Patches and Similar Code
Yanyan JiangJiang, Yanyan Nanjing UniversityChina Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Yu JiangJiang, Yu Managing Concurrent Testing of Data Race with ComRaDe
Martin JohnsJohns, Martin SAP Security Research / TU BraunschweigGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Colin JohnsonJohnson, Colin University of Kent Subtype Polymorphism à la carte via Machine Learning on Dependent Types
Beau JohnstonJohnston, Beau Australian National UniversityAustralia The Architecture Independent Workload Characterization
Timothy JonesJones, Timothy MontouxNew Zealand Committee Member in Program Committee within the FTfJP-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands, The Netherlands Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free
Sebastiaan JoostenJoosten, Sebastiaan An Exercise in Verifying Sequential Programs with VerCors
Alexander JordanJordan, Alexander Oracle Labs, Australia Affogato: Runtime Detection of Injection Attacks for Node.js
Alisa Joy MaasJoy Maas, Alisa University of Wisconsin-MadisonUnited 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 JulJul, Eric University of OsloNorway 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) Dahl-Nygaard Awards Test of Time Award 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 JungJung, Kumseok University of British ColumbiaSouth Korea ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Woosung JungJung, Woosung Seoul National University of EducationSouth Korea Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization
René JustJust, René University of Massachusetts, USA Comparing developer-provided to user-provided tests for fault localization and automated program repair Comparing developer-provided to user-provided tests for fault localization and automated program repair Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
K Gowtham KakiKaki, Gowtham Purdue UniversityUnited States Safe Transferable Regions
Sophie KalebaKaleba, Sophie INRIA Assessing primitives performance on multi-stage execution
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan 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énKanstrén, Teemu VTT Committee Member in Program Committee within the INTUITESTBEDS-track
Timotej KapusKapus, Timotej Imperial College London Improving Symbolic Flat Memory Models with Pointer Alias Analysis Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Holden KarauKarau, Holden Google ApacheSpark as a gateway drug to FP: Concepts taught & broken
George KastrinisKastrinis, George University of AthensGreece Defensive Points-To Analysis: Effective Soundness via Laziness Efficient Reflection String Analysis via Graph Coloring Static Analysis of Java Dynamic Proxies Static Analysis of Java Dynamic Proxies Efficient Reflection String Analysis via Graph Coloring Defensive Points-To Analysis: Effective Soundness via Laziness
Martin KelloggKellogg, Martin University of Washington, SeattleUnited States Lightweight Verification of Array Indexing Lightweight Verification of Array Indexing
Lindsey KennardKennard, Lindsey Secure Multi-Cloud MapReduce Computation
Rody KerstenKersten, Rody Synopsys, Inc. Badger: Complexity Analysis with Fuzzing and Symbolic Execution Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Kareem KhazemKhazem, Kareem University College LondonUnited Kingdom Making Data-Driven Porting Decisions with Tuscan Making Data-Driven Porting Decisions with Tuscan
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Session Chair of Test and Oracle Generation (part of ISSTA Technical Papers) Learning to Accelerate Symbolic Execution via Code Transformation Test input generation with Java PathFinder: Then and Now Learning to Accelerate Symbolic Execution via Code Transformation Committee Member in Program Committee within the ISSTA Technical Papers-track
Fitsum KifetewKifetew, Fitsum Fondazione Bruno Kessler Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Dongsun KimKim, Dongsun University of LuxembourgLuxembourg Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization
Miryung KimKim, Miryung University of California, Los AngelesUnited States Committee Member in Program Committee within the SALAD-track
Moonzoo KimKim, Moonzoo KAISTKorea, South Committee Member in Program Committee within the ISSTA Technical Papers-track
Taesoo KimKim, Taesoo Georgia TechUnited States On the Effectiveness of Kernel Debloating via Compile-time Configuration Committee Member in Program Committee within the WoSSCA-track Committee Member in Program Committee within the SALAD-track
Alexis KingKing, Alexis Northwestern University Hackett: a metaprogrammable Haskell
Engin KirdaKirda, Engin Northeastern UniversityUnited States Committee Member in Program Committee within the WoSSCA-track
Jacques KleinKlein, Jacques University of Luxembourg, SnTLuxembourg Generating tests for mobile platforms CiD: Automating the Detection of API-related Compatibility Issues in Android Apps CiD: Automating the Detection of API-related Compatibility Issues in Android Apps Committee Member in Program Committee within the ISSTA Technical Papers-track
Laura KovacsKovacs, Laura Chalmers University of TechnologySweden Committee Member in Program Committee within the FTfJP-track
Murali Krishna RamanathanKrishna Ramanathan, Murali UberUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Siddharth KrishnaKrishna, Siddharth New York UniversityUnited States Committee Member in Program Committee within the FTfJP-track
Paddy KrishnanKrishnan, Paddy Buffer Overflow Detection for C Programs is Hard to Learn
Taddeus KroesKroes, Taddeus Vrije Universiteit AmsterdamNetherlands BinRec: Attack Surface Reduction Through Dynamic Binary Recovery Speaker in Attendees within the WoSSCA-track
Stefan KrügerKrüger, Stefan University of PaderbornGermany CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Secure integration of cryptographic software Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Edlira KuciKuci, Edlira TU Darmstadt, Germany Incremental Overload Resolution in Object-Oriented Programming Languages
Anil KurmusKurmus, Anil IBM ResearchSwitzerland Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Konstantin KuznetsovKuznetsov, Konstantin Saarland University, CISPAGermany Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Florian KüblerKübler, Florian TU Darmstadt, Germany Lattice Based Modularization of Static Analyses Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java
Filip KřikavaKřikava, Filip Czech Technical University Committee Member in Organizing Committee for CurryOn 2018 Extracting tests from runtime behavior for R Tests from Traces: Automated Unit Test Generation for R Tests from Traces: Automated Unit Test Extraction for R Tests from Traces: Automated Unit Test Extraction for R
L Yvan LabicheLabiche, Yvan Carleton University Committee Member in Program Committee within the INTUITESTBEDS-track
Chris LaffraLaffra, Chris 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) Closing Welcome Plenary Discussion Automatic Python test generation Application Extraction for Java: A retrospective report of the Jax project Little Languages Co-chair in Organizing Committee within the ISAGT-track Committee Member in Program Committee within the ISAGT-track
Pratap LakshmanLakshman, Pratap Microsoft, India A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Cosimo LaneveLaneve, Cosimo Analysis of SLA Compliance in the Cloud
Torsten LaydaLayda, Torsten SIX, Switzerland Committee Member in Organizing Committee for CurryOn 2018
Yves Le TraonLe Traon, Yves University of LuxembourgLuxembourg Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization
Tien-Duy B. LeLe, Tien-Duy B. School of Information Systems, Singapore Management University Deep Specification Mining
Nhien-An Le-KhacLe-Khac, Nhien-An University College DublinIreland Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics Speaker in Attendees within the WoSSCA-track
Hugh LeatherLeather, Hugh University of Edinburgh Compiler Fuzzing through Deep Learning Deep Learning over Code
Gary LeavensLeavens, Gary University of Central FloridaUnited States Committee Member in Steering Committee within the FTfJP-track
Jaekwon LeeLee, Jaekwon University of Luxembourg, Luxembourg Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization
Bruno LegeardLegeard, Bruno Smartesting Committee Member in Program Committee within the INTUITESTBEDS-track
Caroline LemieuxLemieux, Caroline University of California, BerkeleyUnited States PerfFuzz: Automatically Generating Pathological Inputs PerfFuzz: Automatically Generating Pathological Inputs
Andrea LeopardiLeopardi, Andrea Weedmaps Papers we love - Elixir edition
Mohsen LesaniLesani, Mohsen University of California, RiversideUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Martin LeuckerLeucker, Martin University of LübeckGermany Session Chair of Session 3 (part of VORTEX) Stream-based runtime verification with hardware support Committee Member in Program Committee within the VORTEX-track
Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Safe and Sound Program Analysis with Flix
Ding LiLi, Ding NEC LabsChina Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Li LiLi, Li Monash University, AustraliaAustralia Generating tests for mobile platforms CiD: Automating the Detection of API-related Compatibility Issues in Android Apps CiD: Automating the Detection of API-related Compatibility Issues in Android Apps Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Paley LiLi, Paley Northeastern UniversityNew Zealand KafKa: Gradual Typing for Objects
Sihan LiLi, Sihan Targeted Test Generation for Actor Systems Targeted Test Generation for Actor Systems
Yaqi LiLi, Yaqi Institute of Software, Chinese Academy of Sciences LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
Bruno LimaLima, Bruno Faculty of Engineering, University of Porto and INESC TECPortugal A Pattern-based IoT Testing Framework
Mario Linares-VásquezLinares-Vásquez, Mario Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia Colombia Mutode: Generic JavaScript and Node.js Mutation Testing Tool Mutode: Generic JavaScript and Node.js Mutation Testing Tool
Jens LinckeLincke, Jens Hasso Plattner InstituteGermany 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
Fengyun LiuLiu, Fengyun EPFL, SwitzerlandSwitzerland Theory and Practice of Coroutines with Snapshots Theory and Practice of Coroutines with Snapshots
Han LiuLiu, Han Managing Concurrent Testing of Data Race with ComRaDe
Yang LiuLiu, Yang Nanyang Technological University, SingaporeSingapore Committee Member in Program Committee within the ISSTA Technical Papers-track
Yu David LiuLiu, Yu David State University of New York, BinghamtonUnited States Session Chair of Languages (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Ben LivshitsLivshits, Ben Imperial College London, UK Rethinking Modern Web Browsers
David LoLo, David Singapore Management UniversitySingapore Deep Specification Mining
Crista LopesLopes, Crista NJR: A Normalized Java Resource InspectorClone: Evaluating Precision of Clone Detection Tools
Jian LuLu, Jian Nanjing University Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom Committee Member in Program Committee within the ML4PL-track
Yingjun LyuLyu, Yingjun University of Southern CaliforniaUnited States Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications
M Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Ravichandhran MadhavanMadhavan, Ravichandhran EPFLSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Magnus MadsenMadsen, Magnus Aalborg UniversityDenmark Session Chair of Session II (part of DPA) Program Analysis with Flix Safe and Sound Program Analysis with Flix Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the DPA-track
Peyman MahdianMahdian, Peyman University of Illinois at Urbana-Champaign, USA A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Muhammad Suleman MahmoodMahmood, Muhammad Suleman University of Illinois at Urbana-Champaign Evaluating Test-Suite Reduction in Real-World Software Evolution
Petr MajMaj, Petr Czech Technical University Analyzing Duplication in JavaScript Building a Node.js Benchmark: Initial Steps
Sam MalekMalek, Sam University of California, IrvineUnited States Committee Member in Program Committee within the INTUITESTBEDS-track
Roman ManevichManevich, Roman Ben-Gurion University of the NegevIsrael Committee Member in Program Committee within the SOAP-track
Ravi MangalMangal, Ravi Georgia Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Morley MaoMao, Morley University of MichiganUnited States Committee Member in Program Committee within the SALAD-track
Alexandru MargineanMarginean, Alexandru University College London, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Leonardo MarianiMariani, Leonardo University of Milano BicoccaItaly Committee Member in Program Committee within the INTUITESTBEDS-track
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Evaluating Test-Suite Reduction in Real-World Software Evolution
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the COP-track Committee Member in Program Committee within the ICOOOLPS-track
Guillaume MartresMartres, Guillaume EPFL, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan A Context-Oriented Programming Approach to Dependency Hell Committee Member in Organizing Committee within the COP-track
Srdjan MaticMatic, Srdjan IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Toni MattisMattis, Toni Hasso Plattner Institute Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming
Stephen McCamantMcCamant, Stephen University of Minnesota Committee Member in Program Committee within the TAV-CPS/IoT-track
Phil McMinnMcMinn, Phil University of SheffieldUnited Kingdom Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications Committee Member in Program Committee within the TAV-CPS/IoT-track
Tyler McMullenMcMullen, Tyler FastlyUnited States Isolation Without Containers
Aastha MehtaMehta, Aastha MPI-SWSGermany Pacer: Efficient I/O Side-Channel Mitigation in the Cloud Speaker in Attendees within the WoSSCA-track
Christopher MeiklejohnMeiklejohn, Christopher Université catholique de LouvainUnited States Committee Member in Organizing Committee for CurryOn 2018
Darya MelicherMelicher, Darya Carnegie Mellon University Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Feature Visualiser: an Inspection Tool for Context-Oriented Programmers Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented Programming Committee Member in Program Committee within the COP-track
Sukarno MertogunoMertoguno, Sukarno ONRUnited States ONR's perspective on debloating Speaker in Attendees within the WoSSCA-track
Mira MeziniMezini, Mira TU DarmstadtGermany Lattice Based Modularization of Static Analyses Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java Incremental Overload Resolution in Object-Oriented Programming Languages CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Fault-tolerant Distributed Reactive Programming Fault-tolerant Distributed Reactive Programming
Gianluca MezzettiMezzetti, Gianluca Aarhus University, DenmarkItaly Type Regression Testing to Detect Breaking Changes in Node.js Libraries Type Regression Testing to Detect Breaking Changes in Node.js Libraries Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Definite Reference Mutability Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne CurryOn Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Committee Member in Organizing Committee for CurryOn 2018 Opening Remarks
Matt MillerMiller, Matt Microsoft Systematizing speculative execution side channel vulnerabilities and their mitigations
Suzanne MillsteinMillstein, Suzanne University of Washington Lightweight Verification of Array Indexing Lightweight Verification of Array Indexing
Todd MillsteinMillstein, Todd University of California, Los AngelesUnited States ECOOP Program Chair in Organizing Committee for ECOOP and ISSTA 2018 Program Chair in Organizing Committee for ECOOP 2018
Todd MillsteinMillstein, Todd University of California, Los Angeles Session Chair of Asynchrony and Concurrency (part of ECOOP Research Papers)
Todd MillsteinMillstein, Todd University of California, Los AngelesUnited States Distinguished Paper Award Welcome Program Chair in Program Committee within the ECOOP Research Papers-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Eliot MirandaMiranda, Eliot Cadence Design SystemsUnited States Committee Member in Program Committee within the ICOOOLPS-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-Champaign, USA Committee Member in Program Committee within the ISSTA Technical Papers-track
Archan MisraMisra, Archan Singapore Management University, Singapore Computing Paradigms for Emerging Pervasive & IoT-based Applications
Nick MitchellMitchell, Nick IBM TJ Watson Research CenterUnited States Degunking the Cloud
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Fault-tolerant Distributed Reactive Programming Fault-tolerant Distributed Reactive Programming
Rosemary MonahanMonahan, Rosemary National University of Ireland Chair in Steering Committee within the FTfJP-track
Hyungon MoonMoon, Hyungon Georgia TechUnited States On the Effectiveness of Kernel Debloating via Compile-time Configuration Speaker in Attendees within the WoSSCA-track
Kevin MoranMoran, Kevin College of William & MaryUnited States Committee Member in Program Committee within the INTUITESTBEDS-track
Robin MorissetMorisset, Robin AppleUnited States Speaker in Attendees within the WoSSCA-track
Robert MorrisMorris, Robert MIT Analysing The Effect of Uncertainty in Airport Surface Operations
Sarah MountMount, Sarah King's College LondonUnited 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 In Search of Accurate Benchmarking Committee Member in Program Committee within the ICOOOLPS-track
Mohammad MousaviMousavi, Mohammad University of Leicester, UKUnited Kingdom Conformance Testing as a Tool for Designing Connected Vehicle Functions Committee Member in Program Committee within the TAV-CPS/IoT-track
Rashmi MudduluruMudduluru, Rashmi University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Fabian MuehlboeckMuehlboeck, Fabian Cornell University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
John MummMumm, John Vectrology Solutions A CRDT Primer: Defanging Order Theory
Alastair MurrayMurray, Alastair Codeplay Software Compiler Fuzzing through Deep Learning Deep Learning over Code
Tukaram MuskeMuske, Tukaram Tata Consultancy Services LtdIndia Repositioning of Static Analysis Alarms Repositioning of Static Analysis Alarms Repositioning of Static Analysis Alarms
Onur MutluMutlu, Onur ETH Zurich Committee Member in Program Committee within the WoSSCA-track
Monika MužikovskáMužikovská, Monika Brno University of Technology Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Advances in the ANaConDA Framework
Anders MøllerMøller, Anders Aarhus UniversityDenmark Type Regression Testing to Detect Breaking Changes in Node.js Libraries ISSTA 2019 Preview Type Regression Testing to Detect Breaking Changes in Node.js Libraries Static Program Analysis 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üllerMüller, Peter ETH ZurichSwitzerland Committee Member in Steering Committee within the FTfJP-track
N André N. MeyerN. Meyer, André University of Zurich Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Yeoul NaNa, Yeoul BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
Yeoul NaNa, Yeoul Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
Mei NagappanNagappan, Mei University of WaterlooCanada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Mayur NaikNaik, Mayur University of PennsylvaniaUnited States Committee Member in Program Committee within the SALAD-track
Akbar Siami NaminNamin, Akbar Siami Texas Tech University MalViz: An Interactive Visualization Tool for Tracing Malware
Joseph NashNash, Joseph BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
Shiva NejatiNejati, Shiva SnT Centre/University of Luxembourg Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach
Rumyana NeykovaNeykova, Rumyana Imperial College London, UKUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Paderborn UniversityGermany 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) Towards a Data-Curation Platform for Code-Centric Research 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 NguyenNguyen, Vinh The Texas Tech UniversityUnited States MalViz: An Interactive Visualization Tool for Tracing Malware
Fabio NiephausNiephaus, Fabio Hasso Plattner Institute, University of PotsdamGermany GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework Polyglot Programming - Opportunities of Language Implementation Frameworks for Software Developers
Filip NiksicNiksic, Filip MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yannic NollerNoller, Yannic Humboldt-Universität zu Berlin Badger: Complexity Analysis with Fuzzing and Symbolic Execution Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Gian NtzikNtzik, Gian Imperial College London A Concurrent Specification of POSIX File Systems
Nate NystromNystrom, Nate Universita della Svizzera italiana Switzerland Committee Member in Program Committee within the ECOOP Research Papers-track
O Hamed OkhraviOkhravi, Hamed MIT Lincoln LabsUnited States Committee Member in Program Committee within the WoSSCA-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, ChinaHong Kong Typed First-Class Traits FHJ: A Formal Model for Hierarchical Dispatching and Overriding The Essence of Nested Composition Typed First-Class Traits FHJ: A Formal Model for Hierarchical Dispatching and Overriding The Essence of Nested Composition
Rafael OliveiraOliveira, Rafael USP Committee Member in Program Committee within the INTUITESTBEDS-track
Wytse OortwijnOortwijn, Wytse University of Twente, The Netherlands Tool demonstration: The VerCors Verification Toolset An Exercise in Verifying Sequential Programs with VerCors
Nathalie OostvogelsOostvogels, Nathalie Vrije Universiteit BrusselBelgium Static typing of complex presence constraints in interfaces
Alessandro OrsoOrso, Alessandro Georgia TechUnited States Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments Automatically Translating Bug Reports into Test Cases for Mobile Apps Automatically Translating Bug Reports into Test Cases for Mobile Apps Committee Member in Program Committee within the ISSTA Technical Papers-track
Alex OrsoOrso, Alex Georgia Institute of Technology United States Session Chair of Machine Learning (part of ISSTA Technical Papers) Software Testing and Debugging: State of the Art and Open Issues Speaker in Speakers within the ECOOP and ISSTA Summer School-track
Thomas OstrandOstrand, Thomas Automated Test Mapping and Coverage for Network Topologies
P Gordon PacePace, Gordon University of MaltaMalta Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Rohan PadhyePadhye, Rohan University of California, Berkeley PerfFuzz: Automatically Generating Pathological Inputs PerfFuzz: Automatically Generating Pathological Inputs
Oded PadonPadon, Oded Tel Aviv UniversityIsrael Committee Member in Program Committee within the FTfJP-track
Luca PadovaniPadovani, Luca University of Turin, ItalyItaly Mailbox Types for Unordered Interactions Committee Member in Program Committee within the VORTEX-track
Ana PaivaPaiva, Ana University of Porto Co-chair in Organizing Committee within the INTUITESTBEDS-track
Chris PalmerPalmer, Chris GoogleUnited States Application-Specific Principals Must Align With Platform Boundaries Speaker in Attendees within the WoSSCA-track
Karl PalmskogPalmskog, Karl University of Texas at AustinUnited States piCoq: Parallel Regression Proving for Large-Scale Verification Projects
Jens PalsbergPalsberg, Jens University of California, Los AngelesUnited States NJR: A Normalized Java Resource Delta Debugging of Java Bytecode Committee Member in Program Committee within the SALAD-track Committee Member in Program Committee within the BenchWork-track
Linjie PanPan, Linjie Institute of Software, Chinese Academy of Sciences LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
Tobias PapePape, Tobias HPI, GermanyGermany Committee Member in Program Committee within the ICOOOLPS-track
Jihyeok ParkPark, Jihyeok KAIST, South KoreaSouth Korea Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Matthew ParkinsonParkinson, Matthew Microsoft Research, UKUnited Kingdom Committee Member in Program Committee within the FTfJP-track
Chris ParninParnin, Chris NCSUUnited States Comparing developer-provided to user-provided tests for fault localization and automated program repair Comparing developer-provided to user-provided tests for fault localization and automated program repair
Karthik PattabiramanPattabiraman, Karthik University of British Columbia ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Mathias PayerPayer, Mathias Purdue UniversityUnited States Co-chair in Organizing Committee within the WoSSCA-track
Hila PelegPeleg, Hila Technion, IsraelIsrael Session Chair of Session #1 (part of ML4PL) Session Chair of Session #3 (part of ML4PL) On the Importance of Common Sense in Program Synthesis Committee Member in Organizing Committee within the ML4PL-track
Artem PelenitsynPelenitsyn, Artem Czech Technical University in PragueRussia Session Chair of Session #1 (part of ML4PL) Session Chair of Session #2 (part of ML4PL) Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks Committee Member in Organizing Committee within the ML4PL-track
Gervasio Daniel PerezPerez, Gervasio Daniel Universidad de Buenos Aires Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Andrea PeruffoPeruffo, Andrea Nokia Akka.JS and why the actor model matters even in JS's world.
Pavlos PetoumenosPetoumenos, Pavlos University of EdinburghUnited Kingdom Compiler Fuzzing through Deep Learning Deep Learning over Code
Victor PetukhovPetukhov, Victor ITMO University Detecting anomalies in Kotlin code
Simon Peyton JonesPeyton Jones, Simon Microsoft ResearchUnited Kingdom Linear Haskell: practical linearity in a higher-order polymorphic language 35 years of fun with functional programming Speaker in Speakers within the ECOOP and ISSTA Summer School-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Mauro PezzePezze, Mauro Università della Svizzera italiana (USI) and Università degli Studi di Milano BicoccaSwitzerland Looking ahead: what can we do during the PhD for a future career? Translating Code Comments to Procedure Specifications 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èPezzè, Mauro University of Milano-Bicocca, Italy Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art Translating Code Comments to Procedure Specifications Translating Code Comments to Procedure Specifications
Quoc-Sang PhanPhan, Quoc-Sang Fujitsu Laboratories of AmericaUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
David PichardiePichardie, David Univ Rennes, ENS Rennes, IRISAFrance Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Luís PinaPina, Luís George Mason UniversityUnited States CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Pedro da Rocha PintoPinto, Pedro da Rocha Imperial College London A Concurrent Specification of POSIX File Systems
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany Transparent Static Analysis for the Detection of Security Vulnerabilities Transparent Static Analysis for the Detection of Security Vulnerabilities Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Filip PizloPizlo, Filip AppleUnited States Polymorphic Inline Caching in JavaScriptCore Speculative side channels: the view from WebKit Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Sanjay PodderPodder, Sanjay Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
Alex PolozovPolozov, Alex Microsoft ResearchUnited States Committee Member in Program Committee within the ML4PL-track
Michalis PolychronakisPolychronakis, Michalis Stony Brook UniversityUnited States Committee Member in Program Committee within the WoSSCA-track
Pedro Martins PontesPontes, Pedro Martins Faculty of Engineering, University of Porto and INESC TECPortugal A Pattern-based IoT Testing Framework
Denys PoshyvanykPoshyvanyk, Denys William and MaryUnited States Committee Member in Program Committee within the INTUITESTBEDS-track
Nikita PovarovPovarov, Nikita JetBrains Detecting anomalies in Kotlin code
Michael PradelPradel, Michael TU DarmstadtGermany DeepBugs: A Learning Approach to Name-based Bug Detection Committee Member in Program Committee within the ECOOP Research Papers-track
Martin PrammerPrammer, Martin Georgia Institute of Technology Automatically Translating Bug Reports into Test Cases for Mobile Apps Automatically Translating Bug Reports into Test Cases for Mobile Apps
Wishnu PrasetyaPrasetya, Wishnu Utrecht University Committee Member in Program Committee within the INTUITESTBEDS-track
Ron PresslerPressler, Ron Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Theory and Practice of Coroutines with Snapshots Theory and Practice of Coroutines with Snapshots
Sebastian ProkschProksch, Sebastian University of ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Violet Ka I PunPun, Violet Ka I Analysis of SLA Compliance in the Cloud
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research CenterUnited States Analysing The Effect of Uncertainty in Airport Surface Operations Test input generation with Java PathFinder: Then and Now Badger: Complexity Analysis with Fuzzing and Symbolic Execution Symbolic Path Cost Analysis for Side-Channel Detection Symbolic Execution and Probabilistic Reasoning Badger: Complexity Analysis with Fuzzing and Symbolic Execution Symbolic Path Cost Analysis for Side-Channel Detection 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
Q Lina QiuQiu, Lina University of British ColumbiaCanada Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
Xiao QuQu, Xiao ABB Corporate Research Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Mohaned QunaibitQunaibit, Mohaned University of California, IrvineUnited States Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
R Rodric RabbahRabbah, Rodric Serverless Computing with Functions
Hany RagabRagab, Hany Vrije Universiteit AmsterdamItaly Speaker in Attendees within the WoSSCA-track
G. RamalingamRamalingam, G. Microsoft Research Safe Transferable Regions
Rudolf RamlerRamler, Rudolf Software Competence Center Hagenberg GUI Scalability Issues of Windows Desktop Applications and How to Find Them Committee Member in Program Committee within the INTUITESTBEDS-track
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Potsdam Committee Member in Program Committee within the COP-track
Raghotham M RaoRao, Raghotham M Accenture Labs Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
Marianna RapoportRapoport, Marianna University of WaterlooCanada Artifact Evaluation Co-Chair in Organizing Committee for ECOOP and ISSTA 2018 Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2018 Distinguished Artifact Award Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Shawn RasheedRasheed, Shawn Massey UniversityNew Zealand A Micro-Benchmark for Dynamic Program Behaviour
Antonio RavaraRavara, Antonio Committee Member in Program Committee within the VORTEX-track
Baishakhi RayRay, Baishakhi Columbia University, New YorkUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Kaveh RazaviRazavi, Kaveh Vrije Universiteit AmsterdamNetherlands Committee Member in Program Committee within the WoSSCA-track
John RegehrRegehr, John University of UtahUnited States Committee Member in Program Committee within the WoSSCA-track
Giles RegerReger, Giles University of ManchesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Michael ReifReif, Michael TU Darmstadt, GermanyGermany Lattice Based Modularization of Static Analyses Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java
Patrick ReinRein, Patrick Hasso Plattner Institute Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns
Tobias ReinhardReinhard, Tobias Technische Universität Darmstadt Static Latency Tracking with Placement Types
Armin Rezaiean-AselRezaiean-Asel, Armin University of British Columbia ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Automated End To End Testing of Single Page Web Applications Committee Member in Program Committee within the INTUITESTBEDS-track
Vincenzo RiccioRiccio, Vincenzo University of Naples Federico IIItaly Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities
Manuel RiggerRigger, Manuel Johannes Kepler University LinzAustria Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in Program Committee within the SOAP-track
Diego Rodríguez-BaqueroRodríguez-Baquero, Diego Universidad de los AndesColombia Mutode: Generic JavaScript and Node.js Mutation Testing Tool Mutode: Generic JavaScript and Node.js Mutation Testing Tool
José Miguel RojasRojas, José Miguel University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Paolo RondenaRondena, Paolo Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art
Nicolás RosnerRosner, Nicolás University of California, Santa BarbaraUnited 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 Distinguished Artifact Award Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifacts-track
Andreas RossbergRossberg, Andreas GoogleGermany WebAssembly, Past, Present, and Future
Gregg RothermelRothermel, Gregg University of Nebraska-Lincoln, USA Committee Member in Program Committee within the ISSTA Technical Papers-track
Julia RubinRubin, Julia University of British ColumbiaCanada Analyzing the analyzers Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
Cindy Rubio-GonzálezRubio-González, Cindy University of California, Davis Session Chair of Testing and Fault Localization (part of ISSTA Technical Papers) Exploiting Community Structure for Floating-Point Precision Tuning Landing your Dream Job After Graduate School 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 RusinowitchRusinowitch, Michael Implementing security protocol monitors
S Mehrdad SabetzadehSabetzadeh, Mehrdad SnT Centre/University of Luxembourg Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach
Miles SabinSabin, Miles Underscore LLP Adding kind-polymorphism to the Scala programming language
Alireza SadeghiSadeghi, Alireza Google, IncUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Mohsen SafariSafari, Mohsen University of Twente, The Netherlands An Exercise in Verifying Sequential Programs with VerCors
Seemanta SahaSaha, Seemanta University of California Santa Barbara Symbolic Path Cost Analysis for Side-Channel Detection Symbolic Path Cost Analysis for Side-Channel Detection
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Static Latency Tracking with Placement Types Lattice Based Modularization of Static Analyses Fault-tolerant Distributed Reactive Programming Distributed Multitier Programming with Placement Types using ScalaLoci Fault-tolerant Distributed Reactive Programming Committee Member in Program Committee within the FTfJP-track Committee Member in Program Committee within the COP-track
Mark SantolucitoSantolucito, Mark Yale UniversityUnited States Committee Member in Program Committee within the ML4PL-track
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ECOOP Research Papers-track
Annabel SatinSatin, Annabel 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 SayakkaraSayakkara, Asanka University College DublinIreland Electromagnetic Side-Channel Attacks: Potential for Progressing Hindered Digital Forensic Analysis Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics Speaker in Attendees within the WoSSCA-track
Alceste ScalasScalas, Alceste Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mark ScanlonScanlon, Mark University College DublinIreland Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics Speaker in Attendees within the WoSSCA-track
Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Max SchaeferSchaefer, Max SemmleUnited Kingdom Session Chair of Session I (part of DPA) QL + LGTM = Declarative Program Analysis for the Masses Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the DPA-track
Stephan SchaikSchaik, Stephan Vrije Universiteit AmsterdamNetherlands Speaker in Attendees within the WoSSCA-track
Patrick SchaumontSchaumont, Patrick Virginia Tech Eliminating Timing Side-channel Leaks Using Program Repair Eliminating Timing Side-Channel Leaks using Program Repair
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden Committee Member in Program Committee within the VORTEX-track
Tom SchrijversSchrijvers, Tom KU Leuven The Essence of Nested Composition The Essence of Nested Composition
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Andreas SchulerSchuler, Andreas University of Applied Sciences Upper Austria Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview
Jasper SchulzSchulz, Jasper King's College LondonGermany 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 SchusterSchuster, Christopher University of California, Santa Cruz Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Koushik SenSen, Koushik University of California, BerkeleyUnited States PerfFuzz: Automatically Generating Pathological Inputs PerfFuzz: Automatically Generating Pathological Inputs
Alexander SerebrenikSerebrenik, Alexander Eindhoven University of TechnologyNetherlands Repositioning of Static Analysis Alarms Repositioning of Static Analysis Alarms Repositioning of Static Analysis Alarms
Marco ServettoServetto, Marco Victoria University of Wellington FHJ: A Formal Model for Hierarchical Dispatching and Overriding FHJ: A Formal Model for Hierarchical Dispatching and Overriding
Peter SewellSewell, Peter University of CambridgeUnited Kingdom Committee Member in Program Committee within the WoSSCA-track
Sina ShamshiriShamshiri, Sina University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Elena ShermanSherman, Elena Boise State UniversityUnited States Redesigning Soot's Data-flow Analysis Framework for Abstract Interpretation Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
August ShiShi, August University of Illinois at Urbana-Champaign Evaluating Test-Suite Reduction in Real-World Software Evolution
Seung Yeob ShinShin, Seung Yeob SnT Centre/University of Luxembourg Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Samarth SikandSikand, Samarth Accenture Labs Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Declarative Static Analysis and Zombies (ok, Soundness) Defensive Points-To Analysis: Effective Soundness via Laziness Efficient Reflection String Analysis via Graph Coloring Static Analysis of Java Dynamic Proxies Static Analysis of Java Dynamic Proxies Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Efficient Reflection String Analysis via Graph Coloring Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Defensive Points-To Analysis: Effective Soundness via Laziness Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Kirill SmirenkoSmirenko, Kirill Saint Petersburg State University Detecting anomalies in Kotlin code
Justin SmithSmith, Justin North Carolina State UniversityUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Scott F. SmithSmith, Scott F. The Johns Hopkins UniversityUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Aleš SmrčkaSmrčka, Aleš Brno University of TechnologyCzech Republic Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Advances in the ANaConDA Framework
Oleg SokolskySokolsky, Oleg University of Pennsylvania, USA Committee Member in Program Committee within the VORTEX-track
Dawn SongSong, Dawn PerfFuzz: Automatically Generating Pathological Inputs PerfFuzz: Automatically Generating Pathological Inputs
Linhai SongSong, Linhai Pennsylvania State University, USAUnited States Fine-Grained Library Customization
Tyler SorensenSorensen, Tyler Imperial College LondonUnited Kingdom Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany Committee Member in Program Committee within the COP-track
Johannes SpäthSpäth, Johannes Fraunhofer IEMGermany CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Manu SridharanSridharan, Manu Uber Challenges in Large-Scale Mobile App Performance
Siwakorn SrisakaokulSrisakaokul, Siwakorn University of Illinois at Urbana-Champaign, USA A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Yulia StartsevStartsev, Yulia Mozilla Language Design in the Open
Deian StefanStefan, Deian University of California, San Diego Constant-time crypto programming with FaCT
Kathryn StoleeStolee, Kathryn North Carolina State UniversityUnited States Tool Demos Co-Chair in Organizing Committee for ISSTA 2018 Best Tool Demonstration Award 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 StolzStolz, Volker Høgskulen på VestlandetNorway On Distributed runtime verification by aggregate computing Committee Member in Program Committee within the VORTEX-track
Raoul StrackxStrackx, Raoul KU LeuvenBelgium Speaker in Attendees within the WoSSCA-track
Per Erik StrandbergStrandberg, Per Erik Westermo Research and Development AB Automated Test Mapping and Coverage for Network Topologies
Gianluca StringhiniStringhini, Gianluca University College LondonUnited Kingdom Committee Member in Program Committee within the WoSSCA-track
Pavle SuboticSubotic, Pavle University College LondonUnited Kingdom Scalable Logic Defined Static Analysis with Soufflé
Li SuiSui, Li Massey University, New ZealandNew Zealand A Micro-Benchmark for Dynamic Program Behaviour
Yulei SuiSui, Yulei University of Technology Sydney, AustraliaAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Alexander J. SummersSummers, Alexander J. ETH ZurichSwitzerland Program Chair in Program Committee within the FTfJP-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Wanting SunSun, Wanting Beijing University of Posts and Telecommunications Managing Concurrent Testing of Data Race with ComRaDe
Wei SunSun, Wei University of Nebraska-Lincoln, USA Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Daniel SundmarkSundmark, Daniel Mälardalen University Automated Test Mapping and Coverage for Network Topologies
Julian SutherlandSutherland, Julian Imperial College London A Concurrent Specification of POSIX File Systems
Jerry SwanSwan, Jerry University of York Subtype Polymorphism à la carte via Machine Learning on Dependent Types
Tamás SzabóSzabó, Tamás itemis AG / TU DelftGermany IncAL - Incrementalizing Lattice-Based Program Analyses Incremental Overload Resolution in Object-Oriented Programming Languages Better living through incrementality: Immediate static analysis feedback without loss of precision
Tamás SzabóSzabó, Tamás Incrementalizing Lattice-Based Program Analyses
César SánchezSánchez, César IMDEA Software InstituteSpain Committee Member in Program Committee within the VORTEX-track
Mario SüdholtSüdholt, Mario IMT Atlantique, Nantes, France Committee Member in Program Committee within the COP-track
T Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns
Amjed TahirTahir, Amjed Massey UniversityNew Zealand A Micro-Benchmark for Dynamic Program Behaviour
Rohith TalluriTalluri, Rohith Tata Consultancy Services Ltd Repositioning of Static Analysis Alarms Repositioning of Static Analysis Alarms Repositioning of Static Analysis Alarms
Gang TanTan, Gang Pennsylvania State UniversityUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan A Context-Oriented Programming Approach to Dependency Hell
Alexandros TasosTasos, Alexandros Imperial College LondonGreece Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages Safely Abstracting Memory Layouts SHAPES: Adding memory layouts and SIMD capabilities to high-level languages
Valerio TerragniTerragni, Valerio Università della Svizzera ItalianaSwitzerland Committee Member in Program Committee within the TAV-CPS/IoT-track
Hannes ThallerThaller, Hannes Institute for Software Systems Engineering, Johannes Kepler University, LinzAustria Probabilistic Software Modeling Probabilistic Software Modeling
Alexander ThiemannThiemann, Alexander Stripe Inc SuperRecord: Practical Anonymous Records for Haskell
Peter ThiemannThiemann, Peter University of FreiburgGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Rei ThiessenThiessen, Rei Google Inc. Simple encoding of lattices in Datalog
Dave ThomasThomas, Dave Kx SystemsCanada Simplicity - The Road Not Taken?
Frank TipTip, Frank Northeastern UniversityUnited 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) Application Extraction for Java: A retrospective report of the Jax project Welcome Welcome Mentor in Mentors within the ECOOP and ISSTA Summer School-track Co-chair in Organizing Committee within the SALAD-track
Ben L. TitzerTitzer, Ben L. GoogleGermany Peering behind the Turing Mirror WebAssembly, Past, Present, and Future Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
John TomanToman, John University of Washington, SeattleUnited States Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
Paolo TonellaTonella, Paolo Fondazione Bruno KesslerItaly OASIs: Oracle Assessment and Improvement Tool Automated End To End Testing of Single Page Web Applications OASIs: Oracle Assessment and Improvement Tool Committee Member in Program Committee within the ISSTA Technical Papers-track
Marco TorchianoTorchiano, Marco Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices
Emina TorlakTorlak, Emina University of WashingtonUnited States Solver-Aided Programming for All
Martin Toldam TorpTorp, Martin Toldam Aarhus UniversityDenmark Type Regression Testing to Detect Breaking Changes in Node.js Libraries Type Regression Testing to Detect Breaking Changes in Node.js Libraries
Emma ToschTosch, Emma University of Massachusetts, Amherst Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Laurence TrattTratt, Laurence King's College LondonUnited 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 In Search of Accurate Benchmarking Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Omer TrippTripp, Omer Google Inc.United States Opening Detection of Spectre vulnerabilities via static analysis Co-chair in Organizing Committee within the SOAP-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Omer TrippTripp, Omer IBM Thomas J. Watson Research CenterIsrael Speaker in Attendees within the WoSSCA-track
Hong-Linh TruongTruong, Hong-Linh TU Wien Committee Member in Program Committee within the TAV-CPS/IoT-track
Fraser TweedaleTweedale, Fraser Red Hat Taming the C monster: Haskell FFI techniques
U Naoyasu UbayashiUbayashi, Naoyasu Kyushu UniversityJapan Committee Member in Program Committee within the COP-track
V Mohsen VakilianVakilian, Mohsen Google Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Jo Van BulckVan Bulck, Jo KU LeuvenBelgium Speaker in Attendees within the WoSSCA-track
Tijs van der Stormvan der Storm, Tijs CWINetherlands 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 Welcome Welcome Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the COP-track
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal Dependent Types for Class-based Mutable Objects
Mandana VaziriVaziri, Mandana IBM ResearchUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Ondřej VašíčekVašíček, Ondřej Brno University of Technology Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Advances in the ANaConDA Framework
Didier VernaVerna, Didier EPITA / LRDEFrance Committee Member in Program Committee within the COP-track
Toon VerwaestVerwaest, Toon GoogleGermany Peering behind the Turing Mirror Real World Benchmarks for JavaScript Speaker in Attendees within the WoSSCA-track
Alvaro VidelaVidela, Alvaro Lector in Codigo
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica / Technische Universiteit EindhovenNetherlands 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 VinterVinter, Brian Københavns UniversitetDenmark Committee Member in Program Committee within the WoSSCA-track
Mirko ViroliViroli, Mirko University of Bologna On Distributed runtime verification by aggregate computing
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Spoofax: Live Programming Language Design
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Test input generation with Java PathFinder: Then and Now Committee Member in Program Committee within the ISSTA Technical Papers-track
Jan VitekVitek, Jan Northeastern UniversityUnited 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) Monotonic Gradual Typing in a Common Calculus Analyzing Duplication in JavaScript Building a Node.js Benchmark: Initial Steps ECOOP 2019 Preview KafKa: Gradual Typing for Objects Opening Remarks Tests from Traces: Automated Unit Test Generation for R Tests from Traces: Automated Unit Test Extraction for R Tests from Traces: Automated Unit Test Extraction for R 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 VoelterVoelter, Markus itemis IncAL - Incrementalizing Lattice-Based Program Analyses
Tomáš VojnarVojnar, Tomáš Brno University of Technology Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs Advances in the ANaConDA Framework
Stijn VolckaertVolckaert, Stijn University of California, Irvine BinRec: Attack Surface Reduction Through Dynamic Binary Recovery Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
Tanja E. J. VosVos, Tanja E. J. Universitat Politècnica de València and Open Universiteit Keynote: Alégroth, Amalfitano, Vos, and Aho Co-chair in Organizing Committee within the INTUITESTBEDS-track
W Chao WangWang, Chao University of Southern CaliforniaUnited States Eliminating Timing Side-channel Leaks Using Program Repair
Chao WangWang, Chao USCUnited States Eliminating Timing Side-Channel Leaks using Program Repair
Chao WangWang, Chao University of Southern CaliforniaUnited States 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
Haoyu WangWang, Haoyu CiD: Automating the Detection of API-related Compatibility Issues in Android Apps CiD: Automating the Detection of API-related Compatibility Issues in Android Apps
Yanlin WangWang, Yanlin University of Hong KongChina FHJ: A Formal Model for Hierarchical Dispatching and Overriding FHJ: A Formal Model for Hierarchical Dispatching and Overriding
YINGYING WANGWANG, YINGYING Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems
Weiliang Ying Weiliang Ying Managing Concurrent Testing of Data Race with ComRaDe
Pascal WeisenburgerWeisenburger, Pascal Technische Universität DarmstadtGermany Static Latency Tracking with Placement Types Distributed Multitier Programming with Placement Types using ScalaLoci
Thomas WetzlmaierWetzlmaier, Thomas GUI Scalability Issues of Windows Desktop Applications and How to Find Them
Elaine WeyukerWeyuker, Elaine Mälardalen UniversitySweden Automated Test Mapping and Coverage for Network Topologies
Stefan WinterWinter, Stefan TU DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages Safely Abstracting Memory Layouts SHAPES: Adding memory layouts and SIMD capabilities to high-level languages Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Meng WuWu, Meng Virginia TechChina Eliminating Timing Side-channel Leaks Using Program Repair Eliminating Timing Side-Channel Leaks using Program Repair
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Code into Data: Embedding programs into datastores with GraalVM
X Tao XieXie, Tao A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Xin Yang Xin Yang Managing Concurrent Testing of Data Race with ComRaDe
Xinyu XingXing, Xinyu Fine-Grained Library Customization
Yifan XingXing, Yifan Distributed Systems Protocols and their Vulnerabilities
Yingfei XiongXiong, Yingfei Peking UniversityChina Shaping Program Repair Space with Existing Patches and Similar Code An Empirical Study on TensorFlow Program Bugs Shaping Program Repair Space with Existing Patches and Similar Code Shaping Program Repair Space with Existing Patches and Similar Code
Chang XuXu, Chang Nanjing University Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Harry XuXu, Harry University of California, Los AngelesUnited States Session Chair of SALAD 1 (part of SALAD) Session Chair of SALAD 2 (part of SALAD) Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design Chair in Organizing Committee within the SALAD-track
Jingling XueXue, Jingling UNSW SydneyAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track
Y Jiwei YanYan, Jiwei Institute of Software, Chinese Academy of Sciences LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
Jun YanYan, Jun Institute of Software, Chinese Academy of Sciences LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
Vanya YanevaYaneva, Vanya University of Edinburgh, UKUnited Kingdom Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Heron YangYang, Heron Carnegie Mellon University Analysing The Effect of Uncertainty in Airport Surface Operations
Wei YangYang, Wei University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Daphne YaoYao, Daphne Virginia TechUnited States Committee Member in Program Committee within the SALAD-track
Ming-Ho YeeYee, Ming-Ho Northeastern UniversityUnited 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 YuYu, Tingting University of KentuckyUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Organizer in Organizing Committee within the TAV-CPS/IoT-track
Z Tadeu ZagalloZagallo, Tadeu Apple, Inc,Netherlands Speaker in Attendees within the WoSSCA-track
Francesco Zappa NardelliZappa Nardelli, Francesco InriaFrance KafKa: Gradual Typing for Objects Committee Member in Posters Committee within the ECOOP and ISSTA Posters-track
Gianluigi ZavattaroZavattaro, Gianluigi Analysis of SLA Compliance in the Cloud
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Committee Member in Program Committee within the SALAD-track
Andreas ZellerZeller, Andreas Saarland UniversityGermany 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) Inferring Input Structure for Machine Learning Parser-Directed Test Generation 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 ZendraZendra, Olivier INRIA / LORIAFrance Committee Member in Program Committee within the ICOOOLPS-track Co-chair in Organizing Committee within the ICOOOLPS-track
Dongmei ZhangZhang, Dongmei Microsoft Research, ChinaChina ISSTA 2019 Preview
Haoyuan ZhangZhang, Haoyuan FHJ: A Formal Model for Hierarchical Dispatching and Overriding FHJ: A Formal Model for Hierarchical Dispatching and Overriding
Hongyu ZhangZhang, Hongyu The University of NewcastleAustralia Shaping Program Repair Space with Existing Patches and Similar Code Shaping Program Repair Space with Existing Patches and Similar Code Shaping Program Repair Space with Existing Patches and Similar Code
Jian ZhangZhang, Jian Beihang University LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
Lingming ZhangZhang, Lingming Learning to Accelerate Symbolic Execution via Code Transformation Learning to Accelerate Symbolic Execution via Code Transformation
Lu ZhangZhang, Lu Peking University Learning to Accelerate Symbolic Execution via Code Transformation An Empirical Study on TensorFlow Program Bugs Learning to Accelerate Symbolic Execution via Code Transformation
Qirun ZhangZhang, Qirun University of California, DavisUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Committee Member in Program Committee within the SALAD-track
Yuhao ZhangZhang, Yuhao Peking UniversityChina An Empirical Study on TensorFlow Program Bugs
Peiyuan ZhaoZhao, Peiyuan University of Illinois at Urbana-Champaign Evaluating Test-Suite Reduction in Real-World Software Evolution
Yang ZhaoZhao, Yang Oracle Labs Buffer Overflow Detection for C Programs is Hard to Learn
Meital ZilbersteinZilberstein, Meital TechnionIsrael Committee Member in Program Committee within the ML4PL-track
Frank ZimmerZimmer, Frank SES Techcom Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based Approach
Thomas ZimmermannZimmermann, Thomas Microsoft ResearchUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Elena ZuccaZucca, Elena University of GenovaItaly Modeling infinite behaviour by corules Modelling infinite behaviour by corules Committee Member in Program Committee within the FTfJP-track
Daniele ZuddasZuddas, Daniele Università della Svizzera italiana (USI)Italy Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art Committee Member in Program Committee within the INTUITESTBEDS-track
Ç Ezgi ÇiçekÇiçek, Ezgi MPI-SWS, Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Č Ivan ČukićČukić, Ivan KDE e.V. Atom Heart Monad: FRP in C++

Results (671)

Tracks

Co-hosted Conferences

Workshops