Jimmy Xin

Hi, I'm Jimmy. I'm a student at the University of Texas at Austin. This is my very barebones personal website. Here's my CV:

CV

Here's a recent song I like:

Here's a recent paper I like:

https://dl.acm.org/doi/abs/10.1145/3586045

Zilberstein, Noam, Derek Dreyer, and Alexandra Silva. "Outcome logic: A unifying foundation for correctness and incorrectness reasoning." Proceedings of the ACM on Programming Languages 7.OOPSLA1 (2023): 522-550.


Here's a recent photo I like:

MPI in winter