CCCCatalyzing the computing research community and enabling the pursuit of innovative, high-impact research.
  • Twitter
  • Facebook
  • Youtube
  • Rss
  • About
    • About CCC
    • Council Members
      • Call for Council Nominations
    • Council Meetings
    • CCC Council Nominations
    • Governing Documents
    • FAQ
    • Contact
  • Visioning
    • Visioning Activities
      • 2020
      • 2019
      • 2018
      • 2017
      • 2016
      • 2015
      • 2014
      • 2013
      • 2012
      • 2011 and Prior Years
    • CS for Social Good White Paper Competition
    • Blue Sky
    • Workshop Reports
    • RFP – Creating Visions for Computing Research
    • Robotics Roadmap
  • Leadership Development
    • Call for Council Nominations
    • Leadership in Science Policy Institute
    • Big Data Regional Hubs
    • Postdoc Best Practices
      • Postdoc Best Practice Final Reports
      • Postdoc Best Practice Resources
    • CIFellows
      • CIFellows 2020: For the Record
      • Apply for the CI Fellows 2020 Program
      • CI Fellows 2014 Workshop
      • 2011 Class
      • 2010 Class
      • 2009 Class
      • Assessment
      • Success Stories
      • Diversity
  • Task Forces
    • Cybersecurity and Cybertrust
    • Re**ing Computing
    • Responsible Computing
    • Technology for a Connected & Distributed Life
    • AI Working Group
    • Foundations Working Group
    • Past Task Forces
  • Resources
    • CCC Call for Content
    • Workshop Reports
    • CCC-Led White Papers
    • Presentations
    • CCC Responds to the Community
    • Recent CCC Activities
    • Ongoing CCC Activities
    • Computing Research in Action
    • Computing Research Highlights
    • Great Innovative Ideas
    • Event Videos
    • Catalyzing Computing Podcast
  • Events
    • Upcoming Events
    • Special Events
    • Past Events
    • CCC at AAAS
      • CCC at AAAS 2020
      • CCC at AAAS 2019
      • CCC at AAAS 2018
      • CCC at AAAS 2017
      • CCC at AAAS 2016
      • CCC at AAAS 2013
  • Blog
  • CCC by CS Area
    • AI /ML / Robotics
    • Architecture / Systems / Networking
    • Databases / Informatics / Data Science / HPC
    • Human-Computer Interaction / Graphics / Visualization
    • IoT / Ubiquitous
    • Programming Languages / Compilers / Software Engineering
    • Security / Privacy / Fairness
    • Theory / Algorithms
    • Miscellaneous
  • Podcast
  • Search
  • Menu

Next Steps in Quantum Computing: Computer Science’s Role


   Workshop Report   

May 22-23, 2018

The Fairmont Washington DC
Fairmont Washington D.C., Georgetown, 2401 M St NW, Washington, DC 20037, USA



Event Contact

Ann Drobnis
adrobnis@cra.org


Event Type

2018 Events, 2018 Visioning Activities


Event Category

CCC


Tags

accelerator, post moore's law, quantum

Overview

While it has been known for some time that quantum computers could in principle solve problems that are intractable on today’s supercomputers such as breaking public key cryptography and solving hard computational chemistry problems, the field of quantum computing is still at an early stage. Recent progress in realizing small scale quantum computers is encouraging and these devices may scale up further in the near future. However, currently, only very few opportunities exist to bring quantum computing experts together with experts from other computer science fields with much to offer: programming languages, compiler design, computer architecture, and design automation in an exchange of ideas.

The Next Steps in Quantum Computing workshop aims at bridging this gap and to bring together an interdisciplinary crowd with broad participation of colleagues from classical computer science disciplines as well as domain-experts from quantum computing. Researchers in the US as well as decision makers in US government agencies are the intended target audience, but the workshop is meant to be inclusive. The general organization will allow to have ample time for discussions and personal interactions to facilitate community building around the quantum computing vision and provide a natural entry point for computer scientists who are not yet actively participating in quantum computing.

