Paul N. Hilfinger

According to our database, Paul N. Hilfinger authored at least 35 papers between 1978 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

ChocoPy: a programming language for compilers courses.

Rohan Padhye, Koushik Sen, Paul N. Hilfinger

Proceedings of the SPLASH-E '19, 2019

2011

Titanium.

Katherine A. Yelick, Susan L. Graham, Paul N. Hilfinger, Dan Bonachea, Jimmy Su, Amir Kamil, Kaushik Datta, Phillip Colella, Tong Wen

Proceedings of the Encyclopedia of Parallel Computing, 2011

2007

Parallel Languages and Compilers: Perspective From the Titanium Experience.

Katherine A. Yelick, Paul N. Hilfinger, Susan L. Graham, Dan Bonachea, Jimmy Su, Amir Kamil, Kaushik Datta, Phillip Colella, Tong Wen

Int. J. High Perform. Comput. Appl., 2007

Productivity and performance using partitioned global address space languages.

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

Proceedings of the Parallel Symbolic Computation, 2007

2002

Better tiling and array contraction for compiling scientific programs.

Geoff Pike, Paul N. Hilfinger

Proceedings of the 2002 ACM/IEEE conference on Supercomputing, 2002

1999

Parallel 3D Adaptive Mesh Refinement in Titanium.

Geoff Pike, Luigi Semenzato, Phillip Colella, Paul N. Hilfinger

Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, 1999

1998

Titanium: A High-performance Java Dialect.

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

Concurr. Pract. Exp., 1998

PRCS: The Project Revision Control System.

Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato

Proceedings of the System Configuration Management, 1998

Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.

James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton

Proceedings of the 35th Conference on Design Automation, 1998

1994

CONSAT: A Parallel Constraint Satisfaction System.

Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger

LISP Symb. Comput., 1994

1993

Optimistic Parallel biscrete Relaxation.

Kinson Ho, Paul N. Hilfinger, Hans W. Guesgen

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

A Tagging Method for Parallel Constraint Satisfaction.

Hans W. Guesgen, Kinson Ho, Paul N. Hilfinger

J. Parallel Distributed Comput., 1992

Managing Side Effects on Shared Data.

Kinson Ho, Paul N. Hilfinger

Proceedings of the Parallel Symbolic Computing: Languages, 1992

Analysis of Recursive Types in Lisp-Like Languages.

Edward Wang, Paul N. Hilfinger

Proceedings of the Conference on Lisp and Functional Programming, 1992

1991

An integrated CAD system for algorithm-specific IC design.

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991

1990

Direct Function Calls in Lisp.

Benjamin G. Zorn, Paul N. Hilfinger

LISP Symb. Comput., 1990

DSP specification using the Silage language.

Dominique Genin, Paul N. Hilfinger, Jan M. Rabaey, Chris J. Scheers, Hugo De Man

Proceedings of the 1990 International Conference on Acoustics, 1990

Flattening a Rooted Tree.

Paul N. Hilfinger, Eugene L. Lawler, Günter Rote

Proceedings of the Applied Geometry And Discrete Mathematics, 1990

1989

Multiprocessing Extensions in Spur Lisp.

Benjamin G. Zorn, Kinson Ho, James R. Larus, Luigi Semenzato, Paul N. Hilfinger

IEEE Softw., 1989

1988

An Ada Package for Dimensional Analysis.

Paul N. Hilfinger

ACM Trans. Program. Lang. Syst., 1988

Restructuring Lisp Programs for Concurrent Execution.

James R. Larus, Paul N. Hilfinger

Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

Detecting Conflicts Between Structure Accesses.

James R. Larus, Paul N. Hilfinger

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

Lazy data routing and greedy scheduling for application-specific signal processors.

Ken Rimey, Paul N. Hilfinger

Proceedings of the 21st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1988, San Diego, California, USA, November 28, 1988

1987

Compiling Smalltalk-80 to a RISC.

William R. Bush, A. Dain Samples, David M. Ungar, Paul N. Hilfinger

Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), 1987

1986

Register allocation in the SPUR Lisp compiler.

James R. Larus, Paul N. Hilfinger

Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

SOAR: Smalltalk Without Bytecodes.

A. Dain Samples, David M. Ungar, Paul N. Hilfinger

Proceedings of the Conference on Object-Oriented Programming Systems, 1986

Evaluation of the SPUR Lisp Architecture.

George S. Taylor, Paul N. Hilfinger, James R. Larus, David A. Patterson, Benjamin G. Zorn

Proceedings of the 13th Annual Symposium on Computer Architecture, Tokyo, Japan, June 1986, 1986

1983

Simulation of Procedure Variables Using Ada Tasks.

David Alex Lamb, Paul N. Hilfinger

IEEE Trans. Software Eng., 1983

Abstraction mechanisms and language design.

Paul N. Hilfinger

ACM distinguished dissertations, MIT Press, ISBN: 978-0-262-08134-4, 1983

1982

Implementation strategies for Ada tasking idioms.

Paul N. Hilfinger

Proceedings of the AdaTEC Conference on Ada, 1982

1978

Language design for the Ironman requirement: notes and examples.

Mary Shaw, Paul N. Hilfinger, William A. Wulf

ACM SIGPLAN Notices, 1978

Language design for the Ironman requirement: reference manual.

Mary Shaw, Paul N. Hilfinger, William A. Wulf

ACM SIGPLAN Notices, 1978

Introducing "theory" in the second programming course.

Paul N. Hilfinger, Mary Shaw, William A. Wulf

Proceedings of the 9th SIGCSE Technical Symposium on Computer Science Education, 1978

A fundamental computer science course that unifies theory and practice.

Lawrence Flon, Paul N. Hilfinger, Mary Shaw, William A. Wulf

Proceedings of the Papers of the SIGCSE/CSA technical symposium on Computer science education, 1978

Validating The Utility Of Abstraction Techniques.

Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978