Publications

. Towards Verifying Nonlinear Integer Arithmetic.. In CAV, 2017.

PDF

. Finding the Median (Obliviously) with Bounded Space.. In ICALP, 2015.

PDF

Teaching

Contact

  • vliew at cs.washington.edu