• Sign in
  • Sign up
conf.researchr.org / Olivier Danvy
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • SPLASH 2024 profile
Olivier Danvy

Registered user since Fri 7 Aug 2020

Name:Olivier Danvy
Country:Singapore
Affiliation:Yale-NUS College and School of Computing, Singapore
Personal website: https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/
Research interests:programming languages

Contributions

2025

Static Analysis Symposium

  • Author of On a simple problem due to Yves Bertot within the SAS 2025-track
  • Session Chair of Verification (part of SAS 2025)

OlivierFest

  • Author of TBA within the OlivierFest 2025-track

Scheme

  • Session Chair of Report, Lightning Talks, and Keynote (part of Scheme 2025)
  • Local Arrangements Chair in Organizing Committee within the Scheme 2025-track

2024

JENSFEST

  • Author of Nested Summations within the JENSFEST 2024-track

2021

Scheme

  • Committee Member in Program Committee within the Scheme 2021-track

PEPM

  • Committee Member in Program Committee within the PEPM 2021-track

2020

ICFP

  • Author of Mind the Title within the Social Events-track

PEPM

  • Committee Member in Program Committee within the PEPM 2020-track

2019

CoqPL

  • Committee Member in Program Committee within the CoqPL-track

2018

PEPM

  • Committee Member in Programme Committee within the PEPM 2018-track
Share
xMon 22 Sep 15:23
using conf.researchr.org (v1.71.1)
Support page
Sign Up