Professional development of software engineers through participation in the Computing Curriculum for … A total of 445 papers were submitted to ASE 2019. The ACM SIGSOFT Impact Paper Award is presented annually to the author(s) of a paper presented at a SIGSOFT sponsored or co-sponsored conference held at least 10 years prior to the award year. He received the ONR Young Investigator award in 2013 and the NSF CAREER award in 2012. Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, and Pierluigi San Pietro. Jeff Huang. The selection is done by the Program Committee Chair(s) of the conference, and the award must be personally and publicly issued to the laureate at the event. Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, Xinyu Wang: Neural-Machine-Translation-Based Commit Message Generation: How Far Are We? ACM SIGSOFT encourages SIGSOFT-sponsored conferences to designate a number of accepted papers for ACM SIGSOFT Distinguished Paper Awards for the conference. Many ACM Awards are accompanied by prizes through the financial support of sponsors. Welcome to the website of the ASE 2019 conference! The award is meant to improve the mutual awareness of the two research communities to the opportunities and challenges emerging in complimentary research areas. Eliciting Design Requirements for Maintenance-Oriented IDEs: A Detailed Study of Corrective and Perfective Maintenance Tasks, A Classification System and Analysis for Aspect-Oriented Programs, Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering. ACM SIGSOFT Distinguished Paper Award, International Conference on Software Engineering (ICSE) - 2019 Blue Sky Idea Award, Computing Community Consortium - 2016 Most Influential Paper IBM HVC Award … ACM SIGSOFT Distinguished Paper Awards. Is Mutation an Appropriate Tool for Testing Experiments? Experts from Around the World Home; Registration; Program; Organization; Venue; Co-located; Workshops; Tutorials; Distinguished Paper Award . ACM SIGSOFT Distinguished Paper Award, 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), November 2019 . Dimitra Giannakoupoulou, Corina Pasareanu, Howard Baringer, Assumption Generation for Software Component Verification, ASE 2002 Distinguished Paper Awards. ACM Charles P. "Chuck" Thacker Breakthrough in Computing Award, International Science and Engineering Fair, ACM Paris Kanellakis Theory and Practice Award, ACM Karl V. Karlstrom Outstanding Educator Award, ACM-IEEE CS George Michael Memorial HPC Fellowships, SIAM/ACM Prize in Computational Science and Engineering, ACM/CSTA Cutler-Bell Prize for High School Computing, Applications Now Open for Cutler-Bell Prize for High School Students, Team from Chinese/US Institutions Receives 2020 Gordon Bell Prize, First ACM Gordon Bell Special Prize for HPC-Based COVID-19 Research Awarded, Johan Håstad to Receive 2018 SIGACT Donald E. Knuth Prize, 2020 SIGMM Award Recognizes Outstanding Technical Contributions, 2020 SIGMM Rising Star Award Recognizes Multimedia Contributions, ACM/CSTA Cutler-Bell Prize in High School Computing, ACM Charles P. "Chuck" Thacker Breakthrough in Computing Committee, ACM Distinguished Service Award Committee, ACM Doctoral Dissertation Award Committee, ACM-IEEE CS Eckert Mauchley Award Committee, ACM Paris Kanellakis Theory and Practice Award Committee, ACM Karl V. Karlstrom Outstanding Educator Award Committee, ACM-IEEE CS George Michael Memorial HPC Fellowships Committee, Outstanding Contribution to ACM Award Committee, SIAM/ACM Prize in Computational Science and Engineering Committee, ACM India Doctoral Dissertation Award Committee, ACM Publications Board Guidelines for Establishing a Best Paper Award for ACM Periodicals, SIGSOFT Outstanding Doctoral Dissertation Award, SIGSOFT/IEEE TCSE ICSE Most Influential Paper Award, Virtual Conferences: A Guide to Best Practices. Buse and Westley R. Weimer, A Metric for Software Readability, Eric Bodden and Klaus Havelund, Racer: Effective Race Detection Using AspectJ, Barthélémy Dagenais, Martin P. Robillard, Recommending Adaptive Changes for Framework Evolution, Guoqing Xu, Atanas Rountev, Precise Memory Leak Detection for Java Software Using Container Profiling, Andrew Ko, Brad Myers, Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior, Ajitha Rajan, Michael Whalen, Mats Heimdahl, The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage, Joseph Ruthruff, John Penix, David Morgenthaler, Sebastian Elbaum, Gregg Rothermel, Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach, Yannis Smaragdakis, Christoph Csallner, Scalable Automatic Test Data Generation from Modeling Diagrams, Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos, An Automated Approach for Monitoring and Diagnosing Requirements, Michal Antkiewicz, Thiago Bartolomei, Krzysztof Czarnecki, Automatic Extraction of Framework-Specific Models from Framework-Based Application Code, Narayan Ramasubbu, Rajesh Krishna Balan, Globally Distributed Software Development Project Performance: An Empirical Analysis, Mihai Christodorescu, Somesh Jha, Christopher Kruegel, Mining Specifications of Malicious Behavior, Jamie Payton, Christine Julien, Gruia-Catalin Roman, Automatic An Empirical Case Study of Windows Vista, Emerson Murphy-Hill, Chris Parnin, Andrew Black, How We Refactor, and How We Know It, Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest, Automatically Finding Patches Using Genetic Programming, Ali Mesbah, Arie van Deursen, Invariant-Based Automatic Testing of AJAX User Interfaces, Franco Raimondi, James Skene and Wolfgang Emmerich, Efficient online monitoring of web-service SLAs. Efficient Large-Scale Trace Checking Using MapReduce. The award provides stipends for two students, one named by each SIG, to attend the flagship conference of the other SIG. Congratulations to the winners of the 2020 SIGSOFT Awards: Outstanding Research Award: Michael Ernst; Distinguished Service Award: Nenad Medvidović; Influential Educator Award: Greg Wilson; Early Career Researcher Award: Claire Le Goues; Outstanding Doctoral Dissertation Award: Rachel Tzoref-Brill Jianhui Chen, Fei He: Control Flow-Guided SMT Solving for Program Verification. Samir Hasan, Zachary King, Munawar Hafiz, Mohammed Sayagh, Bram Adams, and Abram Hindle. Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, and Jingling Xue: Detecting Memory Errors at Runtime with Source-Level Instrumentation, Nandor Licker and Andrew Rice: Detecting Incorrect Build Rules, Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach and Westley Weimer: Distilling Neural Representations of Data Structure Manipulation using fMRI and fNIRS. 10-02-2020. Professor Lin Tan and fellow researchers win ACM SIGSOFT Distinguished Paper Award at ASE 2020, the 35 th IEEE/ACM International Conference on Automated Software Engineering. Congratulations to Dr. Emerson Murphy-Hill, assistant professor of computer science in the NC State University Department of Computer Science, who won an ACM SIGSOFT Distinguished Paper Award.The award was given October 25, 2010 at the ACM Symposium on Software Visualization (SoftVis) in … Prof. Feng receives ACM SIGSOFT Distinguished Paper Award UCSB’s Assistant Professor Yu Feng received the ACM Special Interest Group On Software Engineering (SIGSOFT) Distinguished Paper Award at the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE'20). Consistency Assessment for Query Results in Dynamic Environments, Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst, Object and Reference Immutability using Java Generics, Ray-Yaung Chang, Andy Podgurski, Jiong Yang, Finding What's Not There: A New Approach to Revealing Neglected Conditions in Software, Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia, Static Specification Mining Using Automata-Based Abstractions, Ekwa Duala-Ekoko, Martin P. Robillard, Tracking Code Clones in Evolving Software, Sunghun Kim, Thomas Zimmermann, E. James Whitehead, Jr., Andreas Zeller, Predicting Faults from Cached History, Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave, Matching and Merging of Statecharts Specifications, Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer, Refactoring for Parameterizing Java Classes, Matthew B. Dwyer, Suzette Person, Sebastian Elbaum, Controlling Factors in Evaluating Path-Sensitive Error Detection Techniques, Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani, SYNERGY: A New Algorithm for Property Checking, Barbara Kitchenham, Hiyam Al-Khilidar, Muhammad Ali Babar, Mike Berry, Karl Cox, Jacky Keung, Felicia Kurniawati, Mark Staples, He Zhang, and Liming Zhu, Evaluating guidelines for empirical software engineering studies, Chris Lokan, Emilia Mendes, Cross-company and Single-company Effort Models using the ISBSG Database: a Further Replicated Study, Nic Volanschi, A Portable Compiler-Integrated Approach to Permanent Checking, Leonardo Murta, Andre Van Der Hoek, Claudia Werner, ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links, Stephen Fink, Eran Yahav, Ganesan Ramalingam, Nurit Dor, Emmanuel Geay, Effective Typestate Verification in the Presence of Aliasing, Christoph Csallner, Yannis Smaragdakis, DSD-Crasher: A Hybrid Analysis Tool for Bug Finding, Aysu BetinCan, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp, Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software (Also winner of ASE 2005 best paper award), Guillaume Langelier, Houari Sahraoui, Pierre Poulin, Visualization-based Analysis of Quality for Large-scale Software Systems, Martin P. Robillard, Automatic Generation of Suggestions for Program Investigation, Yichen Xie, Alex Aiken, Context- and Path-sensitive Memory Leak Detection, Koushik Sen, Darko Marinov, Gul Agha, CUTE: A Concolic Unit Testing Engine for C, Brian Demsky, Martin Rinard, Data Structure Repair Using Goal-Directed Reasoning, Reid Holmes, Gail Murphy, Using Structural Context to Recommend Source Code Examples. This award is presented at each ICSE meeting to the author (s) of the paper from the ICSE meeting 10 years prior that is judged to have had the most influence on the theory or practice of software engineering during the 10 years since its original publication. ACM welcomes proposals for the establishment of new awards, to recognize contributions based on merit, service, or for an outstanding paper. Award nominations deadlines occur throughout the year, with a heavy concentration in January. ACM SIGSOFT Distinguished Service Award. Tan’s paper titled Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance is one of the first … Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel Soremekun and Andreas … Contact Abigail Sumandal at ACM (sumandal at hq dot acm dot org) and she will provide you with a template you may use to create certificates. Zishuo Ding, Jinfu Chen, Weiyi Shang: Towards the Use of the Readily Available Tests from the Release Pipeline as Performance Tests. ACM SIGSOFT Distinguished Paper Award. Network with like-minded professionals and enjoy unique opportunities to share technical expertise and first-hand knowledge of the latest trends. An Empirical Study of Effectiveness and Challenges, Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, and Rudolf Ramler: GRT: Program-Analysis-Guided Random Testing, Tuan Nguyen and Christoph Csallner: Reverse Engineering Mobile Application User Interfaces With REMAUI, Yi Zhang, Jianmei Guo, Eric Blais, and Krzysztof Czarnecki: Performance Prediction of Configurable Software Systems by Fourier Learning, Krishna Narasimhan and Christoph Reichenbach: Copy and Paste Redeemed, Yi Li, Julia Rubin, and Marsha Check: Semantic Slicing of Software Version Histories, Christoffer Quist Adamsen, Gianluca Mezzetti and Anders Møller: Systematic Execution of Android Test Suites in Adverse Conditions, Milos Gligoric, Lamyaa Eloussi and Darko Marinov: Practical Regression Test Selection with Dynamic File Dependencies, Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean and Justyna Petke: Automated Software Transplantation, Janet Siegmund, Norbert Siegmund, and Sven Apel: Views on Internal and External Validity in Empirical Software Engineering, Michael Waterman, James Noble, and George Allan: How Much Up-Front? Heimdahl, Programs, Tests, and Oracles: The Foundations of Testing Revisited, Nishant Sinha and Chao Wang, Staged Concurrent Program Analysis, Minghui Zhou and Audris Mockus, Developer Fluency: Achieving True Mastery in Software Projects, Barthélémy Dagenais and Martin P. Robillard: Creating and Evolving Developer Documentation: Understanding the Decisions of Open Source Contributors, Emerson Murphy-Hill and Andrew P. Black, An Interactive Ambient Visualization for Code Smells, Mathias Frisch and Raimund Dachselt, Off-Screen Visualization Techniques for Class Diagrams, Marek Gibiec, Adam Czauderna and Jane Cleland-Huang, Towards Mining Replacement Queries for Hard-to-Retrieve Traces, Adam Duley, Chris Spandikow and Miryung Kim, A Program Differencing Algorithm for Verilog HDL, Giriprasad Sridhara, Emily Hill, Divya Muppaneni, Lori Pollock and K. Vijay-Shanker, Towards Automatically Generating Summary Comments for Java Methods, Taeho Kwon and Zhendong Su, Automatic Detection of Unsafe Component Loadings, Andrea Arcuri, Zohaib Iqbal and Lionel Briand, Formal Analysis of the Effectiveness and Predictability of Random Testing, Zibin Zheng, Michael R. Lyu, Collaborative Reliability Prediction of Service-Oriented Systems, Thomas Fritz, Jingwen Ou, Gail C. Murphy, Emerson Murphy-Hill, A Degree-of-Knowledge Model to Capture Source Code Familiarity, Jane Cleland-Huang, Adam Czauderna, John Emenecker, Marek Gibiec, A Machine Learning Approach for Tracing Regulatory Codes to Product Specific Requirements, Qiusong Yang, Mingshu Li, A Cut-off Approach for Bounded Verification of Parameterized Systems, Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov, Test Generation through Programming in UDITA, Jyotirmoy Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan, Symbolic Deadlock Analysis in Concurrent Libraries and their Clients, Hao Zhong, Lu Zhang, Tao Xie, Hong Mei, Inferring Resource Specifications from Natural Language API Documentation, Natalia Juristo and Sira Vegas, Using Differences among Replications of Software Engineering Experiments to Gain Knowledge, Jacob Burnim and Koushik Sen, Asserting and Checking Determinism for Multithreaded Programs, Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, and Kapil Vaswani, DARWIN: An Approach for Debugging Evolving Programs, Tung Nguyen, Hoan Nguyen, Nam Pham, Jafar Al-Kofahi, and Tien Nguyen, Graph-based Mining of Multiple Object Usage Patterns, William G.J. His awarded paper is titled "Summary-Based Symbolic Evaluation for Smart Contracts". The report, available here, includes pointers to a live document with additional resources. ACM SIGSOFT Early Career Researcher Award. Recipients are given a plaque and a prize of $1,000. Chaudron, Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density, Adam Prout, Joanne M. Atlee, Nancy A. The PTF is working on a guide to offer practical advice and shed light on the largely unfamiliar territory of online conferencing. Here are the top five reasons to attend FSE 2016: 1. Seokhyun Lee, Sooyoung Cha, Dain Lee and Hakjoo Oh. The conference is the premier research forum for automated software engineering. Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang and Dan Hao: Faster Mutation Analysis via Equivalence Modulo States. ACM SIGSOFT FSE 2014. An Empirical Case Study of Windows Vista, Automatically Finding Patches Using Genetic Programming, Invariant-Based Automatic Testing of AJAX User Interfaces, Efficient online monitoring of web-service SLAs, Socio-Technical Congruence: A Framework for Assessing the Impact of Technical and Work Dependencies on Software Development Productivity, Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density, Semantically Configurable Code Generation, Test-suite Augmentation for Evolving Software, Efficient Monitoring of Parametric Context-Free Patterns, Racer: Effective Race Detection Using AspectJ, Recommending Adaptive Changes for Framework Evolution, Precise Memory Leak Detection for Java Software Using Container Profiling, Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior, The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage, Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach, Scalable Automatic Test Data Generation from Modeling Diagrams, An Automated Approach for Monitoring and Diagnosing Requirements, Automatic Extraction of Framework-Specific Models from Framework-Based Application Code, Globally Distributed Software Development Project Performance: An Empirical Analysis, Mining Specifications of Malicious Behavior, Automatic Presented annually at the International Conference on Software Engineering to recognize outstanding contributions by early career investigators in the area of software engineering. Presented annually to an educator who has made significant contributions to, and impact on, the field of software engineering with his/her accomplishments as a teacher, mentor, researcher (in education or learning), author, and/or policy maker. Halfond, Saswat Anand and Alessandro Orso, Precise Interface Identification to Improve Testing and Analysis of Web Applications, Adam Kiezun, Vijay Ganesh, Philip Guo, Pieter Hooimeijer and Michael Ernst, HAMPI: A Solver for String Constraints, Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay, Effective Static Deadlock Detection, Christian Bird, Nachiappan Nagappan, Premkumar Devanbu, Harald Gall, Brendan Murphy, Does Distributed Development Affect Software Quality? Zhongxin Liu, Xin Xia, Meng Yan, Shanping Li: Automating Just-In-Time Comment Updating, Sungho Lee, Hyogun Lee, Sukyoung Ryu: Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis, Michael C. Gerten, James I. Lathrop, Myra Cohen, Titus H. Klinge: ChemTest: An Automated Software Testing Framework for an Emerging Paradigm, Viet Hung Pham, Shangshu Qian, Jiannan Wang, Thibaud Lutellier, Jonathan Rosenthal, Lin Tan, Yaoliang Yu, Nachiappan Nagappan: Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance, Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi: Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations, Yu Feng, Emina Torlak, Rastislav Bodik: Summary-Based Symbolic Evaluation for Smart Contracts, Likang Yin, Vladimir Filkov: Team Discussions and Dynamics During DevOps Tool Adoptions in OSS Projects, Souti Chattopadhyay, Nicholas Nelson, Audrey Au, Natalia Morales, Christopher Sanchez, Rahul Pandita, Anita Sarma: A Tale from the Trenches: Cognitive Biases and Software Development, Ru Zhang, Wencong Xiao, Hongyu Zhang, Yu Liu, Haoxiang Lin, Mao Yang: An Empirical Study on Program Failures of Deep Learning Jobs, Rafael-Michael Karampatsis, Hlib Babii, Romain Robbes, Charles Sutton, Andrea Janes: Big Code != Big Vocabulary: Open-Vocabulary Models for Source Code, Junjie Wang, Ye Yang, Song Wang, Yuanzhe Hu, Dandan Wang, Qing Wang: Context-aware In-process Crowdworker Recommendation. Huilian Sophie Qiu, Alexander Nolte, Anita Brown, Alexander Serebrenik and Bogdan Vasilescu: Going Farther Together: The Impact of Social Capital on Sustained Participation in Open Source, Junjie Wang, Ye Yang, Rahul Krishna, Tim Menzies and Qing Wang: iSENSE: Completion-Aware Crowdtesting Management, Pengfei Su, Shasha Wen, Hailong Yang, Milind Chabbi and Xu Liu: Redundant Loads: A Software Inefficiency Indicator, Kihong Heo, Hakjoo Oh and Hongseok Yang: Resource-aware Program Analysis via Online Abstraction Coarsening, Emilio Cruciani, Breno Miranda, Roberto Verdecchia and Antonia Bertolino: Scalable Approaches for Test Suite Reduction, Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou and Charles Zhang: SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code, Akond Rahman, Chris Parnin and Laurie Williams: The Seven Sins: Security Smells in Infrastructure as Code Scripts, Junwen Yang, Cong Yan, Chengcheng Wan, Shan Lu and Alvin Cheung: View-Centric Performance Optimization for Database-Backed Web Applications, Ricardo Britto, Darja Smite, Lars-Ola Damm, and Jürgen Börstler: Performance Evolution of Newcomers in Large-Scale Distributed Software Projects: An Industrial Case Study, Paolo Tell, Jil Klünder, Steffen Küpper, David Raffo, Stephen G. MacDonell, Jürgen Münch, Dietmar Pfahl, Oliver Linssen, Marco Kuhrmann: What are Hybrid Development Methods Made Of? The 35th IEEE/ACM International Conference on Automated Software Engineering. -- A Comprehensive Characteristic Study on Incorrect Fixes in Commercial and Open Source Operating Systems, Proactive Detection of Collaboration Conflicts, Recovering the Toolchain Provenance of Binary Code, Automatic Partial Loop Summarization in Dynamic Test Generation, Path- and Index-sensitive String Analysis based on Monadic Second-order Logic, Run-Time Efficient Probabilistic Model Checking, Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking, Configuring Global Software Teams: A Multi-Company Analysis of Project Productivity, Quality, and Profits, On-demand Feature Recommendations Derived from Mining Public Product Descriptions, Programs, Tests, and Oracles: The Foundations of Testing Revisited, Developer Fluency: Achieving True Mastery in Software Projects, Creating and Evolving Developer Documentation: Understanding the Decisions of Open Source Contributors, An Interactive Ambient Visualization for Code Smells, Off-Screen Visualization Techniques for Class Diagrams, Towards Mining Replacement Queries for Hard-to-Retrieve Traces, A Program Differencing Algorithm for Verilog HDL, Towards Automatically Generating Summary Comments for Java Methods, Automatic Detection of Unsafe Component Loadings, Formal Analysis of the Effectiveness and Predictability of Random Testing, Collaborative Reliability Prediction of Service-Oriented Systems, A Degree-of-Knowledge Model to Capture Source Code Familiarity, A Machine Learning Approach for Tracing Regulatory Codes to Product Specific Requirements, A Cut-off Approach for Bounded Verification of Parameterized Systems, Test Generation through Programming in UDITA, Symbolic Deadlock Analysis in Concurrent Libraries and their Clients, Inferring Resource Specifications from Natural Language API Documentation, Using Differences among Replications of Software Engineering Experiments to Gain Knowledge, Asserting and Checking Determinism for Multithreaded Programs, DARWIN: An Approach for Debugging Evolving Programs, Graph-based Mining of Multiple Object Usage Patterns, Precise Interface Identification to Improve Testing and Analysis of Web Applications, Does Distributed Development Affect Software Quality? One possibility is to postpone the announcement of the award until an awards ceremony at the conference. Menu Main menu. Winners. Most of the papers listed were candidates for the best paper award, and longer versions of most of them have appeared in special issues of The Journal of Automated Software Engineering. Confessions of GitHub Contributors, Lili Wei, Yepang Liu and Shing-Chi Cheung: Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps, Alisa J. Maas, Henrique Nazaré and Ben Liblit: Array Length Inference for C Library Bindings, Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu and Darko Marinov: How Good Are the Specs? Omer Tripp, Pietro Ferrara, and Marco Pistoia, Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation, Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim, CrashLocator: Locating Crashing Faults Based on Crash Stacks, René Just, Michael D. Ernst, and Gordon Fraser, Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States. A Principled Approach to GraphQL Query Cost Analysis ACM SIGSOFT Distinguished Paper Award Research Papers Alan Cha IBM Research, USA , Erik Wittern IBM, USA , Guillaume Baudart IBM Research, USA , James C. Davis Purdue University, USA , Louis Mandel IBM Research, USA , … Special Award, 6th Co-Winner, Technological Innovation Award, The Chinese Institute of Electronics; ACM SIGSOFT Distinguished Paper Award; Invitation to journal submission as one of the best papers at Internetware'17; 2016. Energy Profiles of Java Collections Classes. ACM SIGSOFT Outstanding Doctoral Dissertation Award. Presented to an individual who has made significant and lasting research contributions to the theory or practice of software engineering. ACM SIGSOFT Distinguished Paper Awards. Sergey Mechtaev Honorable Mention: Christoffer Quist Adamsen. Nikolaos Tsantalis, Davood Mazinanian and Shahriar Rostami Dovom: Clone Refactoring with Lambda Expressions, Rashina Hoda and James Noble: Becoming Agile: A Grounded Theory of Agile Transitions in Practice, José Miguel Rojas, Thomas White, Benjamin Clegg and Gordon Fraser: Code Defenders: Crowdsourcing Effective Tests and Subtle Mutants with a Mutation Testing Game, Benjamin Floyd, Tyler Santander and Westley Weimer: Decoding the representation of code in the brain: An fMRI study of code review and expertise, Davy Landman, Alexander Serebrenik and Jurgen Vinju: Challenges for Static Analysis of Java Reflection - Literature Review and Empirical Study, August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjorner and Jacek Czerwonka: Optimizing Test Placement for Module-Level Regression Testing, Anh Nguyen, Michael Hilton, Mihai Codoban, Hoan Nguyen, Lily Mast, Eli Rademacher, Tien Nguyen and Danny Dig: API Code Recommendation Using Statistical Learning from Fine-grained Changes, Jianjun Huang, Xiangyu Zhang and Lin Tan: Detecting Sensitive Data Disclosure via Bi-directional Text Correlation Analysis, Tobias Baum, Olga Liskin, Kai Niklas and Kurt Schneider: Factors Influencing Code Review Processes in Industry, David Piorkowski, Austin Henley, Tahmid Nabi, Scott Fleming, Christopher Scaffidi and Margaret Burnett: Foraging and Navigations, Fundamentally: Developers' Predictions of Value and Cost, Eunsuk Kang, Aleksandar Milicevic and Daniel Jackson: Multi-Representational Security Analysis, Xiaofei Xie, Bihuan Chen, Yang Liu, Wei Le and Xiaohong Li: Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis, Danilo Silva, Nikolaos Tsantalis and Marco Tulio Valente: Why We Refactor? Emerson Murphy-Hill, Thomas Zimmermann, and Nachiappan Nagappan, Cowboys, Ankle Sprains, and Keepers of Quality: How is Video Game Development Different from Software Development? ACM's Special Interest Groups (SIGs) regularly cite outstanding individuals for their contributions in more than 30 distinct technological fields. Zeng Xianzhi Award for Outstanding Faculty; 2015. Fantastic Keynotes 2. Hyunmin Seo and Sunghun Kim, Predicting Recurring Crash Stacks, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien Nguyen, David Lo, and Chengnian Sun, Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling, Bradley Cossette and Robert Walker, Seeking the Ground Truth: A Retroactive Study on the Evolution and Migration of Software Libraries, Christian Bird and Thomas Zimmermann, Assessing the Value of Branches with What-if Analysis, Emina Torlak, Scalable Test Data Generation from Multidimensional Models, Anders Møller and Mathias Schwarz, Automated detection of client-state manipulation vulnerabilities, ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest, Using Dynamic Analysis to Discover Polynomial and Array Invariants, Will Dietz, Peng Li, John Regehr and Vikram Adve, Understanding integer overflow in C/C++.