- PEPM'2012@Philadelphia, USA: Hybrid contract checking via symbolic simplification (pdf).
- Probabilistic Contracts for Component-based Design presented (pdf) at
- ATVA'2010@Singapore in Sep. 2010
- National University of Singapore in Sep. 2010
- Static Contract Checking for Haskell (pdf) invited to present at
- Microsoft Research Cambridge summer school in Jul. 2010
- University of Sussex in Nov. 2009
- University of Copenhagen in Jun. 2009
- University of Durham in Apr. 2009
- INRIA Paris - Rocquencourt in Feb. 2009
- POPL'09@Savannah.USA in Jan. 2009
- University of Tokyo / National Institute of Informatics Joint Seminar in Japan in Aug. 2008
- Queen Mary / Imperial College Joint Seminar in Jul. 2008
- Oxford University in Apr. 2008
- Microsoft Research Redmond in Jan. 2008
- National University of Singapore at the end of Nov. 2007
- University of York (Fun in the Afternoon) in late Nov. 2007
- University of Kent in mid Nov. 2007
- IFL'07@Freiburg.Germany (non-refereed) in Sep. 2007
- CPRG-talk@CL.Cambridge in Jun. 2007
- HW'2006@Portland,Oregon,USA: Extended Static Checking for Haskell (ESC/Haskell) (pdf, ppt)
- Jan2005@Heriot-Watt University: Modular Inference for Array Checks Optimization (pdf)
- APLAS'2004@Taipei: PType System: A Featherweight Parallelizability Detector (pdf)
- ASIA-PEPM'2002@Aizu,Japan: Compiling real time functional reactive programming (ppt)
- Aug-Sep2002@University of Tokyo (Visiting Masato Takeichi and Zhenjiang Hu's research group)
