Представляем Kirin: инфраструктуру компилятора промежуточного представления ядра от QuEra.

Откройте для себя Kirin, открытую инфраструктуру компиляторов от QuEra, разработанную для оптимизации квантового программирования для систем на основе нейтральных атомов. В этом вебинаре Роджер Луо из QuEra расскажет о мотивах создания Kirin, его архитектуре и о том, как он позволяет физикам и исследователям писать более эффективное и масштабируемое квантовое программное обеспечение. Узнайте, как Kirin преодолевает разрыв между высокоуровневым программированием и низкоуровневым управлением оборудованием, используя мощное промежуточное представление, адаптированное для динамических квантовых систем.

Технология QuEra основана на прорывных научных разработках Гарварда и Массачусетского технологического института и направлена ​​на создание масштабируемых, отказоустойчивых квантовых компьютеров на основе нейтральных атомов. В этом докладе команда продемонстрирует, как Kirin упрощает проектирование компиляторов для ученых, поддерживает логику управления потоком и повышает производительность за счет структурного представления.


Доступ к коду Kirin: https://github.com/QuEraComputing/kirin/

См. Bloqade, SDK для нейтральных атомов: https://github.com/QuEraComputing/blo...

Разделы:
00:32 – Кто такая QuEra и чем мы занимаемся
01:35 – Почему нейтральные атомы для квантовых вычислений
02:58 – Ключевые преимущества технологии нейтральных атомов QuEra
04:48 – Реальное развертывание: машина Gemini в AIST
05:44 – Визуальная демонстрация: перемещение атомов
06:30 – Сложность программирования устройств на основе нейтральных атомов
07:05 – Введение в Kirin
08:00 – Мотивация и история Kirin
09:14 – Проблемы с фрагментированными компиляторами
11:20 – Почему ученым нужны инструменты компилятора
12:37 – Что помогает решить компилятор в квантовых системах
16:00 – Структурное программирование преимущества
19:09 – Когда вам нужен компилятор (и когда он вам не нужен)
20:32 – Требования к квантовой коррекции ошибок (QEC)
22:33 – Представления потока управления нативными и внешними
26:20 – Преимущества компилятора: производительность и надежность
29:01 – Желаемые функции в научных компиляторах
30:42 – Почему Kirin разработан для ученых, а не для инженеров
36:18 – Легковесные и полнофункциональные компиляторы (Kirin против MLIR)
37:29 – Пример: определение компилятора на Python
43:11 – Живая демонстрация: создание квантового DSL с использованием Kirin
48:58 – Краткое описание возможностей Kirin
49:39 – Как Kirin обеспечивает работу SDK Bloqade от QuEra
50:21 – Что дальше ждет инструменты с открытым исходным кодом от QuEra
54:12 – Вопросы и ответы о поддержке QEC лицензирование

#КвантовоеПрограммирование
#КвантовыйОткрытыйИсточник
#НейтральныеАтомы