According to our database1, Norihisa Suzuki
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
Massively Parallel Architectures and Symbolic Computation (panel).
Proceedings of the Parallel Symbolic Computing: Languages, 1992
TOP-1 Multiprocessor Workstation.
Proceedings of the Parallel Lisp: Languages and Systems, 1989
Design and Evaluation of Multiprocessor Workstations.
IFIP Congress, 1989
Experience with Specification and Verification of Hardware Using PROLOG.
Proceedings of the VLSI Engineering: Beyond Software Engineering, 1984
Creating Efficient Systems for Object-Oriented Languages.
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.
Data Abstraction in Prolog/KR.
New Generation Comput., 1983
Analysis of Pointer "Rotation".
Commun. ACM, 1982
The Total Correctness of Parallel Programs.
SIAM J. Comput., 1981
Inferring Types in Smalltalk.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981
Verification Decidability of Presburger Array Programs.
J. ACM, 1980
Analysis of Pointer Rotation.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
Verification of Array, Record, and Pointer Operations in Pascal.
ACM Trans. Program. Lang. Syst., 1979
Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs
Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978
Proof of Termination within a Weak Logic of Programs.
Acta Inf., 1977
Implementation of an Array Bound Checker.
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 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