Bowen Alpern

According to our database1, Bowen Alpern authored at least 37 papers between 1983 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Edsger W. Dijkstra: The Man Behind the Prize.
SIGACT News, 2018

2008
Opening black boxes: using semantic information to combat virtual machine image sprawl.
Proceedings of the 4th International Conference on Virtual Execution Environments, 2008

2005
The Jikes Research Virtual Machine project: Building an open-source research community.
IBM Systems Journal, 2005

PDS: a virtual execution environment for software deployment.
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

2004
SABER: smart analysis based error reduction.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2002
Experiences Porting the Jikes RVM to Linux/IA32.
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002

2001
Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Dynamic Type Checking in Jalapeño.
Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001

A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Efficient Dispatch of Java Interface Methods.
Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

2000
The Jalapeño virtual machine.
IBM Systems Journal, 2000

DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine.
Proceedings of the Object Oriented Programming Systems Languages and Applications Conference, 2000

1999
Implementing Jalapeño in Java.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Dynamic Linking on a Shared-Memory Multiprocessor.
Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, 1999

1995
High-Performance Parallel Implementations of the NAS Kernel Benchmarks on the IBM SP2.
IBM Systems Journal, 1995

Microparallelism and High-Performance Protein Matching.
Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

The Myth of Scalable High Performance.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

Is Scalability Relevant? A Look at Sparse Matrix-Vector Product.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

Message Compression for High Performance.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

1994
The Uniform Memory Hierarchy Model of Computation.
Algorithmica, 1994

1993
Orientation Maps: Techniques for Visualizing Rotations.
Proceedings of the Proceedings IEEE Visualization '93, 1993

1992
Rectilinear Steiner Tree Minimization on a Workstation.
Proceedings of the Computational Support for Discrete Mathematics, 1992

1991
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".
Inf. Process. Lett., 1991

The Hyperbox.
Proceedings of the Proceedings IEEE Visualization '91, 1991

1990
Visualizing Computer Memory Architectures.
Proceedings of the Proceedings IEEE Visualization '90, 1990

Incremental Evaluation of Computational Circuits.
Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, 1990

Uniform Memory Hierarchies
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990

1989
Verifying Temporal Properties without Temporal Logic.
ACM Trans. Program. Lang. Syst., 1989

1988
Graph Attribution as a Specification Paradigm.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Detecting Equality of Variables in Programs.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1987
Recognizing Safety and Liveness.
Distributed Computing, 1987

A Model for Hierarchical Memory
Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987

Proving Boolean Combinations of Deterministic Properties
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986
Safety Without Stuttering.
Inf. Process. Lett., 1986

1985
Defining Liveness.
Inf. Process. Lett., 1985

1984
Interactive Proof Checking.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1983
Key Exchange Using 'Keyless Cryptography'.
Inf. Process. Lett., 1983


  Loading...