The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bowen Alpern: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bowen Alpern, Larry Carter, Ephraim Feig
    Uniform Memory Hierarchies [Citation Graph (1, 0)][DBLP]
    FOCS, 1990, pp:600-608 [Conf]
  2. Bowen Alpern, Alan Carle, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
    Graph Attribution as a Specification Paradigm. [Citation Graph (1, 0)][DBLP]
    Software Development Environments (SDE), 1988, pp:121-129 [Conf]
  3. Alok Aggarwal, Bowen Alpern, Ashok K. Chandra, Marc Snir
    A Model for Hierarchical Memory [Citation Graph (1, 0)][DBLP]
    STOC, 1987, pp:305-314 [Conf]
  4. Bowen Alpern, Larry Carter, Ephraim Feig, Ted Selker
    The Uniform Memory Hierarchy Model of Computation. [Citation Graph (1, 0)][DBLP]
    Algorithmica, 1994, v:12, n:2/3, pp:72-109 [Journal]
  5. Bowen Alpern, Mark Charney, Jong-Deok Choi, Anthony Cocchi, Derek Lieber
    Dynamic Linking on a Shared-Memory Multiprocessor. [Citation Graph (0, 0)][DBLP]
    IEEE PACT, 1999, pp:177-182 [Conf]
  6. Bowen Alpern, Anthony Cocchi, David Grove, Derek Lieber
    Efficient Dispatch of Java Interface Methods. [Citation Graph (0, 0)][DBLP]
    HPCN Europe, 2001, pp:621-628 [Conf]
  7. Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides
    A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2001, pp:23- [Conf]
  8. Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved
    SABER: smart analysis based error reduction. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:243-251 [Conf]
  9. Bowen Alpern, Maria A. Butrico, Anthony Cocchi, Julian Dolby, Stephen J. Fink, David Grove, Ton Ngo
    Experiences Porting the Jikes RVM to Linux/IA32. [Citation Graph (0, 0)][DBLP]
    Java™ Virtual Machine Research and Technology Symposium, 2002, pp:51-64 [Conf]
  10. Bowen Alpern, Anthony Cocchi, David Grove
    Dynamic Type Checking in Jalapeño. [Citation Graph (0, 0)][DBLP]
    Java™ Virtual Machine Research and Technology Symposium, 2001, pp:- [Conf]
  11. Bowen Alpern, Fred B. Schneider
    Proving Boolean Combinations of Deterministic Properties [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:131-137 [Conf]
  12. Bowen Alpern, C. Richard Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark F. Mergen, Janice C. Shepherd, Stephen E. Smith
    Implementing Jalapeño in Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1999, pp:314-324 [Conf]
  13. Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber
    Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2001, pp:108-124 [Conf]
  14. Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck
    Detecting Equality of Variables in Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1988, pp:1-11 [Conf]
  15. Thomas W. Reps, Bowen Alpern
    Interactive Proof Checking. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:36-45 [Conf]
  16. Bowen Alpern, Larry Carter
    Message Compression for High Performance. [Citation Graph (0, 0)][DBLP]
    PPSC, 1995, pp:814-819 [Conf]
  17. Bowen Alpern, Larry Carter
    Is Scalability Relevant? A Look at Sparse Matrix-Vector Product. [Citation Graph (0, 0)][DBLP]
    PPSC, 1995, pp:850-851 [Conf]
  18. Bowen Alpern, Larry Carter
    The Myth of Scalable High Performance. [Citation Graph (0, 0)][DBLP]
    PPSC, 1995, pp:857-859 [Conf]
  19. Bowen Alpern, Larry Carter, Kang Su Gatlin
    Microparallelism and High-Performance Protein Matching. [Citation Graph (0, 0)][DBLP]
    SC, 1995, pp:- [Conf]
  20. Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
    Incremental Evaluation of Computational Circuits. [Citation Graph (0, 0)][DBLP]
    SODA, 1990, pp:32-42 [Conf]
  21. Bowen Alpern, Larry Carter
    The Hyperbox. [Citation Graph (0, 0)][DBLP]
    IEEE Visualization, 1991, pp:133-139 [Conf]
  22. Bowen Alpern, Larry Carter, M. Grayson, C. Pelkie
    Orientation Maps: Techniques for Visualizing Rotations. [Citation Graph (0, 0)][DBLP]
    IEEE Visualization, 1993, pp:183-188 [Conf]
  23. Bowen Alpern, Larry Carter, Ted Selker
    Visualizing Computer Memory Architectures. [Citation Graph (0, 0)][DBLP]
    IEEE Visualization, 1990, pp:107-113 [Conf]
  24. Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd W. Mummert, Michael Pigott
    PDS: a virtual execution environment for software deployment. [Citation Graph (0, 0)][DBLP]
    VEE, 2005, pp:175-185 [Conf]
  25. Bowen Alpern, Fred B. Schneider
    Recognizing Safety and Liveness. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1987, v:2, n:3, pp:117-126 [Journal]
  26. Ramesh C. Agarwal, Bowen Alpern, Larry Carter, Fred G. Gustavson, David J. Klepacki, Rick Lawrence, Mohammad Zubair
    High-Performance Parallel Implementations of the NAS Kernel Benchmarks on the IBM SP2. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 1995, v:34, n:2, pp:263-272 [Journal]
  27. Bowen Alpern, C. Richard Attanasio, John J. Barton, Michael G. Burke, Perry Cheng, Jong-Deok Choi, Anthony Cocchi, Stephen J. Fink, David Grove, Michael Hind, Susan Flynn Hummel, Derek Lieber, Vassily Litvinov, Mark F. Mergen, Ton Ngo, James R. Russell, Vivek Sarkar, Mauricio J. Serrano, Janice C. Shepherd, Stephen E. Smith, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley
    The Jalapeño virtual machine. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 2000, v:39, n:1, pp:211-0 [Journal]
  28. Bowen Alpern, Steve Augart, Stephen M. Blackburn, Maria A. Butrico, Anthony Cocchi, Perry Cheng, Julian Dolby, Stephen J. Fink, David Grove, Michael Hind, Kathryn S. McKinley, Mark F. Mergen, J. Eliot B. Moss, Ton Anh Ngo, Vivek Sarkar, Martin Trapp
    The Jikes Research Virtual Machine project: Building an open-source research community. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 2005, v:44, n:2, pp:399-418 [Journal]
  29. Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
    Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:40, n:3, pp:141-142 [Journal]
  30. Bowen Alpern, Alan J. Demers, Fred B. Schneider
    Safety Without Stuttering. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:23, n:4, pp:177-180 [Journal]
  31. Bowen Alpern, Fred B. Schneider
    Key Exchange Using `Keyless Cryptography'. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1983, v:16, n:2, pp:79-81 [Journal]
  32. Bowen Alpern, Fred B. Schneider
    Defining Liveness. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1985, v:21, n:4, pp:181-185 [Journal]
  33. Bowen Alpern, Fred B. Schneider
    Verifying Temporal Properties without Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1989, v:11, n:1, pp:147-167 [Journal]

  34. Opening black boxes: using semantic information to combat virtual machine image sprawl. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002