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 ..."
Aiken, Alex FSE'14: "Apposcopy: Semantics-Based ..."
Allamanis, Miltiadis FSE'14: "Learning Natural ..." FSE'14: "Mining Idioms from ..."
Alves, Everton L. G. FSE'14-DEMO: "RefDistiller: A ..."
Amann, Sven FSE'14: "An Empirical Study ..."
Anand, Saswat FSE'14: "Apposcopy: Semantics-Based ..."
Andreasen, Esben FSE'14: "SymJS: Automatic ..."
Atlee, Joanne M. FSE'14: "Variable-Specific ..."
Autili, Marco FSE'14-DEMO: "CHOReOSynt: Enforcing ..."
Bae, SungGyeong FSE'14: "SAFEWAPI: Web API ..."
Baltes, Sebastian FSE'14-DEMO: "Linking Sketches ..." FSE'14: "Sketches and Diagrams ..."
Banerjee, Abhijeet FSE'14-DOC: "Static Analysis ..." FSE'14: "Detecting Energy ..."
Barr, Earl T. FSE'14: "Learning Natural ..." FSE'14: "The Plastic Surgery ..."
Bavota, Gabriele FSE'14: "Automatic Generation ..."
Baysal, Olga FSE'14: "No Issue Left Behind: ..."
Becker, Steffen FSE'14-DEMO: "A Tool Suite for ..."
Behrang, Farnaz FSE'14: "A Foundation for ..."
Behringer, Benjamin FSE'14-DOC: "Integrating Approaches ..."
Bell, Jonathan FSE'14-DOC: "Detecting, Isolating, ..."
Binkley, David FSE'14: "ORBS: Language-Independent ..."
Bird, Christian FSE'14: "Learning Natural ..."
Blanc, Xavier FSE'14-VC: "Speculative Reprogramming ..."
Bocovich, Cecylia FSE'14: "Variable-Specific ..."
Bodden, Eric FSE'14: "FlowTwist: Efficient ..."
Böhme, Marcel FSE'14: "On the Efficiency ..."
Bosu, Amiangshu FSE'14: "Identifying the ..."
Bräunlich, Christoph FSE'14: "Developers’ Code ..."
Brünink, Marc FSE'14-DOC: "Autonomous Compliance ..."
Brun, Yuriy FSE'14: "The Plastic Surgery ..." FSE'14: "Automatic Mining ..."
Bunescu, Razvan FSE'14: "Learning to Rank ..."
Cai, Yuanfang FSE'14-DEMO: "Titan: A Toolset ..."
Canfora, Gerardo FSE'14: "Automatic Generation ..."
Carver, Jeffrey C. FSE'14: "Identifying the ..."
Chandra, Satish FSE'14-INDUSTRY: "Are You Getting ..."
Chattopadhyay, Sudipta FSE'14: "Detecting Energy ..."
Cho, Hyunghun FSE'14: "SAFEWAPI: Web API ..."
Chong, Lee Kee FSE'14: "Detecting Energy ..."
Clause, James FSE'14: "Improving Oracle ..."
Cleland-Huang, Jane FSE'14-DEMO: "Archie: A Tool for ..." FSE'14-VC: "Achieving Lightweight ..."
Cohen, Myra B. FSE'14: "Beyond the Rainbow: ..."
Cordy, Maxime FSE'14: "Counterexample Guided ..." FSE'14-VC: "A Variability Perspective ..."
Dabbish, Laura FSE'14: "Let's Talk About ..."
Damian, Daniela FSE'14-VC: "Methodology and ..."
Dawagne, Bruno FSE'14: "Counterexample Guided ..."
Day, Nancy A. FSE'14: "Verifying CTL-Live ..."
Devanbu, Premkumar FSE'14: "On the Localness ..." FSE'14: "Panning Requirement ..." FSE'14: "The Plastic Surgery ..." FSE'14: "Focus-Shifting Patterns ..." FSE'14: "A Large Scale Study ..."
Devroey, Xavier FSE'14-VC: "A Variability Perspective ..."
Dewey, Kyle FSE'14: "JSAI: A Static Analysis ..."
Dhawan, Mohan FSE'14: "Efficient Runtime-Enforcement ..."
Diehl, Stephan FSE'14-DEMO: "Linking Sketches ..." FSE'14: "Sketches and Diagrams ..."
Dig, Danny FSE'14-DEMO: "BumbleBee: A Refactoring ..." FSE'14: "Retrofitting Concurrency ..."
Dillig, Isil FSE'14: "Apposcopy: Semantics-Based ..."
Dinges, Peter FSE'14: "Solving Complex ..."
Di Penta, Massimiliano FSE'14: "Automatic Generation ..."
Di Ruscio, Davide FSE'14-DEMO: "CHOReOSynt: Enforcing ..."
Di Salle, Amleto FSE'14-DEMO: "CHOReOSynt: Enforcing ..."
Dong, Jin Song FSE'14-DEMO: "RaPiD: A Toolkit ..."
Dwyer, Matthew B. FSE'14: "Beyond the Rainbow: ..."
Dyer, Robert FSE'14: "Mining Preconditions ..."
Dziwok, Stefan FSE'14-DEMO: "A Tool Suite for ..."
Elbaum, Sebastian FSE'14: "Techniques for Improving ..." FSE'14-VC: "Known Unknowns: ..."
Eloussi, Lamyaa FSE'14: "An Empirical Analysis ..."
Elsner, Christoph FSE'14: "Architecture Challenges ..."
Ernst, Michael D. FSE'14: "Are Mutants a Valid ..."
Eslamimehr, Mahdi FSE'14: "Sherlock: Scalable ..."
Fakhry, Ahmed FSE'14-DEMO: "Archie: A Tool for ..."
Feng, Yu FSE'14: "Apposcopy: Semantics-Based ..."
Filieri, Antonio FSE'14: "Statistical Symbolic ..."
Filkov, Vladimir FSE'14: "Focus-Shifting Patterns ..." FSE'14: "A Large Scale Study ..."
Firestone, Justin FSE'14: "Beyond the Rainbow: ..."
Fischer, Bernd FSE'14-DEMO: "ConceptCloud: A ..."
Fraser, Gordon FSE'14: "Are Mutants a Valid ..."
Fritz, Thomas FSE'14: "Developers’ Code ..." FSE'14: "Software Developers’ ..."
Galeotti, Juan Pablo FSE'14-DEMO: "XMLMate: Evolutionary ..."
Ganapathy, Vinod FSE'14: "Efficient Runtime-Enforcement ..."
Gao, Zheng FSE'14-DOC: "Numerical Program ..."
Garvin, Brady J. FSE'14: "Beyond the Rainbow: ..."
Geldenhuys, Jaco FSE'14: "Statistical Symbolic ..."
Gerking, Christopher FSE'14-DEMO: "A Tool Suite for ..."
Ghosh, Indradeep FSE'14: "SymJS: Automatic ..."
Gibbons, Kevin FSE'14: "JSAI: A Static Analysis ..."
Gligoric, Milos FSE'14: "Balancing Trade-Offs ..."
Godfrey, Michael W. FSE'14: "No Issue Left Behind: ..."
Goffi, Alberto FSE'14: "Search-Based Synthesis ..."
Gold, Nicolas FSE'14: "ORBS: Language-Independent ..."
Gorla, Alessandra FSE'14: "Search-Based Synthesis ..."
Grechko, Artem FSE'14-DEMO: "Archie: A Tool for ..."
Greene, Gillian J. FSE'14-DEMO: "ConceptCloud: A ..."
Gu, Ming FSE'14-DEMO: "Tsmart-GalsBlock: ..."
Gui, Lin FSE'14-DEMO: "RaPiD: A Toolkit ..."
Gulwani, Sumit FSE'14: "Feedback Generation ..."
Gyori, Alex FSE'14: "Balancing Trade-Offs ..."
Hafiz, Munawar FSE'14: "Identifying the ..." FSE'14: "A Foundation for ..."
Hardekopf, Ben FSE'14: "JSAI: A Static Analysis ..."
Hariri, Farah FSE'14: "An Empirical Analysis ..."
Harman, Mark FSE'14: "ORBS: Language-Independent ..." FSE'14: "The Plastic Surgery ..."
Hassan, Ahmed E. FSE'14: "Prioritizing the ..."
Havrikov, Nikolas FSE'14-DEMO: "XMLMate: Evolutionary ..."
He, Jifeng FSE'14-DEMO: "Aalta: An LTL Satisfiability ..."
Heinzemann, Christian FSE'14-DEMO: "A Tool Suite for ..."
Herbsleb, James FSE'14: "Let's Talk About ..."
Hermann, Ben FSE'14: "FlowTwist: Efficient ..."
Hermans, Felienne FSE'14-DEMO: "BumbleBee: A Refactoring ..."
Heymans, Patrick FSE'14: "Counterexample Guided ..."
Higo, Yoshiki FSE'14: "How Should We Measure ..."
Hilley, Patrick FSE'14: "Identifying the ..."
Höschele, Matthias FSE'14-DEMO: "XMLMate: Evolutionary ..."
Holmes, Reid FSE'14: "No Issue Left Behind: ..." FSE'14: "Are Mutants a Valid ..."
Huo, Chen FSE'14: "Improving Oracle ..."
Inozemtseva, Laura FSE'14: "Are Mutants a Valid ..."
Islam, Syed FSE'14: "ORBS: Language-Independent ..."
Jaffar, Joxan FSE'14: "A Path-Sensitively ..."
Jalali, Darioush FSE'14: "Are Mutants a Valid ..."
Janni, Derek FSE'14: "Identifying the ..."
Jha, Somesh FSE'14: "Efficient Runtime-Enforcement ..."
Jiang, Lingxiao FSE'14: "Vector Abstraction ..."
Jiang, Yu FSE'14-DEMO: "Tsmart-GalsBlock: ..."
Jørgensen, Magne FSE'14-INVITED: "Ten Years with Evidence-Based ..."
Joiner, Richard FSE'14: "Efficient Runtime-Enforcement ..."
Joseph, Harry Raymond FSE'14-SRC: "Software Programmer ..."
Just, René FSE'14: "Are Mutants a Valid ..."
Kästner, Christian FSE'14: "Building Call Graphs ..."
Kan, Shuanglong FSE'14-DOC: "Traceability and ..."
Kashyap, Vineeth FSE'14: "JSAI: A Static Analysis ..."
Kasi, Bakhtiar Khan FSE'14-DOC: "Minimizing Software ..."
Kazman, Rick FSE'14-DEMO: "Titan: A Toolset ..."
Kevic, Katja FSE'14: "Developers’ Code ..."
Khalid, Hammad FSE'14: "Prioritizing the ..."
Khoo, Siau-Cheng FSE'14: "Querying Sequential ..." FSE'14: "Vector Abstraction ..."
Kiesling, Stephan FSE'14: "Enablers, Inhibitors, ..."
Kim, Jindae FSE'14: "Automatically Generated ..."
Kim, Miryung FSE'14-DEMO: "Critics: An Interactive ..." FSE'14-DEMO: "RefDistiller: A ..."
Kim, Sunghun FSE'14: "How We Get There: ..." FSE'14: "Automatically Generated ..."
Kochhar, Pavneet Singh FSE'14-DEMO: "BugLocalizer: Integrated ..."
Krinke, Jens FSE'14: "ORBS: Language-Independent ..."
Krka, Ivo FSE'14: "Automatic Mining ..."
Kuefner, Ethan A. FSE'14: "JSAI: A Static Analysis ..."
Kusumoto, Shinji FSE'14: "How Should We Measure ..."
Lal, Akash FSE'14: "Powering the Static ..."
Lam, Monica S. FSE'14-KEYNOTE: "Omlet: A Revolution ..."
Le, Tien-Duy B. FSE'14-DEMO: "BugLocalizer: Integrated ..."
Legay, Axel FSE'14: "Counterexample Guided ..." FSE'14-VC: "A Variability Perspective ..."
Lerch, Johannes FSE'14: "FlowTwist: Efficient ..."
Leucker, Martin FSE'14: "Counterexample Guided ..."
Li, Guodong FSE'14: "SymJS: Automatic ..."
Li, Jianwen FSE'14-DEMO: "Aalta: An LTL Satisfiability ..."
Lim, Inho FSE'14: "SAFEWAPI: Web API ..."
Lin, Yu FSE'14: "Retrofitting Concurrency ..."
Liskin, Olga FSE'14: "Enablers, Inhibitors, ..."
Liu, Chang FSE'14: "Learning to Rank ..."
Liu, Han FSE'14-DEMO: "Tsmart-GalsBlock: ..."
Liu, Peng FSE'14: "Semantics-Based ..." FSE'14: "Grail: Context-Aware ..."
Liu, Yang FSE'14-DEMO: "RaPiD: A Toolkit ..."
Llerena, Yamilet R. Serrano FSE'14-DOC: "Dealing with Uncertainty ..."
Lo, David FSE'14-DEMO: "BugLocalizer: Integrated ..."
Lohmann, Daniel FSE'14: "Architecture Challenges ..."
Lou, Jian-Guang FSE'14: "Querying Sequential ..."
Lu, Shan FSE'14: "AI: A Lightweight ..."
Luo, Lannan FSE'14: "Semantics-Based ..."
Luo, Qingzhou FSE'14: "An Empirical Analysis ..."
Mäder, Patrick FSE'14-VC: "Achieving Lightweight ..."
Mahmood, Riyadh FSE'14: "EvoDroid: Segmented ..."
Malek, Sam FSE'14: "EvoDroid: Segmented ..."
Mani, Senthil FSE'14: "Panning Requirement ..."
Marcus, Andrian FSE'14: "Automatic Generation ..."
Marinov, Darko FSE'14: "Balancing Trade-Offs ..." FSE'14: "An Empirical Analysis ..."
Marmsoler, Diego FSE'14-SRC: "Towards a Theory ..."
Mattavelli, Andrea FSE'14: "Search-Based Synthesis ..."
Mazinanian, Davood FSE'14: "Discovering Refactoring ..."
Medvidovic, Nenad FSE'14: "Automatic Mining ..."
Mesbah, Ali FSE'14: "Discovering Refactoring ..."
Meyer, André N. FSE'14: "Software Developers’ ..."
Mezini, Mira FSE'14: "FlowTwist: Efficient ..." FSE'14: "An Empirical Study ..."
Milea, Narcisa Andreea FSE'14: "Vector Abstraction ..."
Ming, Jiang FSE'14: "Semantics-Based ..."
Mirakhorli, Mehdi FSE'14-DEMO: "Archie: A Tool for ..."
Mirzaei, Nariman FSE'14: "EvoDroid: Segmented ..."
Mockus, Audris FSE'14-VC: "Mining Micro-practices ..."
Monperrus, Martin FSE'14: "Test Case Purification ..."
Moreno, Laura FSE'14: "Automatic Generation ..."
Murali, Vijayaraghavan FSE'14: "A Path-Sensitively ..."
Murphy, Gail C. FSE'14: "Software Developers’ ..." FSE'14-VC: "Speculative Reprogramming ..."
Murphy-Hill, Emerson FSE'14-VC: "Speculative Reprogramming ..."
Nagappan, Meiyappan FSE'14: "Prioritizing the ..."
Nguyen, Hoan Anh FSE'14: "Mining Preconditions ..."
Nguyen, Hung Viet FSE'14: "Building Call Graphs ..."
Nguyen, Tien N. FSE'14: "Building Call Graphs ..." FSE'14: "Mining Preconditions ..."
Nguyen, Truong Khanh FSE'14-DEMO: "RaPiD: A Toolkit ..."
Okano, Aaron FSE'14: "Focus-Shifting Patterns ..."
Oliveto, Rocco FSE'14: "Automatic Generation ..."
Overbey, Jeffrey L. FSE'14: "A Foundation for ..."
Palsberg, Jens FSE'14: "Sherlock: Scalable ..."
Palyart, Marc FSE'14-VC: "Speculative Reprogramming ..."
Papadakis, Mike FSE'14-VC: "A Variability Perspective ..."
Păsăreanu, Corina S. FSE'14: "Statistical Symbolic ..."
Paul, Soumya FSE'14: "On the Efficiency ..."
Penix, John FSE'14-INDUSTRY: "Experiences Developing ..." FSE'14: "Techniques for Improving ..."
Perrouin, Gilles FSE'14-VC: "A Variability Perspective ..."
Perucci, Alexander FSE'14-DEMO: "CHOReOSynt: Enforcing ..."
Petre, Marian FSE'14-VC: "Methodology and ..."
Pezzè, Mauro FSE'14: "Search-Based Synthesis ..."
Pham, Raphael FSE'14-DOC: "Improving the Software ..." FSE'14: "Enablers, Inhibitors, ..."
Pohlmann, Uwe FSE'14-DEMO: "A Tool Suite for ..."
Posnett, Daryl FSE'14: "A Large Scale Study ..."
Proksch, Sebastian FSE'14: "An Empirical Study ..."
Pu, Geguang FSE'14-DEMO: "Aalta: An LTL Satisfiability ..."
Qadeer, Shaz FSE'14: "Powering the Static ..."
Qi, Shanxiang FSE'14: "AI: A Lightweight ..."
Radiček, Ivan FSE'14: "Feedback Generation ..."
Radoi, Cosmin FSE'14: "Retrofitting Concurrency ..."
Rahimi, Mona FSE'14-VC: "Achieving Lightweight ..."
Rajan, Hridesh FSE'14: "Mining Preconditions ..."
Ramanathan, Murali Krishna FSE'14-DEMO: "Omen+: A Precise ..."
Ray, Baishakhi FSE'14: "A Large Scale Study ..."
Ren, Jinglei FSE'14: "AI: A Lightweight ..."
Reps, Thomas FSE'14: "Efficient Runtime-Enforcement ..."
Robillard, Martin P. FSE'14: "Selection and Presentation ..."
Rosenblum, David S. FSE'14-VC: "Known Unknowns: ..."
Rothermel, Gregg FSE'14: "Techniques for Improving ..."
Roychoudhury, Abhik FSE'14: "Detecting Energy ..."
Ryu, Sukyoung FSE'14: "SAFEWAPI: Web API ..."
Salvaneschi, Guido FSE'14: "An Empirical Study ..."
Samak, Malavika FSE'14-DEMO: "Omen+: A Precise ..."
Sankaranarayanan, Karthik FSE'14: "Panning Requirement ..."
Sarracino, John FSE'14: "JSAI: A Static Analysis ..."
Sarro, Federica FSE'14: "The Plastic Surgery ..."
Schmitz, Peter FSE'14-DEMO: "Linking Sketches ..."
Schneider, Kurt FSE'14: "Enablers, Inhibitors, ..."
Schobbens, Pierre-Yves FSE'14: "Counterexample Guided ..." FSE'14-VC: "A Variability Perspective ..."
Schultis, Klaus-Benedikt FSE'14: "Architecture Challenges ..."
Seo, Hyunmin FSE'14: "How We Get There: ..."
Shepherd, David C. FSE'14: "Developers’ Code ..."
Shi, August FSE'14: "Balancing Trade-Offs ..."
Shihab, Emad FSE'14: "Prioritizing the ..."
Singer, Leif FSE'14: "Enablers, Inhibitors, ..."
Sinha, Vibha Singhal FSE'14: "Panning Requirement ..."
Snipes, Will FSE'14: "Developers’ Code ..."
Song, Myoungkyu FSE'14-DEMO: "Critics: An Interactive ..." FSE'14-DEMO: "RefDistiller: A ..."
Song, Shuo FSE'14-SRC: "Estimating the Effectiveness ..."
Song, Xiaoyu FSE'14-DEMO: "Tsmart-GalsBlock: ..."
Su, Zhendong FSE'14: "On the Localness ..."
Sun, Chengnian FSE'14-DEMO: "Tsmart-GalsBlock: ..." FSE'14: "Querying Sequential ..."
Sun, Jiaguang FSE'14-DEMO: "Tsmart-GalsBlock: ..."
Sun, Jun FSE'14-DEMO: "RaPiD: A Toolkit ..."
Sutton, Charles FSE'14: "Learning Natural ..." FSE'14: "Mining Idioms from ..."
Swanson, Jacob FSE'14: "Beyond the Rainbow: ..."
Tao, Yida FSE'14: "Automatically Generated ..."