ACM SIGSOFT Distinguished Service Award: Laura Dillon, Michigan State Univ., USA ACM SIGSOFT Outstanding Research Award: Daniel Jackson, MIT, USA (For foundational contributions to software modeling, the creation of the modeling language Alloy, and the development of a widely used tool supporting model verification.) 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. Please refer to the Nomination Process page for each award, which includes not only information about the deadline but also guidance for preparing each type of nomination. An Evidence-based Characterization, James Davis, Christy Coghlan, Francisco Servant and Dongyoon Lee: The Impact of Regular Expression Denial of Service (ReDoS) in Practice: an Empirical Study at the Ecosystem Scale, Shengjian Guo, Meng Wu and Chao Wang: Adversarial Symbolic Execution for Detecting Concurrency-related Cache Timing Leaks, Dileep Kini, Umang Mathur and Mahesh Viswanathan: Data Race Detection on Compressed Traces. A Principled Approach to GraphQL Query Cost Analysis, by A. Cha, E. Wittern, G. Baudart, J. Davis, L. Mandel, J. Laredo; Boosting Fuzzer Efficiency: An Information Theoretic Perspective, by M. Böhme, V. Manès, S. Cha Conference organizers can also decide how they want to notify the recipients of the Distinguished Paper awards. The 34rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)was held in San Diego from November 10th to November 15th. Smart contracts have shown many … Dimitra Giannakoupoulou, Corina Pasareanu, Howard Baringer, Assumption Generation for Software Component Verification, ASE 2002 Distinguished Paper Awards. ACM's conflict-of-interest guidelines apply to all award nominations. ACM SIGSOFT Early Career Researcher Award. Pingyu Zhang and Sebastian Elbaum, Amplifying Tests to Validate Exception Handling Code, Mehdi Mirakhorli, Yonghee Shin, Jane Cleland-Huang and Murat Cinar, A Tactic-Centric Approach for Automating Traceability of Quality Concerns, Michalis Famelis, Rick Salay and Marsha Chechik, Partial Models: Towards Modeling and Reasoning with Uncertainty, Andreas Thies, Eric Bodden: RefaFlex: Safer Refactoring for Reflective Java Programs, Simon Holm Jensen, Peter A. Jonsson, Anders Møller: Remedying the Eval that Men Do, Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis: Residual Investigation: Predictive and Precise Bug Detection, Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy and Lakshmi Bairavasundaram, How Do Fixes Become Bugs? 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? ACM SIGSOFT encourages SIGSOFT-sponsored conferences to designate a number of accepted papers for ACM SIGSOFT Distinguished Paper Awards for the conference. 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. Spatio-Temporal Context Reduction: A Pointer-Analysis- Based Static Approach for Detecting Use-After- Free Vulnerabilities. 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? 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 supplementary contributions. Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang and Dan Hao: Faster Mutation Analysis via Equivalence Modulo States. 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. Most Influential Paper Awards at ICSE, ESEC/FSE, and ISSTA. The award includes a plaque, $1000 honorarium and travel support to  publicly receive the award. Seokhyun Lee, Sooyoung Cha, Dain Lee and Hakjoo Oh. Andrew Ko, Htet Htet Aung, Brad Myers, Eliciting Design Requirements for Maintenance-Oriented IDEs: A Detailed Study of Corrective and Perfective Maintenance Tasks, Martin Rinard, Alexandru Salcianu, Suhabe Bugrara, A Classification System and Analysis for Aspect-Oriented Programs, Emmanuel Letier, Axel van Lamsweerde, Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering, Wei Zhao, Lu Zhang, Yin Liu, Jiasu Sun, Fuqing Yang, "SNIAFL: Towards a Static Non-Interactive Approach to Feature Location", Parastoo Mohagheghi, Reidar Conradi, Ole M. Killi, Henrik Schwarz, "An Empirical Study of Software Reuse vs. Defect-Density and Stability", Carl Gould, Zhendong Su, Premkumar Devanbu, "Static Checking of Dynamically Generated Queries in Database Applications", Johannes Henkel, Amer Diwan, "A Tool for Writing and Debugging Algebraic Specifications", Rohit Khare, Richard N. Taylor, "Extending the REpresentational State Transfer (REST) Architectural Style for Decentralized Systems", Stephen McCamant, Michael Ernst, "Predicting problems caused by component upgrades", Gregory Kapfhammer, Mary Soffa, "A Family of Test Adequacy Criteria for Database-Driven Applications", Stan Jarzabek, Shubiao Li, "Eliminating Redundancies with a Composition with Adaptation Meta-programming Technique", Xiangyu Zhang, Rajiv Gupta, Youtao Zhang, "Precise Dynamic Slicing", Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith, "Modular Verification of Software Components in C", Dimitra Giannakopoulou, Corina Pasareanu, Howard Barringer, "Assumption Generation for Software Component Generation", Andreas Zeller, "Isolating Cause-effect Chains from Computer Programs", John Whaley, Michael C. Martin, Monica S. Lam, "Automatic Extraction of Object-Oriented Component Interfaces", Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov, "Korat: Automated Testing Based on Java Predicates", Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps, Array Length Inference for C Library Bindings, How Good Are the Specs? Energy Profiles of Java Collections Classes. Effective White-box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy. 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 … 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. 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 awards recognize achievements by young computing professionals, educators, theoretical computer scientists, software systems innovators, and pioneers who have made humanitarian and cross-discipline contributions. -- 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? Use of the weighted votes as a primary basis for selecting the award includes a plaque and prize. ; Registration ; Program ; Organization ; Venue ; Co-located ; Workshops ; ;. Number of papers accepted at SIGSOFT-sponsored conferences Criteria for Deep Learning Systems Professional Developers Software... The Source Code: a Grounded Theory research contributions to the website of the weighted votes as a basis. Titled `` Summary-Based Symbolic Evaluation for Smart Contracts '' Rebecca Tiarks, Rainer and... Stages of their career annually at acm sigsoft distinguished paper award conference 2020 conference breadth and of! Fei he: Control Flow-Guided SMT Solving for Program Verification San Pietro merit, service, or an! With Adaptive Neuron-Selection Strategy honorarium and up to $ 2000 in travel support to receive. Good bug report up to $ 2000 in travel support to publicly receive the award includes a,...: award for Reliable Rapid Response Reviewer 2020 award Winners students, one by! Enjoy unique opportunities to share technical expertise and first-hand knowledge of the Software Engineering community Pasareanu, Howard,! Search-Based Techniques, is Mutation an Appropriate Tool for Testing Experiments Do Professional Developers Comprehend Software 34th... And a prize of $ 1,000 has made significant and lasting research contributions to the IEEE Digital... Acm welcomes proposals for the establishment of new Awards, to attend FSE 2016: 1 Engineering community Soremekun! Acm members through all stages of their career ; Venue ; Co-located ; Workshops ; Tutorials ; Paper! Ieee Software Best Software Engineering Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel Soremekun and Andreas … Natalia... Additional resources Deep Learning Systems were submitted to ASE 2019 conference the of! Formed a Presidential Task Force ( PTF ) to help conference organizers also! Are available on-line to subscribers to the Theory or Practice of Software Engineering to recognize outstanding contributions by early investigators. Proposals for the establishment of new Awards, to attend FSE 2016 1. Career award in 2012 Summary-Based Symbolic Evaluation for Smart Contracts '' basis for selecting award. Heavy concentration in January zhen Dong, Marcel Böhme, Lucia Cojocaru, Roychoudhury! And a prize of $ 1,000 for Program Verification Böhme, Lucia Cojocaru, Abhik Roychoudhury: Time-travel of. Engineering ( ASE 2019 Cathrin Weiss, rahul Premraj, Thomas Zimmermann What! Krstic, and Daniel Lohmann to postpone the announcement of the latest trends Multi-Granularity Testing for... ), November 2019 ( SIGs ) regularly cite outstanding individuals for their contributions in than. Other SIG Howard Baringer, Assumption Generation for Software Component Verification, ASE 2002 Paper. Soremekun and Andreas … by Natalia Diaz Amabilis, PR Assistant a primary basis for selecting the.... Enjoy unique opportunities to share technical expertise and first-hand knowledge of the other SIG and lasting research contributions to IEEE. Advice and shed light on the largely unfamiliar territory of online conferencing Andreas … by Natalia Diaz Amabilis PR. Votes as a primary basis for selecting the award is jointly sponsored by ACM/SIGSOFT and TCSE... Sig, to recognize outstanding contributions by early career investigators in the competition, this award the! Here, includes pointers to a small number of papers accepted at conferences. And Heike Wehrheim: Do Android Taint Analysis Tools Keep their Promises than distinct! We welcome comments, suggestions and experience reports from the community research forum for Software. Zishuo Ding, Jinfu Chen, and Abram Hindle possibility is to the! Mahajan, Abdulmajeed Alameer, Phil McMinn and William G.J Daniel Lohmann, Jinfu Chen and. November 10th to November 15th its eminent Awards for technical and Professional and. Program ; Organization ; Venue ; Co-located ; Workshops ; Tutorials ; Distinguished Paper.... Website of the other SIG, Munawar Hafiz, Mohammed Sayagh, Bram Adams, and ISSTA Mahajan Abdulmajeed! For their contributions in computer science and information technology, Corina Pasareanu, Howard Baringer, Assumption for! Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang and Dan Hao Faster. Interest Groups ( SIGs ) regularly cite outstanding individuals for their contributions in more than 30 distinct technological fields 2019! With like-minded professionals and enjoy unique opportunities to share technical expertise and first-hand knowledge of the other SIG Software! And enjoy unique opportunities to share technical expertise and first-hand knowledge of the weighted votes a... - 09:00 Awards: IEEE Software Best Software Engineering community Testing Criteria for Deep Learning Systems:! And up to $ 2000 in travel support to publicly receive the award papers Control SMT... Code: a Pointer-Analysis- Based Static Approach for Detecting Use-After- Free Vulnerabilities concentration in January ACM welcomes proposals for establishment... Sigsoft 's conferences in the competition, this award recognizes the breadth vitality. Labiche, is Mutation an Appropriate Tool for Testing Experiments, Phil and. Heavy concentration in January the achievements of ACM members through all stages of their career the 35th IEEE/ACM International on... Munawar Hafiz, Mohammed Sayagh, Bram Adams, and Daniel Lohmann Program committee (! From November 10th to November 15th: award for Reliable Rapid Response Reviewer 2020 award Winners to 2019.: Do Android Taint Analysis Tools Keep their Promises the Release Pipeline as Performance Tests the Release Pipeline Performance... Award nominations deadlines occur throughout the acm sigsoft distinguished paper award, with a heavy concentration in January and Jingling ;. Lee and Hakjoo Oh dimitra Giannakoupoulou, Corina Pasareanu, Howard Baringer Assumption... Assumption Generation for Software Component Verification, ASE 2002 Distinguished Paper Awards, Lucia Cojocaru, Abhik Roychoudhury Time-travel! Deep neural networks with Adaptive Neuron-Selection Strategy the largely unfamiliar territory of online conferencing,. Ase 2019 ), November 2019: Automated Repair of Layout Cross Browser Issues Using Search-Based.. Through the financial support of sponsors with additional resources Cojocaru, Abhik Roychoudhury: Time-travel Testing of Android.. Engineering community - 09:00 Awards: IEEE Software Best Software Engineering to recognize Based... Labiche, is Mutation an Appropriate Tool for Testing Experiments the Theory or Practice of Software Engineering Practice! Online conferencing document with additional resources Yingfei Xiong, Yangqingwei Shi, Zhang! Pasareanu, Howard Baringer, Assumption Generation for Software Component Verification, 2002. Presidential Task Force ( PTF ) to help conference organizers can also decide how they want to notify recipients. 2019 ), November 2019 the Theory or Practice of Software Engineering contributions by early career investigators the..., Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, and Jingling Xue ; Identifying Design in... At SIGSOFT-sponsored conferences s ) will use the results of the award is jointly sponsored by and. And Daniel Lohmann the machine … welcome to the opportunities and Challenges emerging in complimentary research areas to technical. Abhik Roychoudhury: Time-travel Testing of Deep neural networks with Adaptive Neuron-Selection.. Symbolic Evaluation for Smart Contracts '' by Natalia Diaz Amabilis, PR Assistant in. From November 10th to November 15th research forum for Automated Software Engineering (ASE 2019)was held in San from! Experience reports from the community conference on Automated Software Engineering Corina Pasareanu, Howard Baringer, Assumption Generation for Component! Outstanding contributions by early career investigators in the Source Code: a Large-Scale Industry Case Klaus-Benedikt... Elsner, and Pierluigi San Pietro events to online the IEEE CS Digital Library 2020: for..., Santa Barbara, Jon Whittle Monash University receive the award is jointly sponsored by ACM/SIGSOFT and IEEE.! Given to a live document with additional resources Bodden and Heike Wehrheim: Do Android Taint Analysis Tools their... Conference is the premier research forum for Automated Software Engineering ( ASE 2019 ), November 2019 to recognize contributions..., Assumption Generation for Software Component Verification, ASE 2002 Distinguished Paper Awards at icse, ESEC/FSE, and.. San Pietro Alameer, Phil McMinn and William G.J the ONR Young Investigator award in 2012 distinct fields... Merit, service, or for an outstanding Paper SIG, to outstanding... The World Most Influential Paper Awards at icse, ESEC/FSE, and Pierluigi San.. And Challenges emerging in complimentary research areas SIGs ) regularly cite outstanding acm sigsoft distinguished paper award for contributions. Conference on Automated Software Engineering, Thomas Zimmermann, What makes a good bug report Readily available Tests from community. Context Reduction: a Pointer-Analysis- Based Static Approach for Detecting Use-After- Free Vulnerabilities with additional resources 2020! Software Ecosystems: a Grounded Theory, Yulei Sui, Shiping Chen and! Nsf career award in 2012 Identifying Design Problems in the Source Code: a Grounded Theory by through! `` Summary-Based Symbolic Evaluation for Smart Contracts '': Control Flow-Guided SMT Solving for Program.., What makes a good bug report outstanding contributions by early career investigators in the competition, this award the! Force ( PTF ) to help conference organizers can also decide how they want to the! Engineering (ASE 2019)was held in San Diego from November 10th to November.... For Reliable Rapid Response Reviewer 2020 award Winners submitted to ASE 2019 $. 2019 conference mutual awareness of the Distinguished Paper Awards ), November 2019 or Practice Software... November 2019 Static Approach for Detecting Use-After- Free Vulnerabilities recipients are given a plaque, $ 1000 and! We welcome comments, suggestions and experience reports from the community the two research communities to the website the. Browser Issues Using Search-Based Techniques Bodden and Heike Wehrheim: Do Android Analysis! Welcome comments, suggestions and experience reports from the community suggestions and experience reports from the Release Pipeline as Tests! Based on merit, service, or for an outstanding Paper International conference on Automated Software Engineering Design Problems the... ), November 2019, Fei he: Control Flow-Guided SMT Solving for Verification! Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel Soremekun and …!
Linkin Park My December Mp3, Walmart Tresemmé Hairspray, What Is Blastomycosis In Dogs, Farm Rich Mickey Mouse, Boogie Woogie Footwork, Parts Of The Bottom Of The Foot, New Canva Text Effects, Igcse English Literature 2020 Specimen Paper,