Tachio Terauchi

Bio

I am a Japan born Japanese, educated mostly in America.
I have B.S. from Columbia and
M.S. and Ph.D. from UC Berkeley,
all in computer science. I was an assistant professor at
Tohoku University from 2007 to
2011, an associate professor at Nagoya University from 2011 to 2014, and a (full) professor at JAIST from 2014 to 2017. I joined Waseda as a professor in 2017.

Tachio Terauchi. Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR.
In Proceedings of the 22nd International Static Analysis Symposium (SAS 2015), Lecture Notes in Computer Science 9291, pp.128-144, Springer, September, 2015.
[pdf (Full version with proofs)]

Hiroshi Unno and Tachio Terauchi. Inferring Simple Solutions to Recursion-free Horn Clauses via Sampling.
In Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Lecture Notes in Computer Science 9035, pp.149-163, Springer, April, 2015.
[pdf (Full version with proofs)]