Professional Trips & Talks

2024

• 10/18/24-10/24/23, keynote talk(youtube), SAS(Static Analysis Symposium) 2024, Pasadena, USA
• 01/20/24-01/21/24, invited talk(pdf, youtube), N40AI(Next 40 Years of Abstract Interpretation) at POPL 2024, London, UK
• 01/16/24-01/19/24, participation, POPL 2024, London, UK

2023

• 10/15/23-10/17/23, participation, Formal Methods for Trustworthy AI-based Autonomous Systems, Shonan Meeting, Japan
• 6/16/23-6/23/23, visit Caltech, Pasedena + paper presentation, PLDI 2023, Orlando, USA

2022

• 09/29/22-10/06/22, visit, École Normale Supérieure, Paris, France (host: Prof. Xavier Rival)

2019

• 10/11/19-10/14/19, visit, École Normale Supérieure, Paris, France (host: Prof. Xavier Rival)
• 10/08/19-10/11/19, participation (pc member), SAS 2019, Porto, Portugal
• 05/19/19-05/27/19, lectures (pdf), Ninth Summer School on Formal Techniques 2019, Introduction to Static Analysis, Menlo College, Atherton, California, USA (Stanford Research Institute, Computer Science Laboratory)

2018

• 12/16/18-12/22/18, visit (book publication), École Normale Supérieure, Paris, France (host: Prof. Xavier Rival)
• 10/14/18-10/17/18, keynote talk(pdf), 16th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China
• 06/15/18-06/23/18, participation, PLDI 2018, Philadelphia, USA

2017

• 09/10/17-09/13/17, talk(pdf-1/pdf-2), Memory Abstraction, Shonan Meeting, Japan
• 07/10/17-07/12/17, plenary talk(pdf), The 15th Asian Logic Conference, Daejeon, Korea
• 01/05/17-02/23/17, invited visiting professor, talk(pdf) Stanford University, USA (host: Prof. Alex Aiken)

2016

