VORTEX 2018 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (640)

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
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 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!
Mansour AlharthiAlharthi, Mansour On the Effectiveness of Kernel Debloating via Compile-time Configuration
Karim AliAli, Karim University of AlbertaCanada Co-chair in Organizers within the Panathon-track Session Chair of Static Analysis (part of ECOOP Research Papers) CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Committee Member in Program Committee within the ECOOP Research Papers-track Session Chair of Static Analysis (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track Opening Remarks 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 Keynote: Alégroth, Amalfitano, Vos, and Aho Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities 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) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track Test of Time Award Modeling infinite behaviour by corules A Formalism for Specification of Java API Interfaces
Gabriele Anderst-KotsisAnderst-Kotsis, Gabriele Johannes Kepler University, Linz, Austria Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions A Context-Oriented Programming Approach to Dependency Hell 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
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 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 Speaker in Attendees within the WoSSCA-track Benchmarking WebKit
Earl T. BarrBarr, Earl T. University College LondonUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track Making Data-Driven Porting Decisions with Tuscan Committee Member in Program Committee within the ISSTA Technical Papers-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Why VM Benchmarking is Probably Misleading you In Search of Accurate Benchmarking
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
Lars BaumgärtnerBaumgärtner, Lars Philipps-Universität Marburg 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
Moritz BellerBeller, Moritz Delft University of Technology Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-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 The Essence of Nested Composition Typed First-Class Traits
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 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization CiD: Automating the Detection of API-related Compatibility Issues in Android Apps
Lasse BlaauwbroekBlaauwbroek, Lasse Czech Institute for Informatics Robotics and CyberneticsCzechia 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
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
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Co-chair in Organizers within the Panathon-track The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and how to master them) CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Session Chair of Keynote: Ernst & ISSTA 2019 Preview (part of ISSTA Keynotes) Distinguished Paper Awards Welcome Program Chair in Program Committee within the ISSTA Technical Papers-track An Opinionated Survey of the Java Static Analysis Landscape Towards a Data-Curation Platform for Code-Centric Research
CF Bolz-TereickBolz-Tereick, CF 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
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
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
Lionel BriandBriand, Lionel SnT Centre/University of LuxembourgLuxembourg Committee Member in Program Committee within the ISSTA Technical Papers-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 Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization Software Diversity vs. Side Channels
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) Impact Paper Awards Session Chair of Optimization and Performance (part of ISSTA Technical Papers) 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 Session Chair of Secure and Sound (part of ISSTA Technical Papers) 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
Michael CarbinCarbin, Michael MITUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Generating Software Adaptations using Machine Learning A Declarative Language for Context Activation 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
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
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
Yifan ChenChen, Yifan Peking University An Empirical Study on TensorFlow Program Bugs
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 Distinguished Artifact Award Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benjamin ChungChung, Benjamin Northeastern University KafKa: Gradual Typing for Objects
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Monotonic Gradual Typing in a Common Calculus
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Co-chair in Organizers within the Panathon-track Buffer Overflow Detection for C Programs is Hard to Learn Building a Node.js Benchmark: Initial Steps Opening Remarks 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
Cliff ClickClick, Cliff SelfUnited States Lessons from a Big Data Machine Learning Startup 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
Chris CumminsCummins, Chris University of EdinburghUnited Kingdom Machine learning for compilers Compiler Fuzzing through Deep Learning
D Marcelo d'Amorimd'Amorim, Marcelo Federal University of PernambucoBrazil 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 Modeling infinite behaviour by corules A Formalism for Specification of Java API Interfaces
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) Analysis of SLA Compliance in the Cloud Run-time checking of data- and protocol-oriented properties of Java programs 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 Co-chair in Organizers within the Panathon-track Session Chair of Porting and Repair (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Session Chair of Testing (part of ECOOP Research Papers)
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 Committee Member in Program Committee within the ECOOP Research Papers-track Towards specifications of robustness -- the things that programs do not do Safely Abstracting Memory Layouts Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages
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
Bruno DumasDumas, Bruno Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
Ivana DusparicDusparic, Ivana Trinity College Dublin, Ireland 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 Safely Abstracting Memory Layouts Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in 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 Better living through incrementality: Immediate static analysis feedback without loss of precision Incremental Overload Resolution in Object-Oriented Programming Languages
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 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 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 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Automatically Translating Bug Reports into Test Cases for Mobile Apps
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
Chris FordFord, Chris ThoughtWorks (UK) Ltd. It Ain't Necessarily So
George FourtounisFourtounis, George University of Athens 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 Static Analysis of Java Dynamic Proxies
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
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 Safely Abstracting Memory Layouts Committee Member in Program Committee within the FTfJP-track Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages
Michael FranzFranz, Michael University of California, IrvineUnited States Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization BinRec: Attack Surface Reduction Through Dynamic Binary Recovery 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
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
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
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
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
Shivanshu GoyalGoyal, Shivanshu University of British Columbia ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Neville GrechGrech, Neville University of Athens Efficient Reflection String Analysis via Graph Coloring Session Chair of Session III (part of DPA) MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts Committee Member in Organizing Committee within the DPA-track Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
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
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
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 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
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Distinguished Artifact Award Session Chair of Types (part of ECOOP Research Papers) 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
Dan HaoHao, Dan Peking UniversityChina 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
Mark HarmanHarman, Mark Facebook and University College LondonUnited Kingdom 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 Opening Co-chair in Organizing Committee within the SOAP-track Distinguished Artifact Award Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifacts-track Towards a Data-Curation Platform for Code-Centric Research 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 Committee Member in Program Committee within the ECOOP Research Papers-track Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns Committee Member in Organizing Committee within the COP-track GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework
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 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Making Data-Driven Porting Decisions with Tuscan
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
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
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 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track OASIs: Oracle Assessment and Improvement Tool
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
Yanyan JiangJiang, Yanyan Nanjing UniversityChina 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
Eric JulJul, Eric University of OsloNorway Session Chair of Awards & Keynote: Xu (part of ECOOP Keynotes) Test of Time Award Dahl-Nygaard Awards Committee Member in Program Committee within the ICOOOLPS-track Session Chair of WoSSCA 2 (part of WoSSCA) Session Chair of WoSSCA 1 (part of WoSSCA) 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
Woosung JungJung, Woosung Seoul National University of EducationSouth Korea 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 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Comparing developer-provided to user-provided tests for fault localization and automated program repair
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 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 Efficient Reflection String Analysis via Graph Coloring Defensive Points-To Analysis: Effective Soundness via Laziness Static Analysis of Java Dynamic Proxies Static Analysis of Java Dynamic Proxies
Martin KelloggKellogg, Martin University of Washington, SeattleUnited States Lightweight Verification of Array Indexing Lightweight Verification of Array Indexing
Rody KerstenKersten, Rody Synopsys, Inc. Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Kareem KhazemKhazem, Kareem University College LondonUnited Kingdom Making Data-Driven Porting Decisions with Tuscan
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Learning to Accelerate Symbolic Execution via Code Transformation Test input generation with Java PathFinder: Then and Now Session Chair of Test and Oracle Generation (part of ISSTA Technical Papers) 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
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 Committee Member in Program Committee within the WoSSCA-track On the Effectiveness of Kernel Debloating via Compile-time Configuration 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 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 Speaker in Attendees within the WoSSCA-track BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
Stefan KrügerKrüger, Stefan University of PaderbornGermany CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs 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 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Translating Code Comments to Procedure Specifications
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 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
L Yvan LabicheLabiche, Yvan Carleton University Committee Member in Program Committee within the INTUITESTBEDS-track
Chris LaffraLaffra, Chris Uber Technologies Little Languages 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) Automatic Python test generation Closing Plenary Discussion Welcome Co-chair in Organizing Committee within the ISAGT-track Committee Member in Program Committee within the ISAGT-track Application Extraction for Java: A retrospective report of the Jax project
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 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Cosimo LaneveLaneve, Cosimo Analysis of SLA Compliance in the Cloud
Yves Le TraonLe Traon, Yves University of LuxembourgLuxembourg 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 Speaker in Attendees within the WoSSCA-track
Hugh LeatherLeather, Hugh University of Edinburgh Compiler Fuzzing through Deep Learning
Gary T. LeavensLeavens, Gary T. 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
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
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 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications
Li LiLi, Li Monash University, AustraliaAustralia Generating tests for mobile platforms Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track CiD: Automating the Detection of API-related Compatibility Issues in Android Apps
Paley LiLi, Paley Northeastern UniversityNew Zealand KafKa: Gradual Typing for Objects
Sihan LiLi, Sihan 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
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
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
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom Committee Member in Program Committee within the ML4PL-track
Jian LvLv, Jian Nanjing University Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
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
Ravichandhran MadhavanMadhavan, Ravichandhran EPFLSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Magnus MadsenMadsen, Magnus Aalborg UniversityDenmark Committee Member in Program Committee within the ECOOP Research Papers-track Session Chair of Session II (part of DPA) Program Analysis with Flix Committee Member in Organizing Committee within the DPA-track Safe and Sound Program Analysis with Flix
Peyman MahdianMahdian, Peyman University of Illinois at Urbana-Champaign, USA 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
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Feature Visualiser: an Inspection Tool for Context-Oriented Programmers Committee Member in Program Committee within the COP-track
Sukarno MertogunoMertoguno, Sukarno ONRUnited States Speaker in Attendees within the WoSSCA-track ONR's perspective on debloating
Mira MeziniMezini, Mira TU DarmstadtGermany Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java Lattice Based Modularization of Static Analyses Fault-tolerant Distributed Reactive Programming CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Incremental Overload Resolution in Object-Oriented Programming Languages
Gianluca MezzettiMezzetti, Gianluca Aarhus University, DenmarkItaly 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 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 Distinguished Paper Award Welcome
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 Program Chair in Program Committee within the ECOOP Research Papers-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
Rosemary MonahanMonahan, Rosemary National University of Ireland Chair in Steering Committee within the FTfJP-track
Hyungon MoonMoon, Hyungon Georgia TechUnited States Speaker in Attendees within the WoSSCA-track On the Effectiveness of Kernel Debloating via Compile-time Configuration
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 Committee Member in Program Committee within the ICOOOLPS-track In Search of Accurate Benchmarking
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
Tukaram MuskeMuske, Tukaram Tata Consultancy Services LtdIndia 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
Anders MøllerMøller, Anders Aarhus UniversityDenmark Co-chair in Organizers within the Panathon-track Type Regression Testing to Detect Breaking Changes in Node.js Libraries ISSTA 2019 Preview Committee Member in Program Committee within the ISSTA Technical Papers-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 Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
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
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 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Towards a Data-Curation Platform for Code-Centric Research
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
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
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 FHJ: A Formal Model for Hierarchical Dispatching and Overriding The Essence of Nested Composition Typed First-Class Traits
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 Automatically Translating Bug Reports into Test Cases for Mobile Apps Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments 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)
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
Oded PadonPadon, Oded Tel Aviv UniversityIsrael Committee Member in Program Committee within the FTfJP-track
Luca PadovaniPadovani, Luca University of Turin, ItalyItaly Committee Member in Program Committee within the VORTEX-track Mailbox Types for Unordered Interactions
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 J. ParkinsonParkinson, Matthew J. 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
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
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
Mauro PezzePezze, Mauro Università della Svizzera italiana (USI) and Università degli Studi di Milano BicoccaSwitzerland 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 Translating Code Comments to Procedure Specifications Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art 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
Luís PinaPina, Luís George Mason UniversityUnited States 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 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
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
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 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 Committee Member in Program Committee within the ISSTA Technical Papers-track Analysing The Effect of Uncertainty in Airport Surface Operations 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
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 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
António RavaraRavara, António 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 Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java Lattice Based Modularization of Static Analyses
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
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy 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
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
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
Nico RosnerRosner, Nico University of California, Santa BarbaraUnited States 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
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 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
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
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Lattice Based Modularization of Static Analyses Fault-tolerant Distributed Reactive Programming Static Latency Tracking with Placement Types 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
Asanka SayakkaraSayakkara, Asanka University College DublinIreland Electromagnetic Side-Channel Attacks: Potential for Progressing Hindered Digital Forensic Analysis 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 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 Committee Member in Program Committee within the ECOOP Research Papers-track Session Chair of Session I (part of DPA) QL + LGTM = Declarative Program Analysis for the Masses 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
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
Koushik SenSen, Koushik University of California, BerkeleyUnited States PerfFuzz: Automatically Generating Pathological Inputs
Alexander SerebrenikSerebrenik, Alexander Eindhoven University of TechnologyNetherlands 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
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
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 Co-chair in Organizers within the Panathon-track Efficient Reflection String Analysis via Graph Coloring Defensive Points-To Analysis: Effective Soundness via Laziness Declarative Static Analysis and Zombies (ok, Soundness) 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 Static Analysis of Java Dynamic Proxies Committee Member in Program Committee within the ISSTA Technical Papers-track
Kirill SmirenkoSmirenko, Kirill Saint Petersburg State University Detecting anomalies in Kotlin code
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 TechnologyCzechia Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs
Oleg SokolskySokolsky, Oleg University of Pennsylvania, USA Committee Member in Program Committee within the VORTEX-track
Dawn SongSong, Dawn PerfFuzz: Automatically Generating Pathological Inputs
Linhai SongSong, Linhai Pennsylvania State University, USAUnited States Fine-Grained Library Customization
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
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 Best Tool Demonstration Award 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
Wanting SunSun, Wanting Beijing University of Posts and Telecommunications Managing Concurrent Testing of Data Race with ComRaDe
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 Better living through incrementality: Immediate static analysis feedback without loss of precision Incremental Overload Resolution in Object-Oriented Programming Languages
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
Gang (Gary) TanTan, Gang (Gary) 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 Safely Abstracting Memory Layouts Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages
Valerio TerragniTerragni, Valerio Università della Svizzera ItalianaSwitzerland Committee Member in Program Committee within the TAV-CPS/IoT-track
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 Session Chair of Keynote: Zeller & ECOOP 2019 Preview (part of ECOOP Keynotes) Session Chair of Welcome & Keynote: De Moor (part of ECOOP Keynotes) Welcome Session Chair of Welcome & Keynote: Torlak (part of ISSTA Keynotes) Session Chair of Keynote: Visser, Khurshid, and Pasareanu & Awards (part of ISSTA Keynotes) Welcome Application Extraction for Java: A retrospective report of the Jax project Co-chair in Organizing Committee within the SALAD-track
Ben L. TitzerTitzer, Ben L. GoogleGermany WebAssembly, Past, Present, and Future Peering behind the Turing Mirror 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 Committee Member in Program Committee within the ISSTA Technical Papers-track OASIs: Oracle Assessment and Improvement Tool
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
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 In Search of Accurate Benchmarking
Omer TrippTripp, Omer Google Inc.United States Opening 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
Omer TrippTripp, Omer Google Inc.United States Detection of Spectre vulnerabilities via static analysis
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 Welcome Committee Member in Program Committee within the ECOOP Research Papers-track Welcome 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
Didier VernaVerna, Didier EPITA / LRDEFrance Committee Member in Program Committee within the COP-track
Toon VerwaestVerwaest, Toon GoogleGermany Peering behind the Turing Mirror Speaker in Attendees within the WoSSCA-track Real World Benchmarks for JavaScript
Alvaro VidelaVidela, Alvaro Lector in Codigo
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 ECOOP 2019 Preview KafKa: Gradual Typing for Objects Monotonic Gradual Typing in a Common Calculus Tests from Traces: Automated Unit Test Generation for R Tests from Traces: Automated Unit Test Extraction for R Opening Remarks Session Chair of WoSSCA 3 (part of WoSSCA) Comfy Chair in Organizing Committee within the WoSSCA-track Organizer in Attendees within the WoSSCA-track Session Chair of SALAD 3 (part of SALAD) Co-chair in Organizing Committee within the SALAD-track Analyzing Duplication in JavaScript Building a Node.js Benchmark: Initial Steps
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
Stijn VolckaertVolckaert, Stijn University of California, Irvine Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
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 USCUnited States Eliminating Timing Side-Channel Leaks using Program Repair
Chao WangWang, Chao University of Southern CaliforniaUnited States Eliminating Timing Side-channel Leaks Using Program Repair 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
Yanlin WangWang, Yanlin University of Hong KongChina FHJ: A Formal Model for Hierarchical Dispatching and Overriding
Yingying WangWang, Yingying 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
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 Safely Abstracting Memory Layouts Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages
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
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 Shaping Program Repair Space with Existing Patches and Similar Code An Empirical Study on TensorFlow Program Bugs
Chang XuXu, Chang Nanjing University Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Harry XuXu, Harry University of California, Los AngelesUnited States Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design Session Chair of SALAD 1 (part of SALAD) Session Chair of SALAD 2 (part of SALAD) 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
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 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
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 Parser-Directed Test Generation Inferring Input Structure for Machine Learning Session Chair of Mobile (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-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
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
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
Lu ZhangZhang, Lu Peking University Learning to Accelerate Symbolic Execution via Code Transformation An Empirical Study on TensorFlow Program Bugs
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
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 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++

VORTEX 2018 Contributors

Results (640)

Tracks

Co-hosted Conferences

Workshops