Paul N. Hilfinger

36 papers A* 6A 3Misc 1Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2019 — conf
ChocoPy: a programming language for compilers courses.
SPLASH-E
Rohan Padhye, Koushik Sen, Paul N. Hilfinger
2011 — ch.
Titanium.
Encyclopedia of Parallel Computing
Katherine A. Yelick, Susan L. Graham, Paul N. Hilfinger, Dan Bonachea, Jimmy Su, Amir Kamil, Kaushik Datta, Phillip Colella, Tong Wen
2007 J jnl
Parallel Languages and Compilers: Perspective From the Titanium Experience.
Int. J. High Perform. Comput. Appl.
Katherine A. Yelick, Paul N. Hilfinger, Susan L. Graham, Dan Bonachea, Jimmy Su, Amir Kamil, Kaushik Datta, Phillip Colella, Tong Wen
2007 — conf
Productivity and performance using partitioned global address space languages.
PASCO
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
2002 A conf
Better tiling and array contraction for compiling scientific programs.
SC
Geoff Pike, Paul N. Hilfinger
1999 — conf
Parallel 3D Adaptive Mesh Refinement in Titanium.
PP
Geoff Pike, Luigi Semenzato, Phillip Colella, Paul N. Hilfinger
1999 — conf
Titanium: A High Performance Java Dialect.
PP
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
1998 A* conf
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.
DAC
James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton
1998 — conf
PRCS: The Project Revision Control System.
SCM
Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato
1998 J jnl
Titanium: A High-performance Java Dialect.
Concurr. Pract. Exp.
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
1994 J jnl
CONSAT: A Parallel Constraint Satisfaction System.
LISP Symb. Comput.
Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger
1993 A* conf
Optimistic Parallel biscrete Relaxation.
IJCAI
Kinson Ho, Paul N. Hilfinger, Hans W. Guesgen
1992 J jnl
A Tagging Method for Parallel Constraint Satisfaction.
J. Parallel Distributed Comput.
Hans W. Guesgen, Kinson Ho, Paul N. Hilfinger
1992 — conf
Analysis of Recursive Types in Lisp-Like Languages.
LISP and Functional Programming
Edward Wang, Paul N. Hilfinger
1992 — conf
Managing Side Effects on Shared Data.
Parallel Symbolic Computing
Kinson Ho, Paul N. Hilfinger
1991 J jnl
An integrated CAD system for algorithm-specific IC design.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
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
1990 Misc conf
DSP specification using the Silage language.
ICASSP
Dominique Genin, Paul N. Hilfinger, Jan M. Rabaey, Chris J. Scheers, Hugo De Man
1990 J jnl
Direct Function Calls in Lisp.
LISP Symb. Comput.
Benjamin G. Zorn, Paul N. Hilfinger
1990 — conf
Flattening a Rooted Tree.
Applied Geometry And Discrete Mathematics
Paul N. Hilfinger, Eugene L. Lawler, Günter Rote
1989 J jnl
Multiprocessing Extensions in Spur Lisp.
IEEE Softw.
Benjamin G. Zorn, Kinson Ho, James R. Larus, Luigi Semenzato, Paul N. Hilfinger
1988 J jnl
An Ada Package for Dimensional Analysis.
ACM Trans. Program. Lang. Syst.
Paul N. Hilfinger
1988 A* conf
Detecting Conflicts Between Structure Accesses.
PLDI
James R. Larus, Paul N. Hilfinger
1988 A* conf
Lazy data routing and greedy scheduling for application-specific signal processors.
MICRO
Ken Rimey, Paul N. Hilfinger
1988 — conf
Restructuring Lisp Programs for Concurrent Execution.
PPOPP/PPEALS
James R. Larus, Paul N. Hilfinger
1987 A* conf
Compiling Smalltalk-80 to a RISC.
ASPLOS
William R. Bush, A. Dain Samples, David M. Ungar, Paul N. Hilfinger
1986 A* conf
Evaluation of the SPUR Lisp Architecture.
ISCA
George S. Taylor, Paul N. Hilfinger, James R. Larus, David A. Patterson, Benjamin G. Zorn
1986 — conf
Register allocation in the SPUR Lisp compiler.
SIGPLAN Symposium on Compiler Construction
James R. Larus, Paul N. Hilfinger
1986 A conf
SOAR: Smalltalk Without Bytecodes.
OOPSLA
A. Dain Samples, David M. Ungar, Paul N. Hilfinger
1983 — book
Abstraction mechanisms and language design.
Paul N. Hilfinger
1983 J jnl
Simulation of Procedure Variables Using Ada Tasks.
IEEE Trans. Software Eng.
David Alex Lamb, Paul N. Hilfinger
1982 — conf
Implementation strategies for Ada tasking idioms.
AdaTEC Conference on Ada
Paul N. Hilfinger
1978 — conf
A fundamental computer science course that unifies theory and practice.
SIGCSE/CSA
Lawrence Flon, Paul N. Hilfinger, Mary Shaw, William A. Wulf
1978 A conf
Introducing "theory" in the second programming course.
SIGCSE
Paul N. Hilfinger, Mary Shaw, William A. Wulf
1978 J jnl
Language design for the Ironman requirement: notes and examples.
ACM SIGPLAN Notices
Mary Shaw, Paul N. Hilfinger, William A. Wulf
1978 J jnl
Language design for the Ironman requirement: reference manual.
ACM SIGPLAN Notices
Mary Shaw, Paul N. Hilfinger, William A. Wulf
1978 — conf
Validating The Utility Of Abstraction Techniques.
ACM Annual Conference (1)
Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf