talks

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