@phdthesis{sung2021constraint,
  title={Constraint-Based Program Analysis for Concurrent Software},
  author={Sung, Chungha},
  year={2021},
  school={University of Southern California}
}