• 10/31/16 - 12/31/16, research scientist, work(Inferbo), Facebook, London, UK (host: Prof. Peter O'Hearn)
• 07/05/16 - 10/31/16, invited visiting professor, École Normale Supérieure, Paris, France (host: Prof. Xavier Rival)

2015

• 10/27/15 - 10/31/15, paper presentation, OOPSLA 2015, Pittsburgh, USA
• 10/25/15 - 10/27/15, visit & seminar (pdf), UC Berkeley, USA (host: Prof. Dawn Song)
• 7/26/15 - 8/1/15, visit, École Normale Supérieure, Paris, France (host: Prof. Jerome Feret, Xavier Rival)
• 7/21/15 - 7/25/15, visit & seminars(pdf, key), FireEye.com/Technical Univ. Dresden, Dresden, Germany (host: Dr. Keiko Nakata)
• 6/13/15 - 6/20/15, participation, PLDI'15, Portland, USA
• 3/15/15 - 3/19/15, participation, Static analysis meets runtime verification, Shonan Meeting, Japan
• 2/15/15 - 2/25/15, visit & seminar(pdf, key) École Normale Supérieure, Paris, France (host: Prof. Xavier Rival)

2014

• 8/31/14 - 9/3/14, invited talk(pdf,key) TASE'14, Changsha, China
• 6/29/14 - 7/4/14, participation, Dagstuhl Seminar 14271, Germany
• 6/14/14 - 6/29/14, visit & seminar(pdf, key) École Normale Supérieure, Paris, France (host: Prof. Xavier Rival)
• 6/08/14 - 6/14/14, paper presentation, PLDI'14, Edinburgh, Scotland
• 1/21/14 - 1/26/13, POPL'14, San Diego, USA
• 1/18/14 - 1/21/14, visit, UC Berkeley, USA (host: Prof. George Necula, Prof. Koushik Sen)

2013

• 6/16/13 - 6/23/13, PLDI'13, PLOOC'13, Seattle, USA
• 1/21/13 - 1/28/13, POPL'13, Rome, Italy

2012

• 10/24/12 - 10/28/12, 1st Workshop on Analysis and Verification of Dependable Cyber Physical Software, Changsha, China
• 09/27/12 - 10/03/12, POPL'13 Program Committee meeting, Paris, France
• 06/10/12 - 06/15/12, paper presentations, PLDI, Beijing, China
• 04/01/12 - 06/01/12, invited visiting professor & seminars(pdf, key) MIT, USA (hosts: Prof. Arvind & Prof. Martin Rinard)
• 02/25/12 - 03/04/12, invited lectures 1, 2, 3, 4 (Collage of Static Analysis), 17th Estonian Winter School in Computer Science (EWSCS'12), Palmse, Estonia
• 01/16/12 - 01/20/12, visit & ROSAEC-HKUST CSE Joint Workshop on Software Analysis for Error-free Computing, HKUST, Hongkong (host: Prof. Sung Kim)
• 01/08/12 - 01/12/12, visit & seminar, National Intitute of Informatics, Tokyo, Japan (host: Prof. Makoto Tatsuta)

2011

• 06/12/11 - 06/18/11, visit & seminar, MIT, USA (host: Prof. Martin Rinard)
• 06/08/11 - 06/12/11, visit & seminar, École Normale Supérieure, Paris, France (host: Prof. Patrick & Radhia Cousot)
• 06/04/11 - 06/08/11, visit & seminar, Oxford Univ., UK (host: Prof. Luke Ong)
• 05/28/11 - 06/03/11, visit & seminar, UC Berkeley, USA (host: Prof. George Necula)
• 05/24/11 - 05/28/11, paper presentation, ICSE, Hawaii, USA
• 01/22/11 - 01/31/11, paper presentations, POPL & VMCAI, Austin, USA

2010

• 12/02/10 - 12/04/10, visit & seminar, Tsinghua University (host: Prof. Jean-Pierre Jouannaud & Dr. Bow-Yaw Wang), Beijing, China
• 11/28/10 - 12/01/10, pc member, The 8th Asian Symposium on Programming Languages and Systems, Shanghai, China
• 11/13/10 - 11/16/10, visit & seminar, Dept. of Computer Science and Eng., Hongkong University of Science & Technology (host: Prof. Sunghoon Kim)
• 10/3/10 - 10/8/10, pc member, 5th International Workshop on Systems Software Verification, Vancouver, Canada
• 9/30/10 - 10/2/10, invited presentation, Static Analysis Tool Exposition (SATE) 2010, National Institute of Standards and Technology, Gaithersburg, USA
• 5/12/10 - 5/18/10, OOPSLA 2010 pc meeting & visit, MIT, Cambridge, USA
• 1/15/10 - 1/25/10, VMCAI(paper presentation) & POPL, Madrid, Spain

2009

• 10/7/09 - 10/10/09, visit, Deutsche Bank, New York, USA (host: Dr. Jeff Polakow)
• 10/2/09 - 10/6/09, paper presentation, GPCE'09: The 8th International Conference on Generative Programming and Component Engineering, Denver, USA
• 6/28/09 - 7/01/09, visit, Queen Mary, Univ. of London, London, UK (host: Prof. Peter O'Hearn)
• 6/25/09 - 6/28/09, visit, École Normale Supérieure, Paris, France (host: Prof. Patrick Cousot)
• 6/25/09, seminar, EADS(European Aeronautic Defence and Space Company), Paris, France (host: Dr. Charles Hymans)
• 6/20/09 - 6/25/09, invited talk, 4th International Workshop on Systems Software Verification (SSV'09), Aachen, Germany
• 6/15/09 - 6/20/09, invited talk, International Workshop on Program Understanding, Novosibirsk, Russia
• 5/15/09 - 5/19/09, 6th IEEE Working Conference on Mining Software Repositories, Vancouver, Canada

2008

• 10/8/08 - 10/11/08, seminar, National Lab for Parallel and Distributed Processing, School of Computer, National Univ. of Defense Technology, Changsha, China (host: Prof. Ji Wang)
• 4/15/08 - 7/8/08, invited visiting professor, Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, USA (host: Prof. Martin Rinard)
• 1/14/08 - 4/14/08, invited visiting professor, Computer Science Department, CMU, Pittsburgh, USA (host: Prof. Edmund Clarke)
• 1/8/08 - 1/13/08, talk at 30YAI and attending POPL 2008, San Francisco, USA

2007

• 11/28/07 - 12/2/07, APLAS 2007, Singapore
• 10/23/07 - 10/27/07, phd thesis committee, School of Computing, National University of Singapore (host: Prof. Siau Cheng Khoo)
• 7/16/07 - 7/19/07, seminar, National Institute of Informatics (host: Prof. Makoto Tatsuda), Tokyo, Japan
• 6/21/07 - 6/23/07, faculty workshop, Shanghai, China
• 4/05/07 - 4/07/07, Embedded Systems Conference, San Jose, USA

2006

• 11/6/06 - 11/11/06, paper presentation, APLAS'06: The 4th Asian Symposium on Programming Languages and Systems, Sydney, Australia
• 10/28/06 - 10/31/06, seminar, AWCVS 2006: 1st Asian Working Conference on Verified Software, Macau, China
• 7/8/06 - 7/15/06, seminar, Dagstuhl Seminar 06281: The Challenge of Software Verification, Dagstuhl, Germany
• 3/23/06 - 3/25/06, seminar, MSR Theme Workshop 2006, Microsoft Research Asia, Beijing, China
• 2/13/06 - 2/16/06, meetings, Coverity.com and CHESS UC Berkeley, USA
• 1/9/06 - 1/15/06, paper presentation, POPL 2006: ACM Symposium on Principles of Programming Languages , Charleston, USA

2005

• 11/2/05 - 11/6/05, pc chair, The 3rd Asian Symposium on Programming Languages and Systems, Tsukuba, Japan
• 9/6/05 - 9/11/05, paper presentation, SAS 2005: the 12th International Static Analysis Symposium, London
• 8/15/05 - 8/17/05, seminar and meetings, Intel China Software Center, Shanghai
• 6/17/05 - 6/21/05, seminar and meetings, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, USA
• 6/11/05 - 6/16/05, paper presentation, BUGS 2005 and PLDI 2005, Chicago
• 5/25/05 - 5/27/05, MSR Asia Theme Workshop 2005: Trustyworth Computing, Beijing, China
• 4/5/05 - 4/10/05, paper presentation, ESOP 2005: The European Symposium on Programming, Edinburgh, Scotland

2004

• 11/3/04 - 11/6/04, The Second Asian Symposium on Programming Languages and Systesm, Taipei, Taiwan
• 10/23/04 - 10/26/04, paper presentation, 2004 International Symposium on Memory Management and 19th Annual ACM Conference on OOPSLA, Vancouver, Canada
• 9/8/04 - 9/12/04, Ph.D. thesis committee meeting (Charles Hymans), Ecole Polytechnique, Paris/Palaiseau, France
• 1/11/04 - 1/19/04, ACM Principles of Programming Languages, Venice, Italy

2003

• 11/26/03 - 11/29/03, paper presentation/program committee, First Asian Symposium on Programming Languages and Systems, Beijing, China
• 6/10/03 - 6/14/03, paper presentation, SAS 2003: International Static Analysis Symposium, San Diego
• 3/2/03 - 3/7/03, Dagstuhl Seminar 03101 on Reasoning about Shape, Dagstuhl, Germanry

2002

• 11/28/02 - 12/2/02, paper presentation/program committee, Third Asian Workshop on Programming Languages and Systems (APLAS'02), Shanghi, China
• 6/29/02 - 8/31/02, invited visiting professor, Dept. d'Informatique, École Normale Supérieure, Paris (host: Prof. Patrick Cousot)
• 1/21/02 - 1/22/02, paper presentation, Third International Workshop on Verification, Model Checking and Abstract Interpretation, Venice

2001

• 12/10/01 - 12/11/02, paper presentation, Second Asia-Pacific Conference on Quality Software, Honkong
• 7/12/01 - 7/20/01, seminar presentation at ENS Paris, and attending SAS 2001
• 5/10/01 - 5/12/01, ICFP 2001 committee meeting at ENS, Paris
• 3/30/01 - 4/6/01, SAS 2001 committee meeting at ENS, Paris and ETAPS 2001 at Genova, Italy.
• 3/6/01 - 3/9/01, paper presentation, 5th International Symposium on Functional and Logic Programming, 2001, Tokyo

2000

• 12/17/00 - 12/20/00, invitation-only, 1st Asian Workshop on Programming Languages and Systems, Singapore
• 11/16/00 - 11/20/00, Int'l Conference on Compilers, Architecture, and Synthesis for Embedded Systems, San Jose
• 6/27/00 - 7/3/00, SAS'00, workshop on proof-carrying code, Santa Barbara
• 3/17/00 - 3/20/00, University of Tokyo, Dept. of Information Science, seminar presentations (host: Prof. Naoki Kobayashi)
• 1/18/00 - 1/22/00, POPL'00, Boston

1999

• 6/12/99 - 6/18/99, ECOOP'99 Workshop on Formal Techniques for Java Programs, Lisbon, paper presentation
• 3/15/99 - 3/16/99, Research Institute for Mathematical Sciences, Kyoto University, seminar presentation
  3/17/99 - 3/19/99, Japanese Programming and Programming Languages Workshop 99, Tokyo, invited talk
• 1/18/99 - 1/24/99 POPL 99, PEPM 99, San Antonio

1998

• 12/9/98 - 12/11/98 The Asian Computing Science Conference 1998, Manila
• 9/25/98 - 9/30/98 The 1998 ACM SIGPLAN Workshop on ML, The 1998 ACM International Conference on Functional Programming (ICFP), Baltimore, paper presentation
• 7/30/98 - 8/25/98 visiting Bell Labs, Murray Hill
• 6/18/98 - 6/22/98 IEEE Symposium on Logics in Computer Science/Real-number Computation Workshop, Indianapolis

1997

• 9/5/97 - 9/11/97 ENS, Paris: 4th Int'l Static Analysis Symposium (SAS'97), paper presentation
• 7/20/97 - 7/29/97 Bell Labs, Murray Hill: seminar on exception analysis