Yu-Yang Lin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LICS | Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2024 | SEFM | An Operational Semantics for Yul. | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2023 | LICS | Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2022 | TACAS | From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2020 | FSCD | Symbolic Execution Game Semantics. | Yu-Yang Lin, Nikos Tzevelekos |
| 2019 | SETTA | A Bounded Model Checking Technique for Higher-Order Programs. | Yu-Yang Lin, Nikos Tzevelekos |