talks

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.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]