William Blum

I am currently a DPhil student in the field of Game Semantics and program verification under the supervison of Prof. Luke Ong.

Publications

• The Safe Lambda Calculus, long version [pdf]
  With C.-H. L. Ong.
  Long version of the TLCA07 paper
• The Safe Lambda Calculus [pdf]
  With C.-H. L. Ong.
  To appear in Proceedings of the 8th International Conference on Typed Lambda Calculi and Applications (TLCA07), Lecture Notes in Computer Science 4583, page 39-53. © Springer-Verlag 2007.

Work, presentations

• Local computation of beta reduction, Thesis fasicule [pdf]
  
• A concrete presentation of Game Semantics
  Slides of the talk given at BCTCS2008 [pdf]
  Slides of the talk given at GALOP2008 [pdf]
• The safe lambda calculus
  Talk given at the FOCS group lunchtime meeting [pdf]
  Talk given at BCTCS 2007 [pdf]
  
• The Safe Lambda Calculus [pdf]
  DPhil transfer thesis, submitted August 2006.
• Termination analysis of lambda calculus and a subset of core ML [pdf]
  MSc thesis.

Tools

• A tool for constructing structures generated by higher-order recursion schemes and collapsible pushdown automata.
  See the technical paper called Local computation of beta reduction [pdf] for a description of the theory behind the tool.
  Brief manual [pdf]
  Executable [zip] (Requires .NET 2.0)
  F# / OCaml sources [zip]
  
• A termination analysis tool for a Core ML subset based on size-change termination.
  OCaml sources [tar.gz]

Personal

• My personal page