Follow
Tachio Terauchi
Tachio Terauchi
Professor of Computer Science and Engineering, Waseda University
Verified email at waseda.jp - Homepage
Title
Cited by
Cited by
Year
Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system
T Höllerer, S Feiner, T Terauchi, G Rashid, D Hallaway
Computers & Graphics 23 (6), 779-785, 1999
7001999
Flow-sensitive type qualifiers
JS Foster, T Terauchi, A Aiken
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
4492002
Secure information flow as a safety problem
T Terauchi, A Aiken
International Static Analysis Symposium, 352-367, 2005
3372005
Checking and inferring local non-aliasing
A Aiken, JS Foster, J Kodumal, T Terauchi
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language …, 2003
1032003
Decomposition instead of self-composition for proving the absence of timing channels
T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
ACM SIGPLAN Notices 52 (6), 362-375, 2017
842017
Quantitative information flow-verification hardness and possibilities
H Yasuoka, T Terauchi
2010 23rd IEEE Computer Security Foundations Symposium, 15-27, 2010
822010
Dependent types from counterexamples
T Terauchi
ACM Sigplan Notices 45 (1), 119-130, 2010
692010
A type system for observational determinism
T Terauchi
2008 21st IEEE Computer Security Foundations Symposium, 287-300, 2008
532008
Automating relatively complete verification of higher-order functional programs
H Unno, T Terauchi, N Kobayashi
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
502013
Checking race freedom via linear programming
T Terauchi
ACM SIGPLAN Notices 43 (6), 1-10, 2008
482008
A capability calculus for concurrency and determinism
T Terauchi, A Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5), 27, 2008
392008
Automatic termination verification for higher-order functional programs
T Kuwahara, T Terauchi, H Unno, N Kobayashi
European Symposium on Programming Languages and Systems, 392-411, 2014
352014
Quantitative information flow as safety and liveness hyperproperties
H Yasuoka, T Terauchi
Theoretical Computer Science 538, 167-182, 2014
332014
Temporal verification of higher-order functional programs
A Murase, T Terauchi, N Kobayashi, R Sato, H Unno
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
272016
On bounding problems of quantitative information flow
H Yasuoka, T Terauchi
Journal of Computer Security 19 (6), 1029-1082, 2011
252011
On bounding problems of quantitative information flow
H Yasuoka, T Terauchi
Computer Security–ESORICS 2010, 357-372, 2010
252010
MARS-Mobile Augmented Reality Systems
S Feiner, T Höllerer, E Gagas, D Hallaway, T Terauchi, S Güven, ...
Columbia University Computer Graphics and User Interfaces Lab, 2001
212001
Witnessing side-effects
T Terauchi, A Aiken
ACM SIGPLAN Notices 40 (9), 105-115, 2005
202005
Witnessing side-effects
T Terauchi, A Aiken
ACM SIGPLAN Notices 40 (9), 105-115, 2005
202005
Local temporal reasoning
E Koskinen, T Terauchi
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
172014
The system can't perform the operation now. Try again later.
Articles 1–20