Яннис Смарагдакис
Яннис Смарагдакис | |
|---|---|
 | |
| Рожденный | 31 марта 1972 г. |
| Национальность | Греческий - Американский |
| Альма-матер | Критский университет , бакалавр наук, 1993 г. Техасский университет в Остине , магистр наук, 1995 г., доктор философии, 1999 г. |
| Научная карьера | |
| Поля | Информатика Языки прикладного программирования Программная инженерия |
| Учреждения | Афинский университет (2010 – настоящее время) Массачусетский университет в Амхерсте (2008–2010 гг.) Университет Орегона (2006–2008 гг.) Технологический институт Джорджии (2000–2006) |
| Диссертация | Реализация крупномасштабных объектно-ориентированных компонентов (1999) |
| Докторантура | Дон Батори |
| Веб-сайт | https://yanniss.github.io/ |
Яннис Смарагдакис ( греч . Яннис Смарагдакис ; родился 31 марта 1972 г.) — греко-американский инженер-программист , программист и исследователь. [1] Он является профессором кафедры информатики и телекоммуникаций Афинского университета . [2] Он является автором более 130 исследовательских статей по различным темам, включая анализ программ , декларативные языки, генераторы программ, языковое проектирование и параллелизм . Наиболее известен своими работами в области генерации и анализа программ (включая монографию «Анализ указателей»). [3] ) и фреймворк Doop.
Работа
[ редактировать ]Смарагдакис получил степень бакалавра компьютерных наук в Критском университете (1993 г.), а также степень магистра и доктора философии. Степень бакалавра компьютерных наук в Техасском университете в Остине (1995, 1999), где он учился у Дона Батория . Он работал доцентом в Массачусетском университете в Амхерсте и Университете Орегона , а также доцентом в Технологическом институте Джорджии . С 2010 года работал профессором кафедры информатики Афинского университета . Смарагдакис наиболее известен своей работой в области создания и анализа программ, включая анализ смарт-контрактов Ethereum . Вместе с Джорджем Балацурасом он является соавтором книги «Анализ указателей (Основы и тенденции в языках программирования»). В 2021 году Смарагдакис в партнерстве с инженером по безопасности Невиллом Гречем основал Dedaub Ltd, компьютерную компанию, специализирующуюся на безопасности и аудите смарт-контрактов и децентрализованных финансов (DeFi).
Награды и почести
[ редактировать ]Смарагдакис был лауреатом следующих наград и наград:
- Сообщение об исследовании ACM 2020 года по теме «MadMax: анализ безгазового мира смарт-контрактов» [4]
- Генеральный председатель конференции SPLASH'19 ( Системы, программирование, языки и приложения: программное обеспечение для человечества ) [5]
- Награда за выдающуюся работу на OOPSLA '18 и исследование ACM SIGPLAN за «MadMax: выживание в условиях отсутствия газа в смарт-контрактах Ethereum» [6]
- Награда за выдающуюся работу на Европейской конференции по объектно-ориентированному программированию : ECOOP'18 за «Защитный анализ точек зрения: эффективная надежность через лень» [7]
- Член исполнительного комитета ACM SIGPLAN , 2015-2018 гг.
- Председатель программного комитета конференции OOPSLA '16
- Награда за выдающийся артефакт на OOPSLA '15 за «Автоматизацию специальных преобразований представления данных» [8]
- Европейского исследовательского совета в 2012 г. Грант консолидатора
- Награда за лучшую статью на (Международном симпозиуме ACM SIGSOFT по тестированию и анализу программного обеспечения) ISSTA'12 за «Остаточное исследование: прогнозируемое и точное обнаружение ошибок»
- Награда за лучшую статью на (международной конференции IEEE/ACM по автоматизированной разработке программного обеспечения) ASE'07 за «Масштабируемую автоматическую генерацию тестовых данных на основе диаграмм моделирования»
- Награда за лучшую статью на (Международном симпозиуме ACM SIGSOFT по тестированию и анализу программного обеспечения) ISSTA'06 за «DSD-Crasher: инструмент гибридного анализа для поиска ошибок»
- Награда за лучшую статью на (Международной конференции ACM по генеративному программированию: концепции и опыт) GPCE'04 за «Генерацию программ AspectJ с помощью Meta-AspectJ»
- Премия Национального научного фонда «КАРЬЕРА» , 2001 г.
- Награда за выдающуюся работу на USENIX '99 за «Обоснование использования сжатого кэширования в системах виртуальной памяти».
Ссылки
[ редактировать ]- ^ «Смарагдакис, Яннис» . worldcat.org . Проверено 9 марта 2021 г.
- ^ «Янис Смарагдакис» . Google Академик . Проверено 10 марта 2021 г.
- ^ Анализ указателей (Основы и тенденции в языках программирования) . Now Publishers Inc., 30 апреля 2015 г. ISBN. 978-1680830200 .
- ^ «ОСНОВНЫЕ ОБЪЕКТЫ ИССЛЕДОВАНИЯ MadMax: анализ безгазового мира смарт-контрактов» . Коммуникации АКМ . АКМ . Проверено 9 марта 2021 г.
- ^ «Конференция SPLASH 2019» .
- ^ Греч, Невилл; Конг, Майкл; Юришевич, Антон; Брент, Лекси; Шольц, Бернхард; Смарагдакис, Яннис (октябрь 2018 г.). «MadMax: выживание в условиях отсутствия газа в смарт-контрактах Ethereum» . Труды ACM по языкам программирования . 2 . АКМ : 1–27. дои : 10.1145/3276486 . S2CID 51920261 .
- ^ «Защитный анализ точек зрения: эффективная надежность через лень» (PDF) . Проверено 10 марта 2021 г.
- ^ «Автоматизация специальных преобразований представления данных» (PDF) . Проверено 9 марта 2021 г.
Внешние ссылки
[ редактировать ]- https://yanniss.github.io/ Страница факультета Афинского университета
