William A. Wulf

According to our database1, William A. Wulf
  • authored at least 66 papers between 1968 and 2011.
  • has a "Dijkstra number"2 of three.

Awards

ACM Fellow

ACM Fellow 1994, "".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2011
IBCM: the itty bitty computing machine a one-week module to teach machine language in computing courses.
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

2007
Bridging art and science with creativity support tools.
Proceedings of the 6th Conference on Creativity & Cognition, 2007

2000
The nature of engineering, the science of humanities, and Godel's theorem.
Ubiquity, 2000

Dynamic Access Ordering for Streamed Computations.
IEEE Trans. Computers, 2000

1999
A new model of security for metasystems.
Future Generation Comp. Syst., 1999

Towards a Scalable PKI for Electronic Commerce Systems.
Proceedings of the First International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems, 1999

Access Order and Effective Bandwidth for Streams on a Direct Rambus Memory.
Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999

A Framework for a Cryptographic Protocol Evaluation Workbench.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998
Smarter Memory: Improving Bandwidth for Streamed References.
IEEE Computer, 1998

Innovation and Obstacles: The Future of Computing.
IEEE Computer, 1998

Caches as Filters: A New Approach to Cache Analysis.
Proceedings of the MASCOTS 1998, 1998

1997
Look in the Spaces for Tomorrow's Innovations.
Commun. ACM, 1997

The Legion Vision of a Worldwide Computer.
Commun. ACM, 1997

A practical approach to security assessment.
Proceedings of the 1997 Workshop on New Security Paradigms, 1997

1996
Collaboratories: Doing Science on the Internet.
IEEE Computer, 1996

Legion: flexible support for wide-area computing.
Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

A new model of security for distributed systems.
Proceedings of the 1996 Workshop on New Security Paradigms, 1996

A Memory Controller for Improved Performance of Streamed Computations on Symmetric Multiprocessors.
Proceedings of IPPS '96, 1996

Design and Evaluation of Dynamic Access Ordering Hardware.
Proceedings of the 10th international conference on Supercomputing, 1996

Legion - A View from 50, 000 Feet.
Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

A Logic of Composition for Information Flow Predicates.
Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

1995
Hitting the memory wall: implications of the obvious.
SIGARCH Computer Architecture News, 1995

Are We Scientists or Engineers?
ACM Comput. Surv., 1995

And Now for Some *Really* Super Computing.
Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

Access Ordering and Memory-Conscious Cache Utilization.
Proceedings of the 1st IEEE Symposium on High-Performance Computer Architecture (HPCA 1995), 1995

Bounds on Memory Bandwidth in Streamed Computations.
Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994
Modeling Optimal Effective Bandwidth of Page-Mode Memory for Stream-Oriented Computations.
J. Complexity, 1994

Object-Oriented Techniques in Hardware Design.
IEEE Computer, 1994

Undergraduate computer science education: a new curriculum philosophy & overview.
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994

Increasing Memory Bandwidth for Vector Computations.
Proceedings of the Programming Languages and System Architectures, 1994

Experimental Implementation of Dynamic Access Ordering.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems.
Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

1993
A Framework for Hardware / Software Codesign.
IEEE Computer, 1993

1992
Computer Science and Software Engineering: Splitting is the Wrong Solution.
Computer Science Education, 1992

Evaluation of the WM Architecture.
Proceedings of the 19th Annual International Symposium on Computer Architecture. Gold Coast, 1992

Toward relaxing assumptions in languages and the1r implementations.
Proceedings of the ICCL'92, 1992

1988
An efficient algorithm for heap storage allocation.
SIGPLAN Notices, 1988

1986
Automation in Software Development (Panel).
IFIP Congress, 1986

1981
A Comparison of Programming Languages for Software Engineering.
Softw., Pract. Exper., 1981

Compilers and Computer Architecture.
IEEE Computer, 1981

1980
Trends in the Design and Implementation of Programming Languages.
IEEE Computer, 1980

An Overview of the Production-Quality Compiler-Compiler Project.
IEEE Computer, 1980

Abstract Data Types: A Retrospective and Prospective View.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1978
The Oregon Report Software Engineering: The Turning Point.
IEEE Computer, 1978

Validating The Utility Of Abstraction Techniques.
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

Tools For Automatic Compiler Generation (Panel Discussion).
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.
Commun. ACM, 1977

1976
An Introduction to the Construction and Verification of Alphard Programs.
IEEE Trans. Software Eng., 1976

An Introduction to the Construction and Verification of Alphard Programs (Abstract).
Proceedings of the 2nd International Conference on Software Engineering, 1976

1975
Reliable Hardware/Software Architecture.
IEEE Trans. Software Eng., 1975

Towards the Design of Secure Systems.
Softw., Pract. Exper., 1975

Overview of the HYDRA Operating System Development.
Proceedings of the Fifth Symposium on Operating System Principles, 1975

Policy/Mechanism Separation in HYDRA.
Proceedings of the Fifth Symposium on Operating System Principles, 1975

Structured programming in the basic layers of an operating system.
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

1974
B 74-27 Program Test Methods.
IEEE Trans. Computers, 1974

HYDRA: The Kernel of a Multiprocessor Operating System.
Commun. ACM, 1974

Research in data security: policies and projects.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

Security kernels.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1972
C.mmp: a multi-mini-processor.
AFIPS Fall Joint Computing Conference (2), 1972

Systems for systems implementors: some experiences from Bliss.
AFIPS Fall Joint Computing Conference (2), 1972

1971
BLISS: A Language for Systems Programming.
Commun. ACM, 1971

Programming without the Goto.
IFIP Congress (1), 1971

1970
Computer Networks.
IEEE Computer, 1970

A new architecture for mini-computers: the DEC PDP-11.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1970 Spring Joint Computer Conference, 1970

1969
Performance monitors for multi-programming systems.
Proceedings of the Second Symposium on Operating Systems Principles, 1969

1968
The implementation of a BASIC system in a multiprogramming environment.
Commun. ACM, 1968


  Loading...