БЕСПЛАТНАЯ запись на курс обучения тренеров по духовной жизни
Часовой пояс*
Выберите часовой пояс (UTC-10:00) Гавайи (UTC-09:00) Аляска (UTC-08:00) Нижняя Калифорния (UTC-08:00) Тихоокеанское время (США и Канада)(UTC-07:00) Чиуауа, Ла-Пас, Масатлан(UTC-07:00) Аризона(UTC-07:00) Горное время (США и Канада)(UTC-06:00) Центральное Америка(UTC-06:00) Центральное время (США и Канада)(UTC-06:00) Саскачеван(UTC-06:00) Гвадалахара, Мехико, Монтерей(UTC-05:00) Богота, Лима, Кито(UTC -05:00) Индиана (Восток)(UTC-05:00) Восточное время (США и Канада)(UTC-04:30) Каракас(UTC-04:00) Атлантическое время (Канада)(UTC-04:00) Асунсьон(UTC-04:00) Джорджтаун, Ла-Пас, Манаус, Сан-Хуан(UTC-04:00) Куяба(UTC-04:00) Сантьяго(UTC-03:30) Ньюфаундленд(UTC-03:00) Бразилиа( UTC-03:00) Гренландия(UTC-03:00) Кайенна, Форталеза(UTC-03:00) Буэнос-Айрес(UTC-03:00) Монтевидео(UTC-02:00) Всемирное координированное время-2(UTC-01) :00) Кабо-Верде(UTC-01:00) Азорские острова(UTC+00:00) Касабланка(UTC+00:00) Монровия, Рейкьявик(UTC+00:00) Дублин, Эдинбург, Лиссабон , Лондон (UTC+00:00) Всемирное координированное время (UTC+01:00) Амстердам, Берлин, Берн, Рим, Стокгольм, Вена (UTC+01:00) Брюссель, Копенгаген, Мадрид, Париж (UTC+01:00) ) Западная Центральная Африка(UTC+01:00) Белград, Братислава, Будапешт, Любляна, Прага(UTC+01:00) Сараево, Скопье, Варшава, Загреб(UTC+01:00) Виндхук(UTC+02:00) Афины , Бухарест, Стамбул(UTC+02:00) Хельсинки, Киев, Рига, София, Таллинн, Вильнюс(UTC+02:00) Каир(UTC+02:00) Дамаск(UTC+02:00) Амман(UTC+02) :00) Хараре, Претория(UTC+02:00) Иерусалим(UTC+02:00) Бейрут(UTC+03:00) Багдад(UTC+03:00) Минск(UTC+03:00) Кувейт, Эр-Рияд(UTC +03:00) Найроби(UTC+03:30) Тегеран(UTC+04:00) Москва, Санкт-Петербург, Волгоград(UTC+04:00) Тбилиси(UTC+04:00) Ереван(UTC+04:00) ) Абу-Даби, Маскат(UTC+04:00) Баку(UTC+04:00) Порт-Луи(UTC+04:30) Кабул(UTC+05:00) Ташкент(UTC+05:00) Исламабад, Карачи(UTC +05:30) Шри-Джаяварденепура-Котте(UTC+05:30) Ченнаи, Калькутта, Мумбаи, Нью-Дели(UTC+05:45) Катманду(UTC+06:00) Астана(UTC+06:00) Дакка(UTC+ 06:00) Йекате Ринбург(UTC+06:30) Янгон(UTC+07:00) Бангкок, Ханой, Джакарта(UTC+07:00) Новосибирск(UTC+08:00) Красноярск(UTC+08:00) Улан-Батор(UTC+08: 00) Пекин, Чунцин, Гонконг, Урумчи(UTC+08:00) Перт(UTC+08:00) Куала-Лумпур, Сингапур(UTC+08:00) Тайбэй(UTC+09):00) Иркутск(UTC+09:00) Сеул(UTC+09:00) Осака, Саппоро, Токио(UTC+09:30) Дарвин(UTC+09:30) Аделаида(UTC+10:00) Хобарт(UTC +10:00) Якутск(UTC+10:00) Брисбен(UTC+10:00) Гуам, Порт-Морсби(UTC+10:00) Канберра, Мельбурн, Сидней(UTC+11:00) Владивосток(UTC+11: 00) Соломоновы острова, Новая Каледония(UTC+12:00) Всемирное координированное время+12(UTC+12:00) Фиджи, Маршалловы острова(UTC+12:00) Магадан(UTC+12:00) Окленд, Веллингтон(UTC) +13:00) Nuku’alofa(UTC+13:00) Samoa
State*
Choose StateAlabamaAlaskaArizonaArkansasCaliforniaColoradoConnecticutDelawareDistrict of ColumbiaFloridaGeorgiaHawaiiIdahoIllinoisIndianaIowaKansasKentuckyLouisianaMaineMarylandMassachusettsMichiganMinnesotaMississippiMissouriMontanaNebraskaNevadaNew HampshireNew JerseyNew MexicoNew YorkNorth CarolinaNorth DakotaOhioOklahomaOregonPennsylvaniaRhode IslandSouth CarolinaSouth DakotaTennesseeTexasUtahVermontVirginiaWashingtonWest VirginiaWisconsinWyomingArmed Forces AmericasArmed Forces EuropeArmed Forces PacificI do not l я в США 9
Как вы нас нашли?*
Среда, 4 января, 17:00–18:30 по тихоокеанскому стандартному времени.
**Классы показаны по калифорнийскому времени**
FreeTensor: DSL свободной формы с целостной оптимизацией для нерегулярных тензорных программ (PLDI 2022 — Исследовательские статьи PLDI)
PLDI 2022 (серия) / Исследовательские статьи PLDI /
Who
Shizhi Tang , Jidong Zhai , Haojie Wang , Lin Jiang , Liyan Zheng , Zhenhao Yuan , Chen Zhang
Abstract
Tensor programs are of critical use in много доменов. Существующие фреймворки, такие как PyTorch, TensorFlow и JAX, используют операторное программирование для упрощения программирования, повышения производительности и выполнения автоматического дифференцирования. Однако по мере быстрого развития тензорных программ операторное программирование демонстрирует значительные ограничения для нерегулярных шаблонов, поскольку вводится большой объем избыточных вычислений или доступа к памяти.
В этой работе мы предлагаем FreeTensor, предметно-ориентированный язык свободной формы, который поддерживает программирование без избыточности за счет введения мелкозернистого потока управления. Благодаря оптимизации, включающей частичную оценку, преобразование с учетом зависимостей и детальное автоматическое дифференцирование, FreeTensor может создавать высокопроизводительные градиентные программы как на ЦП, так и на ГП. Эксперименты показывают ускорение по сравнению с существующими платформами тензорного программирования до 5,10× без дифференцирования и до 127,74× после дифференцирования для типичных нерегулярных тензорных программ.
Ссылка на препринт.
13:30 — 14:50 | Verification & OptimizationPLDI at Toucan +12h | ||
13:30 20m Talk | Efficient Approximations for Cache-conscious Data Placementvirtual PLDI Ali Ahmadi Sharif University of Technology, Majid Daliri University of Tehran, Amir Kafshdar Goharshady Гонконгский университет науки и технологий, Орхусский университет Андреаса Павлоянниса DOI | ||
13:50 20 м Talk | FreeTensor: DSL свободной формы с целостной оптимизацией для нерегулярных тензорных программ. Чжэньхао Юань Университет Цинхуа, Чэнь Чжан Университет Цинхуа Препринт DOI | ||
14:10 20 м Разговор | Лазанья: статический двоичный транслятор для моделей со слабой памятью. Soham Chakraborty Tu Delft, Pramod Bhatotia Tu Munich / Edinburgh DOI | ||
14:30 20M SEMALTICART.0002 PLDI Junpeng Zha Nanjing University, Hongjin Liang Nanjing University, Xinyu Feng Nanjing University DOI Pre-print |
01:30 — 02:50 | Verification & OptimizationPLDI at Toucan | ||
01:30 20M Talk | . 0002 PLDI Ali Ahmadi Sharif University of Technology, Majid Daliri University of Tehran, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Andreas Pavlogiannis Aarhus University DOI | ||
01:50 20m Talk | FreeTensor: DSL свободной формы с целостной оптимизацией для нерегулярных тензорных программvirtual PLDI Университет Шижи Тан Цинхуа, Университет Цзидун Чжай Цинхуа, Университет Хаоцзе Ван, Линь Цзян Юань Чжэнь Цинхуа университет, Лихао Университет Цинхуаня Университет Цинхуа, Университет Чэнь Чжан Цинхуа DOI Preprint | ||
02:10 20M Talk | LASAGNE: статический бинарный переводчик для слабых памяти. |