ACM News for CCF Newsletter: September 2021
ACM Focus, a New Way to Explore and Interact with ACM Content
ACM Focus is a new way to explore the breadth and variety of ACM content, and to stay current with the latest trends in your technical community. ACM Focus consists of a set of AI-curated custom feeds by subject, each serving up a focused set of the latest relevant ACM content. These high-level subject-based feeds of original and curated content provide overall awareness of relevant ACM activities, people, talks and a variety of published works. Current topic areas are Artificial Intelligence; Information Systems; the Web; Society and the Computing Profession; Applied Computing; Graphics and Computer-Aided Design; Networks and Communications; Architecture; Hardware; Human-Computer Interaction; Security and Privacy; Software Engineering and Programming Languages; and Computational Theory. The feeds are built in an automated fashion and are refined as the user interacts with them.
Call for Nominations for Fran Allen Mentorship Award
ACM announces a new award that highlights the value of mentoring in the development of computing professionals. The ACM Frances E. Allen Award for Outstanding Mentoring emphasizes contributions in mentoring students and young professionals from diverse communities. Please consider nominating a deserving individual for this unique award that promotes diversity in computing. Nominations are due December 15.
ACM SIGACT Announces 2021 Knuth and Gödel Prizes
The ACM Special Interest Group on Algorithms and Computation Theory (ACM SIGACT) recently announced that Moshe Vardi of Rice University is the recipient of the 2021 Knuth Prize for outstanding contributions that apply mathematical logic to multiple fundamental areas of computer science. ACM SIGACT also announced that the 2021 Gödel Prize is awarded to five researchers: Andrei Bulatov, Simon Fraser University; Martin E. Dyer, University of Leeds; David Richerby, University of Essex; Jin-Yi Cai, University of Wisconsin, Madison; and Xi Chen, Columbia University, for their work on constraint satisfaction, a vital area of study within theoretical computer science.Read the ACM news release.
University of Illinois at Urbana-Champaign Graduate Receives ACM Doctoral Dissertation Award
Chuchu Fan of the Massachusetts Institute of Technology is the recipient of the 2020 ACM Doctoral Dissertation Award for her dissertation, “Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications.” Fan’s dissertation makes foundational contributions to verification of embedded and cyber-physical systems, and demonstrates applicability of the developed verification technologies in industrial-scale systems. Her dissertation also advances the theory for sensitivity analysis and symbolic reachability and develops verification algorithms and software tools (DryVR, Realsyn). Key contributions of her dissertation include the first data-driven algorithms for bounded verification of nonlinear hybrid systems using sensitivity analysis.
Honorable Mentions for the 2020 ACM Doctoral Dissertation Award went to Henry Corrigan-Gibbs of the Massachusetts Institute of Technology and Ralf Jung of the Max Planck Institute for Software Systems and MIT. Corrigan-Gibbs’s dissertation, “Protecting Privacy by Splitting Trust,” improved user privacy on the internet using techniques that combine theory and practice. Jung’s dissertation, “Understanding and Evolving the Rust Programming Language,” established the first formal foundations for safe systems programming in the innovative programming language Rust.
The 2020 Doctoral Dissertation Award recipients will be formally recognized at the annual ACM Awards Banquet on October 23 in San Francisco. The Doctoral Dissertation Award is accompanied by a prize of $20,000, and the Honorable Mention Award is accompanied by a prize totaling $10,000.Read the ACM news release.
ACM Announces Student Research Competition Grand Finals Winners
The ACM Student Research Competition (SRC), sponsored by Microsoft, has announced its Grand Finals winners. There are two rounds of competition at each conference hosting an SRC, which culminates in a Grand Finals competition. All undergraduate and graduate student winners from the SRCs held during the year advance to the SRC Grand Finals, where they are evaluated by a different panel of judges via the Web. This year's SRC Grand Finals winners are:
First Place: Jiaqi Gu, University of Texas at Austin, "Light in Artificial Intelligence: Efficient Neuromorphic Computing with Optical Neural Networks" (ICCAD 2020)
Third Place: Guyue Huang, Tsinghua University, "Efficient Sparse Matrix Kernels based on Adaptive Workload-Balancing and Parallel-Reduction" (SIGMICRO 2020)
First Place: Thomas McHugh, Northwestern University, "Constructing Agency and Usability Through Community-Driven Assistive Technology Design" (ASSETS 2020)
Third Place: Rakshit Mittal, Birla Institute of Technology & Science, Pilani, "Translation Validation of Thread-Level Parallelizing Transformations Using Color Petri Nets" (PLDI 2020)
Upcoming ACM Student Research Competitions: Submission Deadlines
SC 2021, November 14-19, deadline October 8
SIGCSE 2022, March 2-5, deadline October 8
ISEC 2022, February 24-26, deadline October 15
ACM ByteCast Interviews
In ACM’s ACM ByteCast podcast series, host Rashmi Mohan interviews researchers, practitioners, and innovators who are at the intersection of computing research and practice. Recently interviewed were Bryan Cantrill, Co-founder and Chief Technology Officer at Oxide Computer Company, and Mounia Lalmas, Director of Research and Head of Tech Research in Personalization at Spotify. The latest episode features Ayanna Howard, Dean of the College of Engineering at The Ohio State University and founder and President of the Board of Directors of Zyrobotics.
You can listen to all ByteCasts here.
ACM members and non-members alike are welcome to attend our popular series of free TechTalks by expert industry professionals, distinguished ACM award laureates, and visionary researchers from industry and academia. Recent ACM TechTalks:
June 7:Learning from Data: The Two Cultures, with Shirley Ho, Acting Director of the Center for Computational Astrophysics at the Flatiron Institute
July 9: Learning from Data: The Two Cultures, with Adji Bousso Dieng, Founder of The Africa I Know, researcher at Google, and an Assistant Professor of Computer Science at Princeton University.
August 11: Running Linux Apps on Windows: How and Why? with Microsoft web developer Scott Hanselman
September 9: Quantum Computational Supremacy, with Scott Aaronson, Computer Science Professor at the University of Texas at Austin and 2020 ACM Prize in Computing Recipient
The ACM Multimedia Conference brings together researchers and practitioners from academia and industry to present innovative research results and discuss recent advancements. Workshops will cover Smart TV Content Production, Access and Delivery; Computing for Urban Data; Human-centric Multimedia Analysis; and much more. Keynote speakers are Wen Gao (Peking University & Peng-Cheng Laboratory), H. V. Jagadish (University of Michigan), Cordelia Schmid (INRIA and Google), James Lester (North Carolina State University), Zhengyou Zhang (Tencent AI Lab & Tencent Robotics X) and Jingren Zhou (Ant Group).
AI for Good Global Summit 2021 (online), continuous digital event
The 2021 edition of the AI for Good Global Summit is a continuous digital event, featuring weekly programming across multiple formats, platforms and time zones, including keynotes, expert webinars, project pitches, Q&As, performances, demos, interviews, networking and more. Upcoming highlights include presentations on AI and climate science, health, and data, and a keynote on "The EU's Artificial Intelligence Act: How will it impact your life and business?"