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..."
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..."
Bae, SungGyeong FSE'14: "SAFEWAPI: Web A..."
Baltes, Sebastian FSE'14: "Sketches and Di..."
Banerjee, Abhijeet 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..."
Behrang, Farnaz FSE'14: "A Foundation fo..."
Binkley, David FSE'14: "ORBS: Language-..."
Bird, Christian FSE'14: "Learning Natura..."
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..."
Brun, Yuriy FSE'14: "The Plastic Sur..." FSE'14: "Automatic Minin..."
Bunescu, Razvan FSE'14: "Learning to Ran..."
Canfora, Gerardo FSE'14: "Automatic Gener..."
Carver, Jeffrey C. FSE'14: "Identifying the..."
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..."
Cohen, Myra B. FSE'14: "Beyond the Rain..."
Cordy, Maxime FSE'14: "Counterexample ..."
Dabbish, Laura FSE'14: "Let's Talk Abou..."
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..."
Dewey, Kyle FSE'14: "JSAI: A Static ..."
Dhawan, Mohan FSE'14: "Efficient Runti..."
Diehl, Stephan FSE'14: "Sketches and Di..."
Dig, Danny FSE'14: "Retrofitting Co..."
Dillig, Isil FSE'14: "Apposcopy: Sema..."
Dinges, Peter FSE'14: "Solving Complex..."
Di Penta, Massimiliano FSE'14: "Automatic Gener..."
Dwyer, Matthew B. FSE'14: "Beyond the Rain..."
Dyer, Robert FSE'14: "Mining Precondi..."
Elbaum, Sebastian FSE'14: "Techniques for ..."
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..."
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..."
Fraser, Gordon FSE'14: "Are Mutants a V..."
Fritz, Thomas FSE'14: "Developers’ C..." FSE'14: "Software Develo..."
Ganapathy, Vinod FSE'14: "Efficient Runti..."
Garvin, Brady J. FSE'14: "Beyond the Rain..."
Geldenhuys, Jaco FSE'14: "Statistical Sym..."
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..."
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..."
Herbsleb, James FSE'14: "Let's Talk Abou..."
Hermann, Ben FSE'14: "FlowTwist: Effi..."
Heymans, Patrick FSE'14: "Counterexample ..."
Higo, Yoshiki FSE'14: "How Should We M..."
Hilley, Patrick FSE'14: "Identifying the..."
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..."
Joiner, Richard FSE'14: "Efficient Runti..."
Just, René FSE'14: "Are Mutants a V..."
Kästner, Christian FSE'14: "Building Call G..."
Kashyap, Vineeth FSE'14: "JSAI: A Static ..."
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, Sunghun FSE'14: "How We Get Ther..." FSE'14: "Automatically G..."
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..."
Legay, Axel FSE'14: "Counterexample ..."
Lerch, Johannes FSE'14: "FlowTwist: Effi..."
Leucker, Martin FSE'14: "Counterexample ..."
Li, Guodong FSE'14: "SymJS: Automati..."
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, Peng FSE'14: "Semantics-Based..." FSE'14: "Grail: Context-..."
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..."
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..."
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..."
Mirzaei, Nariman FSE'14: "EvoDroid: Segme..."
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..."
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..."
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..."
Păsăreanu, Corina S. FSE'14: "Statistical Sym..."
Paul, Soumya FSE'14: "On the Efficien..."
Penix, John FSE'14: "Techniques for ..."
Pezzè, Mauro FSE'14: "Search-Based Sy..."
Pham, Raphael FSE'14: "Enablers, Inhib..."
Posnett, Daryl FSE'14: "A Large Scale S..."
Proksch, Sebastian FSE'14: "An Empirical St..."
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..."
Rajan, Hridesh FSE'14: "Mining Precondi..."
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..."
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..."
Sankaranarayanan, Karthik FSE'14: "Panning Require..."
Sarracino, John FSE'14: "JSAI: A Static ..."
Sarro, Federica FSE'14: "The Plastic Sur..."
Schneider, Kurt FSE'14: "Enablers, Inhib..."
Schobbens, Pierre-Yves FSE'14: "Counterexample ..."
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..."
Su, Zhendong FSE'14: "On the Localnes..."
Sun, Chengnian FSE'14: "Querying Sequen..."
Sutton, Charles FSE'14: "Learning Natura..." FSE'14: "Mining Idioms f..."
Swanson, Jacob FSE'14: "Beyond the Rain..."
Tao, Yida FSE'14: "Automatically G..."
Tonella, Paolo FSE'14: "Search-Based Sy..."
Tripp, Omer FSE'14: "Grail: Context-..."
Tsantalis, Nikolaos FSE'14: "Discovering Ref..."
Tsay, Jason FSE'14: "Let's Talk Abou..."
Tu, Zhaopeng FSE'14: "On the Localnes..."
Vakili, Amirhossein FSE'14: "Verifying CTL-L..."
Visser, Willem FSE'14: "Statistical Sym..."
Wagner, John FSE'14: "JSAI: A Static ..."
Wang, Qiang FSE'14: "Querying Sequen..."
Wiedermann, Ben FSE'14: "JSAI: A Static ..."
Wu, Dinghao FSE'14: "Semantics-Based..."
Wu, Yongwei FSE'14: "AI: A Lightweig..."
Xu, Chang FSE'14: "Automatically G..."
Xuan, Jifeng FSE'14: "Test Case Purif..."
Xuan, Qi FSE'14: "Focus-Shifting ..."
Ye, Xin FSE'14: "Learning to Ran..."
Ying, Annie T. T. FSE'14: "Selection and P..."
Yoo, Shin FSE'14: "ORBS: Language-..."
Zaytsev, Andrey FSE'14: "Balancing Trade..."
Zhang, Charles FSE'14: "Grail: Context-..."
Zhang, Dongmei FSE'14: "Querying Sequen..."
Zhang, Haidong FSE'14: "Querying Sequen..."
Zhang, Hongyu FSE'14: "Querying Sequen..."
Zhang, Mingxing FSE'14: "AI: A Lightweig..."
Zheng, Weimin FSE'14: "AI: A Lightweig..."
Zhu, Sencun FSE'14: "Semantics-Based..."
Zimmermann, Thomas FSE'14: "Software Develo..."
Zuleger, Florian FSE'14: "Feedback Genera..."

207 authors

proc time: 0.71