The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Benjamin Goldberg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Benjamin Goldberg
    Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme. [Citation Graph (1, 0)][DBLP]
    PLDI, 1989, pp:313-321 [Conf]
  2. Benjamin Goldberg, Emily Crutcher, Chad Huneycutt, Krishna V. Palem
    Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines. [Citation Graph (0, 0)][DBLP]
    IEEE PACT, 2002, pp:211-221 [Conf]
  3. Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck
    TVOC: A Translation Validator for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:291-295 [Conf]
  4. Cory Plock, Benjamin Goldberg, Lenore D. Zuck
    From Requirements to Specifications. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:183-190 [Conf]
  5. Benjamin Goldberg
    Incremental Garbage Collection Without Tags. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:200-218 [Conf]
  6. Benjamin Goldberg, Young Gil Park
    Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:152-160 [Conf]
  7. Tyng-Ruey Chuang, Benjamin Goldberg
    Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming. [Citation Graph (0, 0)][DBLP]
    FPCA, 1993, pp:289-298 [Conf]
  8. Benjamin Goldberg
    Detecting sharing of partial applications in functional programs. [Citation Graph (0, 0)][DBLP]
    FPCA, 1987, pp:408-425 [Conf]
  9. Paul Hudak, Benjamin Goldberg
    Serial Combinators: ``Optimal'' Grains of Parallelism. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:382-399 [Conf]
  10. Benjamin Goldberg, Paul Hudak
    Alfalfa: Distributed graph reduction on a hypercube multiprocessor. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:94-113 [Conf]
  11. Cristian Ungureanu, Benjamin Goldberg
    Formal Models of Distributed Memory Management. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:280-291 [Conf]
  12. Paul Hudak, Benjamin Goldberg
    Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. [Citation Graph (0, 0)][DBLP]
    ICPP, 1985, pp:831-839 [Conf]
  13. Benjamin Goldberg
    Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1988, pp:40-51 [Conf]
  14. Benjamin Goldberg, Michael Gloger
    Polymorphic Type Reconstruction for Garbage Collection Without Tags. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:53-65 [Conf]
  15. Paul Hudak, Benjamin Goldberg
    Experiments in Diffused Combinator Reduction. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:167-176 [Conf]
  16. Tyng-Ruey Chuang, Benjamin Goldberg
    A Syntactic Approach to Fixed Point Computation on Finite Domains. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:109-118 [Conf]
  17. Mihnea Marinescu, Benjamin Goldberg
    Partial-Evaluation Techniques for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:47-62 [Conf]
  18. Young Gil Park, Benjamin Goldberg
    Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:178-189 [Conf]
  19. Benjamin Goldberg
    Tag-Free Garbage Collection for Strongly Typed Programming Languages. [Citation Graph (0, 0)][DBLP]
    PLDI, 1991, pp:165-176 [Conf]
  20. Young Gil Park, Benjamin Goldberg
    Escape Analysis on Lists. [Citation Graph (0, 0)][DBLP]
    PLDI, 1992, pp:116-127 [Conf]
  21. Young Gil Park, Benjamin Goldberg
    Order-of-Demand Analysis for Lazy Languages. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:91-101 [Conf]
  22. Ying Hu, Clark W. Barrett, Benjamin Goldberg
    Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:281-289 [Conf]
  23. Benjamin Goldberg
    Functional Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:1, pp:249-251 [Journal]
  24. Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck
    Run-Time Validation of Speculative Optimizations using CVC. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  25. Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett
    Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:53-71 [Journal]
  26. Ying Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli
    Validating More Loop Optimizations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:2, pp:69-84 [Journal]
  27. Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
    VOC: A Translation Validator for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
  28. Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu
    Translation and Run-Time Validation of Optimized Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  29. Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu
    Translation and Run-Time Validation of Loop Transformations. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:27, n:3, pp:335-360 [Journal]
  30. Young Park, Benjamin Goldberg
    Static Analysis for Optimizing Reference Counting. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:55, n:4, pp:229-234 [Journal]
  31. Young Gil Park, Benjamin Goldberg
    Order-of-Demand Analysis for Lazy Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:55, n:6, pp:343-348 [Journal]
  32. Tyng-Ruey Chuang, Benjamin Goldberg
    A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:4, pp:357-394 [Journal]
  33. Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg
    VOC: A Methodology for the Translation Validation of OptimizingCompilers. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:3, pp:223-247 [Journal]
  34. Paul Hudak, Benjamin Goldberg
    Distributed Execution of Functional Programs Using Serial Combinators. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1985, v:34, n:10, pp:881-891 [Journal]

  35. Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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