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