talks

2016

2016.04.28 Efficient Delta-decision Procedure (Thesis Proposal), CMU. [Slides]
2016.04.06 Automated Reasoning over the Reals, Toyota Research Institute. [Slides]
2016.03.16 δ-Reachability Analysis for Hybrid Systems, Microsoft Research Redmond. [Slides]
2016.01.07 δ-Reachability Analysis for Hybrid Systems, Microsoft Research Cambridge (UK). [Slides]

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.05.19 Git Tutorial for Lean and dReal contributors, CMU. [Slides(www)/Slides(PDF)]

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.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.11.09 Abstract Interpretation, Bug Catching: Automated Program Verification and Testing (CMU 15-414), Class Lecture [Slides]
2011.11.03 Verifying Model-level Properties by Abstracting C Programs, CMACS Mid-Term Site Visit Review [poster]
2011.10.10 Model Checking, Bug Catching: Automated Program Verification and Testing (CMU 15-414), Class Lecture [Slides]
2011.03.23 Basic Concepts of Abstract Interpretation, Model Checking and Abstract Interpretation (CMU 15-817), Class Lecture [Slides]
2011.03.01 TAJ: effective taint analysis of web applications, Optimizing Compilers (CMU 15-745), Paper Presentation [Slides]
2011.01.26 Data Flow Analysis, Model Checking and Abstract Interpretation (CMU 15-817), Class Lecture [Slides]

2010.12.03 Aggressive TCP Slow Start, Computer Network (CMU 15-744), Project Presentation [Slides]
2010.11.10 TVA: a DoS-limiting Network Architecture, Computer Network (CMU 15-744), Paper Presentation [Slides/video]
2010.04.23 Extended Abstract Parsing: Constraint-based Analysis of Two-staged Programs, ROPAS Weekly Show & Tell [abstract/Slides]
2010.03.12 Invariant Generation via Genetic Programming, ROPAS Weekly Show & Tell [abstract/Slides]
2010.01.18 Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI 2010: The 11th International Conference on Verification, Model Checking, and Abstract Interpretation, Madrid, Spain [Slides/photo]

2009.12.18 Deriving Quantified Invariants using Algorithmic Learning ROPAS Weekly Show & Tell [abstract/Slides]
2009.12.14 Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedures, and Predicate Abstraction, APLAS 2009: The 7th Asian Symposium on Programming Languages and Systems, Seoul, Korea (Poster Session) [poster/photo]
2009.10.09 Semantic Analysis with Abstract Parsing ROPAS Weekly Show & Tell [abstract/Slides]
2009.08.15 PCC Framework for Program Generators. PCC 2009: The 3rd International Workshop on Proof-Carrying Code and Software Certification, Los Angeles, U.S.A. [Slides]
2009.08.07 PCC Framework for Program Generators ROPAS Weekly Show & Tell [abstract/Slides(I)/Slides(II)]
2009.07.10 Abstract Parsing for Two-staged Languages with Concatenation, 2nd ROSAEC Center Workshop, Paju, Korea [Slides]
2009.06.26 Building a Program-Specific and Adaptable Alarm Prioritizer for Sparrow ROPAS Weekly Show & Tell [abstract/Slides]
2009.05.01 Abstract Parsing for Two-staged Language - Revisited, ROPAS Weekly Show & Tell [abstract/Slides]
2009.02.09 Abstract Parsing for Two-staged Language, ROPAS Weekly Show & Tell [abstract/Slides]

2008.12.12 Parameterized Model for File System and Database ROPAS Weekly Show & Tell [abstract/Slides]
2008.04.08 Copy Control, ROPAS Weekly Show & Tell [Slides]
2008.04.03 C++ Classes, ROPAS Weekly Show & Tell [Slides]
2008.03.21 Cost Minimizing Search on Non-prenex and Non-CNF QBF, ROPAS Weekly Show & Tell [abstract]

2007.05.25 Basic Concepts of Abstract Interpretation ROPAS Weekly Show & Tell [abstract/Slides]