According to our database1, Norihisa Suzuki authored at least 18 papers between 1976 and 1992.
ACM Fellow 1995, "For contributions to object-oriented technologies by type inference for Smalltalk, microprocessor, fast interpreter, and a database, to multiprocessing by snoop cache, and to program verification.".
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Parallel Symbolic Computing: Languages, 1992
Proceedings of the Parallel Lisp: Languages and Systems, 1989
Design and Evaluation of Multiprocessor Workstations.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
Proceedings of the VLSI Engineering: Beyond Software Engineering, 1984
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981
ACM Trans. Program. Lang. Syst., 1979
Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977
Nondeterminism and the Correctness of Parallel Programs.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977
Automatic Verification of Programs with Complex Data Structures
Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4425-8, 1976