Shifting the Stage: Staging with Delimited Control
      亀山幸義, Oleg Kiselyov, Chung-chieh Shan
      Proceeding of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and 
      Program Manipulation (PEPM'09), Savannah, Georgia, USA, pp. 111-120, 
      January 2009.

      Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock 
      Primitives and Mutable References
      末永幸平
      Proceedings of 6th Asian Symposium on Programming Languages and Systems 
      (APLAS 2008), Springer Lecture Notes in Computer Science 5356, pp. 
      155-170, December 2008. 

      Backtracking-based Load Balancing
      平石 拓, 八杉 昌宏, 馬谷 誠二, 湯淺 太一
      Proceedings of 14th ACM SIGPLAN Symposium on Principles and Practice of 
      Parallel Programming (PPoPP '09), February 2009. 

      On Finite-time Computability Preserving Conversions
      立木 秀樹, 山田 修司
      Proceedings of 5th International Conference on Computability and 
      Complexity in Analysis (CCA 2008), Hagen, Germany, Electoric Notes in 
      Theoretical Computer Science, Volume 221, pp. 299-308, August 2008.  

      Extensional Universal Types for Call-by-Value
      浅田和之
      Proceedings of 6th Asian Symposium on Programming Languages and Systems 
      (APLAS 2008), Springer Lecture Notes in Computer Science 5356, pp. 
      122-137, December 2008. （

      A Characterisation of Lambda Definability with Sums via TT-Closure 
      Operators
      勝股審也
      Proceedings of 22nd International Workshop on Computer Science Logic (CSL 
      2008), Springer Lecture Notes in Computer Science 5213, pp. 278-292, 
      September 2008. 

      Sound Lemma Generation for Proving Inductive Validity of Equations 
      青戸 等人
      Proceedings of the 28th International Conference on Foundations of 
      Software Technology and Theoretical Computer Science (FSTTCS 2008), 
      Bangalore, India, December 2008, pp.13--24, Dagstuhl Seminar Proceedings, 
      Vol. 08004.