FSE 2016
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)
Powered by
Conference Publishing Consulting

24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), November 13–18, 2016, Seattle, WA, USA

FSE 2016 – 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

Aguirre, Nazareno FSE '16: "Field-Exhaustive Testing ..."
Ahmed, Iftekhar FSE '16: "Can Testedness be Effectively ..."
Aiken, Alex FSE '16: "Minimizing GUI Event Traces ..."
Alexandru, Carol V. FSE '16-DOC: "Guided Code Synthesis using ..." FSE '16: "What Would Users Change in ..."
Alimadadi, Saba FSE '16-DOC: "Understanding Behavioural ..."
Ammann, Paul FSE '16: "Analyzing the Validity of ..."
Anand, Saswat FSE '16: "Minimizing GUI Event Traces ..."
Anquetil, Nicolas FSE '16: "When Should Internal Interfaces ..."
Apel, Sven FSE '16: "On-the-Fly Decomposition of ..."
Arora, Chetan FSE '16: "Automated Change Impact Analysis ..."
Aydin, Abdulbaki FSE '16: "String Analysis for Side Channels ..."
Bacchelli, Alberto FSE '16-DEMO: "Visualizing Code and Coverage ..."
Bagheri, Hamid FSE '16: "Titanium: Efficient Analysis ..."
Bang, Lucas FSE '16: "String Analysis for Side Channels ..."
Baresi, Luciano FSE '16: "A Discrete-Time Feedback Controller ..."
Barik, Titus FSE '16-SRC: "How Should Static Analysis ..." FSE '16-VAR: "Designing for Dystopia: Software ..."
Barr, Earl T. FSE '16-DEMO: "Time-Travel Debugging for ..."
Bastani, Osbert FSE '16: "Minimizing GUI Event Traces ..."
Baum, Tobias FSE '16: "Factors Influencing Code Review ..."
Beck, Kent FSE '16-SHOWCASE: "Continuous Deployment of Mobile ..."
Bell, Jonathan FSE '16: "Code Relatives: Detecting ..."
Berger, Thorsten FSE '16: "Efficiency of Projectional ..."
Bergstrom, Lars FSE '16-IND: "A Portable Interface for Runtime ..."
Beyer, Dirk FSE '16: "On-the-Fly Decomposition of ..." FSE '16: "Correctness Witnesses: Exchanging ..."
Bogart, Christopher FSE '16: "How to Break an API: Cost ..."
Bradshaw, Gary FSE '16-JOURNAL: "Estimating Semantic Relatedness ..."
Brady, Conor FSE '16-DEMO: "End-to-End Memory Behavior ..."
Braione, Pietro FSE '16-DEMO: "JBSE: A Symbolic Executor ..."
Briand, Lionel C. FSE '16-DEMO: "PUMConf: A Tool to Configure ..." FSE '16: "Automated Change Impact Analysis ..."
Brindescu, Caius FSE '16: "Can Testedness be Effectively ..."
Brito, Fernando S. de M. FSE '16: "Discovering Bug Patterns in ..."
Brünink, Marc FSE '16: "Mining Performance Specifications ..."
Brunel, Julien FSE '16: "Lightweight Specification ..."
Bultan, Tevfik FSE '16: "String Analysis for Side Channels ..."
Burnett, Margaret FSE '16-INV: ""Womenomics" and ..." FSE '16: "Foraging and Navigations, ..."
Busjaeger, Benjamin FSE '16-IND: "Learning for Test Prioritization: ..."
Cai, Yan FSE '16: "A Deployable Sampling Strategy ..."
Cai, Yuanfang FSE '16: "Interactive and Guided Architectural ..."
Canfora, Gerardo FSE '16-DEMO: "ARdoc: App Reviews Development ..." FSE '16: "What Would Users Change in ..."
Cao, Lingwei FSE '16: "A Deployable Sampling Strategy ..."
Capraro, Maximilian FSE '16-JOURNAL: "Inner Source in Platform-Based ..."
Celik, Ahmet FSE '16: "Build System with Lazy Retrieval ..."
Chandramohan, Mahinthan FSE '16: "BinGo: Cross-Architecture ..."
Chemouil, David FSE '16: "Lightweight Specification ..."
Chen, Bihuan FSE '16: "Proteus: Computing Disjunctive ..."
Chen, Haicheng FSE '16: "Crash Consistency Validation ..."
Chen, Lin FSE '16: "Python Probabilistic Type ..."
Chen, Tse-Hsun FSE '16: "CacheOptimizer: Helping Developers ..."
Chen, Yuxi FSE '16: "Understanding and Generating ..."
Cheng, Javran FSE '16: "iGen: Dynamic Interaction ..."
Cheng, Xi FSE '16-SRC: "RABIEF: Range Analysis Based ..."
Cheung, Shing-Chi FSE '16: "Detecting Table Clones and ..." FSE '16: "Understanding and Detecting ..."
Cho, Chia Yuan FSE '16: "BinGo: Cross-Architecture ..."
Clapp, Lazaro FSE '16: "Minimizing GUI Event Traces ..."
Clark, Benjamin FSE '16-VAR: "Studying Developer Gaze to ..."
Codoban, Mihai FSE '16: "API Code Recommendation using ..."
Coelho, Roberta FSE '16-DEMO: "Visualizing Code and Coverage ..."
Cohen, Myra B. FSE '16-VAR: "Budgeted Testing through an ..."
Condie, Tyson FSE '16-DEMO: "BigDebug: Interactive Debugger ..."
Costa, Catarina FSE '16-DEMO: "TIPMerge: Recommending Developers ..." FSE '16: "TIPMerge: Recommending Experts ..." FSE '16-SRC: "Identifying Participants for ..."
Cunha, Alcino FSE '16: "Lightweight Specification ..."
Dam, Hoa Khanh FSE '16-VAR: "DeepSoft: A Vision for a Deep ..."
Dangl, Matthias FSE '16: "Correctness Witnesses: Exchanging ..."
Dangprasert, Taweesap FSE '16: "Efficiency of Projectional ..."
Daskalopoulou, Athanasia FSE '16-JOURNAL: "Exploring Mobile End User ..."
Delamaro, Márcio E. FSE '16: "Analyzing the Validity of ..."
Denaro, Giovanni FSE '16-DEMO: "JBSE: A Symbolic Executor ..."
Deng, Yuetang FSE '16-IND: "Automated Test Input Generation ..."
Deursen, Arie van FSE '16-DEMO: "Visualizing Code and Coverage ..."
Dhawan, Mohan FSE '16: "POLLUX: Safely Upgrading Dependent ..."
Dhok, Monika FSE '16: "Directed Test Generation to ..."
Dietsch, Daniel FSE '16: "Correctness Witnesses: Exchanging ..."
Dig, Danny FSE '16: "API Code Recommendation using ..." FSE '16: "Interactive and Guided Architectural ..."
Dillig, Isil FSE '16-DEMO: "Hunter: Next-Generation Code ..."
Di Sorbo, Andrea FSE '16-DEMO: "ARdoc: App Reviews Development ..." FSE '16: "What Would Users Change in ..."
Dolby, Julian FSE '16: "Revamping JavaScript Static ..."
Dou, Wensheng FSE '16: "Detecting Table Clones and ..."
Eichberg, Michael FSE '16: "Call Graph Construction for ..."
Elder, Sarah FSE '16: "A Cross-Tool Communication ..."
Eugster, Patrick FSE '16: "WebRanz: Web Page Randomization ..."
Fedorova, Alexandra FSE '16-DEMO: "End-to-End Memory Behavior ..."
Feng, Yu FSE '16-DEMO: "Hunter: Next-Generation Code ..."
Figueiredo, Jair FSE '16-DEMO: "TIPMerge: Recommending Developers ..." FSE '16: "TIPMerge: Recommending Experts ..."
Filkov, Vladimir FSE '16-JOURNAL: "Stochastic Actor-Oriented ..."
Fleming, Scott D. FSE '16: "Foraging and Navigations, ..."
Flora, Parminder FSE '16: "CacheOptimizer: Helping Developers ..."
Ford, Denae FSE '16: "Paradise Unplugged: Identifying ..." FSE '16: "A Cross-Tool Communication ..."
Foster, Jeffrey S. FSE '16: "iGen: Dynamic Interaction ..."
Fowkes, Jaroslav FSE '16: "Parameter-Free Probabilistic ..."
Frias, Marcelo F. FSE '16: "Field-Exhaustive Testing ..."
Gacek, Andrew FSE '16: "Efficient Generation of Inductive ..."
Gall, Harald C. FSE '16-DEMO: "ARdoc: App Reviews Development ..." FSE '16: "What Would Users Change in ..."
Gao, Chushu FSE '16: "Detecting Table Clones and ..."
Ge, Scott FSE '16-IND: "Bing Developer Assistant: ..."
Gerosa, Marco Aurélio FSE '16-VAR: "Training the Future Workforce ..."
Ghassabani, Elaheh FSE '16: "Efficient Generation of Inductive ..."
Ghose, Aditya FSE '16-VAR: "DeepSoft: A Vision for a Deep ..."
Ghosh, Indradeep FSE '16-DEMO: "FSX: A Tool for Fine-Grained ..."
Gligoric, Milos FSE '16: "Build System with Lazy Retrieval ..."
Gökçe, Nida FSE '16: "Analyzing the Validity of ..."
Goel, Ayush FSE '16: "POLLUX: Safely Upgrading Dependent ..."
Goknil, Arda FSE '16-DEMO: "PUMConf: A Tool to Configure ..."
Gopinath, Rahul FSE '16: "Can Testedness be Effectively ..."
Groce, Alex FSE '16: "Can Testedness be Effectively ..."
Grundy, John FSE '16-VAR: "DeepSoft: A Vision for a Deep ..."
Gu, Xiaodong FSE '16: "Deep API Learning ..."
Guinea, Sam FSE '16: "A Discrete-Time Feedback Controller ..."
Gullapalli, Sachith FSE '16-SRC: "Atlas: An Intelligent, Performant ..."
Gulwani, Sumit FSE '16: "Semi-supervised Verified Feedback ..."
Gulzar, Muhammad Ali FSE '16-DEMO: "BigDebug: Interactive Debugger ..."
Guo, Philip J. FSE '16: "Paradise Unplugged: Identifying ..."
Guo, Xinrui FSE '16-SRC: "SmartDebug: An Interactive ..."
Gupta, Aarti FSE '16: "Parallel Data Race Detection ..."
Gupta, Arushi FSE '16: "Gray Links in the Use of Requirements ..."
Gurfinkel, Arie FSE '16: "SMT-Based Verification of ..."
Guzman, Emitza FSE '16-DEMO: "ARdoc: App Reviews Development ..."
Gyori, Alex FSE '16-DEMO: "NonDex: A Tool for Detecting ..."
Hajri, Ines FSE '16-DEMO: "PUMConf: A Tool to Configure ..." FSE '16-DOC: "Supporting Change in Product ..."
Hammoudi, Mouna FSE '16-DOC: "Regression Testing of Web ..." FSE '16: "WATERFALL: An Incremental ..."
Hanam, Quinn FSE '16: "Discovering Bug Patterns in ..."
Hao, Dan FSE '16: "Isomorphic Regression Testing: ..."
Hao, Jianye FSE '16: "Designing Minimal Effective ..."
Hariri, Farah FSE '16: "An Extensive Study of Static ..."
Harman, Mark FSE '16: "Causal Impact Analysis for ..."
Harvey, Kenneth FSE '16: "Code Relatives: Detecting ..."
Hasabnis, Niranjan FSE '16: "Extracting Instruction Semantics ..."
Hassan, Ahmed E. FSE '16: "CacheOptimizer: Helping Developers ..."
He, Xinrui FSE '16: "Detecting and Fixing Precision-Specific ..."
Head, Andrew FSE '16-SRC: "Social Health Cues Developers ..."
Heckman, Sarah FSE '16: "A Cross-Tool Communication ..."
Heizmann, Matthias FSE '16: "Correctness Witnesses: Exchanging ..."
Henley, Austin Z. FSE '16: "Foraging and Navigations, ..."
Herbsleb, James FSE '16-INV: "Building a Socio-Technical ..." FSE '16: "How to Break an API: Cost ..."
Hermann, Ben FSE '16: "Call Graph Construction for ..."
Hierons, Robert M. FSE '16-JOURNAL: "SIP: Optimal Product Selection ..."
Hilton, Michael FSE '16-DOC: "Understanding and Improving ..." FSE '16: "API Code Recommendation using ..."
Hoffmann, Henry FSE '16-IND: "A Portable Interface for Runtime ..."
Hora, André FSE '16: "When Should Internal Interfaces ..."
Horn, Lars FSE '16-JOURNAL: "Inner Source in Platform-Based ..."
Hu, Wenxiang FSE '16-IND: "Bing Developer Assistant: ..."
Huang, Gang FSE '16: "Detecting and Fixing Precision-Specific ..."
Huang, Jeff FSE '16: "ECHO: Instantaneous In Situ ..."
Huang, Jianjun FSE '16: "Detecting Sensitive Data Disclosure ..."
Huang, Shan Shan FSE '16-SHOWCASE: "Model, Execute, and Deploy: ..."
Huang, Waylon FSE '16-SRC: "Discovering Additional Violations ..."
Imes, Connor FSE '16-IND: "A Portable Interface for Runtime ..."
Interlandi, Matteo FSE '16-DEMO: "BigDebug: Interactive Debugger ..."
Jackson, Daniel FSE '16-INV: "Correct or Usable? The Limits ..." FSE '16: "Designing Minimal Effective ..." FSE '16: "Multi-representational Security ..."
Jain, Anuj FSE '16-IND: "Bing Developer Assistant: ..."
Jebara, Tony FSE '16: "Code Relatives: Detecting ..."
Jensen, Carlos FSE '16: "Can Testedness be Effectively ..."
Jensen, Hans Peter FSE '16: "Efficiency of Projectional ..."
Jiang, Yanyan FSE '16: "Crash Consistency Validation ..." FSE '16: "Online Shared Memory Dependence ..."
Johnson, Brittany FSE '16: "A Cross-Tool Communication ..."
Kästner, Christian FSE '16: "How to Break an API: Cost ..."
Kaiser, Gail FSE '16: "Code Relatives: Detecting ..."
Kaleeswaran, Shalini FSE '16: "Semi-supervised Verified Feedback ..."
Kalra, Sukrit FSE '16: "POLLUX: Safely Upgrading Dependent ..."
Kanade, Aditya FSE '16: "Semi-supervised Verified Feedback ..."
Kang, Eunsuk FSE '16: "Designing Minimal Effective ..." FSE '16: "Multi-representational Security ..."
Kang, Yu FSE '16: "DiagDroid: Android Performance ..."
Kapitsaki, Georgia M. FSE '16-DEMO: "Validate Your SPDX Files for ..."
Kappler, Sebastian FSE '16-SRC: "Finding and Breaking Test ..."
Karanfil, Mark FSE '16-DEMO: "T2API: Synthesizing API Code ..."
Kaushik, Arati FSE '16-DEMO: "Hunter: Next-Generation Code ..."
Kaushik, Chandrashekhar FSE '16-IND: "Bing Developer Assistant: ..."
Kavaler, David FSE '16-JOURNAL: "Stochastic Actor-Oriented ..."
Kellogg, Martin FSE '16-SRC: "Combining Bug Detection and ..."
Khandelwal, Gaurav FSE '16-IND: "Bing Developer Assistant: ..."
Khanna, Dhriti FSE '16: "POLLUX: Safely Upgrading Dependent ..."
Khurshid, Sarfraz FSE '16-IND: "Combinatorial Generation of ..."
Kim, Chung Hwan FSE '16: "PerfGuard: Binary-Centric ..."
Kim, Miryung FSE '16-DEMO: "BigDebug: Interactive Debugger ..."
Kim, Sunghun FSE '16: "Deep API Learning ..."
Kips, Detlef FSE '16-JOURNAL: "Inner Source in Platform-Based ..."
Knaust, Alex FSE '16: "Build System with Lazy Retrieval ..."
Koc, Ugur FSE '16: "iGen: Dynamic Interaction ..."
Kuperberg, Denis FSE '16: "Lightweight Specification ..."
Kurtz, Bob FSE '16-DOC: "On the Utility of Dominator ..." FSE '16: "Analyzing the Validity of ..."
Kurtz, Mariet FSE '16: "Analyzing the Validity of ..."
Kusano, Markus FSE '16: "Static DOM Event Dependency ..." FSE '16: "Flow-Sensitive Composition ..."
Kwon, Yonghwi FSE '16: "WebRanz: Web Page Randomization ..."
Lam, Wing FSE '16-IND: "Automated Test Input Generation ..." FSE '16-SRC: "Repairing Test Dependence ..."
Lambeth, Ben FSE '16-DEMO: "NonDex: A Tool for Detecting ..."
Le, Wei FSE '16: "Proteus: Computing Disjunctive ..."
Leano, Rafael FSE '16-VAR: "Training the Future Workforce ..."
Lee, Kyu Hyung FSE '16: "PerfGuard: Binary-Centric ..."
Legunsen, Owolabi FSE '16-DEMO: "NonDex: A Tool for Detecting ..." FSE '16: "An Extensive Study of Static ..."
Lerch, Johannes FSE '16: "Call Graph Construction for ..."
Leung, Hareton FSE '16: "Effort-Aware Just-in-Time ..."
Leva, Alberto FSE '16: "A Discrete-Time Feedback Controller ..."
Li, Dengfeng FSE '16-IND: "Automated Test Input Generation ..."
Li, Du FSE '16: "Online Shared Memory Dependence ..."
Li, Miqing FSE '16-JOURNAL: "SIP: Optimal Product Selection ..."
Li, Xiaohong FSE '16: "Proteus: Computing Disjunctive ..."
Li, Xuan FSE '16: "Relationship-Aware Code Search ..."
Lin, Yun FSE '16: "Interactive and Guided Architectural ..."
Liskin, Olga FSE '16: "Factors Influencing Code Review ..."
Liu, Haopeng FSE '16: "Understanding and Generating ..."
Liu, Jian FSE '16: "A Deployable Sampling Strategy ..."
Liu, Jinping FSE '16: "Effort-Aware Just-in-Time ..."
Liu, Peng FSE '16: "Python Predictive Analysis ..."
Liu, Xiaohui FSE '16-JOURNAL: "SIP: Optimal Product Selection ..."
Liu, Yang FSE '16: "BinGo: Cross-Architecture ..." FSE '16: "Proteus: Computing Disjunctive ..."
Liu, Yepang FSE '16: "Understanding and Detecting ..."
Loncaric, Calvin FSE '16-DOC: "Data Structure Synthesis ..." FSE '16-SRC: "Cozy: Synthesizing Collection ..."
Lou, Yiling FSE '16: "Isomorphic Regression Testing: ..."
Lu, Hongmin FSE '16: "Effort-Aware Just-in-Time ..."
Lu, Jian FSE '16: "Crash Consistency Validation ..." FSE '16: "Online Shared Memory Dependence ..."
Lu, Shan FSE '16: "Understanding and Generating ..."
Lu, Yafeng FSE '16: "An Extensive Study of Static ..."
Luo, Qi FSE '16-DOC: "Input-Sensitive Performance ..." FSE '16: "A Large-Scale Empirical Comparison ..." FSE '16-SRC: "Automatic Performance Testing ..."
Lyu, Michael R. FSE '16: "DiagDroid: Android Performance ..."
Ma, Xiaoxing FSE '16: "Crash Consistency Validation ..." FSE '16: "Online Shared Memory Dependence ..."
Macedo, Nuno FSE '16: "Lightweight Specification ..."
Mackie, Christopher A. FSE '16-SRC: "Preventing Signedness Errors ..."
Mahmoud, Anas FSE '16-JOURNAL: "Estimating Semantic Relatedness ..."
Mahmud, Gazi FSE '16-SHOWCASE: "Making Invisible Things Visible: ..."
Malek, Sam FSE '16: "Titanium: Efficient Analysis ..."
Maletic, Jonathan I. FSE '16-VAR: "Studying Developer Gaze to ..."
Mandoux, Felix FSE '16: "Automated Change Impact Analysis ..."
Maoz, Shahar FSE '16: "On Well-Separation of GR(1) ..."
Marinov, Darko FSE '16-DEMO: "NonDex: A Tool for Detecting ..." FSE '16: "An Extensive Study of Static ..."
Marron, Mark FSE '16-DEMO: "Time-Travel Debugging for ..."
Martin, William FSE '16: "Causal Impact Analysis for ..."
Martins, Ruben FSE '16-DEMO: "Hunter: Next-Generation Code ..."
Mast, Lily FSE '16: "API Code Recommendation using ..."
Maurer, Ed FSE '16-DEMO: "Time-Travel Debugging for ..."
Mazinanian, Davood FSE '16-DOC: "Refactoring and Migration ..."
Mehandjiev, Nikolay FSE '16-JOURNAL: "Exploring Mobile End User ..."
Mei, Hong FSE '16: "Relationship-Aware Code Search ..." FSE '16: "Isomorphic Regression Testing: ..."
Meng, Xiaozhu FSE '16-SRC: "Fine-Grained Binary Code Authorship ..."
Mesbah, Ali FSE '16: "Discovering Bug Patterns in ..."
Meshman, Yuri FSE '16: "SMT-Based Verification of ..."
Mezini, Mira FSE '16: "Call Graph Construction for ..."
Middleton, Justin FSE '16-VAR: "Designing for Dystopia: Software ..."
Milicevic, Aleksandar FSE '16: "Build System with Lazy Retrieval ..." FSE '16: "Multi-representational Security ..."
Miucin, Svetozar FSE '16-DEMO: "End-to-End Memory Behavior ..."
Mockus, Audris FSE '16: "Effectiveness of Code Contribution: ..."
Monteiro, Felipe R. FSE '16-SRC: "Bounded Model Checking of ..."
Moran, Kevin FSE '16: "A Large-Scale Empirical Comparison ..."