default search action
Paul N. Hilfinger
Person information
- affiliation: University of California, Berkeley, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c23]Rohan Padhye, Koushik Sen, Paul N. Hilfinger:
ChocoPy: a programming language for compilers courses. SPLASH-E 2019: 41-45 - 2011
- [r1]Katherine A. Yelick, Susan L. Graham, Paul N. Hilfinger, Dan Bonachea, Jimmy Su, Amir Kamil, Kaushik Datta, Phillip Colella, Tong Wen:
Titanium. Encyclopedia of Parallel Computing 2011: 2049-2055
2000 – 2009
- 2007
- [j11]Katherine A. Yelick, Paul N. Hilfinger, Susan L. Graham, Dan Bonachea, Jimmy Su, Amir Kamil, Kaushik Datta, Phillip Colella, Tong Wen:
Parallel Languages and Compilers: Perspective From the Titanium Experience. Int. J. High Perform. Comput. Appl. 21(3): 266-290 (2007) - [c22]Katherine A. Yelick, Dan Bonachea, Wei-Yu Chen, Phillip Colella, Kaushik Datta, Jason Duell, Susan L. Graham, Paul Hargrove, Paul N. Hilfinger, Parry Husbands, Costin Iancu, Amir Kamil, Rajesh Nishtala, Jimmy Su, Michael L. Welcome, Tong Wen:
Productivity and performance using partitioned global address space languages. PASCO 2007: 24-32 - 2002
- [c21]Geoff Pike, Paul N. Hilfinger:
Better tiling and array contraction for compiling scientific programs. SC 2002: 13:1-13:12
1990 – 1999
- 1999
- [c20]Arvind Krishnamurthy, Alexander Aiken, Phillip Colella, David Gay, Susan L. Graham, Paul N. Hilfinger, Ben Liblit, Carleton Miyamoto, Geoff Pike, Luigi Semenzato, Katherine A. Yelick:
Titanium: A High Performance Java Dialect. PP 1999 - [c19]Geoff Pike, Luigi Semenzato, Phillip Colella, Paul N. Hilfinger:
Parallel 3D Adaptive Mesh Refinement in Titanium. PP 1999 - 1998
- [j10]Katherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alex Aiken:
Titanium: A High-performance Java Dialect. Concurr. Pract. Exp. 10(11-13): 825-836 (1998) - [c18]James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton:
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement. DAC 1998: 70-75 - [c17]Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato:
PRCS: The Project Revision Control System. SCM 1998: 33-45 - 1994
- [j9]Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger:
CONSAT: A Parallel Constraint Satisfaction System. LISP Symb. Comput. 7(2-3): 195-210 (1994) - 1993
- [c16]Kinson Ho, Paul N. Hilfinger, Hans W. Guesgen:
Optimistic Parallel biscrete Relaxation. IJCAI 1993: 268-275 - 1992
- [j8]Hans W. Guesgen, Kinson Ho, Paul N. Hilfinger:
A Tagging Method for Parallel Constraint Satisfaction. J. Parallel Distributed Comput. 16(1): 72-75 (1992) - [c15]Edward Wang, Paul N. Hilfinger:
Analysis of Recursive Types in Lisp-Like Languages. LISP and Functional Programming 1992: 216-225 - [c14]Kinson Ho, Paul N. Hilfinger:
Managing Side Effects on Shared Data. Parallel Symbolic Computing 1992: 205-232 - 1991
- [j7]C. Bernard Shung, Rajeev Jain, Ken Rimey, Edward Wang, Mani B. Srivastava, Brian C. Richards, Erik Lettang, Syed Khalid Azim, Lars E. Thon, Paul N. Hilfinger, Jan M. Rabaey, Robert W. Brodersen:
An integrated CAD system for algorithm-specific IC design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(4): 447-463 (1991) - 1990
- [j6]Benjamin G. Zorn, Paul N. Hilfinger:
Direct Function Calls in Lisp. LISP Symb. Comput. 3(1): 13-20 (1990) - [c13]Paul N. Hilfinger, Eugene L. Lawler, Günter Rote:
Flattening a Rooted Tree. Applied Geometry And Discrete Mathematics 1990: 335-340 - [c12]Dominique Genin, Paul N. Hilfinger, Jan M. Rabaey, Chris J. Scheers, Hugo De Man:
DSP specification using the Silage language. ICASSP 1990: 1056-1060
1980 – 1989
- 1989
- [j5]Benjamin G. Zorn, Kinson Ho, James R. Larus, Luigi Semenzato, Paul N. Hilfinger:
Multiprocessing Extensions in Spur Lisp. IEEE Softw. 6(4): 41-49 (1989) - 1988
- [j4]Paul N. Hilfinger:
An Ada Package for Dimensional Analysis. ACM Trans. Program. Lang. Syst. 10(2): 189-203 (1988) - [c11]Ken Rimey, Paul N. Hilfinger:
Lazy data routing and greedy scheduling for application-specific signal processors. MICRO 1988: 111-115 - [c10]James R. Larus, Paul N. Hilfinger:
Detecting Conflicts Between Structure Accesses. PLDI 1988: 21-34 - [c9]James R. Larus, Paul N. Hilfinger:
Restructuring Lisp Programs for Concurrent Execution. PPOPP/PPEALS 1988: 100-110 - 1987
- [c8]William R. Bush, A. Dain Samples, David M. Ungar, Paul N. Hilfinger:
Compiling Smalltalk-80 to a RISC. ASPLOS 1987: 112-116 - 1986
- [c7]George S. Taylor, Paul N. Hilfinger, James R. Larus, David A. Patterson, Benjamin G. Zorn:
Evaluation of the SPUR Lisp Architecture. ISCA 1986: 444-452 - [c6]A. Dain Samples, David M. Ungar, Paul N. Hilfinger:
SOAR: Smalltalk Without Bytecodes. OOPSLA 1986: 107-118 - [c5]James R. Larus, Paul N. Hilfinger:
Register allocation in the SPUR Lisp compiler. SIGPLAN Symposium on Compiler Construction 1986: 255-263 - 1983
- [b1]Paul N. Hilfinger:
Abstraction mechanisms and language design. ACM distinguished dissertations, MIT Press 1983, ISBN 978-0-262-08134-4, pp. I-XI, 1-176 - [j3]David Alex Lamb, Paul N. Hilfinger:
Simulation of Procedure Variables Using Ada Tasks. IEEE Trans. Software Eng. 9(1): 13-15 (1983) - 1982
- [c4]Paul N. Hilfinger:
Implementation strategies for Ada tasking idioms. AdaTEC Conference on Ada 1982: 26-30
1970 – 1979
- 1978
- [j2]Mary Shaw, Paul N. Hilfinger, William A. Wulf:
Language design for the Ironman requirement: reference manual. ACM SIGPLAN Notices 13(9): 36-58 (1978) - [j1]Mary Shaw, Paul N. Hilfinger, William A. Wulf:
Language design for the Ironman requirement: notes and examples. ACM SIGPLAN Notices 13(9): 59-75 (1978) - [c3]Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf:
Validating The Utility Of Abstraction Techniques. ACM Annual Conference (1) 1978: 106-110 - [c2]Paul N. Hilfinger, Mary Shaw, William A. Wulf:
Introducing "theory" in the second programming course. SIGCSE 1978: 55-58 - [c1]Lawrence Flon, Paul N. Hilfinger, Mary Shaw, William A. Wulf:
A fundamental computer science course that unifies theory and practice. SIGCSE/CSA 1978: 255-259
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint