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 ..."
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 ..."
Bae, SungGyeong FSE'14: "SAFEWAPI: Web API ..."
Baltes, Sebastian FSE'14: "Sketches and Diagrams ..."
Banerjee, Abhijeet 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: ..."
Behrang, Farnaz FSE'14: "A Foundation for ..."
Binkley, David FSE'14: "ORBS: Language-Independent ..."
Bird, Christian FSE'14: "Learning Natural ..."
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 ..."
Brun, Yuriy FSE'14: "The Plastic Surgery ..." FSE'14: "Automatic Mining ..."
Bunescu, Razvan FSE'14: "Learning to Rank ..."
Canfora, Gerardo FSE'14: "Automatic Generation ..."
Carver, Jeffrey C. FSE'14: "Identifying the ..."
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 ..."
Cohen, Myra B. FSE'14: "Beyond the Rainbow: ..."
Cordy, Maxime FSE'14: "Counterexample Guided ..."
Dabbish, Laura FSE'14: "Let's Talk About ..."
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 ..."
Dewey, Kyle FSE'14: "JSAI: A Static Analysis ..."
Dhawan, Mohan FSE'14: "Efficient Runtime-Enforcement ..."
Diehl, Stephan FSE'14: "Sketches and Diagrams ..."
Dig, Danny FSE'14: "Retrofitting Concurrency ..."
Dillig, Isil FSE'14: "Apposcopy: Semantics-Based ..."
Dinges, Peter FSE'14: "Solving Complex ..."
Di Penta, Massimiliano FSE'14: "Automatic Generation ..."
Dwyer, Matthew B. FSE'14: "Beyond the Rainbow: ..."
Dyer, Robert FSE'14: "Mining Preconditions ..."
Elbaum, Sebastian FSE'14: "Techniques for Improving ..."
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 ..."
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: ..."
Fraser, Gordon FSE'14: "Are Mutants a Valid ..."
Fritz, Thomas FSE'14: "Developers’ Code ..." FSE'14: "Software Developers’ ..."
Ganapathy, Vinod FSE'14: "Efficient Runtime-Enforcement ..."
Garvin, Brady J. FSE'14: "Beyond the Rainbow: ..."
Geldenhuys, Jaco FSE'14: "Statistical Symbolic ..."
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 ..."
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 ..."
Herbsleb, James FSE'14: "Let's Talk About ..."
Hermann, Ben FSE'14: "FlowTwist: Efficient ..."
Heymans, Patrick FSE'14: "Counterexample Guided ..."
Higo, Yoshiki FSE'14: "How Should We Measure ..."
Hilley, Patrick FSE'14: "Identifying the ..."
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 ..."
Joiner, Richard FSE'14: "Efficient Runtime-Enforcement ..."
Just, René FSE'14: "Are Mutants a Valid ..."
Kästner, Christian FSE'14: "Building Call Graphs ..."
Kashyap, Vineeth FSE'14: "JSAI: A Static Analysis ..."
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, Sunghun FSE'14: "How We Get There: ..." FSE'14: "Automatically Generated ..."
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 ..."
Legay, Axel FSE'14: "Counterexample Guided ..."
Lerch, Johannes FSE'14: "FlowTwist: Efficient ..."
Leucker, Martin FSE'14: "Counterexample Guided ..."
Li, Guodong FSE'14: "SymJS: Automatic ..."
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, Peng FSE'14: "Semantics-Based ..." FSE'14: "Grail: Context-Aware ..."
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 ..."
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 ..."
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 ..."
Mirzaei, Nariman FSE'14: "EvoDroid: Segmented ..."
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’ ..."
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 ..."
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 ..."
Păsăreanu, Corina S. FSE'14: "Statistical Symbolic ..."
Paul, Soumya FSE'14: "On the Efficiency ..."
Penix, John FSE'14: "Techniques for Improving ..."
Pezzè, Mauro FSE'14: "Search-Based Synthesis ..."
Pham, Raphael FSE'14: "Enablers, Inhibitors, ..."
Posnett, Daryl FSE'14: "A Large Scale Study ..."
Proksch, Sebastian FSE'14: "An Empirical Study ..."
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 ..."
Rajan, Hridesh FSE'14: "Mining Preconditions ..."
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 ..."
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 ..."
Sankaranarayanan, Karthik FSE'14: "Panning Requirement ..."
Sarracino, John FSE'14: "JSAI: A Static Analysis ..."
Sarro, Federica FSE'14: "The Plastic Surgery ..."
Schneider, Kurt FSE'14: "Enablers, Inhibitors, ..."
Schobbens, Pierre-Yves FSE'14: "Counterexample Guided ..."
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 ..."
Su, Zhendong FSE'14: "On the Localness ..."
Sun, Chengnian FSE'14: "Querying Sequential ..."
Sutton, Charles FSE'14: "Learning Natural ..." FSE'14: "Mining Idioms from ..."
Swanson, Jacob FSE'14: "Beyond the Rainbow: ..."
Tao, Yida FSE'14: "Automatically Generated ..."
Tonella, Paolo FSE'14: "Search-Based Synthesis ..."
Tripp, Omer FSE'14: "Grail: Context-Aware ..."
Tsantalis, Nikolaos FSE'14: "Discovering Refactoring ..."
Tsay, Jason FSE'14: "Let's Talk About ..."
Tu, Zhaopeng FSE'14: "On the Localness ..."
Vakili, Amirhossein FSE'14: "Verifying CTL-Live ..."
Visser, Willem FSE'14: "Statistical Symbolic ..."
Wagner, John FSE'14: "JSAI: A Static Analysis ..."
Wang, Qiang FSE'14: "Querying Sequential ..."
Wiedermann, Ben FSE'14: "JSAI: A Static Analysis ..."
Wu, Dinghao FSE'14: "Semantics-Based ..."
Wu, Yongwei FSE'14: "AI: A Lightweight ..."
Xu, Chang FSE'14: "Automatically Generated ..."
Xuan, Jifeng FSE'14: "Test Case Purification ..."
Xuan, Qi FSE'14: "Focus-Shifting Patterns ..."
Ye, Xin FSE'14: "Learning to Rank ..."
Ying, Annie T. T. FSE'14: "Selection and Presentation ..."
Yoo, Shin FSE'14: "ORBS: Language-Independent ..."
Zaytsev, Andrey FSE'14: "Balancing Trade-Offs ..."
Zhang, Charles FSE'14: "Grail: Context-Aware ..."
Zhang, Dongmei FSE'14: "Querying Sequential ..."
Zhang, Haidong FSE'14: "Querying Sequential ..."
Zhang, Hongyu FSE'14: "Querying Sequential ..."
Zhang, Mingxing FSE'14: "AI: A Lightweight ..."
Zheng, Weimin FSE'14: "AI: A Lightweight ..."
Zhu, Sencun FSE'14: "Semantics-Based ..."
Zimmermann, Thomas FSE'14: "Software Developers’ ..."
Zuleger, Florian FSE'14: "Feedback Generation ..."

207 authors

proc time: 0.86