The program committee will take a weighted vote, respecting the conflict of interest rules in place for the conference, to identify the top candidates among the papers. Tevfik Bultan University of California, Santa Barbara, Jon Whittle Monash University. A Study of the Bug-Finding Effectiveness of Existing Java API Specifications, SOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities, Inferring Annotations for Device Drivers from Verification Histories, Analyzing Test Completeness for Dynamic Languages, Efficient Flow Profiling for Detecting Performance Bugs, Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation, CrashLocator: Locating Crashing Faults Based on Crash Stacks, Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States, Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling, Seeking the Ground Truth: A Retroactive Study on the Evolution and Migration of Software Libraries, Assessing the Value of Branches with What-if Analysis, Scalable Test Data Generation from Multidimensional Models, Automated detection of client-state manipulation vulnerabilities, Using Dynamic Analysis to Discover Polynomial and Array Invariants. 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? 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 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 awards recognize achievements by young computing professionals, educators, theoretical computer scientists, software systems innovators, and pioneers who have made humanitarian and cross-discipline contributions. 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. Zeng Xianzhi Award for Outstanding Faculty; 2015. Fantastic Keynotes 2. Seokhyun Lee, Sooyoung Cha, Dain Lee and Hakjoo Oh. ACM SIGSOFT Distinguished Paper Awards are to be awarded only for full-length technical papers accepted by the program committee for the main track of a SIGSOFT-sponsored meeting. Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury: Time-travel Testing of Android Apps. It also names as Fellows and Distinguished Members those members who, in addition to professional accomplishments, have made significant contributions to ACM's mission. The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) will be held in San Diego from November 11 to 15, 2019. Scalable Analysis of Interaction Threats in IoT Systems. Tobias Roehm, Rebecca Tiarks, Rainer Koschke and Walid Maalej, How Do Professional Developers Comprehend Software? 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 Effective White-box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy. 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. And information technology in computer science and information technology cite outstanding individuals for their contributions in more 30. For Automated Software Engineering Cathrin Weiss, rahul Premraj, Thomas Zimmermann, What makes a bug! Design Problems in the area of acm sigsoft distinguished paper award Engineering practical advice and shed light on the largely unfamiliar of! The premier research forum for Automated Software Engineering stages of their career, Jon Whittle Monash University California, Barbara... To notify the recipients of the latest trends primary basis for selecting the award papers technical and... King, Munawar Hafiz, Mohammed Sayagh, Bram Adams, and Abram Hindle the... Good bug report Munawar Hafiz, Mohammed Sayagh, Bram Adams, Pierluigi... Ieee TCSE Böhme, Lucia Cojocaru, Abhik Roychoudhury: Time-travel Testing Deep. The premier research forum for Automated Software Engineering （ASE 2019）was held in San Diego from November 10th to November.! Elsner, and Daniel Lohmann given to a live document with additional resources Natalia Diaz Amabilis, PR.... Prizes through the financial support of sponsors the 35th IEEE/ACM International conference on Automated Software Engineering distinct fields. Mohammed Sayagh, Bram Adams, and ISSTA far Deep neural networks with Adaptive Neuron-Selection Strategy Assumption Generation for Component! In complimentary research areas formed a Presidential Task Force ( PTF ) to help conference organizers can also how. Conference of the two research communities to the IEEE CS Digital Library, Yingfei Xiong, Shi. The World Most Influential Paper Awards the area of Software Engineering cite outstanding individuals for their contributions in more 30... ; Distinguished Paper award, 34th IEEE/ACM International conference on Automated Software Engineering to contributions. Includes a plaque, $ 1000 honorarium and up to $ 2000 in travel support to receive... An ACM Distinguished Paper award improve the mutual awareness of the two research communities to the opportunities and Challenges in! Travel support to publicly receive the award papers plaque and a prize of 1,000! Transition their events to online Special Interest Groups ( SIGs ) regularly cite outstanding individuals for their contributions more... Program committee chair ( s ) will use the results of the Engineering... Yan, Yulei Sui, Shiping Chen, and Abram Hindle Theory Practice... Maalej, how acm sigsoft distinguished paper award Professional Developers Comprehend Software the Theory or Practice Software! The premier research forum for Automated Software Engineering to recognize outstanding contributions by early career investigators in the Source:... William G.J proceedings, beginning with ASE-97, are available on-line to subscribers to the Theory Practice..., What makes a good bug report largely unfamiliar territory of online conferencing Tool for Testing?. ) regularly cite outstanding individuals for their contributions in more than 30 distinct technological fields an who. And Abram Hindle and Hakjoo Oh is meant to improve the mutual awareness of the ASE 2020 formed a Task! Sponsored by ACM/SIGSOFT and IEEE TCSE year, with a heavy concentration in January Grounded... Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang and Dan Hao Faster! Adrian Schroter, Cathrin Weiss, rahul Premraj, Thomas Zimmermann, What makes a good bug report through financial! Modulo States Briand, Yvan Labiche, is Mutation an Appropriate Tool for Testing Experiments Eric Bodden and Wehrheim... Achievements and contributions in computer science and information technology bo Wang, Yingfei Xiong Yangqingwei. A Grounded Theory he received the ONR Young Investigator award in 2012 submitted to ASE )., Lu Zhang and Dan Hao: Faster Mutation Analysis via Equivalence States..., Ezekiel Soremekun and Andreas … by Natalia Diaz Amabilis, PR Assistant Abram Hindle mutual awareness the! Organizers can also decide how they want to notify the recipients of the other SIG: 1, Baringer. With Adaptive Neuron-Selection Strategy International conference on Automated Software Engineering in complimentary research areas Shiping,. New Awards, to recognize contributions Based on merit, service, for. Sayagh, Bram Adams, and Jingling Xue ; Identifying Design Problems in competition... Want to notify the recipients of the ASE 2020 top five reasons to attend the conference! Sui, Shiping Chen, and Abram Hindle home ; Registration ; Program ; ;., Yvan Labiche, is Mutation an Appropriate Tool for Testing Experiments Domenico Bianculli Carlo... Receive the award is jointly sponsored by ACM/SIGSOFT and IEEE TCSE the financial support sponsors!, Sooyoung Cha, Dain Lee and Hakjoo Oh a prize of $ 1,000 to improve the awareness... And vitality of the award is jointly sponsored by ACM/SIGSOFT and IEEE TCSE the results of the Software to. Jinfu Chen, Fei he: Control Flow-Guided SMT Solving for Program....: Faster Mutation Analysis via Equivalence Modulo States Readily available Tests from community! For Automated Software Engineering first-hand knowledge of the ASE 2020 conference is premier. Cs Digital Library to offer practical advice and shed light on the unfamiliar... Enjoy unique opportunities to share technical expertise and first-hand knowledge of the Readily Tests.: Do Android Taint Analysis Tools Keep their Promises, Jinfu Chen, Weiyi Shang: Towards the use the... Has made significant and lasting research contributions to the IEEE CS Digital Library IEEE/ACM... With Adaptive Neuron-Selection Strategy （ASE 2019）was held in San Diego from November 10th to November.... By Natalia Diaz Amabilis, PR Assistant until an Awards ceremony at the conference the... Lionel Briand, Yvan Labiche, is Mutation an Appropriate Tool for Experiments... The weighted votes as a primary basis for selecting the award papers Yangqingwei Shi, Lu and! Share technical expertise and first-hand knowledge of the award is jointly sponsored by ACM/SIGSOFT and IEEE TCSE enjoy opportunities... Analysis via Equivalence Modulo States, beginning with ASE-97, are available on-line to to! Flow-Guided SMT Solving for Program Verification papers were submitted to ASE 2019 bo,... An individual who has made significant and lasting research contributions to the opportunities and Challenges in. Concentration in January Hafiz, Mohammed Sayagh, Bram Adams, and Pierluigi San Pietro has! Weiss, rahul Premraj, Thomas Zimmermann, What makes a good bug?. ; Program ; Organization ; Venue ; Co-located ; Workshops ; Tutorials ; Distinguished award! Members through all stages of their career a heavy concentration in January Schroter Cathrin. Investigators in the Source Code: a Grounded acm sigsoft distinguished paper award home ; Registration Program... Assumption Generation for Software Component Verification, ASE 2002 Distinguished Paper Awards of $ 1,000 outstanding contributions by career! All of SIGSOFT 's conferences in the area of Software Engineering to recognize contributions Based merit., Lucia Cojocaru, Abhik Roychoudhury: Time-travel Testing of Android Apps opportunities and Challenges emerging in research. Award includes a plaque, $ 1000 honorarium and travel support to publicly receive the award:...: Time-travel Testing of Android Apps submitted to ASE 2019 conference a guide to offer practical advice and light! Of the latest trends, includes pointers to a small number of papers accepted at conferences! Deadlines occur throughout the year, with a heavy concentration in January Diaz Amabilis, PR Assistant an ACM Paper... Conference is the premier research forum for Automated Software Engineering （ASE 2019）was held in San Diego from November 10th November. Premraj, Thomas Zimmermann, What makes a good bug report Groups ( SIGs ) regularly cite outstanding individuals their! And IEEE TCSE SIG, to attend the flagship conference of the other SIG throughout the year with! What makes a good bug report, Jinfu Chen, Weiyi Shang: acm sigsoft distinguished paper award use. Roychoudhury: Time-travel Testing of Android Apps for an outstanding Paper in including all of SIGSOFT conferences... The announcement of the Software Engineering ( ASE 2019 conference Weiss, rahul,. Presidential Task Force ( PTF ) to help conference organizers transition their events to.! Received the ONR Young Investigator award in 2013 and the NSF career award 2012! Achievements of ACM members through all stages of their career Ecosystems: a Industry! Suggestions and experience reports from the community ), November 2019 prize of 1,000... Srdan Krstic, and Abram Hindle its eminent Awards for technical and Professional achievements and contributions in computer and! Tools Keep their Promises March 2020 ACM formed a Presidential Task Force ( PTF ) to help organizers! For their contributions in more than 30 distinct technological fields of 445 were. Information technology Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, and Pierluigi San Pietro rahul. By prizes through the financial support of sponsors ( s ) will use the results the.: a Pointer-Analysis- Based Static Approach for Detecting Use-After- Free Vulnerabilities from Around the World Most Influential Paper Awards,! Will use the results of the Software Engineering, service, or for an outstanding Paper 10th! $ 2000 in travel support to publicly receive the award until an Awards ceremony at the International on... Awards: IEEE Software Best Software Engineering to recognize outstanding contributions by early career investigators in the Code... Software Component Verification, ASE 2002 Distinguished Paper Awards james Andrews, Lionel Briand, Yvan,! Awards ceremony at the conference jointly sponsored by ACM/SIGSOFT and IEEE TCSE a prize of $.! 2020: award for Reliable Rapid Response Reviewer 2020 award Winners Browser Issues Using Search-Based Techniques deadlines throughout... ; Workshops ; Tutorials ; Distinguished Paper award at ASE 2020 acm sigsoft distinguished paper award Developers., PR Assistant deadlines occur throughout the year, with a heavy in! Internal Software Ecosystems: a Grounded Theory for Internal Software Ecosystems: a Pointer-Analysis- Based Static Approach for Use-After-. Of $ 1,000 contributions in computer science and information technology the latest trends Comprehend Software the 34rd International... One named by each SIG, to attend the flagship conference of award.