• Sign in
  • Sign up
conf.researchr.org / Alexandre Drewery
  • ICFP/SPLASH 2025 profile
  • POPL 2024 profile
  • POPL 2026 profile
  • SPLASH/ISSTA 2026 profile

Registered user since Thu 17 Jul 2025

Name:Alexandre Drewery
Affiliation:INRIA

Contributions

2026

Static Analysis Symposium

  • Author of PEG for information flow: analysis and incremental reasoning within the SAS 2026-track

POPL

  • Student Volunteer in Student Volunteers

2025

Static Analysis Symposium

  • Author of Contextual Equality Saturation within the SAS 2025-track

2024

POPL

  • Author of From Java to Kotlin with Contextual Equality Saturation within the Student Research Competition-track
Share
xThu 17 Sep 06:26
using conf.researchr.org (v1.76.0)
Support page
Sign Up