The SIGMOBILE Doctoral Dissertation Award winner and up to two runners-up will be recognized at one of the ACM SIGMOBILE conferences that the winner chooses. The award winner will receive a plaque, a $1, honorarium and a complimentary registration to one of the following year’s ACM SIGMOBILE Conferences. The runners-up each will receive a plaque ACM Doctoral Dissertation Award Overview. ACM established the Doctoral Dissertation Award program to recognize and encourage superior research and Eligibility. Eligibility requirements updated November Nominations are considered on a yearly eligibility cycle Next Deadline. November 30 ACM Doctoral Dissertation Award: North America: Mirarab, Siavash: ACM Doctoral Dissertation
ACM Doctoral Dissertation Award
ACM, acm doctoral dissertation award world's largest educational and scientific computing society, delivers resources that advance computing as a science and a profession. ACM provides the computing field's premier Digital Library and serves its members and the computing acm doctoral dissertation award with leading-edge publications, conferences, and career resources.
ACM offers the resources, access and tools to invent the future. No one has a larger global network of professional peers. No one has more exclusive content. No one presents more forward-looking events. Or confers more prestigious awards. Or provides a more comprehensive learning center. For more than 60 years, the best and brightest minds in computing have come to ACM to meet, share ideas, publish their work and change the world.
ACM's publications are among the most respected and highly cited in the field because of their longstanding focus on quality and their ability to attract pioneering thought leaders from both academia and industry.
ACM's Special Interest Groups SIGs represent major areas of computing, addressing the interests of technical communities that drive innovation, acm doctoral dissertation award. SIGs offer a wealth of conferences, publications and activities focused on specific computing sub-disciplines. They enable members to share expertise, discovery and best practices. Our conferences, workshops and symposia unite innovators like you to push computing technology forward and to continue the legacy that unites us as like-minded thinkers and makers, acm doctoral dissertation award.
They provide seminars, lectures, learning forums and networking opportunities with peers acm doctoral dissertation award experts across the computing spectrum. ACM recognizes excellence through its eminent awards for technical and professional achievements and contributions in computer science and information technology.
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 ACM Learning Center offers ACM members access to lifelong learning tools and resources.
Our E-Learning collections offer complimentary access to more than 55, online books and videos from top content publishers. The ACM TechTalk series brings leading computing luminaries and visionaries to your screen. Members enjoy exclusive offers and discounts on IT industry certifications and vendor-specific training. ACM provides independent, nonpartisan, and technology-neutral research and resources to policy leaders, stakeholders, and the public about public policy issues, drawn from the deep technical expertise of the acm doctoral dissertation award community.
Anyone, from any background, should feel encouraged to participate and contribute to ACM. ACM is committed to creating an environment that welcomes new ideas and perspectives, and where hostility or other antisocial behaviors are not tolerated.
Key contributions of her dissertation include the first data-driven algorithms for bounded verification of nonlinear hybrid systems using sensitivity analysis. A groundbreaking demonstration of this work on an industrial-scale problem showed that verification can scale. Her sensitivity analysis technique was patented, and a startup based at the University of Illinois at Urbana-Champaign has been formed to commercialize this approach.
DryVR, a tool that resulted from this work, has been applied to dozens of systems, including advanced driver assist systems, neural network-based controllers, distributed robotics, and medical devices, acm doctoral dissertation award. The RealSyn approach presented in the dissertation outperforms existing tools and is paving the way for new real-time motion planning algorithms for autonomous vehicles.
Fan is the Wilson Assistant Professor of Aeronautics and Astronautics at the Massachusetts Institute of Technology, where she leads the Reliable Autonomous Systems Lab. Her group uses rigorous mathematics including formal methods, machine learning, and control theory for the design, analysis, and verification of safe autonomous systems.
Fan received a BA in Automation from Tsinghua University. She earned her PhD in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign. Honorable Mentions for the ACM Doctoral Dissertation Award go to Henry Corrigan-Gibbs for his dissertation from Stanford University, and Ralf Jung for his dissertation from Saarland University and the Max Planck Institute for Software Systems.
Corrigan-Gibbs first develops a new type of probabilistically checkable proof PCPacm doctoral dissertation award then applies this technique to develop the Prio system, an elegant and scalable system that addresses a real industry need.
Prio is being deployed at several large companies, including Mozilla, where it has been shipping in the nightly version of the Firefox browser since latethe largest-ever deployment of PCPs. For example, his dissertation introduces a tool enabling Mozilla to measure how many Firefox users encountered a particular web tracker without learning which users encountered that tracker or why. The thesis develops a new system of probabilistically checkable proofs that lets every browser send a short zero-knowledge proof that its encrypted contribution to the aggregate statistics is well formed.
The key innovation is that verifying the proof is extremely fast. Corrigan-Gibbs is an Assistant Professor in the Electrical Engineering and Computer Science Department at the Massachusetts Institute of Technology, where he is also a member of the Computer Science and Artificial Intelligence Lab.
His research focuses on computer security, cryptography, and computer systems. Corrigan-Gibbs received his PhD in Computer Science from Stanford University. In development at Mozilla sinceand increasingly popular throughout the industry, Rust addresses a longstanding problem in language design: how to balance safety and control. In his dissertation, Jung tackles this challenge by developing semantic foundations for Rust that account directly for the interplay between safe and unsafe code, acm doctoral dissertation award.
Building upon these foundations, Jung provides a proof of safety for a significant subset of Rust. Moreover, the proof is formalized within the automated proof assistant Coq and therefore its correctness is guaranteed. In addition, Jung provides a platform for formally verifying powerful type-based optimizations, even in the presence of unsafe code, acm doctoral dissertation award.
Through Jung's leadership and active engagement with the Rust Unsafe Code Guidelines working group, his work has already had profound impact on the design of Rust and laid essential foundations for its future. Jung is a post-doctoral researcher at the Max Planck Institute for Software Systems and a research affiliate of the Parallel and Distributed Operating Systems Group at the Massachusetts Institute of Technology, acm doctoral dissertation award.
His research interests include programming languages, verification, semantics, and type systems. He conducted his doctoral research at the Max Planck Institute for Software Systems, and received his PhD, Master's, and Acm doctoral dissertation award degrees in Computer Science from Saarland University.
Presented annually to the author s of the best doctoral dissertation s in computer science and engineering. Winning dissertations will be published in the ACM Digital Library as part of the ACM Books Series. ACM, the Association for Computing Machineryis the world's largest educational and scientific computing society, uniting educators, researchers and professionals to inspire dialogue, share resources and address the field's challenges. ACM strengthens the computing profession's collective voice through strong leadership, promotion of the highest standards, acm doctoral dissertation award, and recognition of technical excellence.
ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking. Contact: Jim Ormond ormond hq. Printable PDF File. skip to main content. Join Volunteer myACM Search Input Search Submit. Join Volunteer myACM. About Home About ACM ACM's Acm doctoral dissertation award, Vision, Core Values and Goals Governance ACM Council Boards and Committees Past Presidents ACM Constitution Bylaws Annual Reports History Code of Ethics Code of Ethics Enforcement Procedures Stop Harassment Report Unacceptable Behavior ACM in the News Media Center Contact Us About ACM ACM, the world's largest educational and scientific computing society, delivers resources that advance computing as a science and a profession.
ACM Regional Councils. ACM: Formed at the Dawn of Computing. Customer Service FAQs. Become an Ambassador for ACM. Publications Home About Publications Digital Library CACM Journals Magazines Books Conference Proceedings ICPS SIGs Newsletters Blue Diamond Newsletter Applications-Oriented Content For Authors Primary Article Templates Open Access Artifacts and Reproducibility New ACM Journals Propose New Publications Policies Report a Potential Violation Publications Board Subscribe Advertise Contact Us About ACM Publications For more than 60 years, the best and brightest minds in computing have come to ACM to meet, share ideas, publish their work and change the world.
Publish with ACM. Select Application-Oriented Papers. Software and Data Artifacts in the ACM Digital Library. Special Interest Groups Home About SIGs SIG Listing Emerging Interest Groups SIG Awards SIG Chapters Publications Conferences Join a SIG Volunteer Resources SIG Leaders Contact Us Special Interest Groups ACM's Special Interest Groups SIGs represent major areas of computing, addressing the interests of technical communities that drive innovation.
Join an ACM SIG. Virtual Conferences: A Guide to Best Practices. Find an ACM Conference. Chapter-in-a-Box: Everything You Need to Run and Grow Your ACM Chapter. Chapter Administrative Interface, acm doctoral dissertation award.
Start an ACM Chapter. Awards Home About Awards Award Recipients ACM Fellows ACM Advanced Member Grades ACM Awards Committee Nominate Award Sponsors Establish a New Award Contact Us About ACM Awards ACM recognizes excellence through its eminent awards for technical and professional achievements and contributions in computer science and information technology. More on ACM Awards. Doctoral Dissertation Award Recognizes Young Researchers.
Shyamnath Gollakota Receives ACM Grace Murray Hopper Award. ACM, AAAI Recognize Levesque and Vardi for Theoretical and Logic Contributions. Human Inspired Artificial Intelligence, acm doctoral dissertation award. Quantum Computational Supremacy, acm doctoral dissertation award. ByteCast Ep Luiz Andre Barroso. Learning Center Home About the Learning Acm doctoral dissertation award E-Learning Member Offers TechTalks ByteCast Acm doctoral dissertation award FAQs Practitioner Board Professional Development Committee About ACM Learning Center The ACM Learning Center offers ACM members access to lifelong learning tools and resources.
ByteCast Ep Ayanna Howard. ByteCast Ep Mounia Lalmas. Public Policy Home About ACM's Public Policy Work Tech Policy Council Europe Tech Policy US Tech Policy Policy Products Media Releases Contact Us Public Policy ACM provides independent, nonpartisan, acm doctoral dissertation award, and technology-neutral research and resources to policy leaders, stakeholders, acm doctoral dissertation award, and the public about public policy issues, drawn from the deep technical expertise of the computing community, acm doctoral dissertation award.
ACM Europe TPC Statement on Digital Green Certificates. USTPC Urges Narrower Definition of Computer Fraud and Abuse Act. Diversity, Equity and Inclusion Home About Diversity, Equity and Inclusion Committee on Systemic Change Forming Diverse Teams Words Matter ACM Code of Ethics Stop Harassment Report Unacceptable Behavior ACM-W Future of Computing Academy Contact Us Diversity, Equity, and Inclusion Anyone, from any background, should feel encouraged to participate and contribute to ACM.
How Diverse Is Your Team? ACM-W's Webinar Series Celebrates Women in Computing. Honorable Mentions Honorable Mentions for the ACM Doctoral Dissertation Award go to Henry Corrigan-Gibbs for his dissertation from Stanford University, and Ralf Jung for his dissertation from Saarland University and the Max Planck Institute for Software Systems. About the ACM Doctoral Dissertation Award Presented annually to the author s of the best doctoral dissertation s in computer science and engineering.
About ACM ACM, the Association for Computing Machineryis the world's largest educational and scientific computing society, uniting educators, researchers and professionals to inspire dialogue, share resources and address the field's challenges. org Printable PDF File.
AMA on Writing a Winning PhD Dissertation.
, time: 1:11:02ACM India Doctoral Dissertation Award
ACM Doctoral Dissertation Award Overview. ACM established the Doctoral Dissertation Award program to recognize and encourage superior research and Eligibility. Eligibility requirements updated November Nominations are considered on a yearly eligibility cycle Next Deadline. November 30 Jul 14, · About the ACM Doctoral Dissertation Award. Presented annually to the author(s) of the best doctoral dissertation(s) in computer science and engineering. The Doctoral Dissertation Award is accompanied by a prize of $20,, and the Honorable Mention Award is accompanied by a prize totaling $10, Winning dissertations will be published in the ACM Digital Library ACM Doctoral Dissertation Award: North America: Mirarab, Siavash: ACM Doctoral Dissertation
No comments:
Post a Comment