talks

2015

  • 2015.05.18 δ-Reachability Analysis for Hybrid Systems, CMU SCS Speakers Club Talk. [Slides]

  • 2015.04.14 dReach: δ-Reachability Analysis for Hybrid Systems, TACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, UK. [Slides]

  • 2015.01.23 lean-mode: emacs mode for Lean Theorem Prover, Interactive Theorem Proving (CMU 15-815), Class Lecture [Slides]

2014

2013

  • 2013.06.12 dReal: An SMT solver for nonlinear theories of the reals, CADE 2013: the 24th International Conference on Automated Deduction, Lake Placid, New York, U.S. [Slides]

2012

  • 2012.09.21 Compositional Sequentialization of Periodic Programs, Programming Research Lab, Seoul National University [Slides]
  • 2012.08.09 Verifying Concurrent Turing Machines, SAS Unit Meeting, CMU SEI [Slides]
  • 2012.05.02 Achieving Load Balancing of HDFS Clusters Using Markov Model, Machine Learning (CMU 10-701), Project Presentation [poster]

2011

2010

2009

2008

2007