@misc{urabe-ppl2025-poster,
  author = {Yudai Urabe and Guannan Wei and Youyou Cong},
  title = {Toward Static Analysis for Programs with Effect Handlers by Abstracting Abstract Machines},
  month = {mar},
  date = {2025-03-05},
  url = {https://jssst-ppl.org/workshop/2025/program.html},
  year = {2025},
  howpublished = {Category 3 Poster at the 27th PPL2025},
  abstract = {Abstract abstract machine (AAM) is a systematic way of deriving a computable and sound static analyzer from the abstract machine semantics of the target language. Using this approach, we are aiming to build a static analyzer for programs with effect handlers, a mechanism to structure programs with computational effect in a modular way. In the poster session, we will present core methodology and potential applications using concrete examples.}
}