The workshop aims to bring together researchers from quantum computing, computer architecture, electronic design automation, compiler construction, and classical programming languages. Open questions that we anticipate this group to tackle include new methods for circuit synthesis and optimization, compiler optimizations and rewriting, embedded languages versus non-embedded languages, implementations of type systems and error reporting for quantum languages, and techniques for verifying the correctness of quantum programs.

Agenda

May 22, 2018 (Tuesday)

11:00 AM Welcome and Overview | Kennedy Ballroom
11:15 AM Participant Introductions | Kennedy Ballroom
11:45 AM Session 1 - Algorithms | Kennedy Ballroom
  • Andrew Childs
  • Xiaodi Wu
12:05 PM Algorithms Group Discussion | Kennedy Ballroom
12:30 PM Algorithm Breakouts | Imperial I, Imperial II, and Decatur

Questions to answer:

  • What do you think are the major current breakthroughs that didn’t get mentioned during those talks?
  • What do you think has to happen in these areas for quantum computing to become viable in N years (10 or 20)?
  • How can computer scientists play a role?
01:15 PM Algorithms Report Out | Kennedy Ballroom
01:30 PM Lunch | Kennedy Ballroom
02:30 PM Session 2 - Technologies | Kennedy Ballroom
  • Andrew Houck
  • Jungsang Kim
02:50 PM Technologies Group Discussion | Kennedy Ballroom
03:15 PM Technologies Breakout | Imperial I, Imperial II, and Decatur

Questions to answer:

  • What do you think are the major current breakthroughs that didn’t get mentioned during those talks?
  • What do you think has to happen in these areas for quantum computing to become viable in N years (10 or 20)?
  • How can computer scientists play a role?
04:00 PM Technologies Report Out | Kennedy Ballroom
04:15 PM BREAK | Kennedy Foyer
04:30 PM Session 3 - Toolchains/Programming | Kennedy Ballroom
  • Bettina Heim
  • Ali Javadi-Abhari
04:50 PM Toolchains/Programming Group Discussion | Kennedy Ballroom
05:05 PM Toolchains/Programming Breakout | Imperial I, Imperial II, and Decatur

Questions to answer:

  • What do you think are the major current breakthroughs that didn’t get mentioned during those talks?
  • What do you think has to happen in these areas for quantum computing to become viable in N years (10 or 20)?
  • How can computer scientists play a role?
06:00 PM Toolchains/Programming Report Out | Kennedy Ballroom
06:15 PM Conclude Day 1 | Kennedy Ballroom
06:30 PM Dinner | Roosevelt Room

May 23, 2018 (Wednesday)

07:30 AM Breakfast | Roosevelt Room
08:30 AM Regroup | Kennedy Ballroom
08:45 AM Session 4 - Architecture | Kennedy Ballroom
  • Igor Markov
  • Fred Chong
09:05 AM Architecture Group Discussion | Kennedy Ballroom

Questions to answer:

  • What do you think are the major current breakthroughs that didn’t get mentioned during those talks?
  • What do you think has to happen in these areas for quantum computing to become viable in N years (10 or 20)?
  • How can computer scientists play a role?
09:30 AM Architecture Breakout Groups | Imperial I, Imperial II, and Decatur
10:30 AM BREAK | Kennedy Foyer
11:00 AM Architecture Report Out | Kennedy Ballroom
11:15 AM Bringing the 4 Sessions Together | Kennedy Ballroom
12:00 PM Lunch | Roosevelt Room

Could include industry pipeline, diversity of the field, standardization, etc.

01:00 PM Discussion of Other Topics | Kennedy Ballroom
02:30 PM BREAK | Kennedy Foyer
02:45 PM Report Writing | Kennedy Ballroom
04:00 PM Conclude Workshop
Organizers
Margaret Martonosi, Princeton University
Martonosi
Martin Roetteler, Microsoft
Roetteler
Mark Hill, University of Wisconsin, Madison
Hill
Kathy Yelick, University of California at Berkeley
Yelick
Logistics

