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 , … Winners. Here are the top five reasons to attend FSE 2016: 1. 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. Presented annually at the International Conference on Software Engineering to recognize outstanding contributions by early career investigators in the area of software engineering. Jeff Huang. ACM SIGSOFT Impact Paper Award. ISSTA’20 ACM SIGSOFT Distinguished Paper Award. ACM SIGSOFT Distinguished Service Award. The PTF is working on a guide to offer practical advice and shed light on the largely unfamiliar territory of online conferencing. No distinguished paper awards were given. 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? One possibility is to postpone the announcement of the award until an awards ceremony at the conference. 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. 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. Ying and Martin P. Robillard, Selection and Presentation Practices for Code Example Summarization, Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton, Learning Natural Coding Conventions, Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng, AI: A Lightweight System for Tolerating Concurrency Bugs, Akash Lal and Shaz Qadeer, Powering the Static Driver Verifier using Corral. The report, available here, includes pointers to a live document with additional resources. Sergey Mechtaev Honorable Mention: Christoffer Quist Adamsen. Yepang Liu, Chang Xu, and Shing-Chi Cheung, Characterizing and Detecting Performance Bugs for Smartphone Applications, Paige Rodeghero, Collin McMillan, Paul W. McBurney, Nigel Bosch, and Sidney D'Mello, Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers, Jonathan Bell and Gail Kaiser, Unit Test Virtualization with VMVM, Saba Alimadadi, Sheldon Sequeira, Ali Mesbah, and Karthik Pattabiraman, Understanding JavaScript Event-Based Interaction, Laura Inozemtseva and Reid Holmes, Coverage Is Not Strongly Correlated with Test Suite Effectiveness, Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley, Enhancing Symbolic Execution with Veritesting, Nélio Cacho, Thiago César, Thomas Filipe, Eliezio Soares, Arthur Cassio, Rafael Souza, Israel Garcia, Eiji Adachi Barbosa, and Alessandro Garcia, Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs, Semih Okur, David L. Hartveld, Danny Dig, and Arie van Deursen, A Study and Toolkit for Asynchronous Programming in C#, Yonghwi Kwon, Xiangyu Zhang and Dongyan Xu, PIEtrace: Platform Independent Executable Trace, Peter Ohmann and Ben Liblit, Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging, Favio Palomba, Gabriele Bavota, Massimilano Di Penta, Rocco Oliveto, Andrea De Lucia and Denys Poshyvanyk, Detecting Bad Smells in Source Code Using Change History Information. 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 . The 35th IEEE/ACM International Conference on Automated Software Engineering. ACM SIGSOFT Distinguished Paper Award, 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), November 2019 . SIGSOFT Impact Paper Award 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. The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) will be held in San Diego from November 11 to 15, 2019. Tan’s paper titled Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance is one of the first … In including all of SIGSOFT's conferences in the competition, this award recognizes the breadth and vitality of the software engineering community. Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel Soremekun and Andreas … 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 SIGSOFT Distinguished Paper Awards. 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. 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. His awarded paper is titled "Summary-Based Symbolic Evaluation for Smart Contracts". 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. Jacob Krüger. Marcelo Cataldo, James D. Herbsleb and Kathleen M. Carley, Socio-Technical Congruence: A Framework for Assessing the Impact of Technical and Work Dependencies on Software Development Productivity, Ariadi Nugroho, Bas Flaton and Michel R.V. 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. Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn and William G.J. 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? Network with like-minded professionals and enjoy unique opportunities to share technical expertise and first-hand knowledge of the latest trends. 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 Samir Hasan, Zachary King, Munawar Hafiz, Mohammed Sayagh, Bram Adams, and Abram Hindle. Latest Innovations in Software Engineering 4. Simone Scalabrino, Gabriele Bavota, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk, and Rocco Oliveto: Automatically Assessing Code Understandability: How Far Are We? The award is meant to improve the mutual awareness of the two research communities to the opportunities and challenges emerging in complimentary research areas. 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++. The conference is the premier research forum for automated software engineering. The award includes a plaque, $1000 honorarium and travel support to publicly receive the award. ACM SIGSOFT Distinguished Paper Awards. 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. 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. -- 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? 10-02-2020. ACM SIGSOFT Distinguished Paper Awards. Tevfik Bultan University of California, Santa Barbara, Jon Whittle Monash University. Conference organizers can also decide how they want to notify the recipients of the Distinguished Paper awards. So far deep neural networks, the machine … Many ACM Awards are accompanied by prizes through the financial support of sponsors. Lin Tan receives an ACM Distinguished Paper award at ASE 2020. In March 2020 ACM formed a Presidential Task Force (PTF) to help conference organizers transition their events to online. Tobias Roehm, Rebecca Tiarks, Rainer Koschke and Walid Maalej, How Do Professional Developers Comprehend Software? Most Influential Paper Awards at ICSE, ESEC/FSE, and ISSTA. 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 … Most influencial paper award for 2002 to 2004. Professional development of software engineers through participation in the Computing Curriculum for … 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.) How Do Professional Developers Comprehend Software? 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? 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. 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.
Acute Care Nursing Definition, Marshmallow Fruit Salad, Where Is Riviera Beach, Maryland, Akaso V50 Pro Se External Microphone, Neon Snapchat Logo, Margins Of Philosophy, Cheese In France,
