Paul N. Hilfinger

Publication Activity (10 Years)

Years Active: 1978-2019
Publications (10 Years): 1

Top Topics

Database Management Systems

Functional Programming

Programming Language

Data Abstraction

Top Venues

Publications

Rohan Padhye, Koushik Sen, Paul N. Hilfinger
ChocoPy: a programming language for compilers courses. SPLASH-E (2019)
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)
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) (2007)
Geoff Pike, Paul N. Hilfinger
Better tiling and array contraction for compiling scientific programs. SC (2002)
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. PPSC (1999)
Geoff Pike, Luigi Semenzato, Phillip Colella, Paul N. Hilfinger
Parallel 3D Adaptive Mesh Refinement in Titanium. PPSC (1999)
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)
Katherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alexander Aiken
Titanium: A High-performance Java Dialect. Concurr. Pract. Exp. 10 (11-13) (1998)
Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato
PRCS: The Project Revision Control System. SCM (1998)
Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger
CONSAT: A Parallel Constraint Satisfaction System. LISP Symb. Comput. 7 (2-3) (1994)
Kinson Ho, Paul N. Hilfinger, Hans W. Guesgen
Optimistic Parallel biscrete Relaxation. IJCAI (1993)
Kinson Ho, Paul N. Hilfinger
Managing Side Effects on Shared Data. Parallel Symbolic Computing (1992)
Hans W. Guesgen, Kinson Ho, Paul N. Hilfinger
A Tagging Method for Parallel Constraint Satisfaction. J. Parallel Distributed Comput. 16 (1) (1992)
Edward Wang, Paul N. Hilfinger
Analysis of Recursive Types in Lisp-Like Languages. LISP and Functional Programming (1992)
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) (1991)
Paul N. Hilfinger, Eugene L. Lawler, Günter Rote
Flattening a Rooted Tree. Applied Geometry And Discrete Mathematics (1990)
Benjamin G. Zorn, Paul N. Hilfinger
Direct Function Calls in Lisp. LISP Symb. Comput. 3 (1) (1990)
Dominique Genin, Paul N. Hilfinger, Jan M. Rabaey, Chris J. Scheers, Hugo De Man
DSP specification using the Silage language. ICASSP (1990)
Benjamin G. Zorn, Kinson Ho, James R. Larus, Luigi Semenzato, Paul N. Hilfinger
Multiprocessing Extensions in Spur Lisp. IEEE Softw. 6 (4) (1989)
James R. Larus, Paul N. Hilfinger
Detecting Conflicts Between Structure Accesses. PLDI (1988)
James R. Larus, Paul N. Hilfinger
Restructuring Lisp Programs for Concurrent Execution. PPOPP/PPEALS (1988)
Paul N. Hilfinger
An Ada Package for Dimensional Analysis. ACM Trans. Program. Lang. Syst. 10 (2) (1988)
Ken Rimey, Paul N. Hilfinger
Lazy data routing and greedy scheduling for application-specific signal processors. MICRO (1988)
William R. Bush, A. Dain Samples, David M. Ungar, Paul N. Hilfinger
Compiling Smalltalk-80 to a RISC. ASPLOS (1987)
A. Dain Samples, David M. Ungar, Paul N. Hilfinger
SOAR: Smalltalk Without Bytecodes. OOPSLA (1986)
James R. Larus, Paul N. Hilfinger
Register allocation in the SPUR Lisp compiler. SIGPLAN Symposium on Compiler Construction (1986)
George S. Taylor, Paul N. Hilfinger, James R. Larus, David A. Patterson, Benjamin G. Zorn
Evaluation of the SPUR Lisp Architecture. ISCA (1986)
David Alex Lamb, Paul N. Hilfinger
Simulation of Procedure Variables Using Ada Tasks. IEEE Trans. Software Eng. 9 (1) (1983)
Paul N. Hilfinger
Implementation strategies for Ada tasking idioms. AdaTEC Conference on Ada (1982)
Mary Shaw, Paul N. Hilfinger, William A. Wulf
Language design for the Ironman requirement: notes and examples. ACM SIGPLAN Notices 13 (9) (1978)
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)
Paul N. Hilfinger, Mary Shaw, William A. Wulf
Introducing "theory" in the second programming course. SIGCSE (1978)
Lawrence Flon, Paul N. Hilfinger, Mary Shaw, William A. Wulf
A fundamental computer science course that unifies theory and practice. SIGCSE/CSA (1978)
Mary Shaw, Paul N. Hilfinger, William A. Wulf
Language design for the Ironman requirement: reference manual. ACM SIGPLAN Notices 13 (9) (1978)