ECOOP and ISSTA 2018 Contributors - ECOOP and ISSTA 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (670)

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 Keynote: Alégroth, Amalfitano, Vos, and Aho Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices 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) Impact Paper Awards Symbolic Path Cost Analysis for Side-Channel Detection 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 Generating Software Adaptations using Machine Learning A Declarative Language for Context Activation 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 Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Benjamin W ChungChung, Benjamin W Northeastern University KafKa: Gradual Typing for Objects
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Buffer Overflow Detection for C Programs is Hard to Learn Building a Node.js Benchmark: Initial Steps Opening Remarks 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 Specification Idioms from Industrial Experience Reasoning about Functional Programming in Java and C++
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
Philipp Dominik SchubertDominik Schubert, Philipp Heinz Nixdorf Institut, Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Alastair DonaldsonDonaldson, Alastair 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 Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java Lattice Based Modularization of Static Analyses 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 Lightweight Verification of Array Indexing Comparing developer-provided to user-provided tests for fault localization and automated program repair Pluggable Type Systems Reconsidered 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 Lightweight Verification of Array Indexing 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 GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns 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
Simon Peyton JonesJones, Simon Peyton 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
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 Defensive Points-To Analysis: Effective Soundness via Laziness Efficient Reflection String Analysis via Graph Coloring
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 Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java Lattice Based Modularization of Static Analyses
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
Yepang LiuLiu, Yepang 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 Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java Lattice Based Modularization of Static Analyses 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 Static Program Analysis Type Regression Testing to Detect Breaking Changes in Node.js Libraries 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</