Czy odwracalność, niezależność od sytuacji i realizacja w ograniczonym czasie to na pewno własności konieczne do poprawnego działania struktury danych w superpozycji kwantowej? Jakie wyzwania adresuje język Tower i jakie ma cechy? Czym jest Boson i Ground? Zapraszamy na seminarium online Tower: Data Structures in Quantum Superposition, którego gościem będzie Charles Yuan.
Charles Yuan jest doktorantem na MIT. Pracuje w zespole Michaela Carbina, a jego zainteresowania badawcze dotyczą języków programowania dla obliczeń kwantowych. Jego praca pojawiła się na konferencjach ACM SIGPLAN POPL i OOPSLA oraz została wyróżniona nagrodą SIGPLAN Distinguished Artifact Award na SPLASH 2022.
Co: seminarium Do (N)ASK pt: Tower: Data Structures in Quantum Superposition
Gdzie: online, Microsoft Teams
Kiedy: 8 marca, środa, godz. 15:30-16:30
Język spotkania: angielski
Format seminarium: prezentacja i dyskusja
Skrót tematyki seminarium:
In his talk, Charles will present Tower, a language to enable quantum programming with data structures, on which emerging quantum algorithms rely to demonstrate computational advantage. To correctly operate in superposition, a data structure must satisfy three properties -- reversibility, history independence, and bounded-time execution. Standard implementations, such as the representation of a set as a hash table, fail these properties, calling for tools to develop specialized implementations. We present Tower, a language that enables the developer to implement data structures as pointer-based, linked data, and Boson, the first memory allocator that supports reversible, history-independent, and constant-time dynamic memory allocation in quantum superposition. Using them, we implement Ground, the first quantum library of data structures, featuring an executable and efficient implementation of sets.
Artykuły powiązane z tematem seminarium i gościem z MIT:
https://dl.acm.org/doi/10.1145/3498691
https://dl.acm.org/doi/abs/10.1145/3563297
https://spectrum.ieee.org/quantum-programming-language-twist
https://news.mit.edu/2022/new-language-quantum-computing-twist-0124
-------
Cykl spotkań NASK SCIENCE to nowa inicjatywa edukacyjna Instytutu, której celem jest otwarte dzielenie się ciekawą wiedzą z szerszą publicznością. Gośćmi spotkań będą eksperci i ekspertki z Polski i zagranicy z bogatym naukowym portfolio oraz inspirującymi wynikami badań i gotowością na ich krytyczną ocenę i dyskusję. Wydarzenia odbywają się w języku polskim lub angielskim, jako wykłady lub konwersatoria Do (N)ASK.
