Powered by
Conference Publishing Consulting

22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), November 16–21, 2014, Hong Kong, China

FSE 2014 – Author Index

Contents - Abstracts - Authors
Online Calendar - iCal File

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

Agha, Gul FSE'14: "Solving Complex Path Conditions ..."
Aiken, Alex FSE'14: "Apposcopy: Semantics-Based ..."
Allamanis, Miltiadis FSE'14: "Learning Natural Coding Conventions ..." FSE'14: "Mining Idioms from Source ..."
Amann, Sven FSE'14: "An Empirical Study on Program ..."
Anand, Saswat FSE'14: "Apposcopy: Semantics-Based ..."
Andreasen, Esben FSE'14: "SymJS: Automatic Symbolic ..."
Atlee, Joanne M. FSE'14: "Variable-Specific Resolutions ..."
Bae, SungGyeong FSE'14: "SAFEWAPI: Web API Misuse Detector ..."
Baltes, Sebastian FSE'14: "Sketches and Diagrams in Practice ..."
Banerjee, Abhijeet FSE'14: "Detecting Energy Bugs and ..."
Barr, Earl T. FSE'14: "Learning Natural Coding Conventions ..." FSE'14: "The Plastic Surgery Hypothesis ..."
Bavota, Gabriele FSE'14: "Automatic Generation of Release ..."
Baysal, Olga FSE'14: "No Issue Left Behind: Reducing ..."
Behrang, Farnaz FSE'14: "A Foundation for Refactoring ..."
Binkley, David FSE'14: "ORBS: Language-Independent ..."
Bird, Christian FSE'14: "Learning Natural Coding Conventions ..."
Bocovich, Cecylia FSE'14: "Variable-Specific Resolutions ..."
Bodden, Eric FSE'14: "FlowTwist: Efficient Context-Sensitive ..."
Böhme, Marcel FSE'14: "On the Efficiency of Automated ..."
Bosu, Amiangshu FSE'14: "Identifying the Characteristics ..."
Bräunlich, Christoph FSE'14: "Developers’ Code Context ..."
Brun, Yuriy FSE'14: "The Plastic Surgery Hypothesis ..." FSE'14: "Automatic Mining of Specifications ..."
Bunescu, Razvan FSE'14: "Learning to Rank Relevant ..."
Canfora, Gerardo FSE'14: "Automatic Generation of Release ..."
Carver, Jeffrey C. FSE'14: "Identifying the Characteristics ..."
Chattopadhyay, Sudipta FSE'14: "Detecting Energy Bugs and ..."
Cho, Hyunghun FSE'14: "SAFEWAPI: Web API Misuse Detector ..."
Chong, Lee Kee FSE'14: "Detecting Energy Bugs and ..."
Clause, James FSE'14: "Improving Oracle Quality by ..."
Cohen, Myra B. FSE'14: "Beyond the Rainbow: Self-Adaptive ..."
Cordy, Maxime FSE'14: "Counterexample Guided Abstraction ..."
Dabbish, Laura FSE'14: "Let's Talk About It: Evaluating ..."
Dawagne, Bruno FSE'14: "Counterexample Guided Abstraction ..."
Day, Nancy A. FSE'14: "Verifying CTL-Live Properties ..."
Devanbu, Premkumar FSE'14: "On the Localness of Software ..." FSE'14: "Panning Requirement Nuggets ..." FSE'14: "The Plastic Surgery Hypothesis ..." FSE'14: "Focus-Shifting Patterns of ..." FSE'14: "A Large Scale Study of Programming ..."
Dewey, Kyle FSE'14: "JSAI: A Static Analysis Platform ..."
Dhawan, Mohan FSE'14: "Efficient Runtime-Enforcement ..."
Diehl, Stephan FSE'14: "Sketches and Diagrams in Practice ..."
Dig, Danny FSE'14: "Retrofitting Concurrency for ..."
Dillig, Isil FSE'14: "Apposcopy: Semantics-Based ..."
Dinges, Peter FSE'14: "Solving Complex Path Conditions ..."
Di Penta, Massimiliano FSE'14: "Automatic Generation of Release ..."
Dwyer, Matthew B. FSE'14: "Beyond the Rainbow: Self-Adaptive ..."
Dyer, Robert FSE'14: "Mining Preconditions of APIs ..."
Elbaum, Sebastian FSE'14: "Techniques for Improving Regression ..."
Eloussi, Lamyaa FSE'14: "An Empirical Analysis of Flaky ..."
Elsner, Christoph FSE'14: "Architecture Challenges for ..."
Ernst, Michael D. FSE'14: "Are Mutants a Valid Substitute ..."
Eslamimehr, Mahdi FSE'14: "Sherlock: Scalable Deadlock ..."
Feng, Yu FSE'14: "Apposcopy: Semantics-Based ..."
Filieri, Antonio FSE'14: "Statistical Symbolic Execution ..."
Filkov, Vladimir FSE'14: "Focus-Shifting Patterns of ..." FSE'14: "A Large Scale Study of Programming ..."
Firestone, Justin FSE'14: "Beyond the Rainbow: Self-Adaptive ..."
Fraser, Gordon FSE'14: "Are Mutants a Valid Substitute ..."
Fritz, Thomas FSE'14: "Developers’ Code Context ..." FSE'14: "Software Developers’ Perceptions ..."
Ganapathy, Vinod FSE'14: "Efficient Runtime-Enforcement ..."
Garvin, Brady J. FSE'14: "Beyond the Rainbow: Self-Adaptive ..."
Geldenhuys, Jaco FSE'14: "Statistical Symbolic Execution ..."
Ghosh, Indradeep FSE'14: "SymJS: Automatic Symbolic ..."
Gibbons, Kevin FSE'14: "JSAI: A Static Analysis Platform ..."
Gligoric, Milos FSE'14: "Balancing Trade-Offs in Test-Suite ..."
Godfrey, Michael W. FSE'14: "No Issue Left Behind: Reducing ..."
Goffi, Alberto FSE'14: "Search-Based Synthesis of ..."
Gold, Nicolas FSE'14: "ORBS: Language-Independent ..."
Gorla, Alessandra FSE'14: "Search-Based Synthesis of ..."
Gulwani, Sumit FSE'14: "Feedback Generation for Performance ..."
Gyori, Alex FSE'14: "Balancing Trade-Offs in Test-Suite ..."
Hafiz, Munawar FSE'14: "Identifying the Characteristics ..." FSE'14: "A Foundation for Refactoring ..."
Hardekopf, Ben FSE'14: "JSAI: A Static Analysis Platform ..."
Hariri, Farah FSE'14: "An Empirical Analysis of Flaky ..."
Harman, Mark FSE'14: "ORBS: Language-Independent ..." FSE'14: "The Plastic Surgery Hypothesis ..."
Hassan, Ahmed E. FSE'14: "Prioritizing the Devices to ..."
Herbsleb, James FSE'14: "Let's Talk About It: Evaluating ..."
Hermann, Ben FSE'14: "FlowTwist: Efficient Context-Sensitive ..."
Heymans, Patrick FSE'14: "Counterexample Guided Abstraction ..."
Higo, Yoshiki FSE'14: "How Should We Measure Functional ..."
Hilley, Patrick FSE'14: "Identifying the Characteristics ..."
Holmes, Reid FSE'14: "No Issue Left Behind: Reducing ..." FSE'14: "Are Mutants a Valid Substitute ..."
Huo, Chen FSE'14: "Improving Oracle Quality by ..."
Inozemtseva, Laura FSE'14: "Are Mutants a Valid Substitute ..."
Islam, Syed FSE'14: "ORBS: Language-Independent ..."
Jaffar, Joxan FSE'14: "A Path-Sensitively Sliced ..."
Jalali, Darioush FSE'14: "Are Mutants a Valid Substitute ..."
Janni, Derek FSE'14: "Identifying the Characteristics ..."
Jha, Somesh FSE'14: "Efficient Runtime-Enforcement ..."
Jiang, Lingxiao FSE'14: "Vector Abstraction and Concretization ..."
Joiner, Richard FSE'14: "Efficient Runtime-Enforcement ..."
Just, René FSE'14: "Are Mutants a Valid Substitute ..."
Kästner, Christian FSE'14: "Building Call Graphs for Embedded ..."
Kashyap, Vineeth FSE'14: "JSAI: A Static Analysis Platform ..."
Kevic, Katja FSE'14: "Developers’ Code Context ..."
Khalid, Hammad FSE'14: "Prioritizing the Devices to ..."
Khoo, Siau-Cheng FSE'14: "Querying Sequential Software ..." FSE'14: "Vector Abstraction and Concretization ..."
Kiesling, Stephan FSE'14: "Enablers, Inhibitors, and ..."
Kim, Jindae FSE'14: "Automatically Generated Patches ..."
Kim, Sunghun FSE'14: "How We Get There: A Context-Guided ..." FSE'14: "Automatically Generated Patches ..."
Krinke, Jens FSE'14: "ORBS: Language-Independent ..."
Krka, Ivo FSE'14: "Automatic Mining of Specifications ..."
Kuefner, Ethan A. FSE'14: "JSAI: A Static Analysis Platform ..."
Kusumoto, Shinji FSE'14: "How Should We Measure Functional ..."
Lal, Akash FSE'14: "Powering the Static Driver ..."
Legay, Axel FSE'14: "Counterexample Guided Abstraction ..."
Lerch, Johannes FSE'14: "FlowTwist: Efficient Context-Sensitive ..."
Leucker, Martin FSE'14: "Counterexample Guided Abstraction ..."
Li, Guodong FSE'14: "SymJS: Automatic Symbolic ..."
Lim, Inho FSE'14: "SAFEWAPI: Web API Misuse Detector ..."
Lin, Yu FSE'14: "Retrofitting Concurrency for ..."
Liskin, Olga FSE'14: "Enablers, Inhibitors, and ..."
Liu, Chang FSE'14: "Learning to Rank Relevant ..."
Liu, Peng FSE'14: "Semantics-Based Obfuscation-Resilient ..." FSE'14: "Grail: Context-Aware Fixing ..."
Lohmann, Daniel FSE'14: "Architecture Challenges for ..."
Lou, Jian-Guang FSE'14: "Querying Sequential Software ..."
Lu, Shan FSE'14: "AI: A Lightweight System for ..."
Luo, Lannan FSE'14: "Semantics-Based Obfuscation-Resilient ..."
Luo, Qingzhou FSE'14: "An Empirical Analysis of Flaky ..."
Mahmood, Riyadh FSE'14: "EvoDroid: Segmented Evolutionary ..."
Malek, Sam FSE'14: "EvoDroid: Segmented Evolutionary ..."
Mani, Senthil FSE'14: "Panning Requirement Nuggets ..."
Marcus, Andrian FSE'14: "Automatic Generation of Release ..."
Marinov, Darko FSE'14: "Balancing Trade-Offs in Test-Suite ..." FSE'14: "An Empirical Analysis of Flaky ..."
Mattavelli, Andrea FSE'14: "Search-Based Synthesis of ..."
Mazinanian, Davood FSE'14: "Discovering Refactoring Opportunities ..."
Medvidovic, Nenad FSE'14: "Automatic Mining of Specifications ..."
Mesbah, Ali FSE'14: "Discovering Refactoring Opportunities ..."
Meyer, André N. FSE'14: "Software Developers’ Perceptions ..."
Mezini, Mira FSE'14: "FlowTwist: Efficient Context-Sensitive ..." FSE'14: "An Empirical Study on Program ..."
Milea, Narcisa Andreea FSE'14: "Vector Abstraction and Concretization ..."
Ming, Jiang FSE'14: "Semantics-Based Obfuscation-Resilient ..."
Mirzaei, Nariman FSE'14: "EvoDroid: Segmented Evolutionary ..."
Monperrus, Martin FSE'14: "Test Case Purification for ..."
Moreno, Laura FSE'14: "Automatic Generation of Release ..."
Murali, Vijayaraghavan FSE'14: "A Path-Sensitively Sliced ..."
Murphy, Gail C. FSE'14: "Software Developers’ Perceptions ..."
Nagappan, Meiyappan FSE'14: "Prioritizing the Devices to ..."
Nguyen, Hoan Anh FSE'14: "Mining Preconditions of APIs ..."
Nguyen, Hung Viet FSE'14: "Building Call Graphs for Embedded ..."
Nguyen, Tien N. FSE'14: "Building Call Graphs for Embedded ..." FSE'14: "Mining Preconditions of APIs ..."
Okano, Aaron FSE'14: "Focus-Shifting Patterns of ..."
Oliveto, Rocco FSE'14: "Automatic Generation of Release ..."
Overbey, Jeffrey L. FSE'14: "A Foundation for Refactoring ..."
Palsberg, Jens FSE'14: "Sherlock: Scalable Deadlock ..."
Păsăreanu, Corina S. FSE'14: "Statistical Symbolic Execution ..."
Paul, Soumya FSE'14: "On the Efficiency of Automated ..."
Penix, John FSE'14: "Techniques for Improving Regression ..."
Pezzè, Mauro FSE'14: "Search-Based Synthesis of ..."
Pham, Raphael FSE'14: "Enablers, Inhibitors, and ..."
Posnett, Daryl FSE'14: "A Large Scale Study of Programming ..."
Proksch, Sebastian FSE'14: "An Empirical Study on Program ..."
Qadeer, Shaz FSE'14: "Powering the Static Driver ..."
Qi, Shanxiang FSE'14: "AI: A Lightweight System for ..."
Radiček, Ivan FSE'14: "Feedback Generation for Performance ..."
Radoi, Cosmin FSE'14: "Retrofitting Concurrency for ..."
Rajan, Hridesh FSE'14: "Mining Preconditions of APIs ..."
Ray, Baishakhi FSE'14: "A Large Scale Study of Programming ..."
Ren, Jinglei FSE'14: "AI: A Lightweight System for ..."
Reps, Thomas FSE'14: "Efficient Runtime-Enforcement ..."
Robillard, Martin P. FSE'14: "Selection and Presentation ..."
Rothermel, Gregg FSE'14: "Techniques for Improving Regression ..."
Roychoudhury, Abhik FSE'14: "Detecting Energy Bugs and ..."
Ryu, Sukyoung FSE'14: "SAFEWAPI: Web API Misuse Detector ..."
Salvaneschi, Guido FSE'14: "An Empirical Study on Program ..."
Sankaranarayanan, Karthik FSE'14: "Panning Requirement Nuggets ..."
Sarracino, John FSE'14: "JSAI: A Static Analysis Platform ..."
Sarro, Federica FSE'14: "The Plastic Surgery Hypothesis ..."
Schneider, Kurt FSE'14: "Enablers, Inhibitors, and ..."
Schobbens, Pierre-Yves FSE'14: "Counterexample Guided Abstraction ..."
Schultis, Klaus-Benedikt FSE'14: "Architecture Challenges for ..."
Seo, Hyunmin FSE'14: "How We Get There: A Context-Guided ..."
Shepherd, David C. FSE'14: "Developers’ Code Context ..."
Shi, August FSE'14: "Balancing Trade-Offs in Test-Suite ..."
Shihab, Emad FSE'14: "Prioritizing the Devices to ..."
Singer, Leif FSE'14: "Enablers, Inhibitors, and ..."
Sinha, Vibha Singhal FSE'14: "Panning Requirement Nuggets ..."
Snipes, Will FSE'14: "Developers’ Code Context ..."
Su, Zhendong FSE'14: "On the Localness of Software ..."
Sun, Chengnian FSE'14: "Querying Sequential Software ..."
Sutton, Charles FSE'14: "Learning Natural Coding Conventions ..." FSE'14: "Mining Idioms from Source ..."
Swanson, Jacob FSE'14: "Beyond the Rainbow: Self-Adaptive ..."
Tao, Yida FSE'14: "Automatically Generated Patches ..."
Tonella, Paolo FSE'14: "Search-Based Synthesis of ..."
Tripp, Omer FSE'14: "Grail: Context-Aware Fixing ..."
Tsantalis, Nikolaos FSE'14: "Discovering Refactoring Opportunities ..."
Tsay, Jason FSE'14: "Let's Talk About It: Evaluating ..."
Tu, Zhaopeng FSE'14: "On the Localness of Software ..."
Vakili, Amirhossein FSE'14: "Verifying CTL-Live Properties ..."
Visser, Willem FSE'14: "Statistical Symbolic Execution ..."
Wagner, John FSE'14: "JSAI: A Static Analysis Platform ..."
Wang, Qiang FSE'14: "Querying Sequential Software ..."
Wiedermann, Ben FSE'14: "JSAI: A Static Analysis Platform ..."
Wu, Dinghao FSE'14: "Semantics-Based Obfuscation-Resilient ..."
Wu, Yongwei FSE'14: "AI: A Lightweight System for ..."
Xu, Chang FSE'14: "Automatically Generated Patches ..."
Xuan, Jifeng FSE'14: "Test Case Purification for ..."
Xuan, Qi FSE'14: "Focus-Shifting Patterns of ..."
Ye, Xin FSE'14: "Learning to Rank Relevant ..."
Ying, Annie T. T. FSE'14: "Selection and Presentation ..."
Yoo, Shin FSE'14: "ORBS: Language-Independent ..."
Zaytsev, Andrey FSE'14: "Balancing Trade-Offs in Test-Suite ..."
Zhang, Charles FSE'14: "Grail: Context-Aware Fixing ..."
Zhang, Dongmei FSE'14: "Querying Sequential Software ..."
Zhang, Haidong FSE'14: "Querying Sequential Software ..."
Zhang, Hongyu FSE'14: "Querying Sequential Software ..."
Zhang, Mingxing FSE'14: "AI: A Lightweight System for ..."
Zheng, Weimin FSE'14: "AI: A Lightweight System for ..."
Zhu, Sencun FSE'14: "Semantics-Based Obfuscation-Resilient ..."
Zimmermann, Thomas FSE'14: "Software Developers’ Perceptions ..."
Zuleger, Florian FSE'14: "Feedback Generation for Performance ..."

207 authors

proc time: 0.81