POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Tue 21 Jan 2025 14:45 - 15:30 at Peek-A-Boo - Third Session Chair(s): Andrew K. Hirsch

A research career can be—and should be—intensely consuming. Can we successfully balance it against other life goals and responsibilities? How do we “have a life” while also doing research? This talk offers reflections on the challenge, heuristics that might help, and stories from the trenches.

Andrew Myers is a Professor in the Department of Computer Science at Cornell University in Ithaca, NY. His research interests include programming languages, computer security, and distributed and persistent programming systems. Myers is an ACM Fellow. He has received awards for papers appearing in POPL’99, SOSP’01, SOSP’07, CIDR’13, PLDI’13, and PLDI’15. Myers is currently the Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS). He has also served as program chair or co-chair for a few conferences: ACM POPL 2018, ACM CCS 2016, POST 2014, IEEE CSF 2010, and IEEE S&P 2009.

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

14:00 - 15:30
Third SessionPLMW @ POPL at Peek-A-Boo
Chair(s): Andrew K. Hirsch University at Buffalo, SUNY
14:00
45m
Talk
From operational semantics to verified compilation (and more)
PLMW @ POPL
Sandrine Blazy University of Rennes
14:45
45m
Talk
A Research Career in Balance
PLMW @ POPL
Andrew Myers Cornell University