| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://www.ireneyoon.com/
x-github-request-id: 241C:3946E9:732141:81067A:6950B5E6
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 04:45:28 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210026-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766897128.186684,VS0,VE197
vary: Accept-Encoding
x-fastly-request-id: 851ef6f0c03887c3cba11fdefc246a29521059d3
content-length: 162
HTTP/1.1 301 Moved Permanently
Date: Sun, 28 Dec 2025 04:45:28 GMT
Content-Length: 0
Connection: keep-alive
Location: https://www.ireneyoon.com/
Vary: accept-encoding
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=I39egyQsqGasc6ymx5xLayVAA5rNzznD4g6nAyS8th4uLFB1er702nwttgBfi3P2iAb7JfvySsMMgXnMyNquIn9fNf6FNqsBTk%2BkRL4TuQ0E"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
cf-cache-status: DYNAMIC
CF-RAY: 9b4e688caba7837d-BOM
alt-svc: h3=":443"; ma=86400
HTTP/2 200
date: Sun, 28 Dec 2025 04:45:28 GMT
content-type: text/html; charset=utf-8
access-control-allow-origin: *
cache-control: public, max-age=0, must-revalidate
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
link: ; rel="preconnect"
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
vary: accept-encoding
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=kLY%2BzLuEr5cFEg1pptCb5r4HicBFtSw3cs1NYaE7BlUgZBFa3LqiKt4mLJLWY2BRovZ6qq9yxksix97b8Ck6FiQgA0fJT7tiyWFtLji3vA0a"}]}
cf-cache-status: DYNAMIC
server: cloudflare
content-encoding: gzip
cf-ray: 9b4e688d5928002d-BOM
alt-svc: h3=":443"; ma=86400
Irene Yoon
|
Irene Yoon e-mail: [email protected] |
|
Publications
GitHub DBLP Google Scholar ORCIDEducation
- Ph.D. Computer Science. University of Pennsylvania.
Advisor: Steve Zdancewic
Philadelphia, PA, USA. Dec. 2023.
- B.S. Computer Science. Cornell University.
Ithaca, NY, USA. May 2019.
Professional Experience
- Postdoctoral Researcher. Inria.
Advisor: François Pottier
Paris, France. Feb. 2024 - Jan. 2025. - Research Intern. Jane Street Capital.
London, UK. Spring 2023. - Research Intern. MPI-SWS.
Advisor: Derek Dreyer
Remote. Summer 2021. - Explore Microsoft Intern. Microsoft.
San Francisco, CA, USA. Summer 2017.
Program Committees
- Conferences: ICFP 2025, CPP 2025.
- Workshops: CoqPL 2025, Coq Workshop 2024, HOPE 2024.
- Journals: TOPLAS (2022) Reviewer.
- Artifact Evaluation Committee: PLDI 2021, PLDI 2022.