The Computing Community Consortium (CCC) will cover travel expenses for all participants who desire it. Participants are asked to make their own travel arrangements to get to the workshop, including purchasing airline tickets. Following the symposium, CCC will circulate a reimbursement form that participants will need to complete and submit, along with copies of receipts for amounts exceeding $75.

In general, standard Federal travel policies apply: CCC will reimburse for non-refundable economy airfare on U.S. Flag carriers; and no alcohol will be covered.

For more information, please see the Guidelines for Participant Reimbursements from CCC.

Additional questions about the reimbursement policy should be directed to Ann Drobnis, CCC Director (adrobnis [at] cra.org).

Application

Applications:

  • Breakout 1
  • Breakout 2
  • Breakout 3
  • Breakout 4

Technologies

  • Breakout 1
  • Breakout 2
  • Breakout 3
  • Breakout 4

Toolchains/Programming

  • Breakout 1
  • Breakout 2
  • Breakout 3
  • Breakout 4

Architecture

  • Breakout 1
  • Breakout 2
  • Breakout 3
  • Breakout 4

 

Resources

Below is a list of relevant papers submitted by workshop participants:

Efficient Distributed Quantum Computing, by Robert Beals, et al.

Fault-tolerant quantum error correction for Steane’s seven-qubit color code with few or no extra qubits, by Ben W. Reichardt

  • Submitter comment: Can we automatically compile and find space saving techniques for fault-tolerant error correction?

Open Quantum Assembly Language, by Andrew W. Cross, Lev S. Bishop, John A. Smolin, Jay M. Gambetta

Physics, Topology, Logic and Computation: A Rosetta Stone, by John C. Baez, Mike Stay

  • Submitter comment: I love this paper. It shows that quantum computing, topology, logic, and programming languages are intimately related. The paper might inspire ideas on how to adapt techniques and tools from one domain to the other.

Q#: Enabling scalable quantum computing and development with a high-level domain-specific language, by Krysta M. Svore, et al.

  • Submitter comment: Broader discussion about Q#, Liquid, Quipper and related quantum programming languages would be welcome.

Quantum Algorithm Implementations for Beginners, by Patrick J. Coles, et. al.

  • Submitter comment: This is a pool of relevant quantum codes for near-term machines and also about how they are gonna run on IBM machines. It is also easy to read for people from different backgrounds.

Quantum algorithms: an overview, by Ashley Montanaro

  • Submitter comment: High-level and recent overview of quantum algorithms. It doesn’t discuss issues related to the meeting, like circuit synthesis, but should give an idea of what we would do with a large quantum computer.

Quantum Computing in the NISQ era and beyond, John Preskill

  • Submitter comment: This is a slightly unconventional choice, but I think it is important to think about the needs and challenges for both near term and long term architectures. Just as different programming languages excel in different domains, I suspect that the compiling / architecture questions for the near term intermediate scale devices are different than those for long term error corrected devices. The attached paper is a very good review of what might be sitting in the near term intermediate scale regime.

QWIRE: A Core Language for Quantum Circuits, by Jennifer Paykin, Robert Rand, and Steve Zdancewic

The Steep Road Towards Robust and Universal Quantum Computation, by Earl T. Campbell, Barbara M. Terhal and Christophe Vuillot

CRA - Uniting Industry, Academia and Government to Advance Computing Research and Change the World.
CCC - Catalyzing the computing research community and enabling the pursuit of innovative, high-impact research.
Increasing the Success and Participation of Underrepresented Groups in Computing Research.
CRA-E - Addressing society’s need for a continuous supply of talented and well-educated computing researchers.
CERP - Promoting diversity in computing through evaluation and research.
CRA Home | Contact Us | Unsubscribe/Removal of Information | Terms of Use         © Copyright 2021 - CRA
Robotic Materials Leadership in Embedded Security Workshop
Scroll to top