• Sign in
  • Sign up
conf.researchr.org / Alexander Bai
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2025 profile
  • SPLASH 2024 profile
Alexander Bai

Registered user since Wed 29 Jun 2022

Name:Alexander Bai
Country:United States
Affiliation:MPI-SWS
Personal website: https://mpi-sws.org/~abai/
Research interests:Programming Languages, Formal Verification, Automated Reasoning

Contributions

2025

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
  • Student Volunteer Co-Chair in Organizing Committee

WAW

  • Author of A Big-Step Compositional Continuation-Passing Semantics for WebAssembly within the WAW-track

2024

SPLASH

  • Video Chair in Organizing Committee

ICFP

  • Video Co-Chair in Organizing Committee

PLDI

  • Volunteers Co-Chair in Organizing Committee
Share
xMon 19 May 07:45
using conf.researchr.org (v1.69.0)
Support page
Sign Up