TOP Page >  Profile

Lab
¾ðÊ󸦵æÅïIS Building £É£É¡¡6F
TEL¡§0761-51-1260
To Lab's Site
 

English

Full text / JAIST Repository

 

 

Tachio Terauchi Professor
School of Information Science¡¢Intelligent Robotics Area

¢£Degrees

B.S. from Columbia University (2000), M.S. from University of California at Berkeley (2004), Ph.D from University of California at Berkeley (2006)

¢£Professional Career

Assistant Professor at Tohoku University (2007), Associate Professor at Nagoya University (2011), Professor at Japan Advanced Institute of Science and Technology (2014)

¢£Specialties

Program Analysis and Program Verification

¢£Research Keywords

Programming Languages, Type Systems, Software Model Checking, Automated Deduction, Computer Security

¢£Research Interests

Stub
Please see the lab web page

¢£Publications

¡þPublished Papers

  • Compositional Synthesis of Leakage Resilient Programs¡¤Arthur Blot, Masaki Yamamoto, and Tachio Terauchi¡¤In Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017), Lecture Notes in Computer Science 10204, pp. 277-297,¡¡Springer, April, 2017.
  • Temporal Verification of Higher-Order Functional Programs¡¤Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno¡¤In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices 51 (1), pp.57-68, ACM, January, 2016
  • Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR¡¤Tachio Terauchi¡¤In Proceedings of the 22nd International Static Analysis Symposium (SAS 2015), Lecture Notes in Computer Science 9291, Springer, pp.128-144, September, 2015

Display All

¡þLectures and Presentations

  • Predicate Refinement Heuristics in Program Verification with CEGAR (Invited Talk)¡¤Tachio Terauchi¡¤The 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016)¡¤Eindhoven, Netherlands¡¤April, 2016
  • Temporal Verification of Higher-Order Functional Programs¡¤Tachio Terauchi¡¤Dagstuhl Seminar 16131: Language Based Verification Tools for Functional Programs¡¤Dagstuhl, Germany¡¤March, 2016
  • Temporal Verification of Higher-Order Functional Programs¡¤Tachio Terauchi¡¤NII Shonan Meeting Seminar 078: Higher-Order Model Checking¡¤Hayamamachi, Japan¡¤March, 2016

Display All

¢£Extramural Activities

¡þAcademic Society Affiliations

  • ACM¡¤Member¡¤2014-
  • Information Processing Society in Japan¡¤Member¡¤2009-

¡þOther Activities

  • The 26th European Symposium on Programming (ESOP 2017)¡¤Program Committee
  • The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)¡¤Program Committee
  • The 15th Asian Symposium on Programming Languages and Systems (APLAS 2017)¡¤Program Committee

Display All

¢£Academic Awards Received

  • Graduate Assistance in Areas of National Need Fellowship¡¤U.S. Department of Education¡¤2000