Однажды в декабре 2009 года Сумит Гулвани встретила бизнес-леди, которая летела с семинара домой. После того, как женщина узнала, что Гулвани имеет степень доктора философии, В области информатики и исследователь Microsoft она задала один вопрос: «Есть ли способ объединить два столбца в Excel, когда один столбец имеет имя, а другой - последнее, чтобы столбец имел и имя, и фамилию?» Гулвани не могла ответить.

Сотни миллионов людей во всем мире использовали электронные таблицы, но большинство из них были непрограммистами, которые вряд ли могут создавать небольшие и разовые приложения для поддержки бизнес-функций. Между тем, программирование электронных таблиц было далеко не удовлетворительным.

Этот анекдот вдохновил Гулвани, менеджера по исследованиям партнеров в Microsoft, углубиться в программирование на примерах, новый подход, который позволяет непрограммистам создавать программы, приводя примеры. После того, как пользователи представят примеры ввода и вывода, компьютер должен найти метод преобразования подобных входных данных в желаемые выходные данные.

Программирование на примерах (PBE)

Гулвани родился в Индии и поступил в IIT Kanpur, чтобы изучать информатику в бакалавриате. Затем он приехал в Соединенные Штаты, чтобы учиться в Калифорнийском университете в Беркли, и получил степень доктора философии. в информатике в 2005 году. Его диссертация об использовании рандомизированных алгоритмов для проверки и обнаружения свойств программ была удостоена награды за выдающуюся докторскую диссертацию от ACM SIGPLAN.

После прихода в Microsoft в 2005 году Гулвани посвятил себя разработке инновационных технологий синтеза программ - идеи о том, что компьютеры автоматически пишут программы. В течение следующих 13 лет его технологии использовались в программном обеспечении, таком как Excel и PowerBI, и в системах Windows, таких как Cortana и Powershell.

В 2011 году Гулвани представил алгоритмы для синтеза программ преобразования строк на примерах, опубликованных на симпозиуме по принципам программирования языков. Его система синтеза программ может использовать примеры ввода-вывода для создания широкого спектра программ обработки строк в электронных таблицах, таких как извлечение жирных или прописных букв из электронной таблицы или преобразование телефонных номеров в единый формат.

Система синтезатора Gulwani призвана заменить роль экспертов-людей на некоторых справочных форумах по Excel и позволить пользователям решать свои проблемы за несколько секунд, а не за несколько дней.

PBE - особенно полезный метод для обработки данных, процесса очистки, структурирования и обогащения необработанных данных до нужного формата, например разделения столбцов, извлечения полей из файлов журналов / веб-страниц, нормализации полуструктурированной электронной таблицы в структурированные таблицы.

Вспышка

Эта технология привела к появлению функции Flash Fill в Microsoft Excel 2013, которую используют сотни миллионов людей. Flash Fill синтезирует миллионы небольших программ - 10–20 строк кода, - которые могут выполнить поставленную задачу.

Как работает Flash Fill? В блоге Microsoft о Flash Fill подробно объясняется: «Допустим, у пользователя Excel есть столбец с номерами социального страхования. Однако они отформатированы неправильно - это 123456789, а не 123–45–6789. Пользователь Excel создает новый столбец рядом с существующим, а затем вводит правильный пример: 123–45–6789. Flash Fill немедленно заполняет все строки под примером правильно отформатированными фигурами. Пользователь должен щелкнуть, чтобы принять их все ».

Сегодня Windows Excel становится все умнее в распознавании того, что пользователи хотят делать со своими данными, от создания нового столбца инициалов до извлечения курсивных букв из электронной таблицы. Просто введите первые несколько полей, чтобы продемонстрировать свое намерение, выберите оставшуюся часть столбца и нажмите Enter. Вуаля!

В знак признания его новаторского вклада в программирование для конечных пользователей и интеллектуальную систему обучения Гулвани был удостоен престижной награды ACM SIGPLAN Robin Milner Young Researcher Award в 2014 году.

«Гулвани признал важную связь между верификацией программ и синтезом программ. Его исследование продемонстрировало, что неточные человеческие намерения на естественном языке и других видах ввода могут быть преобразованы в неполные программные спецификации, которые затем могут быть использованы для синтеза намеченных программ ». из заявления о присуждении награды ACM.

Сегодня Гулвани возглавляет группу исследователей и инженеров PROSE, которая разрабатывает API-интерфейсы для синтеза программ.

Гулвани считает, что некоторые традиционные технологии машинного обучения могут быть использованы в PBE (Программирование на примере) для повышения его эффективности и ремонтопригодности, включая алгоритм поиска, стратегию ранжирования и модель взаимодействия с пользователем. Эти технологии подходят для решения проблем, связанных с созданием применимого PBE, например, как искать программы, соответствующие примерам, предоставленным пользователем, как компьютеры понимают намерения пользователей с минимально возможного количества экземпляров и как обеспечить прозрачность пользователям.

По мнению Гулвани, продолжающаяся революция в области искусственного интеллекта будет способствовать интеграции между PBE и машинным обучением, чтобы облегчить создание интеллектуального программного обеспечения в целом. Однако действительно ли новые технологии, такие как глубокое обучение, нарушат существующую область обучения программ? Ждем разговора с Гулвани.

9 ноября 2018 г. Сумит Гулвани выступит на конференции AI Frontiers Conference в Сан-Хосе, Калифорния.

Сумит Гулвани выступит на сессии AutoProgramming конференции AI Frontiers Conference 9 ноября 2018 года в Сан-Хосе, Калифорния.

AI Frontiers Conference объединяет лидеров идей в области ИИ, чтобы продемонстрировать передовые исследования и продукты. В этом году среди наших спикеров: Илья Суцкевер (основатель OpenAI), Джей Ягник (вице-президент Google AI), Кай-Фу Ли ( Генеральный директор Sinovation), Марио Мюнхен (старший вице-президент iRobot), Quoc Le (Google Brain), Питер Аббил (профессор Калифорнийского университета в Беркли) и более.

Покупайте билеты на aifrontiers.com. По вопросам и вопросам СМИ обращайтесь: [email protected]