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
7471999
Flow-sensitive type qualifiers
JS Foster, T Terauchi, A Aiken
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
4722002
Secure information flow as a safety problem
T Terauchi, A Aiken
International Static Analysis Symposium, 352-367, 2005
3892005
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
1172017
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
1082003
Quantitative information flow-verification hardness and possibilities
H Yasuoka, T Terauchi
2010 23rd IEEE Computer Security Foundations Symposium, 15-27, 2010
882010
Dependent types from counterexamples
T Terauchi
ACM Sigplan Notices 45 (1), 119-130, 2010
802010
Constraint-based relational verification
H Unno, T Terauchi, E Koskinen
International Conference on Computer Aided Verification, 742-766, 2021
572021
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
562013
A type system for observational determinism
T Terauchi
2008 21st IEEE Computer Security Foundations Symposium, 287-300, 2008
552008
Checking race freedom via linear programming
T Terauchi
ACM SIGPLAN Notices 43 (6), 1-10, 2008
502008
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
452014
A capability calculus for concurrency and determinism
T Terauchi, A Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5), 27, 2008
402008
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
332016
Local temporal reasoning
E Koskinen, T Terauchi
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
332014
Quantitative information flow as safety and liveness hyperproperties
H Yasuoka, T Terauchi
Theoretical Computer Science 538, 167-182, 2014
312014
A fixpoint logic and dependent effects for temporal property verification
Y Nanjo, H Unno, E Koskinen, T Terauchi
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
282018
On bounding problems of quantitative information flow
H Yasuoka, T Terauchi
Computer Security–ESORICS 2010, 357-372, 2010
272010
On bounding problems of quantitative information flow
H Yasuoka, T Terauchi
Journal of Computer Security 19 (6), 1029-1082, 2011
262011
Relatively complete refinement type system for verification of higher-order non-deterministic programs
H Unno, Y Satake, T Terauchi
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
232017
The system can't perform the operation now. Try again later.
Articles 1–20