ESEC/FSE 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (715)

A Denis A. NicoleA. Nicole, Denis University of Southampton Towards Counterexample-guided k-Induction for Fast Bug Detection
Jonathan A. SaddlerA. Saddler, Jonathan Modeling and Testing a Family of Surgical Robots: An Experience Report
Rui AbreuAbreu, Rui Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Committee Member in Program Committee within the ESEC/FSE Research Papers-track
David AdamoAdamo, David Ultimate Software, USA Reinforcement Learning for Android GUI Testing
Bram AdamsAdams, Bram MCIS, École Polytechnique de Montréal Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Afsoon AfzalAfzal, Afsoon Carnegie Mellon UniversityUnited States Poster: Quality Assurance Automation in Autonomous Systems Quality Assurance Automation in Autonomous Systems
Amritanshu AgrawalAgrawal, Amritanshu North Carolina State UniversityUnited States Characterizing the Influence of Continuous Integration: Empirical Results from 250+ Open Source and Proprietary Projects
Iftekhar AhmedAhmed, Iftekhar University of California at Irvine, USA Towards Understanding Code Readability and Its Impact on Design Quality
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-Madison Neural-Augmented Static Analysis of Android Communication Syntax-Guided Synthesis of Datalog Programs
Peter AldousAldous, Peter Brigham Young University Memory safety in C by abstract interpretation
Mounifah AlenaziAlenazi, Mounifah Poster: Leveraging Traceability and Obstacle Analysis to Ensure Requirements Fulfilment in Systems Engineering
Muhammad Ali GulzarAli Gulzar, Muhammad University of California, Los AngelesUnited States BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing
Saba AlimadadiAlimadadi, Saba Northeastern University Practical AJAX Race Detection for JavaScript Web Applications
Amin AlipourAlipour, Amin University of HoustonUnited States On the Naturalness of Proofs
Miltiadis AllamanisAllamanis, Miltiadis Microsoft Research, CambridgeUnited Kingdom Deep Learning Type Inference Mining Semantic Loop Idioms RefiNym: Using Names to Refine Types
Patrick AltAlt, Patrick Ultimate Software, USA Abstract Flow Learning for Web Application Test Generation
Sven AmannAmann, Sven Technische Universität DarmstadtGermany A Systematic Evaluation of Static API-Misuse Detectors
Hen AmarAmar, Hen Tel Aviv University, Israel Using Finite-State Models for Log Differencing
Vaastav AnandAnand, Vaastav University of British ColumbiaCanada Dara - Hybrid Model Checking of Distributed Systems
Daniel AnastasiouAnastasiou, Daniel University of Trier, Germany (No) Influence of Continuous Integration on the Commit Activity in GitHub Projects
Rico AngellAngell, Rico University of Massachusetts, Amherst Themis: Automatically Testing Software for Discrimination
Maurício AnicheAniche, Maurício Delft University of Technology, Netherlands Session Chair of Models (part of ESEC/FSE Research Papers) PyDriller: Python Framework for Mining Software Repositories Committee Member in Program Committee within the ESEC/FSE Student Research Competition-track
Giuliano AntoniolAntoniol, Giuliano Polytechnique MontréalCanada Getting the Most from Map Data Structures in Android
Sven ApelApel, Sven Saarland UniversityGermany Co-chair in Test of Time Paper Award Committee for ESEC/FSE 2018 Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Ameer ArmalyArmaly, Ameer Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Committee Member in Program Committee within the JPF-track
Abdulbaki AydinAydin, Abdulbaki Microsoft, USAUnited States Parameterized Model Counting for String and Numeric Constraints
B Alberto BacchelliBacchelli, Alberto University of ZurichSwitzerland PyDriller: Python Framework for Mining Software Repositories What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Hamid BagheriBagheri, Hamid University of Nebraska-Lincoln, USA Session Chair of Models (part of ESEC/FSE Demonstrations) Modeling and Testing a Family of Surgical Robots: An Experience Report Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Mehdi BagherzadehBagherzadeh, Mehdi Oakland UniversityUnited States Student Volunteer Co-Chair in Organizing Committee for ESEC/FSE 2018
Maria Teresa BaldassarreBaldassarre, Maria Teresa Department of Computer Science, University of Bari Italy “Smart Traffic”: An IoT Traffic Monitoring System Based on Open Source Technologies on the Cloud From Big Data to Smart Data: A Data Quality Perspective
Pierre BaldiBaldi, Pierre University of California at Irvine, USA Oreo: Detection of Clones in the Twilight Zone
Sebastian BaltesBaltes, Sebastian University of TrierGermany Towards a Theory of Software Development Expertise (No) Influence of Continuous Integration on the Commit Activity in GitHub Projects
Lucas BangBang, Lucas Session Chair of Security (part of ESEC/FSE Research Papers) Attack Synthesis for Strings using Meta-Heuristics Parameterized Model Counting for String and Numeric Constraints
Titus BarikBarik, Titus MicrosoftUnited States How Should Compilers Explain Problems to Developers? Committee Member in Program Committee within the ESEC/FSE Student Research Competition-track
Earl T. BarrBarr, Earl T. Darwinian Data Structure Selection Deep Learning Type Inference
Earl T. BarrBarr, Earl T. University College London Mining Semantic Loop Idioms
Earl T. BarrBarr, Earl T. RefiNym: Using Names to Refine Types Approximate Oracles and Synergy in Software Energy Search Spaces
Michail BasiosBasios, Michail University College LondonGreece Darwinian Data Structure Selection
Raef BassilyBassily, Raef Ohio State University, USA Differentially-Private Software Analytics for Mobile Apps: Opportunities and Challenges
Gabriele BavotaBavota, Gabriele Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Olga BaysalBaysal, Olga Carleton UniversityCanada Artifact Evaluation Co-Chair in Organizing Committee for ESEC/FSE 2018 Co-chair in Organizing Committee within the ESEC/FSE Artifacts-track Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Andrew BegelBegel, Andrew Microsoft ResearchUnited States Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Jonathan BellBell, Jonathan George Mason UniversityUnited States Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
W. Ben TowneBen Towne, W. Microtask Programming
Thorsten BergerBerger, Thorsten Chalmers University of Technology, Sweden / University of Gothenburg, Sweden Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Carlos Bernal-CárdenasBernal-Cárdenas, Carlos William and MaryUnited States Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
Ivan BeschastnikhBeschastnikh, Ivan Computer Science, University of British ColumbiaCanada Performance Comprehension at WiredTiger Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Cor-Paul BezemerBezemer, Cor-Paul University of Alberta, CanadaCanada How Do Developers Utilize Source Code from Stack Overflow?
Tanmay BhowmikBhowmik, Tanmay Mississippi State University Towards Data-Driven Vulnerability Prediction for Requirements Automated Generation of Creative Software Requirements: A Data-Driven Approach
Pan BianBian, Pan Renmin University of China, ChinaChina NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Christian BirdBird, Christian Microsoft ResearchUnited States Session Chair of Software Maintenance I (part of ESEC/FSE Research Papers) Deep Learning Type Inference Mining Semantic Loop Idioms Committee Member in Program Committee within the ESEC/FSE Industry-track Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Judith BishopBishop, Judith Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the ESEC/FSE Industry-track
Tegawendé F. BissyandéBissyandé, Tegawendé F. University of Luxembourg, Luxembourg FraudDroid: Automated Ad Fraud Detection for Android Apps
Sam BlackshearBlackshear, Sam FacebookUnited States Committee Member in Program Committee within the ESEC/FSE Industry-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Gamifying Static Analysis Do Android Taint Analysis Tools Keep Their Promises?
Mitra Bokaei HosseiniBokaei Hosseini, Mitra University of Texas at San Antonio Poster: Semantic Inference from Natural Language Privacy Policies and Android Code Semantic Inference from Natural Language Privacy Policies and Android Code
Richard BonettBonett, Richard Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
Markus BorgBorg, Markus RISE Research Institutes of Sweden ABSweden Goal-Oriented Mutation Testing with Focal Methods
Jan BoschBosch, Jan Chalmers University of Technology, Sweden Committee Member in Program Committee within the ESEC/FSE Industry-track
Víctor BrabermanBraberman, Víctor Testing and Validating End User Programmed Calculated Fields
Tegan BrennanBrennan, Tegan Parameterized Model Counting for String and Numeric Constraints
Lance BrimbleBrimble, Lance Building Lean Continuous Integration and Delivery Pipelines by applying DevOps Principles: A Case Study at Varidesk
Caius BrindescuBrindescu, Caius Oregon State University Poster: How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements How Do Developers Resolve Merge Conflicts? An Investigation Into the Processes, Tools, and Improvements
Marc BrockschmidtBrockschmidt, Marc Microsoft ResearchUnited Kingdom Learning from Code with Graphs (Keynote)
Sean BrownBrown, Sean Brigham Young University Memory safety in C by abstract interpretation
Yuriy BrunBrun, Yuriy University of Massachusetts AmherstUnited States Software Fairness Themis: Automatically Testing Software for Discrimination Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Renée BryceBryce, Renée University of North Texas, USA Reinforcement Learning for Android GUI Testing
Marc BrüninkBrünink, Marc nil, Singapore Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
Tevfik BultanBultan, Tevfik University of California, Santa Barbara Session Chair of Testing II (part of ESEC/FSE Research Papers) Attack Synthesis for Strings using Meta-Heuristics Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting Parameterized Model Counting for String and Numeric Constraints Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Nimrod BusanyBusany, Nimrod Tel Aviv University, Israel Using Finite-State Models for Log Differencing
Bert-Jan ButijnButijn, Bert-Jan Poster: Blueprints Programming Model for Smart Contracts
Taejoon ByunByun, Taejoon University of Minnesota Contract Discovery from Black-Box Components
Marcel BöhmeBöhme, Marcel Monash UniversityAustralia STADS: Software Testing as Species Discovery Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
C Peter C. RigbyC. Rigby, Peter The modular and feature toggle architectures of Google Chrome
Ismael CaballeroCaballero, Ismael University of Castilla-La Mancha, Spain From Big Data to Smart Data: A Data Quality Perspective
Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Yan CaiCai, Yan Institute of Software, Chinese Academy of SciencesChina NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Danilo CaivanoCaivano, Danilo University of Bari “Smart Traffic”: An IoT Traffic Monitoring System Based on Open Source Technologies on the Cloud From Big Data to Smart Data: A Data Quality Perspective
Gerardo CanforaCanfora, Gerardo University of SannioItaly Committee Member in Program Committee within the ESEC/FSE Journal-First-track
Anthony CaninoCanino, Anthony SUNY Binghamton Stochastic Energy Optimization for Mobile GPS Applications
Antonio CarzanigaCarzaniga, Antonio Università della Svizzera italianaSwitzerland Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Casey CasalnuovoCasalnuovo, Casey University of California at Davis, USAUnited States Is “Naturalness” a Result of Deliberate Choice?
Marco CastelluccioCastelluccio, Marco Mozilla Foundation, UK What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability
Ahmet CelikCelik, Ahmet University of Texas at Austin, USA Regression Test Selection for TizenRT
Satish ChandraChandra, Satish FacebookUnited States Industry Co-Chair in Organizing Committee for ESEC/FSE 2018 Session Chair of Test Automation (part of ESEC/FSE Industry) Session Chair of Keynote II (part of ESEC/FSE Keynotes) Session Chair of Symbolic Execution and Constraint Solving (part of ESEC/FSE Research Papers) Big Code at Facebook (Keynote II) Chair in Organizing Committee within the ESEC/FSE Industry-track Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Bihuan ChenChen, Bihuan Fudan UniversityChina FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Di ChenChen, Di North Carolina State University, USA Applications of Psychological Science for Actionable Analytics
Dongjie ChenChen, Dongjie Testing Multithreaded Programs via Thread Speed Control
Hongxu ChenChen, Hongxu Nanyang Technological University FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Jia ChenChen, Jia University of Texas at Austin Singularity: Pattern Fuzzing for Worst Case Complexity
Junjie ChenChen, Junjie Peking UniversityChina Optimizing Test Prioritization via Test Distribution Analysis
Lin ChenChen, Lin Nanjing UniversityChina How far we have progressed in the journey? An examination of cross-project defect prediction
Quan ChenChen, Quan DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
Sen ChenChen, Sen Nanyang Technological University, SingaporeSingapore Are Mobile Banking Apps Secure? What Can be Improved?
Xiangping ChenChen, Xiangping Salient-Class Location: Help Developers Understand Code Change in Code Review
Yuanliang ChenChen, Yuanliang PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing
Alvin CheungCheung, Alvin University of Washington PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE
Shing-Chi CheungCheung, Shing-Chi Department of Computer Science and Engineering, The Hong Kong University of Science and TechnologyChina Session Chair of End User Programming and Financial Applications (part of ESEC/FSE Industry) Do the Dependency Conflicts in My Project Matter? Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF Committee Member in Program Committee within the ESEC/FSE Industry-track
Murali ChintalapatiChintalapati, Murali Microsoft, USA Predicting Node Failure in Cloud Service Systems
Hendy ChuaChua, Hendy Efficient Static Checking of Library Updates
Young Chul LeeChul Lee, Young Regression Test Selection for TizenRT
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly Symbolic Execution with Existential Second-Order Constraints
Jürgen CitoCito, Jürgen MITUnited States Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Peter J. ClarkeClarke, Peter J. Florida International University, USA Abstract Flow Learning for Web Application Test Generation
Jane Cleland-HuangCleland-Huang, Jane University of Notre DameUnited States Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Diego ClerissiClerissi, Diego DIBRIS, University of Genova, Italy Towards an Approach for Developing and Testing Node-RED IoT Systems
Christy A. CoghlanCoghlan, Christy A. Virginia Tech, USA The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale
Myra CohenCohen, Myra Iowa State UniversityUnited States Session Chair of Security (part of ESEC/FSE Industry) Session Chair of Software Analysis II (part of ESEC/FSE Research Papers) Modeling and Testing a Family of Surgical Robots: An Experience Report Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Grigoreta Sofia CojocarCojocar, Grigoreta Sofia Department of Computer Science, Babes-Bolyai University Mining Monitoring Concerns Implementation in Java-Based Software Systems
Hayes ConverseConverse, Hayes The University of Texas at Austin A Progress Bar for the JPF Search Using Program Executions
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UKUnited Kingdom Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) Towards Counterexample-guided k-Induction for Fast Bug Detection
Alcino CunhaCunha, Alcino University of Minho and INESC TEC, PortugalPortugal Property-Based Testing for the Robot Operating System
Michael CurcioCurcio, Michael Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
D Marcelo d'Amorimd'Amorim, Marcelo Federal University of PernambucoBrazil Committee Member in Program Committee within the JPF-track
Philip DaianDaian, Philip A Formal Verification Tool for Ethereum VM Bytecode
Yingnong DangDang, Yingnong Microsoft, USA Predicting Node Failure in Cloud Service Systems
Daniel Alencar Da Costa Daniel Alencar Da Costa Queen's University, Kingston, OntarioCanada Winning the App Production Rally
Santanu DashDash, Santanu University College London, UK RefiNym: Using Names to Refine Types
James C. DavisDavis, James C. Virginia Tech, USA The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale
Guido de Casode Caso, Guido Testing and Validating End User Programmed Calculated Fields
Claudio De MeoDe Meo, Claudio Polytechnic University of Bari, Italy LiquiDADE: A Liquid-Based Distributed Agile and Adaptive Development Environment (DADE) Multi-device Tool
Vidroha DebroyDebroy, Vidroha Building Lean Continuous Integration and Delivery Pipelines by applying DevOps Principles: A Case Study at Varidesk
Damian DechevDechev, Damian University of Central Florida Workshops Chair in Organizing Committee for ESEC/FSE 2018 Chair in Organizing Committee within the ESEC/FSE Workshops-track
Daniel DeFreezDeFreez, Daniel University of California, DavisUnited States Mining Error-Handling Specifications for Systems Software Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Robert DeLineDeLine, Robert Microsoft Research Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Serge DemeyerDemeyer, Serge University of Antwerp, BelgiumBelgium Goal-Oriented Mutation Testing with Focal Methods
Prem DevanbuDevanbu, Prem University of CaliforniaUnited States On the Naturalness of Proofs Mining Semantic Loop Idioms Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Arturo Di LecceDi Lecce, Arturo Microtask Programming
Massimiliano Di PentaDi Penta, Massimiliano University of SannioItaly Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Eugenio Di SciascioDi Sciascio, Eugenio Polytechnic University of Bari, Italy LiquiDADE: A Liquid-Based Distributed Agile and Adaptive Development Environment (DADE) Multi-device Tool
Stephan DiehlDiehl, Stephan Computer Science, University Trier, GermanyGermany Towards a Theory of Software Development Expertise (No) Influence of Continuous Integration on the Commit Activity in GitHub Projects
Danny DigDig, Danny School of EECS at Oregon State University Mentorship Chair in Organizing Committee for ESEC/FSE 2018 Chair in Organizing committee within the ESEC/FSE Faculty Mentorship Roundtables-track Committee Member in Mentors within the ESEC/FSE Faculty Mentorship Roundtables-track
Işıl DilligDillig, Işıl UT AustinUnited States Singularity: Pattern Fuzzing for Worst Case Complexity
Laura DillonDillon, Laura Michigan State University Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Quoc Anh DoDo, Quoc Anh Mississippi State University Automated Generation of Creative Software Requirements: A Data-Driven Approach
Brendan Dolan-GavittDolan-Gavitt, Brendan New York UniversityUnited States Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Feng DongDong, Feng Beijing University of Posts and Telecommunications, China FraudDroid: Automated Ad Fraud Detection for Android Apps
Liang DouDou, Liang East China Normal University FACTS: Automated Black-box Testing of FinTech Systems
Wensheng DouDou, Wensheng Institute of Software, Chinese Academy of SciencesChina How Are Spreadsheet Templates Used in Practice: A Case Study on Enron An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Saikat DuttaDutta, Saikat University of Illinois at Urbana-Champaign, USAUnited States Testing Probabilistic Programming Systems
Matthew B DwyerDwyer, Matthew B University of NebraskaUnited States Committee Member in Mentors within the ESEC/FSE Faculty Mentorship Roundtables-track Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Robert DyerDyer, Robert Bowling Green State UniversityUnited States Registration Chair in Organizing Committee for ESEC/FSE 2018 Session Chair of WASPI workshop (part of ESEC/FSE WASPI) Session Chair of Afternoon talks (part of ESEC/FSE WASPI) Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS) Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions Committee Member in Organizing Committee within the ESEC/FSE WASPI-track Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
E William EiersEiers, William University of California at Santa Barbara, USA Attack Synthesis for Strings using Meta-Heuristics Parameterized Model Counting for String and Numeric Constraints
Sebastian ElbaumElbaum, Sebastian University of Nebraska-Lincoln, USA Session Chair of Software Analysis I (part of ESEC/FSE Research Papers) Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection Committee Member in Mentors within the ESEC/FSE Faculty Mentorship Roundtables-track Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Mathias EllmannEllmann, Mathias University of Hamburg and LegalTechTeamGermany Two Perspectives on Software Documentation Quality in Stack Overflow Natural Language Processing (NLP) Applied on Issue Trackers
Ferhat ErataErata, Ferhat UNIT Information Technologies R&D Ltd.Turkey AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Irina ErofeevaErofeeva, Irina How Dance(Sport) Can Help to Produce Better Software
F Sarah FakhouryFakhoury, Sarah Washington State University Moving Towards Objective Measures of Program Comprehension Poster: Moving Towards Objective Measures of Program Comprehension
Davide FalessiFalessi, Davide California Polytechnic State UniversityUnited States Facilitating Feasibility Analysis: The Pilot Defects Prediction Dataset Maker
Lingling FanFan, Lingling East China Normal University, China/Nanyang Technological University, SingaporeChina Are Mobile Banking Apps Secure? What Can be Improved?
Yuanrui FanFan, Yuanrui Early prediction of merged code changes to prioritize reviewing tasks
João Pascoal FariaFaria, João Pascoal Faculty of Engineering, University of Porto and INESC TECPortugal Test Patterns for IoT
Farima FarmahinifarahaniFarmahinifarahani, Farima University of California at Irvine, USA Oreo: Detection of Clones in the Twilight Zone
Shane FarritorFarritor, Shane Modeling and Testing a Family of Surgical Robots: An Experience Report
Mattia FazziniFazzini, Mattia Georgia Institute of TechnologyUnited States Automated Support for Mobile Application Testing and Maintenance Poster: Automated Support for Mobile Application Testing and Maintenance
Alexandra (Sasha) FedorovaFedorova, Alexandra (Sasha) University of British ColumbiaCanada Performance Comprehension at WiredTiger
Robert FeldtFeldt, Robert Chalmers University of Technology ROSE Festival co-chair in Organizing Committee for ESEC/FSE 2018 Chair in Organizing Committee within the ROSE Festival-track Committee Member in Program Committee within the ESEC/FSE Journal-First-track
Xiaobing FengFeng, Xiaobing ICT CAS CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Yang FengFeng, Yang University of California, IrvineUnited States Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing
Yu FengFeng, Yu University of California, Santa Barbara, USAChina Singularity: Pattern Fuzzing for Worst Case Complexity
Kostas FerlesFerles, Kostas UT AustinUnited States Singularity: Pattern Fuzzing for Worst Case Complexity
Earlence FernandesFernandes, Earlence University of Michigan Session Chair of Debugging and Bug Localization (part of ESEC/FSE Research Papers)
Antonio FilieriFilieri, Antonio Imperial College LondonUnited Kingdom Session Chair of Probabilistic Reasoning (part of ESEC/FSE Research Papers) Committee Member in Program Committee within the ESEC/FSE Research Papers-track Co-chair in Organizing Committee within the JPF-track
Vladimir FilkovFilkov, Vladimir University of California at Davis, USA One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Darius FooFoo, Darius Efficient Static Checking of Library Updates
Denae FordFord, Denae North Carolina State UniversityUnited States How Should Compilers Explain Problems to Developers?
Armando FoxFox, Armando UC Berkeley Towards Quantifying the Development Value of Code
Wei FuFu, Wei Applications of Psychological Science for Actionable Analytics
Ying FuFu, Ying VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation
G Keheliya GallabaGallaba, Keheliya McGill UniversityCanada Use and Misuse of Continuous Integration Features: An Empirical Study of Projects that (mis)use Travis CI
Chushu GaoGao, Chushu Institute of Software, Chinese Academy of SciencesChina How Are Spreadsheet Templates Used in Practice: A Case Study on Enron An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Cuiyun GaoGao, Cuiyun Computer Science and Engineering, The Chinese University of Hong KongChina INFAR: Insight Extraction from App Reviews
Jian GaoGao, Jian School of Software, Tsinghua University VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation
Ruizhi GaoGao, Ruizhi Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing
Yu GaoGao, Yu Institute of Software, Chinese Academy of SciencesChina An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Diego GarbervetskyGarbervetsky, Diego University of Buenos Aires, ArgentinaArgentina Session Chair of Energy (part of ESEC/FSE Research Papers) Testing and Validating End User Programmed Calculated Fields
Alessandro GarciaGarcia, Alessandro PUC-RioBrazil Program Co-Chair in Organizing Committee for ESEC/FSE 2018 Committee Member in Test of Time Paper Award Committee for ESEC/FSE 2018 Session Chair of Keynote III (part of ESEC/FSE Keynotes) Chair in Program Committee within the ESEC/FSE Research Papers-track Co-chair in Program Committee within the ESEC/FSE Journal-First-track
Miroslav GavrilovGavrilov, Miroslav University of California at Santa Barbara, USA Parameterized Model Counting for String and Numeric Constraints
Marco GerosaGerosa, Marco Northern Arizona UniversityUnited States Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Mohammad GhafariGhafari, Mohammad University of BernSwitzerland Goal-Oriented Mutation Testing with Focal Methods
Rohit GheyiGheyi, Rohit Federal University of Campina GrandeBrazil Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Milos GligoricGligoric, Milos University of Texas at AustinUnited States A Progress Bar for the JPF Search Using Program Executions Regression Test Selection for TizenRT Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track Committee Member in Program Committee within the ESEC/FSE Student Research Competition-track Committee Member in Program Committee within the JPF-track
Stéphane GlonduGlondu, Stéphane Inria Nancy Ten Years of Hunting for Similar Code for Fun and Profit
Javier GodoyGodoy, Javier Testing and Validating End User Programmed Calculated Fields
Arda GoknilGoknil, Arda University of Luxembourg AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Danielle GonzalezGonzalez, Danielle Rochester Institute of Technology, USAUnited States A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English
Colin GordonGordon, Colin Drexel UniversityUnited States Generating Comments from Source Code with CCGs
Ananth GramaGrama, Ananth Purdue University, USA MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
Sol GreenspanGreenspan, Sol National Science Foundation Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly Symbolic Execution with Existential Second-Order Constraints
Lars GrunskeGrunske, Lars Humboldt-Universität zu BerlinGermany Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Lintao GuGu, Lintao FACTS: Automated Black-box Testing of FinTech Systems
Jianmin GuoGuo, Jianmin DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
Shengjian (Daniel) GuoGuo, Shengjian (Daniel) Virginia Tech Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Yao GuoGuo, Yao Peking UniversityChina FraudDroid: Automated Ad Fraud Detection for Android Apps
Adriana-Mihaela GuranGuran, Adriana-Mihaela Department of Computer Science, Babes-Bolyai University Mining Monitoring Concerns Implementation in Java-Based Software Systems
Kamill GusmanovGusmanov, Kamill Russia On the Adoption of Neural Networks in Modeling Software Reliability
Yann-Gaël GuéhéneucGuéhéneuc, Yann-Gaël Concordia University and Polytechnique MontréalCanada Getting the Most from Map Data Structures in Android
Tibor GyimóthyGyimóthy, Tibor University of Szeged, Hungary HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm Grammarinator: A Grammar-Based Open Source Fuzzer
H Sonia HaiducHaiduc, Sonia Florida State University Committee Member in Organizing committee within the ESEC/FSE Faculty Mentorship Roundtables-track
Shi HanHan, Shi Automated Refactoring of Nested-IF Formulae in Spreadsheets
Dan HaoHao, Dan Peking UniversityChina Automated Refactoring of Nested-IF Formulae in Spreadsheets Optimizing Test Prioritization via Test Distribution Analysis
Reihaneh H. HaririHariri, Reihaneh H. Oakland University, USA 3CAP: Categorizing the Cognitive Capabilities of Alzheimer’s Patients in a Smart Home Environment
Mark HarmanHarman, Mark Facebook and University College LondonUnited Kingdom Approximate Oracles and Synergy in Software Energy Search Spaces Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Masatomo HashimotoHashimoto, Masatomo Chiba Institute of Technology, JapanJapan Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
Mehran HassaniHassani, Mehran Studying and Detecting Log-Related Issues
Liang HeHe, Liang FACTS: Automated Black-box Testing of FinTech Systems
Shilin HeHe, Shilin Chinese University of Hong KongChina Identifying Impactful Service System Problems via Log Analysis
Xiao HeHe, Xiao University of Science and Technology Beijing, China Putback-Based Bidirectional Model Transformations
Regina HebigHebig, Regina Chalmers University of Technology & University of GothenburgSweden Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Mats P. E. HeimdahlHeimdahl, Mats P. E. University of Minnesota, USA Contract Discovery from Black-Box Components
Vincent J. HellendoornHellendoorn, Vincent J. University of California at Davis, USAUnited States On the Naturalness of Proofs Deep Learning Type Inference
Jordan HenkelHenkel, Jordan University of Wisconsin–MadisonUnited States Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Jim HerbslebHerbsleb, Jim Carnegie Mellon UniversityUnited States Session Chair of Estimation and Prediction (part of ESEC/FSE Research Papers) Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
Felienne HermansHermans, Felienne TU DelftNetherlands Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Kim HerzigHerzig, Kim Tools for Software Engineers, Microsoft Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Robert HeumüllerHeumüller, Robert Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code
Renáta HodovánHodován, Renáta University of Szeged, Hungary HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm Grammarinator: A Grammar-Based Open Source Fuzzer
Reid HolmesHolmes, Reid University of British ColumbiaCanada Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Vasant HonavarHonavar, Vasant Pennsylvania State University, USA Committee Member in Organizing Committee within the ESEC/FSE WASPI-track
Kai HongHong, Kai School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China Salient-Class Location: Help Developers Understand Code Change in Code Review
Seongjoon HongHong, Seongjoon Korea UniversitySouth Korea MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Falk HowarHowar, Falk Clausthal University of Technology Committee Member in Program Committee within the JPF-track
Ken HsiehHsieh, Ken Predicting Node Failure in Cloud Service Systems
Gang HuHu, Gang Columbia University, USA AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Qingda HuHu, Qingda Tsinghua University Towards Quantifying the Development Value of Code
Yu HuHu, Yu New York University, USA Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan Putback-Based Bidirectional Model Transformations
Jinru HuaHua, Jinru SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
Jeff HuangHuang, Jeff Texas A&M University Concurrency Verification with Maximal Path Causality DeepSim: Deep Learning Code Functional Similarity
Jianjun HuangHuang, Jianjun Renmin University of China, China NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Ruirui HuangHuang, Ruirui Alibaba Group, China An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Tao HuangHuang, Tao Institute of Software Chinese Academy of Sciences How Are Spreadsheet Templates Used in Practice: A Case Study on Enron
Yuan HuangHuang, Yuan School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China Salient-Class Location: Help Developers Understand Code Change in Code Review
Zixin HuangHuang, Zixin University of Illinois at Urbana-Champaign, USA Testing Probabilistic Programming Systems
Waqar HussainHussain, Waqar Monash UniversityAustralia Engineering Human Values in Software: A Research Roadmap
I Katsuro InoueInoue, Katsuro Osaka UniversityJapan How Do Developers Utilize Source Code from Stack Overflow?
Nagisa IshiuraIshiura, Nagisa Kwansei Gakuin University Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers
Juha ItkonenItkonen, Juha Comparison of release engineering practices in a large mature company and a startup
Vladimir IvanovIvanov, Vladimir Design and Validation of Precooked Developer Dashboards
Mitsuyoshi IwatsujiIwatsuji, Mitsuyoshi Kwansei Gakuin University, Japan Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers
Tomonori IzumidaIzumida, Tomonori IIJ Innovation Institute, Japan Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
J Amit JainJain, Amit Boise State University Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations
Pooyan JamshidiJamshidi, Pooyan University of South CarolinaUnited States Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Somesh JhaJha, Somesh University of Wisconsin, MadisonUnited States Neural-Augmented Static Analysis of Android Communication
Nan JiaJia, Nan School of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China Salient-Class Location: Help Developers Understand Code Change in Code Review
Lingxiao JiangJiang, Lingxiao Singapore Management UniversitySingapore Ten Years of Hunting for Similar Code for Fun and Profit Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Yanyan JiangJiang, Yanyan Nanjing UniversityChina Testing Multithreaded Programs via Thread Speed Control
Yu JiangJiang, Yu EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation DLFuzz: Differential Fuzzing Testing of Deep Learning Systems PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode
Brittany JohnsonJohnson, Brittany University of Massachusetts AmherstUnited States Themis: Automatically Testing Software for Discrimination Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track Committee Member in Program Committee within the ESEC/FSE Student Research Competition-track
joseph JonesJones, joseph Brigham Young University Memory safety in C by abstract interpretation
Natalia JuristoJuristo, Natalia Facultad de Informática - UPMSpain Committee Member in Program Committee within the ESEC/FSE Research Papers-track
K Nawwar KabbaniKabbani, Nawwar Poster: Test Coverage for Semi-Structured Data
Ismet Burak KadronKadron, Ismet Burak University of California at Santa Barbara, USA Attack Synthesis for Strings using Meta-Heuristics
Gail KaiserKaiser, Gail Columbia University, New YorkUnited States NIER Co-Chair in Organizing Committee for ESEC/FSE 2018 Session Chair of NIER I (part of ESEC/FSE New Ideas and Emerging Results) Session Chair of NIER II (part of ESEC/FSE New Ideas and Emerging Results) Chair in Organizing Committee within the ESEC/FSE New Ideas and Emerging Results-track
Leslie KanthanKanthan, Leslie University College London, UK Darwinian Data Structure Selection
Sayali KateKate, Sayali Purdue University, USA Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Kamer KayaKaya, Kamer CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Ameya KetkarKetkar, Ameya Oregon State University, USA Type Migration in Large-Scale Code Bases
James Kevin MillerKevin Miller, James Inferring Extended Probabilistic Finite State Automaton Models from Software Executions
Samantha Syeda KhairunnesaKhairunnesa, Samantha Syeda Iowa State UniversityUnited States On the Significance of Contract-Based Typestate Specification
Md Khorrom KhanKhan, Md Khorrom University of North Texas, USA Reinforcement Learning for Android GUI Testing
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States Publicity Chair in Organizing Committee for ESEC/FSE 2018 Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Foutse KhomhKhomh, Foutse Polytechnique MontréalCanada Getting the Most from Map Data Structures in Android
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States A Progress Bar for the JPF Search Using Program Executions SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation ASketch: A Sketching Framework for Alloy Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the JPF-track
Mijung KimKim, Mijung Hong Kong University of Science and Technology, China Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF
Miryung KimKim, Miryung University of California, Los AngelesUnited States Author of Invited Talk (part of ESEC/FSE WASPI) New frontier of mining software repositories at scale---Usability and information delivery (invited talk) BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Sunghun KimKim, Sunghun Hong Kong University of Science and TechnologyHong Kong Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Irwin KingKing, Irwin INFAR: Insight Extraction from App Reviews
Tariq M. KingKing, Tariq M. Ultimate Software, USA Abstract Flow Learning for Web Application Test Generation
Dileep KiniKini, Dileep University of Illinois at Urbana-Champaign Data Race Detection on Compressed Traces
Ákos KissKiss, Ákos University of Szeged, Hungary HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm Grammarinator: A Grammar-Based Open Source Fuzzer
Kota KitauraKitaura, Kota Kwansei Gakuin University, Japan Random Testing of Compilers’ Performance Based on Mixed Static and Dynamic Code Comparison
Jacques KleinKlein, Jacques University of Luxembourg, SnTLuxembourg FraudDroid: Automated Ad Fraud Detection for Android Apps
Jascha KnackKnack, Jascha University of Trier, Germany (No) Influence of Continuous Integration on the Commit Activity in GitHub Projects
Sreedevi KoppulaKoppula, Sreedevi University of North Texas, USA Reinforcement Learning for Android GUI Testing
Wojciech KoszekKoszek, Wojciech The FreeBSD Project Towards Quantifying the Development Value of Code
Paraschos KoutrisKoutris, Paraschos University of Wisconsin-Madison, USA Syntax-Guided Synthesis of Datalog Programs
Nicholas A. KraftKraft, Nicholas A. ABB Corporate ResearchUnited States Finding Better Active Learners for Faster Literature Reviews Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Jens KrinkeKrinke, Jens University College London TestNMT: Function-to-Test Neural Machine Translation
Rahul KrishnaKrishna, Rahul NC State University Applications of Psychological Science for Actionable Analytics Characterizing the Influence of Continuous Integration: Empirical Results from 250+ Open Source and Proprietary Projects
Daniel KroeningKroening, Daniel University of Oxford Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
Tomasz KuchtaKuchta, Tomasz On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
Ivan KurtevKurtev, Ivan Altran Netherlands AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Christian KästnerKästner, Christian Carnegie Mellon UniversityUnited States Committee Member in Test of Time Paper Award Committee for ESEC/FSE 2018 Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
L Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft Research Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Casper LasseniusLassenius, Casper Aalto University, Finland and Simula Metropolitan Center for Digital Engineering, NorwayFinland Comparison of release engineering practices in a large mature company and a startup
Sufian LatifLatif, Sufian Ohio State University, USA Differentially-Private Software Analytics for Mobile Apps: Opportunities and Challenges
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Session Chair of Developer Studies (part of ESEC/FSE Research Papers) Microtask Programming
Eero LaukkanenLaukkanen, Eero Comparison of release engineering practices in a large mature company and a startup
Claire Le GouesLe Goues, Claire Carnegie Mellon UniversityUnited States NIER Co-Chair in Organizing Committee for ESEC/FSE 2018 Chair in Organizing Committee within the ESEC/FSE New Ideas and Emerging Results-track
Quang Loc LeLe, Quang Loc School of Computing, Teesside University, UK Automatic Data Structure Repair using Separation Logic
Tien-Duy B. LeLe, Tien-Duy B. School of Information Systems, Singapore Management University DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model
Wei LeLe, Wei Iowa State University Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Leandro Minku Leandro Minku A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States General Chair in Organizing Committee for ESEC/FSE 2018 Session Chair of WASPI workshop (part of ESEC/FSE WASPI) Session Chair of Morning Talks (part of ESEC/FSE WASPI) Post Town Hall Reception Closing Plenary (closing ceremony) Committee Member in Organizing Committee within the ESEC/FSE WASPI-track Committee Member in Program Committee within the ESEC/FSE Journal-First-track
Dongyoon LeeLee, Dongyoon Virginia Tech, USA Session Chair of Log Mining (part of ESEC/FSE Research Papers) The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale
Junhee LeeLee, Junhee Korea University, South KoreaSouth Korea MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Kevin LeeLee, Kevin University of California at Davis, USA Is “Naturalness” a Result of Deliberate Choice?
Wen-Chuan LeeLee, Wen-Chuan Purdue University MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
Woosuk LeeLee, Woosuk University of Pennsylvania, USAUnited States Syntax-Guided Synthesis of Datalog Programs
Owolabi LegunsenLegunsen, Owolabi University of Illinois at Urbana-ChampaignUnited States Testing Probabilistic Programming Systems
Daniel LehmannLehmann, Daniel TU DarmstadtGermany Feedback-Directed Differential Testing of Interactive Debuggers
Yu LeiLei, Yu Identifying failure-causing schemas in the presence of multiple faults
Yue LengLeng, Yue University of Illinois at Urbana-Champaign, USA LinkSO: A Dataset for Learning to Retrieve Similar Question Answer Pairs on Software Development Forums
Maurizio LeottaLeotta, Maurizio DIBRIS, University of Genova, Italy Towards an Approach for Developing and Testing Node-RED IoT Systems
Hareton LeungLeung, Hareton Identifying failure-causing schemas in the presence of multiple faults
Chenggang LiLi, Chenggang Northeastern University, China Predicting Node Failure in Cloud Service Systems
Feng LiLi, Feng Institute of Computing Technology at Chinese Academy of Sciences, China CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Li LiLi, Li Monash University, AustraliaAustralia FraudDroid: Automated Ad Fraud Detection for Android Apps
Lian LiLi, Lian Institute of Computing Technology at Chinese Academy of Sciences, China CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Lingbo LiLi, Lingbo University College London, UK Darwinian Data Structure Selection
Shanping LiLi, Shanping Early prediction of merged code changes to prioritize reviewing tasks VT-Revolution: Interactive Programming Tutorials Made Possible
Yanhui LiLi, Yanhui How far we have progressed in the journey? An examination of cross-project defect prediction
Yue LiLi, Yue Aarhus University, DenmarkChina Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Yuekang LiLi, Yuekang Nanyang Technological University FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Bin LiangLiang, Bin Renmin University of China, China NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Jie LiangLiang, Jie PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode
Ben LiblitLiblit, Ben University of Wisconsin–MadisonUnited States Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Bruno LimaLima, Bruno Faculty of Engineering, University of Porto and INESC TECPortugal Automated Scenario-based Integration Testing of Distributed Systems Test Patterns for IoT
Chin-Yew LinLin, Chin-Yew Microsoft INFAR: Insight Extraction from App Reviews
Qingwei LinLin, Qingwei Microsoft, China Identifying Impactful Service System Problems via Log Analysis Predicting Node Failure in Cloud Service Systems
Lingfeng Bao Lingfeng Bao Zhejiang University City College DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model Using Finite-State Models for Log Differencing VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System VT-Revolution: Interactive Programming Tutorials Made Possible
Chao LiuLiu, Chao EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Han LiuLiu, Han EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Tianming LiuLiu, Tianming Beijing University of Posts and Telecommunications, China FraudDroid: Automated Ad Fraud Detection for Android Apps
Xueqing LiuLiu, Xueqing University of Illinois at Urbana-Champaign, USAUnited States LinkSO: A Dataset for Learning to Retrieve Similar Question Answer Pairs on Software Development Forums
Yang LiuLiu, Yang Nanyang Technological University, SingaporeSingapore Are Mobile Banking Apps Secure? What Can be Improved? FOT: A Versatile, Configurable, Extensible Fuzzing Framework Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Yingqi LiuLiu, Yingqi Purdue University, USA MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Stochastic Energy Optimization for Mobile GPS Applications
Zhenwei LiuLiu, Zhenwei Northeastern University, China Do the Dependency Conflicts in My Project Matter?
Yamilet R. Serrano LlerenaLlerena, Yamilet R. Serrano National University of Singapore, Singapore Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
David LoLo, David Singapore Management UniversitySingapore Committee Member in Test of Time Paper Award Committee for ESEC/FSE 2018 Session Chair of Testing I (part of ESEC/FSE Research Papers) DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model Using Finite-State Models for Log Differencing INFAR: Insight Extraction from App Reviews Automating Change-level Self-admitted Technical Debt Determination VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System Early prediction of merged code changes to prioritize reviewing tasks VT-Revolution: Interactive Programming Tutorials Made Possible Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Yuheng LongLong, Yuheng Iowa State University Large-Scale Study of Substitutability in the Presence of Effects
Crista LopesLopes, Crista Oreo: Detection of Clones in the Twilight Zone
Jian-Guang LouLou, Jian-Guang Microsoft Research Identifying Impactful Service System Problems via Log Analysis Predicting Node Failure in Cloud Service Systems
Yiling LouLou, Yiling Peking University, China Optimizing Test Prioritization via Test Distribution Analysis
Hongmin LuLu, Hongmin How far we have progressed in the journey? An examination of cross-project defect prediction
Jian LuLu, Jian Nanjing University Testing Multithreaded Programs via Thread Speed Control
Jie LuLu, Jie CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Shan LuLu, Shan University of Chicago PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE
Yadong LuLu, Yadong University of California at Irvine, USA Oreo: Detection of Clones in the Twilight Zone
Kasper LuckowLuckow, Kasper Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the JPF-track
Thibaud LutellierLutellier, Thibaud On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
Michael LyuLyu, Michael Identifying Impactful Service System Problems via Log Analysis INFAR: Insight Extraction from App Reviews
M Kate M. BowersM. Bowers, Kate 3CAP: Categorizing the Cognitive Capabilities of Alzheimer’s Patients in a Smart Home Environment
Shiqing MaMa, Shiqing Purdue University, USA MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina Testing Multithreaded Programs via Thread Speed Control
Nuno MacedoMacedo, Nuno University of Minho & INESC TEC Property-Based Testing for the Robot Operating System
Jackson MaddoxMaddox, Jackson Iowa State University, USA Large-Scale Study of Substitutability in the Presence of Effects
Sam MalekMalek, Sam University of California, IrvineUnited States Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Umme Ayda MannanMannan, Umme Ayda Oregon State University, USA Towards Understanding Code Readability and Its Impact on Design Quality
Niloofar MansoorMansoor, Niloofar Modeling and Testing a Family of Surgical Robots: An Experience Report
Shahar MaozMaoz, Shahar Tel Aviv University Session Chair of Repair and Synthesis (part of ESEC/FSE Research Papers) Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans Using Finite-State Models for Log Differencing
Victor J. MarinMarin, Victor J. Rochester Institute of Technology, USA Towards a Framework for Generating Program Dependence Graphs from Source Code
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States ASketch: A Sketching Framework for Alloy Committee Member in Program Committee within the JPF-track
Mark MarronMarron, Mark Microsoft ResearchUnited States Mining Semantic Loop Idioms
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Stochastic Energy Optimization for Mobile GPS Applications
Mihir MathurMathur, Mihir University of California, Los Angeles Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Umang MathurMathur, Umang University of Illinois at Urbana-ChampaignUnited States Data Race Detection on Compressed Traces
Sergey MatskevichMatskevich, Sergey Drexel University, USA Generating Comments from Source Code with CCGs
Christoph MatthiesMatthies, Christoph Hasso Plattner Institute, University of PotsdamGermany Poster: Feedback in Scrum Processes: Data-Driven Retrospectives
Davood MazinanianMazinanian, Davood University of British ColumbiaCanada Committee Member in Program Committee within the ESEC/FSE Student Research Competition-track
Stephen McCamantMcCamant, Stephen University of Minnesota Contract Discovery from Black-Box Components
Shane McIntoshMcIntosh, Shane McGill UniversityCanada Session Chair of Mobile Apps (part of ESEC/FSE Research Papers) Use and Misuse of Continuous Integration Features: An Empirical Study of Projects that (mis)use Travis CI Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Collin McMillanMcMillan, Collin Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
Andrew McNamaraMcNamara, Andrew North Carolina State University Does ACM's Code of Ethics Change Ethical Decision Making in Software Development?
Sergey MechtaevMechtaev, Sergey National University of Singapore Symbolic Execution with Existential Second-Order Constraints
Nenad MedvidovićMedvidović, Nenad University of Southern California Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the ESEC/FSE Journal-First-track
Erik MeijerMeijer, Erik FacebookUnited States Behind Every Great Deep Learning Framework Is An Even Greater Programming Languages Concept
Jens MeinickeMeinicke, Jens Magdeburg University Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing
Alexandra MeliouMeliou, Alexandra University of Massachusetts Amherst Software Fairness Themis: Automatically Testing Software for Discrimination
Guozhu MengMeng, Guozhu Are Mobile Banking Apps Secure? What Can be Improved?
Tim MenziesMenzies, Tim North Carolina State UniversityUnited States Artifact Evaluation co-chair and ROSE Festival co-chair in Organizing Committee for ESEC/FSE 2018
Tim MenziesMenzies, Tim Total Recall, Language Processing, and Software Engineering
Tim MenziesMenzies, Tim North Carolina State UniversityUnited States Applications of Psychological Science for Actionable Analytics Finding Better Active Learners for Faster Literature Reviews In the age of Software 2.0, what role for software engineers? Chair in Organizing Committee within the ROSE Festival-track Co-chair in Organizing Committee within the ESEC/FSE Artifacts-track
Hanefi MercanMercan, Hanefi CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Eric MercerMercer, Eric Brigham Young UniversityUnited States Memory safety in C by abstract interpretation
Ali MesbahMesbah, Ali University of British ColumbiaCanada Visual Web Test Repair Vista: Web Test Repair Using Computer Vision
Mira MeziniMezini, Mira TU DarmstadtGermany A Systematic Evaluation of Static API-Misuse Detectors
Reed MilewiczMilewicz, Reed Sandia National LaboratoriesUnited States Co-chair in Organizing Committee within the JPF-track
Senecca MillerMiller, Senecca Building Lean Continuous Integration and Delivery Pipelines by applying DevOps Principles: A Case Study at Varidesk
Ang Ming YiMing Yi, Ang Efficient Static Checking of Library Updates
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States A Progress Bar for the JPF Search Using Program Executions Testing Probabilistic Programming Systems Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Svetozar MiucinMiucin, Svetozar University of British Columbia, Canada Performance Comprehension at WiredTiger
Max Jason MoedeMoede, Max Jason California Polytechnic State University, USA Facilitating Feasibility Analysis: The Pilot Defects Prediction Dataset Maker
Sayem Mohammad ImtiazMohammad Imtiaz, Sayem Mississippi State University Towards Data-Driven Vulnerability Prediction for Requirements
Marina MongielloMongiello, Marina Polytechnic University of Bari, Italy LiquiDADE: A Liquid-Based Distributed Agile and Adaptive Development Environment (DADE) Multi-device Tool
Melina MongioviMongiovi, Melina Federal University of Campina Grande, Brazil Committee Member in Program Committee within the ESEC/FSE Student Research Competition-track
Martin MonperrusMonperrus, Martin KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Jenny MoralesMorales, Jenny Poster: What is the Programmer Experience?
Rodrigo MoralesMorales, Rodrigo Concordia UniversityCanada Getting the Most from Map Data Structures in Android
Kevin MoranMoran, Kevin College of William & MaryUnited States Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
Akira MoriMori, Akira National Institute of Advanced Industrial Science and Technology, Japan Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
Davoud MougoueiMougouei, Davoud Monash University Engineering Human Values in Software: A Research Roadmap
Emerson Murphy-HillMurphy-Hill, Emerson North Carolina State University Session Chair of Software Maintenance II (part of ESEC/FSE Research Papers) Does ACM's Code of Ethics Change Ethical Decision Making in Software Development? How Should Compilers Explain Problems to Developers? Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Craig MustardMustard, Craig University of British Columbia, Canada Performance Comprehension at WiredTiger
Niko MäkitaloMäkitalo, Niko University of Helsinki, Finland LiquiDADE: A Liquid-Based Distributed Agile and Adaptive Development Environment (DADE) Multi-device Tool
Anders MøllerMøller, Anders Aarhus UniversityDenmark Practical AJAX Race Detection for JavaScript Web Applications Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Peter MüllerMüller, Peter ETH ZurichSwitzerland Committee Member in Program Committee within the ESEC/FSE Research Papers-track
N Sarah NadiNadi, Sarah University of AlbertaCanada A Systematic Evaluation of Static API-Misuse Detectors
Mei NagappanNagappan, Mei University of WaterlooCanada Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Mayur NaikNaik, Mayur University of Pennsylvania Syntax-Guided Synthesis of Datalog Programs
Vivek NairNair, Vivek Is One Hyperparameter Optimizer Enough?
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Paderborn UniversityGermany Gamifying Static Analysis
Hoan NguyenNguyen, Hoan Iowa State University Demonstrations Co-Chair in Organizing Committee for ESEC/FSE 2018 Session Chair of Future of Specification Inference Panel (part of ESEC/FSE WASPI) Session Chair of Bugs (part of ESEC/FSE Demonstrations) A Systematic Evaluation of Static API-Misuse Detectors Co-chair in Organizing Committee within the ESEC/FSE Demonstrations-track
Hoan Anh NguyenNguyen, Hoan Anh Iowa State University, USAUnited States Session Chair of WASPI workshop (part of ESEC/FSE WASPI) On the Significance of Contract-Based Typestate Specification Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions Committee Member in Organizing Committee within the ESEC/FSE WASPI-track
Son NguyenNguyen, Son The University of Texas at DallasUnited States Feature-Interaction Aware Configuration Prioritization
Thanh NguyenNguyen, Thanh Iowa State University Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
ThanhVu NguyenNguyen, ThanhVu University of Nebraska-LincolnUnited States Automatic Data Structure Repair using Separation Logic Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States Demonstrations Co-Chair in Organizing Committee for ESEC/FSE 2018 Session Chair of WASPI workshop (part of ESEC/FSE WASPI) Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions A Systematic Evaluation of Static API-Misuse Detectors Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Organizing Committee within the ESEC/FSE WASPI-track Chair in Organizing Committee within the ESEC/FSE Demonstrations-track
Trong NguyenNguyen, Trong Iowa State University, USA Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Changhai NieNie, Changhai Identifying failure-causing schemas in the presence of multiple faults
Sebastian NielebockNielebock, Sebastian Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code
Wenyu NiuNiu, Wenyu FACTS: Automated Black-box Testing of FinTech Systems
Xintao NiuNiu, Xintao Identifying failure-causing schemas in the presence of multiple faults
Francesco NoceraNocera, Francesco Polytechnic University of BariItaly Reshaping Distributed Agile and Adaptive Development Environment LiquiDADE: A Liquid-Based Distributed Agile and Adaptive Development Environment (DADE) Multi-device Tool
Ehsan NoeiNoei, Ehsan University of Toronto Winning the App Production Rally
Ingrid NunesNunes, Ingrid Universidade Federal do Rio Grande do Sul (UFRGS), BrazilBrazil Journal First Co-Chair in Organizing Committee for ESEC/FSE 2018 Co-chair in Organizing Committee within the ESEC/FSE Journal-First-track
Bashar NuseibehNuseibeh, Bashar The Open University (UK) & Lero (Ireland)United Kingdom Text Filtering and Ranking for Security Bug Report Prediction
O Damien OcteauOcteau, Damien University of Wisconsin and Pennsylvania State University Neural-Augmented Static Analysis of Android Communication
Hakjoo OhOh, Hakjoo Korea UniversityKorea, South MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
John-Paul OreOre, John-Paul University of Nebraska-Lincoln, USAUnited States Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Alessandro OrsoOrso, Alessandro Georgia TechUnited States Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Frank OrtmeierOrtmeier, Frank Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code
P Maria PaasivaaraPaasivaara, Maria IT University of Copenhagen, Denmark & Aalto University, FinlandFinland Comparison of release engineering practices in a large mature company and a startup
Paige Rodeghero Paige Rodeghero University of Notre DameUnited States Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
Awanish PandeyPandey, Awanish IIT Kanpur, IndiaIndia Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Sebastiano PanichellaPanichella, Sebastiano Zurich University of Applied Science/University of ZurichSwitzerland Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Maria PaquinPaquin, Maria Boise State University Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations
Angelo ParchitelliParchitelli, Angelo Polytechnic University of Bari, Italy LiquiDADE: A Liquid-Based Distributed Agile and Adaptive Development Environment (DADE) Multi-device Tool
Pavel ParizekParizek, Pavel Charles University Committee Member in Program Committee within the JPF-track
Daejun ParkPark, Daejun University of Illinois at Urbana-Champaign A Formal Verification Tool for Ethereum VM Bytecode
Chris ParninParnin, Chris NCSUUnited States How Should Compilers Explain Problems to Developers?
Felix PauckPauck, Felix Paderborn University, GermanyGermany Do Android Taint Analysis Tools Keep Their Promises?
John Kook PedersenPedersen, John Kook IT University of Copenhagen, Denmark Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
John PenixPenix, John GoogleUnited States Industry Co-Chair in Organizing Committee for ESEC/FSE 2018 Chair in Organizing Committee within the ESEC/FSE Industry-track
Harsha PereraPerera, Harsha Monash UniversityAustralia Engineering Human Values in Software: A Research Roadmap
Santiago Perez De RossoPerez De Rosso, Santiago MIT CSAIL Testing and Validating End User Programmed Calculated Fields
Ignacio PerezPerez, Ignacio Testing and Validating End User Programmed Calculated Fields
Fayola PetersPeters, Fayola Lero - The Irish Software Research Centre and University of Limerick Text Filtering and Ranking for Security Bug Report Prediction
Justyna PetkePetke, Justyna University College LondonUnited Kingdom Approximate Oracles and Synergy in Software Energy Search Spaces Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Hung PhanPhan, Hung Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Quoc-Sang PhanPhan, Quoc-Sang Fujitsu Laboratories of AmericaUnited States Invited talk: Test input generation using separation logic Automatic Data Structure Repair using Separation Logic
Mario PiattiniPiattini, Mario University of Castilla-La Mancha, Spain From Big Data to Smart Data: A Data Quality Perspective
Vladislav PischulinPischulin, Vladislav Design and Validation of Precooked Developer Dashboards
Alex PolozovPolozov, Alex Microsoft ResearchUnited States Committee Member in Program Committee within the ESEC/FSE Student Research Competition-track
Pedro Martins PontesPontes, Pedro Martins Faculty of Engineering, University of Porto and INESC TECPortugal Test Patterns for IoT
Adam PorterPorter, Adam University of Maryland Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Denys PoshyvanykPoshyvanyk, Denys William and MaryUnited States Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
Seth PoulsenPoulsen, Seth Brigham Young University Memory safety in C by abstract interpretation
Michael PradelPradel, Michael TU DarmstadtGermany Feedback-Directed Differential Testing of Interactive Debuggers
Mukul PrasadPrasad, Mukul Fujitsu Laboratories of AmericaUnited States Committee Member in Program Committee within the ESEC/FSE Industry-track
Suzanne PrenticePrentice, Suzanne University of South Carolina, USA A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English
Katey A. PricePrice, Katey A. Albion College, USA 3CAP: Categorizing the Cognitive Capabilities of Alzheimer’s Patients in a Smart Home Environment
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research Center Program Co-Chair in Organizing Committee for ESEC/FSE 2018 Session Chair of Keynote I (part of ESEC/FSE Keynotes) Chair in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the JPF-track Co-chair in Program Committee within the ESEC/FSE Journal-First-track
Q Junyan QianQian, Junyan How far we have progressed in the journey? An examination of cross-project defect prediction
Feng QinQin, Feng Ohio State University, USA An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Louis-Philippe QuerelQuerel, Louis-Philippe Concordia University WarningsGuru: Integrating statistical bug models with static analysis to provide timely and specific bug warnings
Christoffer Quist AdamsenQuist Adamsen, Christoffer Aarhus UniversityDenmark Practical AJAX Race Detection for JavaScript Web Applications
R Bobby R. BruceR. Bruce, Bobby Approximate Oracles and Synergy in Software Energy Search Spaces
Mikhail R. GadelhaR. Gadelha, Mikhail University of Southampton Towards Counterexample-guided k-Induction for Fast Bug Detection
Felipe R. MonteiroR. Monteiro, Felipe Federal University of AmazonasBrazil Towards Counterexample-guided k-Induction for Fast Bug Detection
Akond RahmanRahman, Akond North Carolina State UniversityUnited States Characterizing the Influence of Continuous Integration: Empirical Results from 250+ Open Source and Proprietary Projects
Masud RahmanRahman, Masud University of Saskatchewan Canada Improving IR-Based Bug Localization with Context-Aware Query Reformulation
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Doctoral Symposium Co-Chair in Organizing Committee for ESEC/FSE 2018 Session Chair of Mining (part of ESEC/FSE Research Papers) Session Chair of Open Discussion: Benchmarks for Program Specification (part of ESEC/FSE WASPI) Session Chair of WASPI workshop (part of ESEC/FSE WASPI) On the Significance of Contract-Based Typestate Specification Introductions, logistics Large-Scale Study of Substitutability in the Presence of Effects On Accelerating Source Code Analysis At Massive Scale Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions Committee Member in Organizing Committee within the ESEC/FSE WASPI-track Co-chair in Organizing Committee within the ESEC/FSE Doctorial Symposium-track
Achyudh RamRam, Achyudh University of Waterloo What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability
Vaibhav RastogiRastogi, Vaibhav University of Wisconsin-Madison, USA Neural-Augmented Static Analysis of Android Communication
Baishakhi RayRay, Baishakhi Columbia University, New YorkUnited States Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Sanjai RayadurgamRayadurgam, Sanjai University of Minnesota Contract Discovery from Black-Box Components
Henrique RebeloRebelo, Henrique Universidade Federal de PernambucoBrazil Publications Chair in Organizing Committee for ESEC/FSE 2018
Gianna ReggioReggio, Gianna University of Genoa, Italy Towards an Approach for Developing and Testing Node-RED IoT Systems
Anastasia ReinhardtReinhardt, Anastasia Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Jinglei RenRen, Jinglei Persper FoundationUnited States Towards Quantifying the Development Value of Code
Thomas RepsReps, Thomas University of Wisconsin - Madison and GrammaTech, Inc.United States Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Towards an Approach for Developing and Testing Node-RED IoT Systems
Luca RiccardiRiccardi, Luca Polytechnic University of Bari, Italy LiquiDADE: A Liquid-Based Distributed Agile and Adaptive Development Environment (DADE) Multi-device Tool
Fabio RicciRicci, Fabio Microtask Programming
Peter RigbyRigby, Peter Concordia University, Montreal, CanadaCanada Session Chair of Ecosystems and Crowdsourcing (part of ESEC/FSE Research Papers) Session Chair of Mining (part of ESEC/FSE Demonstrations) WarningsGuru: Integrating statistical bug models with static analysis to provide timely and specific bug warnings The Impact of Failing, Flaky, and High Failure Tests on the number of Crash Reports associated with Firefox Builds Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Bibiano Rivas GarciaRivas Garcia, Bibiano University of Bari, Italy From Big Data to Smart Data: A Data Quality Perspective
Carlos R. RiveroRivero, Carlos R. Rochester Institute of Technology, USA Towards a Framework for Generating Program Dependence Graphs from Source Code
Martin P. RobillardRobillard, Martin P. McGill UniversityCanada Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Neill RobsonRobson, Neill NC State University Diversity and Decorum in Open Source Communities
Alan RogersRogers, Alan Design and Validation of Precooked Developer Dashboards
David RosenblumRosenblum, David National University of SingaporeSingapore Session Chair of Deep Learning (part of ESEC/FSE Research Papers) Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the ESEC/FSE Journal-First-track
Gregg RothermelRothermel, Gregg University of Nebraska - LincolnUnited States Improving Regression Testing in Continuous Integration Development Environments (Keynote)
Atanas RountevRountev, Atanas Ohio State University Detection of Energy Inefficiencies in Android Wear Watch Faces Differentially-Private Software Analytics for Mobile Apps: Opportunities and Challenges
Chanchal K. RoyRoy, Chanchal K. University of SaskatchewanCanada Improving IR-Based Bug Localization with Context-Aware Query Reformulation
Subhajit RoyRoy, Subhajit IIT Kanpur, India Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Symbolic Execution with Existential Second-Order Constraints
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States A Formal Verification Tool for Ethereum VM Bytecode
Julia RubinRubin, Julia University of British ColumbiaCanada Performance Comprehension at WiredTiger Committee Member in Organizing committee within the ESEC/FSE Faculty Mentorship Roundtables-track Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California, Davis Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Neha RungtaRungta, Neha Amazon Web ServicesUnited States Neha Rungta: Formal Verification at Amazon Scale, Amazon Web Services
Alessandra RussoRusso, Alessandra Imperial College LondonUnited Kingdom Co-chair in Test of Time Paper Award Committee for ESEC/FSE 2018
S Rubén Saborido InfantesSaborido Infantes, Rubén Department of Computer Science and Software Engineering, Concordia University, MontrealCanada Getting the Most from Map Data Structures in Android
Diptikalyan SahaSaha, Diptikalyan IBM Research India Committee Member in Program Committee within the ESEC/FSE Industry-track
Ripon SahaSaha, Ripon Fujitsu Laboratories of America, Inc. Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Seemanta SahaSaha, Seemanta University of California Santa Barbara Attack Synthesis for Strings using Meta-Heuristics
Vaibhav SainiSaini, Vaibhav University of California at Irvine, USAUnited States Oreo: Detection of Clones in the Twilight Zone
Paulo SalemSalem, Paulo Dell EMC The Case for Experiment-Oriented Computing
Dionny SantiagoSantiago, Dionny Florida International University, USA Abstract Flow Learning for Web Application Test Generation
André L. SantosSantos, André L. University Institute of Lisbon, Portugal Property-Based Testing for the Robot Operating System
Anita SarmaSarma, Anita Oregon State UniversityUnited States Towards Understanding Code Readability and Its Impact on Design Quality
Federica SarroSarro, Federica University College London, UKUnited Kingdom Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Anand Ashok SawantSawant, Anand Ashok Delft University of Technology What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability
Manasvi SaxenaSaxena, Manasvi Runtime Verification, Inc. A Formal Verification Tool for Ethereum VM Bytecode
Cole SchlesingerSchlesinger, Cole Samsung Research America Committee Member in Program Committee within the ESEC/FSE Industry-track
Marko SchneckeSchnecke, Marko n.n., n.n. Two Perspectives on Software Documentation Quality in Stack Overflow
Peter SchrammelSchrammel, Peter University of Sussex Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
Christoph SeidlSeidl, Christoph Technische Universität Braunschweig Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Seyedeh Sepideh EmamSepideh Emam, Seyedeh Inferring Extended Probabilistic Finite State Automaton Models from Software Executions
Diego SerranoSerrano, Diego University of Alberta, Canada “Smart Traffic”: An IoT Traffic Monitoring System Based on Open Source Technologies on the Cloud
Francisco ServantServant, Francisco Virginia TechUnited States The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Rifat Ara ShamsShams, Rifat Ara Monash University Engineering Human Values in Software: A Research Roadmap
Weiyi ShangShang, Weiyi Concordia University, Canada Studying and Detecting Log-Related Issues
Bonita SharifSharif, Bonita University of Nebraska-Lincoln, USAUnited States Committee Member in Mentors within the ESEC/FSE Faculty Mentorship Roundtables-track
Asankhaya SharmaSharma, Asankhaya Efficient Static Checking of Library Updates
Vaibhav SharmaSharma, Vaibhav University of MinnesotaUnited States Contract Discovery from Black-Box Components
David C. ShepherdShepherd, David C. ABB, Inc Discovering Your Own Definition of 'Impact' - A Key to Long Term Engagement Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Elena ShermanSherman, Elena Boise State UniversityUnited States Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS) Committee Member in Program Committee within the JPF-track
Heyuan ShiShi, Heyuan VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation
Wenchang ShiShi, Wenchang Renmin University of China, China NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Emad ShihabShihab, Emad Concordia UniversityCanada The modular and feature toggle architectures of Google Chrome Automating Change-level Self-admitted Technical Debt Determination Studying and Detecting Log-Related Issues
Xujie SiSi, Xujie University of Pennsylvania Syntax-Guided Synthesis of Datalog Programs
Norbert SiegmundSiegmund, Norbert Bauhaus-University WeimarGermany Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Nicola SienaSiena, Nicola Polytechnic University of Bari, Italy LiquiDADE: A Liquid-Based Distributed Agile and Adaptive Development Environment (DADE) Multi-device Tool
Bruno SilvaSilva, Bruno University of Nebraska-Lincoln Modeling and Testing a Family of Surgical Robots: An Experience Report
Rishabh SinghSingh, Rishabh Google BrainUnited States Committee Member in Program Committee within the ESEC/FSE Research Papers-track
John L. SingletonSingleton, John L. accesso Technology Group, plcUnited States Web Chair in Organizing Committee for ESEC/FSE 2018
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Justin SmithSmith, Justin North Carolina State UniversityUnited States Social Media Chair in Organizing Committee for ESEC/FSE 2018 Does ACM's Code of Ethics Change Ethical Decision Making in Software Development?
Gustavo SoaresSoares, Gustavo MicrosoftUnited States Student Research Competition Chair in Organizing Committee for ESEC/FSE 2018 Chair in Organizing Committee within the ESEC/FSE Student Research Competition-track
Alexander SobranSobran, Alexander Characterizing the Influence of Continuous Integration: Empirical Results from 250+ Open Source and Proprietary Projects
Linhai SongSong, Linhai Pennsylvania State University, USAUnited States Committee Member in Program Committee within the ESEC/FSE Student Research Competition-track
Liyan SongSong, Liyan A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation
Davide SpadiniSpadini, Davide Delft University of Technology, NetherlandsNetherlands Poster: Practices And Tools For Better Software Testing Practices And Tools For Better Software Testing PyDriller: Python Framework for Mining Software Repositories
Andrea StoccoStocco, Andrea University of British ColumbiaCanada Visual Web Test Repair Vista: Web Test Repair Using Computer Vision
Kathryn StoleeStolee, Kathryn North Carolina State UniversityUnited States How Well Are Regular Expressions Tested in the Wild? Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Margaret-Anne StoreyStorey, Margaret-Anne University of Victoria Doctoral Symposium Co-Chair in Organizing Committee for ESEC/FSE 2018 Presenting Software Engineering Research Committee Member in Mentors within the ESEC/FSE Faculty Mentorship Roundtables-track Co-chair in Organizing Committee within the ESEC/FSE Doctorial Symposium-track
Eleni StrouliaStroulia, Eleni University of AlbertaCanada “Smart Traffic”: An IoT Traffic Monitoring System Based on Open Source Technologies on the Cloud
Guoxin SuSu, Guoxin University of Wollongong, Australia Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
Ting SuSu, Ting Nanyang Technological University, Singapore Are Mobile Banking Apps Secure? What Can be Improved?
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Session Chair of Performance (part of ESEC/FSE Research Papers) Ten Years of Hunting for Similar Code for Fun and Profit Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Pranav SubramaniamSubramaniam, Pranav PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE
Giancarlo SucciSucci, Giancarlo Design and Validation of Precooked Developer Dashboards
Kaixin SuiSui, Kaixin Microsoft, China Predicting Node Failure in Cloud Service Systems
Allison SullivanSullivan, Allison ASketch: A Sketching Framework for Alloy
Jia-Guang SunSun, Jia-Guang DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
Jiaguang SunSun, Jiaguang EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode
Xinyuan SunSun, Xinyuan University of California, Davis Towards Learning-Augmented Languages
Charles SuttonSutton, Charles University of EdinburghUnited Kingdom Mining Semantic Loop Idioms Committee Member in Program Committee within the ESEC/FSE Industry-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Committee Member in Program Committee within the ESEC/FSE Industry-track
T Md Tajmilur RahmanTajmilur Rahman, Md Canada The Impact of Failing, Flaky, and High Failure Tests on the number of Crash Reports associated with Firefox Builds The modular and feature toggle architectures of Google Chrome
Hiroaki TakadaTakada, Hiroaki Nagoya University Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
Shingo TakadaTakada, Shingo Keio University, Japan A Reinforcement Learning Based Approach to Automated Testing of Android Applications
Shogo TakakuraTakakura, Shogo Kwansei Gakuin University, Japan Extending Equivalence Transformation Based Program Generator for Random Testing of C Compilers
Lin TanTan, Lin University of Waterloo Canada On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
Tian TanTan, Tian Aarhus University, DenmarkChina Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Peri TarrTarr, Peri IBM TJ Watson Research CenterUnited States Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Bedir TekinerdoganTekinerdogan, Bedir Wageningen University, The NetherlandsNetherlands AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ewan TemperoTempero, Ewan Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Aditya V. ThakurThakur, Aditya V. University of California, DavisUnited States Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Thein Than TunThan Tun, Thein Text Filtering and Ranking for Security Bug Report Prediction
Frank TipTip, Frank Northeastern UniversityUnited States Practical AJAX Race Detection for JavaScript Web Applications
David A TomassiTomassi, David A University of California, Davis Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs
Paolo TonellaTonella, Paolo Fondazione Bruno KesslerItaly Committee Member in Test of Time Paper Award Committee for ESEC/FSE 2018
Will TraczTracz, Will Lockheed Martin (retired)United States Financial Chair in Organizing Committee for ESEC/FSE 2018
Ngoc TranTran, Ngoc Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Christoph TreudeTreude, Christoph The University of AdelaideAustralia Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Linh TruongTruong, Linh Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Nikolaos TsantalisTsantalis, Nikolaos Concordia University, CanadaCanada Studying and Detecting Log-Related Issues Committee Member in Program Committee within the ESEC/FSE Student Research Competition-track
Feifei TuTu, Feifei Peking University, China Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Huy TuTu, Huy North Carolina State University, USA Is One Hyperparameter Optimizer Enough?
Ralf TymannTymann, Ralf University of Trier, Germany (No) Influence of Continuous Integration on the Commit Activity in GitHub Projects
Rachel Tzoref-BrillTzoref-Brill, Rachel IBM ResearchIsrael Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
U Sebastian UchitelUchitel, Sebastian Universidad de Buenos Aires / Imperial CollegeArgentina Testing and Validating End User Programmed Calculated Fields Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Ganesha UpadhyayaUpadhyaya, Ganesha Futurewei TechnologiesUnited States On Accelerating Source Code Analysis At Massive Scale Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
V Marat ValievValiev, Marat Carnegie Mellon University, USA Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
Franck van Breugelvan Breugel, Franck York University, Canada Committee Member in Program Committee within the JPF-track
Andre van der Hoekvan der Hoek, Andre University of California, IrvineUnited States Microtask Programming
Arie van Deursenvan Deursen, Arie Delft University of TechnologyNetherlands Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Bogdan VasilescuVasilescu, Bogdan Carnegie Mellon UniversityUnited States One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
Martin VechevVechev, Martin ETH Zürich Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Miguel VelezVelez, Miguel Carnegie Mellon University, USA Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Sten VercammenVercammen, Sten University of Antwerp, Belgium Goal-Oriented Mutation Testing with Focal Methods
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Session Chair of Concurrency and Races (part of ESEC/FSE Research Papers) Committee Member in Program Committee within the JPF-track
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-Champaign Data Race Detection on Compressed Traces
Thi Anh Tuyet VuongVuong, Thi Anh Tuyet Keio University, Japan A Reinforcement Learning Based Approach to Automated Testing of Android Applications
W Chao WangWang, Chao USCUnited States Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Chao WangWang, Chao University of Southern CaliforniaUnited States Committee Member in Program Committee within the ESEC/FSE Industry-track
Chi WangWang, Chi Microsoft, USA LinkSO: A Dataset for Learning to Retrieve Similar Question Answer Pairs on Software Development Forums
Dong WangWang, Dong Institute of Software at Chinese Academy of Sciences, China An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Haoyu WangWang, Haoyu FraudDroid: Automated Ad Fraud Detection for Android Apps
Huaimin WangWang, Huaimin One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Kaiyuan WangWang, Kaiyuan A Progress Bar for the JPF Search Using Program Executions SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation ASketch: A Sketching Framework for Alloy
Mingzhe WangWang, Mingzhe PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode
Peipei WangWang, Peipei North Carolina State University, USA How Well Are Regular Expressions Tested in the Wild?
Qingshun WangWang, Qingshun FACTS: Automated Black-box Testing of FinTech Systems
Rui WangWang, Rui Northeastern University, China Do the Dependency Conflicts in My Project Matter?
Shaowei WangWang, Shaowei Queen's UniversityCanada How Do Developers Utilize Source Code from Stack Overflow?
Siman WangWang, Siman Hunan University BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing
Xiaoleng WangWang, Xiaoleng Baidu, China Optimizing Test Prioritization via Test Distribution Analysis
Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio, USAUnited States Identifying failure-causing schemas in the presence of multiple faults Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Yabin WangWang, Yabin Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing
Ying WangWang, Ying Northeastern University, ChinaChina Do the Dependency Conflicts in My Project Matter?
James WassonWasson, James Brigham Young University Memory safety in C by abstract interpretation
Heike WehrheimWehrheim, Heike Paderborn UniversityGermany Do Android Taint Analysis Tools Keep Their Promises?
Jiayi WeiWei, Jiayi University of Texas at AustinUnited States Singularity: Pattern Fuzzing for Worst Case Complexity
Jun WeiWei, Jun State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing How Are Spreadsheet Templates Used in Practice: A Case Study on Enron An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Shiyi WeiWei, Shiyi The University of Texas at Dallas Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Westley WeimerWeimer, Westley University of Michigan Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Ming WenWen, Ming The Hong Kong University of Science and TechnologyChina Do the Dependency Conflicts in My Project Matter?
Robert WhiteWhite, Robert University College London, UK TestNMT: Function-to-Test Neural Machine Translation
Jon WhittleWhittle, Jon Monash UniversityAustralia Engineering Human Values in Software: A Research Roadmap Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Laurie WilliamsWilliams, Laurie North Carolina State UniversityUnited States Committee Member in Program Committee within the ESEC/FSE Journal-First-track
Anne WoepseWoepse, Anne Software Development Challenges with Air-Gap Isolation
Augustine WongWong, Augustine University of British Columbia, Canada Performance Comprehension at WiredTiger
Chu-Pan WongWong, Chu-Pan Carnegie Mellon UniversityUnited States Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing
Edmund WongWong, Edmund On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
Sunny WongWong, Sunny Software Development Challenges with Air-Gap Isolation
W. Eric WongWong, W. Eric Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing
Andrew WoodWood, Andrew Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
Fan WuWu, Fan University College London, UK Darwinian Data Structure Selection
Haowei WuWu, Haowei Detection of Energy Inefficiencies in Android Wear Watch Faces
Meng WuWu, Meng Virginia TechChina Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Rongxin WuWu, Rongxin Department of Computer Science and Engineering, The Hong Kong University of Science and TechnologyChina Do the Dependency Conflicts in My Project Matter?
Yongming WuWu, Yongming Alibaba Group, China An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Youjiang WuWu, Youjiang Microsoft, USA Predicting Node Failure in Cloud Service Systems
Yuhao WuWu, Yuhao How Do Developers Utilize Source Code from Stack Overflow?
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
X Xin XiaXia, Xin Monash UniversityAustralia Automating Change-level Self-admitted Technical Debt Determination VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System Early prediction of merged code changes to prioritize reviewing tasks VT-Revolution: Interactive Programming Tutorials Made Possible
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Tao XieXie, Tao FACTS: Automated Black-box Testing of FinTech Systems
Zhenchang XingXing, Zhenchang Australia National UniversityAustralia VT-Revolution: Interactive Programming Video Tutorial Authoring and Watching System VT-Revolution: Interactive Programming Tutorials Made Possible
Baowen XuXu, Baowen How far we have progressed in the journey? An examination of cross-project defect prediction
Chang XuXu, Chang Nanjing University Testing Multithreaded Programs via Thread Speed Control
Guoai XuXu, Guoai FraudDroid: Automated Ad Fraud Detection for Android Apps
Liang XuXu, Liang Institute of Software Chinese Academy of Sciences How Are Spreadsheet Templates Used in Practice: A Case Study on Enron
Lihua XuXu, Lihua FACTS: Automated Black-box Testing of FinTech Systems Are Mobile Banking Apps Secure? What Can be Improved?
Yong XuXu, Yong Microsoft, China Predicting Node Failure in Cloud Service Systems
Zhaogui XuXu, Zhaogui Nanjing University, ChinaChina Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Minhui XueXue, Minhui FACTS: Automated Black-box Testing of FinTech Systems Are Mobile Banking Apps Secure? What Can be Improved?
Yinxing XueXue, Yinxing FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Y Eran YahavYahav, Eran TechnionIsrael Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Ryota YamamotoYamamoto, Ryota Nagoya University Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
Cong YanYan, Cong PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE
Meng YanYan, Meng Automating Change-level Self-admitted Technical Debt Determination
Rahulkrishna YandrapallyYandrapally, Rahulkrishna University of British Columbia, Canada Visual Web Test Repair Vista: Web Test Repair Using Computer Vision
Bo YangYang, Bo Northeastern University, China Do the Dependency Conflicts in My Project Matter?
Guowei YangYang, Guowei Texas State University Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the JPF-track Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Junfeng YangYang, Junfeng Columbia University AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Junwen YangYang, Junwen PowerStation: Automatically detecting and fixing inefficienciesof database-backed web applications in IDE
Xiaohu YangYang, Xiaohu Automating Change-level Self-admitted Technical Debt Determination
Xin YangYang, Xin Unionbigdata.comChina VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation
Yibiao YangYang, Yibiao Nanjing University, ChinaChina How far we have progressed in the journey? An examination of cross-project defect prediction
Zhiqiang YangYang, Zhiqiang Tsinghua University EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Randolph YaoYao, Randolph Microsoft, USA Predicting Node Failure in Cloud Service Systems
Xin YaoYao, Xin A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation
Tuba YavuzYavuz, Tuba University of FloridaUnited States Student Volunteer Co-Chair in Organizing Committee for ESEC/FSE 2018
Louis YeYe, Louis University of British Columbia, Canada Performance Comprehension at WiredTiger
Jason YeoYeo, Jason Efficient Static Checking of Library Updates
Jooyong YiYi, Jooyong Innopolis UniversityRussia Design and Validation of Precooked Developer Dashboards Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Qiuping YiYi, Qiuping Texas A&M University Concurrency Verification with Maximal Path Causality
Cemal YilmazYilmaz, Cemal Sabancı University CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Hezheng YinYin, Hezheng University of California, Berkeley Towards Quantifying the Development Value of Code
Jianwei YinYin, Jianwei Automating Change-level Self-admitted Technical Debt Determination
Shin YooYoo, Shin Korea Advanced Institute of Science and TechnologySouth Korea Committee Member in Program Committee within the ESEC/FSE New Ideas and Emerging Results-track
Norihiro YoshidaYoshida, Norihiro Nagoya UniversityJapan Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
Fang YuYu, Fang National Chengchi University Parameterized Model Counting for String and Numeric Constraints
Hai YuYu, Hai Northeastern University, ChinaChina Do the Dependency Conflicts in My Project Matter?
Yijun YuYu, Yijun The Open University, UKUnited Kingdom Text Filtering and Ranking for Security Bug Report Prediction Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Zhe YuYu, Zhe Total Recall, Language Processing, and Software Engineering Finding Better Active Learners for Faster Literature Reviews
Z Andreas ZellerZeller, Andreas Saarland UniversityGermany Committee Member in Test of Time Paper Award Committee for ESEC/FSE 2018
Jichuan ZengZeng, Jichuan INFAR: Insight Extraction from App Reviews
ChengXiang ZhaiZhai, ChengXiang University of Illinois at Urbana-Champaign, USA LinkSO: A Dataset for Learning to Retrieve Similar Question Answer Pairs on Software Development Forums
Dongmei ZhangZhang, Dongmei Microsoft Research, ChinaChina Automated Refactoring of Nested-IF Formulae in Spreadsheets Identifying Impactful Service System Problems via Log Analysis Predicting Node Failure in Cloud Service Systems
Hailong ZhangZhang, Hailong Ohio State University Detection of Energy Inefficiencies in Android Wear Watch Faces Differentially-Private Software Analytics for Mobile Apps: Opportunities and Challenges
Hongyu ZhangZhang, Hongyu The University of Newcastle Identifying Impactful Service System Problems via Log Analysis Predicting Node Failure in Cloud Service Systems
Jie ZhangZhang, Jie Automated Refactoring of Nested-IF Formulae in Spreadsheets
Lingming ZhangZhang, Lingming Session Chair of Testing (part of ESEC/FSE Demonstrations)
Lingming ZhangZhang, Lingming Optimizing Test Prioritization via Test Distribution Analysis
Lingming ZhangZhang, Lingming Committee Member in Program Committee within the ESEC/FSE Demonstrations-track
Lu ZhangZhang, Lu Automated Refactoring of Nested-IF Formulae in Spreadsheets
Lu ZhangZhang, Lu Peking University Optimizing Test Prioritization via Test Distribution Analysis
Mengshi ZhangZhang, Mengshi University of Texas at Austin, USA SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
Richard ZhangZhang, Richard University of Pennsylvania Syntax-Guided Synthesis of Datalog Programs
Tianyi ZhangZhang, Tianyi University of California, Los AngelesUnited States Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Xiangyu ZhangZhang, Xiangyu Purdue University Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection Committee Member in Program Committee within the ESEC/FSE Research Papers-track
Yang ZhangZhang, Yang National University of Defense Technology, ChinaChina One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Yi ZhangZhang, Yi University of Illinois at Urbana-Champaign A Formal Verification Tool for Ethereum VM Bytecode
Gang ZhaoZhao, Gang DeepSim: Deep Learning Code Functional Similarity
Jinman ZhaoZhao, Jinman University of Wisconsin-Madison, USA Neural-Augmented Static Analysis of Android Communication
Wenqi ZhaoZhao, Wenqi Ant Financial EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Yangyang ZhaoZhao, Yangyang How far we have progressed in the journey? An examination of cross-project defect prediction
Yue ZhaoZhao, Yue NCSUUnited States DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
Guolong ZhengZheng, Guolong University of Nebraska Lincoln Automatic Data Structure Repair using Separation Logic
Qimu ZhengZheng, Qimu Peking University, China Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Zibin ZhengZheng, Zibin Salient-Class Location: Help Developers Understand Code Change in Code Review
Cheng ZhouZhou, Cheng Yangzhou University Poster: Intelligent Bug Fixing with Sofware Bug Knowledge Graph Intelligent Bug Fixing with Sofware Bug Knowledge Graph
Chijin ZhouZhou, Chijin PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode
Jianyi ZhouZhou, Jianyi Peking University, China Optimizing Test Prioritization via Test Distribution Analysis
Li ZhouZhou, Li Alibaba Group, China An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Minghui ZhouZhou, Minghui Peking UniversityChina Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Yuming ZhouZhou, Yuming How far we have progressed in the journey? An examination of cross-project defect prediction
Jiaxin ZhuZhu, Jiaxin Institute of Software at Chinese Academy of Sciences, China How Are Spreadsheet Templates Used in Practice: A Case Study on Enron Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Linjie ZhuZhu, Linjie AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Zhiliang ZhuZhu, Zhiliang Northeastern University, ChinaChina Do the Dependency Conflicts in My Project Matter?
Thomas ZimmermannZimmermann, Thomas Microsoft ResearchUnited States ROSE Festival co-chair in Organizing Committee for ESEC/FSE 2018 SIGSOFT Town Hall Meeting Chair in Organizing Committee within the ROSE Festival-track Committee Member in Program Committee within the ESEC/FSE Research Papers-track Committee Member in Program Committee within the ESEC/FSE Journal-First-track
Andrea ZismanZisman, Andrea The Open University Journal First Co-Chair in Organizing Committee for ESEC/FSE 2018 Committee Member in Test of Time Paper Award Committee for ESEC/FSE 2018 Co-chair in Organizing Committee within the ESEC/FSE Journal-First-track
Vasiliy ZorinZorin, Vasiliy Innopolis University Design and Validation of Precooked Developer Dashboards
Ying ZouZou, Ying Queen's University, Kingston, Ontario Winning the App Production Rally

ESEC/FSE 2018 Contributors

Results (715)

Tracks

Workshops

Co-hosted Festivals