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 (ACM Annual Conference (1), 1978)

A fundamental computer science course that unifies theory and practice. - Lawrence Flon; Paul N. Hilfinger; Mary Shaw; William A. Wulf (SIGCSE/CSA, 1978)

Introducing "theory" in the second programming course. - Paul N. Hilfinger; Mary Shaw; William A. Wulf (SIGCSE, 1978)

Language design for the Ironman requirement: reference manual. - Mary Shaw; Paul N. Hilfinger; William A. Wulf (ACM SIGPLAN Notices, 1978)

Language design for the Ironman requirement: notes and examples. - Mary Shaw; Paul N. Hilfinger; William A. Wulf (ACM SIGPLAN Notices, 1978)

Implementation strategies for Ada tasking idioms. - Paul N. Hilfinger (AdaTEC Conference on Ada, 1982)

Abstraction mechanisms and language design. - Paul N. Hilfinger (MIT Press, 1983)

Simulation of Procedure Variables Using Ada Tasks. - David Alex Lamb; Paul N. Hilfinger (IEEE Trans. Software Eng., 1983)

Evaluation of the SPUR Lisp Architecture. - George S. Taylor; Paul N. Hilfinger; James R. Larus; David A. Patterson 001; Benjamin G. Zorn (ISCA, 1986)

SOAR: Smalltalk Without Bytecodes. - A. Dain Samples; David M. Ungar; Paul N. Hilfinger (OOPSLA, 1986)

Register allocation in the SPUR Lisp compiler. - James R. Larus; Paul N. Hilfinger (SIGPLAN Symposium on Compiler Construction, 1986)

Compiling Smalltalk-80 to a RISC. - William R. Bush; A. Dain Samples; David M. Ungar; Paul N. Hilfinger (ASPLOS, 1987)

Lazy data routing and greedy scheduling for application-specific signal processors. - Ken Rimey; Paul N. Hilfinger (MICRO, 1988)

Detecting Conflicts Between Structure Accesses. - James R. Larus; Paul N. Hilfinger (PLDI, 1988)

Restructuring Lisp Programs for Concurrent Execution. - James R. Larus; Paul N. Hilfinger (PPOPP/PPEALS, 1988)

An Ada Package for Dimensional Analysis. - Paul N. Hilfinger (ACM Trans. Program. Lang. Syst., 1988)

Multiprocessing Extensions in Spur Lisp. - Benjamin G. Zorn; Kinson Ho; James R. Larus; Luigi Semenzato; Paul N. Hilfinger (IEEE Softw., 1989)

Flattening a Rooted Tree. - Paul N. Hilfinger; Eugene L. Lawler; Günter Rote (Applied Geometry And Discrete Mathematics, 1990)

DSP specification using the Silage language. - Dominique Genin; Paul N. Hilfinger; Jan M. Rabaey; Chris J. Scheers; Hugo De Man (ICASSP, 1990)

Direct Function Calls in Lisp. - Benjamin G. Zorn; Paul N. Hilfinger (LISP Symb. Comput., 1990)

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)

Analysis of Recursive Types in Lisp-Like Languages. - Edward Wang; Paul N. Hilfinger (LISP and Functional Programming, 1992)

Managing Side Effects on Shared Data. - Kinson Ho; Paul N. Hilfinger (Parallel Symbolic Computing, 1992)

A Tagging Method for Parallel Constraint Satisfaction. - Hans W. Guesgen; Kinson Ho; Paul N. Hilfinger (J. Parallel Distributed Comput., 1992)

Optimistic Parallel biscrete Relaxation. - Kinson Ho; Paul N. Hilfinger; Hans W. Guesgen (IJCAI, 1993)

CONSAT: A Parallel Constraint Satisfaction System. - Kinson Ho; Hans W. Guesgen; Paul N. Hilfinger (LISP Symb. Comput., 1994)

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 (DAC, 1998)

PRCS: The Project Revision Control System. - Josh MacDonald; Paul N. Hilfinger; Luigi Semenzato (SCM, 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; Alex Aiken (Concurr. Pract. Exp., 1998)

Parallel 3D Adaptive Mesh Refinement in Titanium. - Geoff Pike; Luigi Semenzato; Phillip Colella; Paul N. Hilfinger (PP, 1999)

Better tiling and array contraction for compiling scientific programs. - Geoff Pike; Paul N. Hilfinger (SC, 2002)

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; et al. (PASCO, 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)

Titanium. - Katherine A. Yelick; Susan L. Graham; Paul N. Hilfinger; Dan Bonachea; Jimmy Su; Amir Kamil; Kaushik Datta; Phillip Colella; Tong Wen (Encyclopedia of Parallel Computing, 2011)

ChocoPy: a programming language for compilers courses. - Rohan Padhye; Koushik Sen; Paul N. Hilfinger (SPLASH-E, 2019)