{"id":1747,"date":"2022-01-26T19:39:40","date_gmt":"2022-01-26T19:39:40","guid":{"rendered":"https:\/\/cqe.mit.edu\/quarc2022\/?page_id=1747"},"modified":"2022-01-30T16:14:03","modified_gmt":"2022-01-30T16:14:03","slug":"christopher-mcnally","status":"publish","type":"page","link":"https:\/\/cqe.mit.edu\/quarc2022\/christopher-mcnally\/","title":{"rendered":"Christopher McNally"},"content":{"rendered":"

[et_pb_section fb_built=”1″ custom_padding_last_edited=”on|tablet” admin_label=”Header” _builder_version=”4.12.1″ background_image=”https:\/\/cqe.mit.edu\/quarc2022\/wp-content\/uploads\/sites\/3\/2022\/01\/t1.jpg” parallax=”on” custom_margin=”|||” custom_margin_tablet=”|||0%” custom_margin_last_edited=”off|desktop” custom_padding=”0|0px|0px|0%|false|false” custom_padding_tablet=”|||0%” custom_padding_phone=”” global_colors_info=”{}”][et_pb_row column_structure=”2_5,3_5″ _builder_version=”4.12.1″ _module_preset=”default” background_color=”#FFFFFF” width=”100%” max_width=”75%” custom_padding=”|5%||5%|false|false” saved_tabs=”all” global_colors_info=”{}”][et_pb_column type=”2_5″ _builder_version=”4.12.1″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/cqe.mit.edu\/quarc2022\/wp-content\/uploads\/sites\/3\/2021\/11\/quarc2022_logo1.png” title_text=”quarc2022_logo(1)” _builder_version=”4.12.1″ _module_preset=”default” module_alignment=”center” custom_css_main_element=”max-width:75%;||width:auto;” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”3_5″ _builder_version=”4.12.1″ _module_preset=”default” global_colors_info=”{}”][et_pb_menu menu_id=”9″ _builder_version=”4.12.1″ _module_preset=”default” menu_font=”|700|||||||” menu_font_size=”13px” custom_margin=”||||false|false” custom_padding=”3%||||false|false” custom_css_main_element=”display:flex;” global_colors_info=”{}”][\/et_pb_menu][\/et_pb_column][\/et_pb_row][et_pb_row use_custom_gutter=”on” gutter_width=”1″ _builder_version=”4.12.1″ background_color=”#FFFFFF” width=”100%” max_width=”75%” module_alignment=”center” custom_padding=”|10%||10%|true|false” hover_enabled=”0″ use_custom_width=”on” width_unit=”off” custom_width_percent=”100%” global_colors_info=”{}” sticky_enabled=”0″][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”15%|||” custom_padding_tablet=”0px|||” custom_padding_phone=”0px|||” custom_padding_last_edited=”on|tablet” global_colors_info=”{}” padding_tablet=”0px|||” padding_last_edited=”on|tablet” custom_padding__hover=”|||” padding_phone=”0px|||”][et_pb_text _builder_version=”4.12.1″ text_font=”||||||||” text_font_size=”16px” text_line_height=”2em” header_font=”Ubuntu|700|||||||” header_font_size=”60px” header_line_height=”1.4em” header_3_font=”Ubuntu||||||||” header_3_line_height=”1.8em” header_6_font=”Lato|700|||||||” header_6_font_size=”18px” header_6_line_height=”1.8em” background_color=”#6e8cc9″ background_layout=”dark” custom_margin=”||5%||false|false” custom_padding=”10%|10%|10%|10%|true|true” custom_padding_phone=”80px|2vw||2vw||true” custom_padding_last_edited=”off|desktop” animation_style=”slide” animation_direction=”top” animation_intensity_slide=”2%” text_font_size_tablet=”” text_font_size_phone=”14px” text_font_size_last_edited=”on|desktop” header_font_size_tablet=”” header_font_size_phone=”32px” header_font_size_last_edited=”on|desktop” custom_css_main_element=”display:flex;” global_colors_info=”{}”]<\/p>\n

Region Inference for Ancilla Safety in Quantum Programming<\/strong><\/h3>\n

<\/strong><\/p>\n

<\/strong><\/h4>\n
<\/strong><\/h5>\n
<\/strong>Christopher McNally | Charles Yuan | William Oliver<\/strong><\/h5>\n

<\/h4>\n

Coherent quantum effects promise unprecedented speedups for certain computational problems. However, quantum algorithms remain difficult to express, reason about, and debug, due to the intricacy of the highly-entangled quantum states they rely on. Recent quantum programming languages have therefore sought to control the entanglement patterns that can appear in a program. One key desideratum is a property we call “ancilla safety”: a program should not free certain ancilla qubits while they remain entangled with data qubits, as this would lead to an unintended loss of coherence. We present an efficient, fully compile-time analysis to detect ancilla-unsafe programs, related to classical region-based analyses for memory- and thread-safety. This analysis is implemented in a complete compiler for a new high-level imperative, affinely typed quantum programming language. We show that this system is more liberal than existing languages: it admits more correct programs without compromising ancilla safety, at the cost of only sparse and lightweight type annotations.<\/p>\n

 <\/p>\n

Funding Sources: CQE-LPS Doc Bedard Fellowship<\/p>\n

[\/et_pb_text][et_pb_image src=”https:\/\/cqe.mit.edu\/quarc2022\/wp-content\/uploads\/sites\/3\/2021\/12\/2021-12-24-170707.png” title_text=”2021-12-24-170707″ align=”center” align_tablet=”center” align_phone=”center” align_last_edited=”on|desktop” _builder_version=”4.12.1″ max_width=”100%” module_alignment=”center” animation_style=”slide” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_2,1_2″ use_custom_gutter=”on” gutter_width=”1″ _builder_version=”4.12.1″ background_color=”#FFFFFF” width=”100%” max_width=”75%” module_alignment=”center” custom_padding=”5%|5%|5%|5%|true|false” use_custom_width=”on” width_unit=”off” custom_width_percent=”100%” global_colors_info=”{}”][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”15%|||” custom_padding_tablet=”0px|||” custom_padding_phone=”0px|||” custom_padding_last_edited=”on|tablet” global_colors_info=”{}” padding_tablet=”0px|||” padding_last_edited=”on|tablet” custom_padding__hover=”|||” padding_phone=”0px|||”][et_pb_text _builder_version=”4.12.1″ text_font=”||||||||” text_font_size=”16px” text_line_height=”2em” header_font=”Ubuntu|700|||||||” header_font_size=”60px” header_line_height=”1.4em” header_3_font=”Ubuntu||||||||” header_3_line_height=”1.8em” header_6_font=”Lato|700|||||||” header_6_font_size=”18px” header_6_line_height=”1.8em” background_color=”#96a6bd” background_layout=”dark” custom_padding=”60px|10%|60px|10%|true|true” custom_padding_phone=”80px|2vw||2vw||true” custom_padding_last_edited=”off|desktop” animation_style=”slide” animation_direction=”top” animation_intensity_slide=”2%” text_font_size_tablet=”” text_font_size_phone=”14px” text_font_size_last_edited=”on|desktop” header_font_size_tablet=”” header_font_size_phone=”32px” header_font_size_last_edited=”on|desktop” custom_css_main_element=”display:flex;” global_colors_info=”{}”]<\/p>\n

Christopher <\/strong>McNally
<\/strong><\/h1>\n

 <\/p>\n

Affiliation: MIT, Graduate Student<\/strong><\/strong><\/h2>\n

 <\/p>\n

Areas of Research<\/strong><\/h2>\n
    \n
  • \n
      \n
    • Quantum Algorithms & Machine Learning<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n

      Open to<\/strong><\/h2>\n
        \n
      • \n
          \n
        • Internships<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n

          [\/et_pb_text][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_image src=”https:\/\/cqe.mit.edu\/quarc2022\/wp-content\/uploads\/sites\/3\/2021\/12\/me.jpg” title_text=”me” align=”center” align_tablet=”center” align_phone=”center” align_last_edited=”on|desktop” _builder_version=”4.12.1″ max_width=”100%” module_alignment=”center” animation_style=”slide” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

          Region Inference for Ancilla Safety in Quantum Programming Christopher McNally | Charles Yuan | William Oliver Coherent quantum effects promise unprecedented speedups for certain computational problems. However, quantum algorithms remain difficult to express, reason about, and debug, due to the intricacy of the highly-entangled quantum states they rely on. Recent quantum programming languages have therefore […]<\/p>\n","protected":false},"author":6,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"class_list":["post-1747","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cqe.mit.edu\/quarc2022\/wp-json\/wp\/v2\/pages\/1747","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cqe.mit.edu\/quarc2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cqe.mit.edu\/quarc2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cqe.mit.edu\/quarc2022\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/cqe.mit.edu\/quarc2022\/wp-json\/wp\/v2\/comments?post=1747"}],"version-history":[{"count":6,"href":"https:\/\/cqe.mit.edu\/quarc2022\/wp-json\/wp\/v2\/pages\/1747\/revisions"}],"predecessor-version":[{"id":1860,"href":"https:\/\/cqe.mit.edu\/quarc2022\/wp-json\/wp\/v2\/pages\/1747\/revisions\/1860"}],"wp:attachment":[{"href":"https:\/\/cqe.mit.edu\/quarc2022\/wp-json\/wp\/v2\/media?parent=1747"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}