Tue 22 Oct 2024 10:24 - 10:26 at Pacific C - Invited and Lightning Talks

I am a PhD Candiate at Cornell University in the area of Logic, Semantics, and Formal Methods, advised by Alexandra Silva. My research focuses on Outcome Logic, a reformulation of Hoare Logic with computational effects at its core. Outcome Logic consolidates the metatheory behind many variants of Hoare Logic, enabling extensible reasoning about different types of programs and tying together ideas developed over that last sixty years including the seminal work of Floyd and Hoare on program logics in the 1960s, extensions of Hoare Logic to nondeterministic and probabilistic programs, monadic effects, and the more recent emphasis on formal methods for incorrectness.

Before coming to Cornell, I worked as a software engineer for six years at Facebook. During that time, I was fortunate to have unique opportunities including using dependently typed Haskell in production, formally verifying concurrent algorithms for an OS microkernel, and experimenting with an information flow control type system for the Hack language. I strive to ground my research in these invaluable experiences.

Tue 22 Oct

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

09:00 - 10:30
Invited and Lightning TalksDoctoral Symposium at Pacific C
09:00
5m
Day opening
Welcome and Introduction
Doctoral Symposium
Alexander J. Summers University of British Columbia
09:05
55m
Keynote
How to Manage Your PhD Research and Your Career
Doctoral Symposium
Chao Wang University of Southern California
10:04
2m
Talk
(Lightning Talk) JMVX: Improving Record-Replay for Managed Languages
Doctoral Symposium
David Schwartz University of Illinois at Chicago
10:08
2m
Talk
(Lightning Talk) A VM-based Approach For Power Modeling
Doctoral Symposium
Joseph Raskind SUNY Binghamton
10:12
2m
Talk
(Lightning Talk) Static-Dynamic Information Flow Control in Rust
Doctoral Symposium
Vincent Beardsley Ohio State University
10:16
2m
Talk
(Lightning Talk) Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
Doctoral Symposium
Yuxin Qiu University of California at Riverside
10:20
2m
Talk
(Lightning Talk) Step-wise Execution of Data-Centric Systems
Doctoral Symposium
Chi Zhang Nanjing University
10:24
2m
Talk
(Lightning Talk) Unified Analysis Techniques for Programs with Outcomes
Doctoral Symposium
Noam Zilberstein Cornell University