William A. Wulf

Affiliations:
  • University of Virginia, Charlottesville, USA


According to our database1, William A. Wulf authored at least 80 papers between 1968 and 2011.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1994, "".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

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

How shall we satisfy the long-term educational needs of engineers?
Proc. IEEE, 2000

1999
A new model of security for metasystems.
Future Gener. Comput. 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.
Computer, 1998

Innovation and Obstacles: The Future of Computing.
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.
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 Comput. Archit. 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. Complex., 1994

Object-Oriented Techniques in Hardware Design.
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.
Computer, 1993

1992
Computer Science and Software Engineering: Splitting is the Wrong Solution.
Comput. Sci. Educ., 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.
ACM SIGPLAN Notices, 1988

The WM computer architecture.
SIGARCH Comput. Archit. News, 1988

1986
Automation in Software Development (Panel).
Proceedings of the Information Processing 86, 1986

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

Compilers and Computer Architecture.
Computer, 1981

1980
Toward relaxing assumptions in languages and their implementations.
ACM SIGPLAN Notices, 1980

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

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

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

1978
Language design for the Ironman requirement: notes and examples.
ACM SIGPLAN Notices, 1978

Language design for the Ironman requirement: reference manual.
ACM SIGPLAN Notices, 1978

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

Introducing "theory" in the second programming course.
Proceedings of the 9th SIGCSE Technical Symposium on Computer Science Education, 1978

A fundamental computer science course that unifies theory and practice.
Proceedings of the Papers of the SIGCSE/CSA technical symposium on Computer science education, 1978

Reflections in a pool of processors - An experience report on C.mmp/Hydra.
Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 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. Exp., 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

1973
Global variable considered harmful.
ACM SIGPLAN Notices, 1973

1972
The problem of the definition of subroutine calling conventions.
ACM SIGPLAN Notices, 1972

A case against the GOTO.
ACM SIGPLAN Notices, 1972

Project Rosetta Stone: an exhibition of languages for system implementation.
ACM SIGPLAN Notices, 1972

C.mmp: a multi-mini-processor.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

Systems for systems implementors: some experiences from Bliss.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

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

Reflections on a systems programming language.
Proceedings of the SIGPLAN Symposium on Languages for System Implementation, 1971

Programming without the Goto.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1970
Computer Networks.
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
Exams from Carnegie-Mellon University.
ACM SIGCSE Bull., 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...