Presented annually at the International Conference on Software Engineering; it includes a plaque, all travel/conference expenses to attend ICSE, and a prize of $1,000. This award recognizes the author(s) of the paper from the meeting of the International Conference on Software Engineering (ICSE) of 10 years earlier that is judged to have had the most influence on the theory or practice of software engineering since its original publication. ACM SIGSOFT Impact Paper Award. René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser, Are Mutants a Valid Substitute for Real Faults in Software Testing? Is Mutation an Appropriate Tool for Testing Experiments? Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang and Dan Hao: Faster Mutation Analysis via Equivalence Modulo States. Paper authored by Rangeet Pan and Hridesh Rajan receives ACM SIGSOFT Distinguished Paper Award. Many ACM Awards are accompanied by prizes through the financial support of sponsors. ICSE 2020: ACM Sigsoft distinguished paper award for “White-box Fairness Testing through Adversarial Sampling” authored by Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong and Dai Ting. Energy Profiles of Java Collections Classes. The award is issued annually to a natural person, or group, for a single (possibly joint) paper published in the proceedings of a suitable conference yearly so assigned by IFIP TC2. ACM SIGSOFT Distinguished Paper Award. Tevfik Bultan University of California, Santa Barbara, Jon Whittle Monash University. He also received numerous best paper awards, including the ACM SIGSOFT Distinguished Paper award (2018 and 2010), the FMCAD Best Paper award (2013) and the Best Paper of the Year award from ACM … ACM SIGSOFT Frank Anger Memorial Award. 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. Presented annually at the International Conference on Software Engineering to recognize outstanding contributions by early career investigators in the area of software engineering. Here are the top five reasons to attend FSE 2016: 1. 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. ACM's Special Interest Groups (SIGs) regularly cite outstanding individuals for their contributions in more than 30 distinct technological fields. Fantastic Keynotes 2. I’m pleased to announce that the achievements of Notkin and his colleagues are being recognized this month with an ACM SIGSOFT Distinguished Paper Award. Amplifying Tests to Validate Exception Handling Code, A Tactic-Centric Approach for Automating Traceability of Quality Concerns, Partial Models: Towards Modeling and Reasoning with Uncertainty, How Do Fixes Become Bugs? Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, and Lu Zhang: History-driven Build Failure Fixing: How Far Are We? Don’t miss it! He received a NATO Science Fellowship from the Scientific and Technical Research Council of Turkey (TUBITAK) in 1993, a Regents’ Junior Faculty Fellowship from the University of California, Santa Barbara in 1999, a Faculty Early Career Development (CAREER) Award from the National Science Foundation in 2000, the ACM SIGSOFT Distinguished Paper Award and the Best Paper Award … A Grounded theory of Agile Architecture, Michele Tufano, Fabio Palomba, Gabriele Bavota, Rocco Oliveto, Massimiliano Di Penta, Andrea De Lucia, and Denys Poshyvanyk: When and Why Your Code Starts to Smell Bad, Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, and Daniel Jackson: Alloy: A General-Purpose Higher-Order Relational Constraint Solver, Mathieu Lavallee and Pierre N. Robillard: Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software Quality, Adrian Nistor, Po-Chun Chang, Cosmin Radoi, and Shan Lu: CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes, Klaus-Benedikt Schultis, Christoph Elsner, and Daniel Lohmann, Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study, Annie T.T. Emerson Murphy-Hill, Edward Smith, Caitlin Sadowski, Ciera Jaspan, Collin Winter, Matthew Jorde, Andrea Knight, Andrew Trenk and Steve Gross: Do Developers Discover New Tools On The Toilet? 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). The PTF is working on a guide to offer practical advice and shed light on the largely unfamiliar territory of online conferencing. Welcome to the website of the ASE 2020 conference. He received the ONR Young Investigator award in 2013 and the NSF CAREER award in 2012. 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. 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? 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. The program committee chair(s) will use the results of the weighted votes as a primary basis for selecting the award papers. How Do Professional Developers Comprehend Software? ACM SIGSOFT FSE 2014. The ACM Advanced Grades of Membership program recognizes the achievements of ACM members through all stages of their career. The award includes a $1,000 honorarium for each author, a certificate, and an invitation for the authors to present a retrospective keynote talk at the current year's annual SIGSOFT Foundations of Software conference and travel support. 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. Sergey Mechtaev Honorable Mention: Christoffer Quist Adamsen. Most Influential Paper Awards at ICSE, ESEC/FSE, and ISSTA. ACM SIGSOFT Distinguished Paper Award 2016 Sohaib and Sara Abbasi Fellowship, UIUC 2015 Service ; 2020: USENIX Security (PC), IEEE S&P (Shadow PC), ACM WPES (PC) 2018: ACM WPES (PC) Conference Publications . Consistency Assessment for Query Results in Dynamic Environments, Object and Reference Immutability using Java Generics, Finding What's Not There: A New Approach to Revealing Neglected Conditions in Software, Static Specification Mining Using Automata-Based Abstractions, Tracking Code Clones in Evolving Software, Matching and Merging of Statecharts Specifications, Refactoring for Parameterizing Java Classes, Controlling Factors in Evaluating Path-Sensitive Error Detection Techniques, SYNERGY: A New Algorithm for Property Checking, Evaluating guidelines for empirical software engineering studies, Cross-company and Single-company Effort Models using the ISBSG Database: a Further Replicated Study, A Portable Compiler-Integrated Approach to Permanent Checking, ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links, Effective Typestate Verification in the Presence of Aliasing, DSD-Crasher: A Hybrid Analysis Tool for Bug Finding, Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software, Visualization-based Analysis of Quality for Large-scale Software Systems, Automatic Generation of Suggestions for Program Investigation, Context- and Path-sensitive Memory Leak Detection, CUTE: A Concolic Unit Testing Engine for C, Data Structure Repair Using Goal-Directed Reasoning, Using Structural Context to Recommend Source Code Examples. Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel Soremekun and Andreas … So far deep neural networks, the machine … 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. Spatio-Temporal Context Reduction: A Pointer-Analysis- Based Static Approach for Detecting Use-After- Free Vulnerabilities. Are We There Yet? Zishuo Ding, Jinfu Chen, Weiyi Shang: Towards the Use of the Readily Available Tests from the Release Pipeline as Performance Tests. ACM SIGSOFT encourages SIGSOFT-sponsored conferences to designate a number of accepted papers for ACM SIGSOFT Distinguished Paper Awards for the conference. 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. Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto: Automatically Assessing Code Understandability: How Far Are We? Menu Main menu. 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). Most Influential Paper from ICSE 2010. Award nominations deadlines occur throughout the year, with a heavy concentration in January. 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. Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn and William G.J. Scalable Analysis of Interaction Threats in IoT Systems. -- 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? Matt Dwyer. No distinguished paper awards were given. 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? James Andrews, Lionel Briand, Yvan Labiche, Is Mutation an Appropriate Tool for Testing Experiments? DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems. In including all of SIGSOFT's conferences in the competition, this award recognizes the breadth and vitality of the software engineering community. PhD candidate Hung Pham has received an ACM SIGSOFT Distinguished Paper Award at ASE 2020, the 35 th IEEE/ACM International Conference on Automated Software Engineering. The proceedings, beginning with ASE-97, are available on-line to subscribers to the IEEE CS Digital Library. At the core of the ACM Awards program is a dedicated group of volunteers who serve on the committees of the ACM Awards to recognize individuals for their excellence in the computing fields. ACM SIGSOFT Distinguished Service Award. Please inform chair_sigsoft (at) acm (dot) org of the award winners, so that they can be added to this page. They are not intended for abstracts or short papers, for papers from satellite or co-located events such as workshops and doctoral symposia, or for demo papers, panel summaries, invited papers and other such … Dimitra Giannakoupoulou, Corina Pasareanu, Howard Baringer, Assumption Generation for Software Component Verification, ASE 2002 Distinguished Paper Awards. Experts from Around the World Another possibility is to place the Distinguished Papers in strategic locations in the program -- for example, the first (or last) paper(s) in the program. In March 2020 ACM formed a Presidential Task Force (PTF) to help conference organizers transition their events to online. 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++.
Deep Learning Forum, 20 30-20 Fertilizer, Shadow Property Armor Ragnarok, Vegan Cauliflower And Broccoli Recipes, L'oreal Damage Erasing Balm Overnight, Pollen Allergy Symptoms, Garden Homes For Sale Saint John Area, Coffee Background Vector, Camille Rose Naturals Curl Love Moisture Milk,