ESEC/FSE 2018
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Powered by
Conference Publishing Consulting

26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), November 4–9, 2018, Lake Buena Vista, FL, USA

ESEC/FSE 2018 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Adamsen, Christoffer Quist ESEC/FSE '18: "Practical AJAX Race Detection ..."
Afzal, Afsoon ESEC/FSE '18-DOC: "Quality Assurance Automation ..."
Albarghouthi, Aws ESEC/FSE '18: "Syntax-Guided Synthesis of ..." ESEC/FSE '18: "Neural-Augmented Static Analysis ..."
Alimadadi, Saba ESEC/FSE '18: "Practical AJAX Race Detection ..."
Alipour, Mohammad Amin ESEC/FSE '18-NIER: "On the Naturalness of Proofs ..."
Allamanis, Miltiadis ESEC/FSE '18: "RefiNym: Using Names to Refine ..." ESEC/FSE '18: "Deep Learning Type Inference ..."
Amar, Hen ESEC/FSE '18: "Using Finite-State Models ..."
Anand, Vaastav ESEC/FSE '18-SRC: "Dara: Hybrid Model Checking ..."
Ang, Ming Yi ESEC/FSE '18-IND: "Efficient Static Checking ..."
Angell, Rico ESEC/FSE '18-DEMO: "Themis: Automatically Testing ..."
Aniche, Maurício ESEC/FSE '18-DEMO: "PyDriller: Python Framework ..."
Armaly, Ameer ESEC/FSE '18: "Detecting Speech Act Types ..."
Aydin, Abdulbaki ESEC/FSE '18: "Parameterized Model Counting ..."
Bacchelli, Alberto ESEC/FSE '18-DEMO: "PyDriller: Python Framework ..." ESEC/FSE '18: "What Makes a Code Change Easier ..."
Bagheri, Hamid ESEC/FSE '18-IND: "Modeling and Testing a Family ..."
Baldi, Pierre ESEC/FSE '18: "Oreo: Detection of Clones ..."
Baltes, Sebastian ESEC/FSE '18: "Towards a Theory of Software ..."
Bang, Lucas ESEC/FSE '18: "Parameterized Model Counting ..."
Bao, Lingfeng ESEC/FSE '18-DEMO: "VT-Revolution: Interactive ..." ESEC/FSE '18-DEMO: "DSM: A Specification Mining ..." ESEC/FSE '18: "Using Finite-State Models ..."
Barik, Titus ESEC/FSE '18: "How Should Compilers Explain ..."
Barr, Earl T. ESEC/FSE '18: "RefiNym: Using Names to Refine ..." ESEC/FSE '18: "Darwinian Data Structure Selection ..." ESEC/FSE '18: "Deep Learning Type Inference ..."
Basios, Michail ESEC/FSE '18: "Darwinian Data Structure Selection ..."
Berger, Thorsten ESEC/FSE '18: "Model Transformation Languages ..."
Beschastnikh, Ivan ESEC/FSE '18: "Performance Comprehension ..."
Bhowmik, Tanmay ESEC/FSE '18-NIER: "Towards Data-Driven Vulnerability ..."
Bian, Pan ESEC/FSE '18: "NAR-Miner: Discovering Negative ..."
Bird, Christian ESEC/FSE '18: "Deep Learning Type Inference ..."
Bissyandé, Tegawendé F. ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..."
Bodden, Eric ESEC/FSE '18: "Do Android Taint Analysis ..." ESEC/FSE '18-NIER: "Gamifying Static Analysis ..."
Böhme, Marcel ESEC/FSE '18: "Verifying the Long-Run Behavior ..."
Braberman, Víctor ESEC/FSE '18-IND: "Testing and Validating End ..."
Brennan, Tegan ESEC/FSE '18: "Parameterized Model Counting ..."
Brimble, Lance ESEC/FSE '18-IND: "Building Lean Continuous Integration ..."
Brindescu, Caius ESEC/FSE '18-DOC: "How Do Developers Resolve ..."
Brun, Yuriy ESEC/FSE '18-DEMO: "Themis: Automatically Testing ..." ESEC/FSE '18-NIER: "Software Fairness ..."
Brünink, Marc ESEC/FSE '18: "Verifying the Long-Run Behavior ..."
Bultan, Tevfik ESEC/FSE '18: "Parameterized Model Counting ..."
Busany, Nimrod ESEC/FSE '18: "Using Finite-State Models ..."
Cai, Yan ESEC/FSE '18: "NAR-Miner: Discovering Negative ..."
Canino, Anthony ESEC/FSE '18: "Stochastic Energy Optimization ..."
Castelluccio, Marco ESEC/FSE '18: "What Makes a Code Change Easier ..."
Celik, Ahmet ESEC/FSE '18-IND: "Regression Test Selection ..."
Chen, Bihuan ESEC/FSE '18-DEMO: "FOT: A Versatile, Configurable, ..."
Chen, Di ESEC/FSE '18: "Applications of Psychological ..."
Chen, Dongjie ESEC/FSE '18: "Testing Multithreaded Programs ..."
Chen, Hongxu ESEC/FSE '18-DEMO: "FOT: A Versatile, Configurable, ..."
Chen, Jia ESEC/FSE '18: "Singularity: Pattern Fuzzing ..."
Chen, Junjie ESEC/FSE '18: "Optimizing Test Prioritization ..."
Chen, Quan ESEC/FSE '18-NIER: "DLFuzz: Differential Fuzzing ..."
Chen, Sen ESEC/FSE '18-IND: "Are Mobile Banking Apps Secure? ..."
Chen, Xiangping ESEC/FSE '18-NIER: "Salient-Class Location: Help ..."
Chen, Yuanliang ESEC/FSE '18-IND: "PAFL: Extend Fuzzing Optimizations ..."
Cheung, Alvin ESEC/FSE '18-DEMO: "PowerStation: Automatically ..."
Cheung, Shing-Chi ESEC/FSE '18: "Do the Dependency Conflicts ..." ESEC/FSE '18: "Which Generated Test Failures ..."
Chintalapati, Murali ESEC/FSE '18: "Predicting Node Failure in ..."
Chua, Hendy ESEC/FSE '18-IND: "Efficient Static Checking ..."
Cimatti, Alessandro ESEC/FSE '18: "Symbolic Execution with Existential ..."
Coghlan, Christy A. ESEC/FSE '18: "The Impact of Regular Expression ..."
Cohen, Myra B. ESEC/FSE '18-IND: "Modeling and Testing a Family ..."
Cordeiro, Lucas C. ESEC/FSE '18-NIER: "Towards Counterexample-Guided ..."
Da Costa, Daniel Alencar ESEC/FSE '18: "Winning the App Production ..."
Daian, Philip ESEC/FSE '18-DEMO: "A Formal Verification Tool ..."
Dang, Yingnong ESEC/FSE '18: "Predicting Node Failure in ..."
Dash, Santanu Kumar ESEC/FSE '18: "RefiNym: Using Names to Refine ..."
Davis, James C. ESEC/FSE '18: "The Impact of Regular Expression ..."
Debroy, Vidroha ESEC/FSE '18-IND: "Building Lean Continuous Integration ..."
De Caso, Guido ESEC/FSE '18-IND: "Testing and Validating End ..."
DeFreez, Daniel ESEC/FSE '18: "Path-Based Function Embedding ..." ESEC/FSE '18-SRC: "Mining Error-Handling Specifications ..."
Devanbu, Premkumar T. ESEC/FSE '18-NIER: "On the Naturalness of Proofs ..."
Diehl, Stephan ESEC/FSE '18: "Towards a Theory of Software ..."
Dillig, Isil ESEC/FSE '18: "Singularity: Pattern Fuzzing ..."
Dolan-Gavitt, Brendan ESEC/FSE '18: "Bug Synthesis: Challenging ..."
Dong, Feng ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..."
Dou, Liang ESEC/FSE '18-IND: "FACTS: Automated Black-Box ..."
Dou, Wensheng ESEC/FSE '18: "An Empirical Study on Crash ..." ESEC/FSE '18-NIER: "How Are Spreadsheet Templates ..."
Dutta, Saikat ESEC/FSE '18: "Testing Probabilistic Programming ..."
Dyer, Robert ESEC/FSE '18-NIER: "Software Engineering Collaboratories ..."
Eiers, William ESEC/FSE '18: "Parameterized Model Counting ..."
Elbaum, Sebastian ESEC/FSE '18: "Phys: Probabilistic Physical ..."
Erata, Ferhat ESEC/FSE '18-DEMO: "AlloyInEcore: Embedding of ..."
Erofeeva, Irina ESEC/FSE '18-SRC: "How Dance(Sport) Can Help ..."
Fakhoury, Sarah ESEC/FSE '18-DOC: "Moving towards Objective Measures ..."
Fan, Lingling ESEC/FSE '18-IND: "Are Mobile Banking Apps Secure? ..."
Farmahinifarahani, Farima ESEC/FSE '18: "Oreo: Detection of Clones ..."
Farritor, Shane ESEC/FSE '18-IND: "Modeling and Testing a Family ..."
Fazzini, Mattia ESEC/FSE '18-DOC: "Automated Support for Mobile ..."
Fedorova, Alexandra ESEC/FSE '18: "Performance Comprehension ..."
Feng, Xiaobing ESEC/FSE '18: "CloudRaid: Hunting Concurrency ..."
Feng, Yu ESEC/FSE '18: "Singularity: Pattern Fuzzing ..."
Ferles, Kostas ESEC/FSE '18: "Singularity: Pattern Fuzzing ..."
Filkov, Vladimir ESEC/FSE '18: "One Size Does Not Fit All: ..."
Foo, Darius ESEC/FSE '18-IND: "Efficient Static Checking ..."
Ford, Denae ESEC/FSE '18: "How Should Compilers Explain ..."
Fox, Armando ESEC/FSE '18-NIER: "Towards Quantifying the Development ..."
Fu, Wei ESEC/FSE '18: "Applications of Psychological ..."
Fu, Ying ESEC/FSE '18-IND: "VulSeeker-Pro: Enhanced Semantic ..."
Gadelha, Mikhail R. ESEC/FSE '18-NIER: "Towards Counterexample-Guided ..."
Gao, Chushu ESEC/FSE '18: "An Empirical Study on Crash ..." ESEC/FSE '18-NIER: "How Are Spreadsheet Templates ..."
Gao, Cuiyun ESEC/FSE '18-DEMO: "INFAR: Insight Extraction ..."
Gao, Jian ESEC/FSE '18-IND: "VulSeeker-Pro: Enhanced Semantic ..."
Gao, Yu ESEC/FSE '18: "An Empirical Study on Crash ..."
Garbervetsky, Diego ESEC/FSE '18-IND: "Testing and Validating End ..."
Gavrilov, Miroslav ESEC/FSE '18: "Parameterized Model Counting ..."
Gligoric, Milos ESEC/FSE '18-IND: "Regression Test Selection ..."
Glondu, Stéphane ESEC/FSE '18-INV: "Ten Years of Hunting for Similar ..."
Godoy, Javier ESEC/FSE '18-IND: "Testing and Validating End ..."
Goknil, Arda ESEC/FSE '18-DEMO: "AlloyInEcore: Embedding of ..."
Grama, Ananth ESEC/FSE '18: "MODE: Automated Neural Network ..."
Griggio, Alberto ESEC/FSE '18: "Symbolic Execution with Existential ..."
Gu, Lintao ESEC/FSE '18-IND: "FACTS: Automated Black-Box ..."
Gulzar, Muhammad Ali ESEC/FSE '18-DEMO: "BigSift: Automated Debugging ..."
Guo, Jianmin ESEC/FSE '18-NIER: "DLFuzz: Differential Fuzzing ..."
Guo, Shengjian ESEC/FSE '18: "Adversarial Symbolic Execution ..."
Guo, Yao ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..."
Gusmanov, Kamill ESEC/FSE '18-SRC: "On the Adoption of Neural ..."
Han, Shi ESEC/FSE '18-IND: "Automated Refactoring of Nested-IF ..."
Hao, Dan ESEC/FSE '18-IND: "Automated Refactoring of Nested-IF ..." ESEC/FSE '18: "Optimizing Test Prioritization ..."
Hashimoto, Masatomo ESEC/FSE '18: "Automated Patch Extraction ..."
He, Liang ESEC/FSE '18-IND: "FACTS: Automated Black-Box ..."
He, Shilin ESEC/FSE '18: "Identifying Impactful Service ..."
He, Xiao ESEC/FSE '18: "Putback-Based Bidirectional ..."
Hebig, Regina ESEC/FSE '18: "Model Transformation Languages ..."
Hellendoorn, Vincent J. ESEC/FSE '18: "Deep Learning Type Inference ..." ESEC/FSE '18-NIER: "On the Naturalness of Proofs ..."
Henkel, Jordan ESEC/FSE '18: "Code Vectors: Understanding ..."
Herbsleb, James ESEC/FSE '18: "Ecosystem-Level Determinants ..."
Hong, Kai ESEC/FSE '18-NIER: "Salient-Class Location: Help ..."
Hong, Seongjoon ESEC/FSE '18: "MemFix: Static Analysis-Based ..."
Hosseini, Mitra Bokaei ESEC/FSE '18-DOC: "Semantic Inference from Natural ..."
Hsieh, Ken ESEC/FSE '18: "Predicting Node Failure in ..."
Hu, Gang ESEC/FSE '18: "AppFlow: Using Machine Learning ..."
Hu, Qingda ESEC/FSE '18-NIER: "Towards Quantifying the Development ..."
Hu, Yu ESEC/FSE '18: "Bug Synthesis: Challenging ..."
Hu, Zhenjiang ESEC/FSE '18: "Putback-Based Bidirectional ..."
Hua, Jinru ESEC/FSE '18-DEMO: "SketchFix: A Tool for Automated ..."
Huang, Jeff ESEC/FSE '18: "DeepSim: Deep Learning Code ..." ESEC/FSE '18: "Concurrency Verification with ..."
Huang, Jianjun ESEC/FSE '18: "NAR-Miner: Discovering Negative ..."
Huang, Ruirui ESEC/FSE '18: "An Empirical Study on Crash ..."
Huang, Tao ESEC/FSE '18-NIER: "How Are Spreadsheet Templates ..."
Huang, Yuan ESEC/FSE '18-NIER: "Salient-Class Location: Help ..."
Huang, Zixin ESEC/FSE '18: "Testing Probabilistic Programming ..."
Hussain, Waqar ESEC/FSE '18-NIER: "Operationalizing Human Values ..."
Imtiaz, Sayem Mohammad ESEC/FSE '18-NIER: "Towards Data-Driven Vulnerability ..."
Ivanov, Vladimir ESEC/FSE '18-IND: "Design and Validation of Precooked ..."
Izumida, Tomonori ESEC/FSE '18: "Automated Patch Extraction ..."
Jamshidi, Pooyan ESEC/FSE '18: "Learning to Sample: Exploiting ..."
Jha, Somesh ESEC/FSE '18: "Neural-Augmented Static Analysis ..."
Jia, Nan ESEC/FSE '18-NIER: "Salient-Class Location: Help ..."
Jiang, Lingxiao ESEC/FSE '18-INV: "Ten Years of Hunting for Similar ..."
Jiang, Yanyan ESEC/FSE '18: "Testing Multithreaded Programs ..."
Jiang, Yu ESEC/FSE '18-DEMO: "EClone: Detect Semantic Clones ..." ESEC/FSE '18-IND: "PAFL: Extend Fuzzing Optimizations ..." ESEC/FSE '18-IND: "VulSeeker-Pro: Enhanced Semantic ..." ESEC/FSE '18-NIER: "DLFuzz: Differential Fuzzing ..."
Johnson, Brittany ESEC/FSE '18-DEMO: "Themis: Automatically Testing ..."
Kanthan, Leslie ESEC/FSE '18: "Darwinian Data Structure Selection ..."
Kästner, Christian ESEC/FSE '18: "Learning to Sample: Exploiting ..." ESEC/FSE '18-NIER: "Beyond Testing Configurable ..."
Kate, Sayali ESEC/FSE '18: "Phys: Probabilistic Physical ..."
Ketkar, Ameya ESEC/FSE '18-SRC: "Type Migration in Large-Scale ..."
Khurshid, Sarfraz ESEC/FSE '18-DEMO: "SketchFix: A Tool for Automated ..." ESEC/FSE '18-DEMO: "ASketch: A Sketching Framework ..."
Kim, Mijung ESEC/FSE '18: "Which Generated Test Failures ..."
Kim, Miryung ESEC/FSE '18-DEMO: "BigSift: Automated Debugging ..." ESEC/FSE '18-DEMO: "Augmenting Stack Overflow ..."
Kim, Sunghun ESEC/FSE '18: "Which Generated Test Failures ..."
King, Irwin ESEC/FSE '18-DEMO: "INFAR: Insight Extraction ..."
Kini, Dileep ESEC/FSE '18: "Data Race Detection on Compressed ..."
Klein, Jacques ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..."
Koszek, Wojciech ESEC/FSE '18-NIER: "Towards Quantifying the Development ..."
Koutris, Paraschos ESEC/FSE '18: "Syntax-Guided Synthesis of ..."
Krishna, Rahul ESEC/FSE '18: "Applications of Psychological ..."
Kurtev, Ivan ESEC/FSE '18-DEMO: "AlloyInEcore: Embedding of ..."
Lahiri, Shuvendu K. ESEC/FSE '18: "Code Vectors: Understanding ..."
Le, Tien-Duy B. ESEC/FSE '18-DEMO: "DSM: A Specification Mining ..."
Lee, Dongyoon ESEC/FSE '18: "The Impact of Regular Expression ..."
Lee, Junhee ESEC/FSE '18: "MemFix: Static Analysis-Based ..."
Lee, Wen-Chuan ESEC/FSE '18: "MODE: Automated Neural Network ..."
Lee, Woosuk ESEC/FSE '18: "Syntax-Guided Synthesis of ..."
Lee, Young Chul ESEC/FSE '18-IND: "Regression Test Selection ..."
Legunsen, Owolabi ESEC/FSE '18: "Testing Probabilistic Programming ..."
Lehmann, Daniel ESEC/FSE '18: "Feedback-Directed Differential ..."
Li, Chenggang ESEC/FSE '18: "Predicting Node Failure in ..."
Li, Feng ESEC/FSE '18: "CloudRaid: Hunting Concurrency ..."
Li, Li ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..."
Li, Lian ESEC/FSE '18: "CloudRaid: Hunting Concurrency ..."
Li, Lingbo ESEC/FSE '18: "Darwinian Data Structure Selection ..."
Li, Shanping ESEC/FSE '18-DEMO: "VT-Revolution: Interactive ..."
Li, Yue ESEC/FSE '18: "Scalability-First Pointer ..."
Li, Yuekang ESEC/FSE '18-DEMO: "FOT: A Versatile, Configurable, ..."
Liang, Bin ESEC/FSE '18: "NAR-Miner: Discovering Negative ..."
Liang, Jie ESEC/FSE '18-IND: "PAFL: Extend Fuzzing Optimizations ..."
Liblit, Ben ESEC/FSE '18: "Code Vectors: Understanding ..."
Lima, Bruno ESEC/FSE '18-SRC: "Automated Scenario-Based Integration ..."
Lin, Chin-Yew ESEC/FSE '18-DEMO: "INFAR: Insight Extraction ..."
Lin, Qingwei ESEC/FSE '18: "Predicting Node Failure in ..." ESEC/FSE '18: "Identifying Impactful Service ..."
Liu, Chao ESEC/FSE '18-DEMO: "EClone: Detect Semantic Clones ..."
Liu, Han ESEC/FSE '18-DEMO: "EClone: Detect Semantic Clones ..."
Liu, Tianming ESEC/FSE '18: "FraudDroid: Automated Ad Fraud ..."
Liu, Yang ESEC/FSE '18-DEMO: "FOT: A Versatile, Configurable, ..." ESEC/FSE '18-IND: "Are Mobile Banking Apps Secure? ..."
Liu, Yingqi ESEC/FSE '18: "MODE: Automated Neural Network ..."
Liu, Yu David ESEC/FSE '18: "Stochastic Energy Optimization ..."
Liu, Zhenwei ESEC/FSE '18: "Do the Dependency Conflicts ..."
Llerena, Yamilet R. Serrano ESEC/FSE '18: "Verifying the Long-Run Behavior ..."
Lo, David ESEC/FSE '18-DEMO: "VT-Revolution: Interactive ..." ESEC/FSE '18-DEMO: "DSM: A Specification Mining ..." ESEC/FSE '18-DEMO: "INFAR: Insight Extraction ..." ESEC/FSE '18: "Using Finite-State Models ..."
Long, Yuheng ESEC/FSE '18: "Large-Scale Study of Substitutability ..."
Lopes, Cristina V. ESEC/FSE '18: "Oreo: Detection of Clones ..."
Lou, Jian-Guang ESEC/FSE '18: "Predicting Node Failure in ..." ESEC/FSE '18: "Identifying Impactful Service ..."
Lou, Yiling ESEC/FSE '18: "Optimizing Test Prioritization ..."
Lu, Jian ESEC/FSE '18: "Testing Multithreaded Programs ..."
Lu, Jie ESEC/FSE '18: "CloudRaid: Hunting Concurrency ..."
Lu, Shan ESEC/FSE '18-DEMO: "PowerStation: Automatically ..."
Lu, Yadong ESEC/FSE '18: "Oreo: Detection of Clones ..."
Lyu, Michael R. ESEC/FSE '18-DEMO: "INFAR: Insight Extraction ..." ESEC/FSE '18: "Identifying Impactful Service ..."
Ma, Shiqing ESEC/FSE '18: "MODE: Automated Neural Network ..."
Ma, Xiaoxing ESEC/FSE '18: "Testing Multithreaded Programs ..."
Maddox, Jackson ESEC/FSE '18: "Large-Scale Study of Substitutability ..."
Mansoor, Niloofar ESEC/FSE '18-IND: "Modeling and Testing a Family ..."
Maoz, Shahar ESEC/FSE '18: "Using Finite-State Models ..." ESEC/FSE '18: "Modify, Enhance, Select: Co-Evolution ..."
Marinov, Darko ESEC/FSE '18-DEMO: "ASketch: A Sketching Framework ..."
Masuhara, Hidehiko ESEC/FSE '18: "Stochastic Energy Optimization ..."
Mathur, Mihir ESEC/FSE '18-DEMO: "Augmenting Stack Overflow ..."
Mathur, Umang ESEC/FSE '18: "Data Race Detection on Compressed ..."
McMillan, Collin ESEC/FSE '18: "Detecting Speech Act Types ..."
McNamara, Andrew ESEC/FSE '18-NIER: "Does ACM’s Code of Ethics ..."
Mechtaev, Sergey ESEC/FSE '18: "Symbolic Execution with Existential ..."
Meijer, Erik ESEC/FSE '18-INV: "Behind Every Great Deep Learning ..."
Meinicke, Jens ESEC/FSE '18-NIER: "Beyond Testing Configurable ..."
Meliou, Alexandra ESEC/FSE '18-DEMO: "Themis: Automatically Testing ..." ESEC/FSE '18-NIER: "Software Fairness ..."
Meng, Guozhu ESEC/FSE '18-IND: "Are Mobile Banking Apps Secure? ..."
Menzies, Tim ESEC/FSE '18: "Applications of Psychological ..."
Mesbah, Ali ESEC/FSE '18-DEMO: "Vista: Web Test Repair using ..." ESEC/FSE '18: "Visual Web Test Repair ..."
Miller, Senecca ESEC/FSE '18-IND: "Building Lean Continuous Integration ..."
Minku, Leandro L. ESEC/FSE '18: "A Novel Automated Approach ..."
Misailovic, Sasa ESEC/FSE '18: "Testing Probabilistic Programming ..."
Miucin, Svetozar ESEC/FSE '18: "Performance Comprehension ..."
Møller, Anders ESEC/FSE '18: "Practical AJAX Race Detection ..." ESEC/FSE '18: "Scalability-First Pointer ..."
Monteiro, Felipe R. ESEC/FSE '18-NIER: "Towards Counterexample-Guided ..."
Mori, Akira ESEC/FSE '18: "Automated Patch Extraction ..."
Mougouei, Davoud ESEC/FSE '18-NIER: "Operationalizing Human Values ..."
Murphy-Hill, Emerson ESEC/FSE '18: "How Should Compilers Explain ..." ESEC/FSE '18-NIER: "Does ACM’s Code of Ethics ..."
Mustard, Craig ESEC/FSE '18: "Performance Comprehension ..."
Naik, Mayur ESEC/FSE '18: "Syntax-Guided Synthesis of ..."
Nguyen, Anh Tuan ESEC/FSE '18: "Complementing Global and Local ..."
Nguyen, Hoan Anh ESEC/FSE '18: "Complementing Global and Local ..."
Nguyen, Son ESEC/FSE '18-SRC: "Feature-Interaction Aware ..."
Nguyen, Thanh ESEC/FSE '18: "Complementing Global and Local ..."
Nguyen, Tien N. ESEC/FSE '18: "Complementing Global and Local ..."
Nguyen, Trong ESEC/FSE '18: "Complementing Global and Local ..."
Nguyen Quang Do, Lisa ESEC/FSE '18-NIER: "Gamifying Static Analysis ..."
Nicole, Denis A. ESEC/FSE '18-NIER: "Towards Counterexample-Guided ..."
Niu, Wenyu ESEC/FSE '18-IND: "FACTS: Automated Black-Box ..."
Nocera, Francesco ESEC/FSE '18-SRC: "Reshaping Distributed Agile ..."
Noei, Ehsan ESEC/FSE '18: "Winning the App Production ..."
Octeau, Damien ESEC/FSE '18: "Neural-Augmented Static Analysis ..."
Oh, Hakjoo ESEC/FSE '18: "MemFix: Static Analysis-Based ..."
Ore, John-Paul ESEC/FSE '18: "Phys: Probabilistic Physical ..."
Pandey, Awanish ESEC/FSE '18: "Bug Synthesis: Challenging ..."
Park, Daejun ESEC/FSE '18-DEMO: "A Formal Verification Tool ..."
Parnin, Chris ESEC/FSE '18: "How Should Compilers Explain ..."
Pauck, Felix ESEC/FSE '18: "Do Android Taint Analysis ..."
Pedersen, John Kook ESEC/FSE '18: "Model Transformation Languages ..."
Perera, Harsha ESEC/FSE '18-NIER: "Operationalizing Human Values ..."