Selected Papers

Sable Papers (papers related to Java, Soot, SableCC)

Please see the Sable Group's Publications page.

Papers done 1999 and before, including papers related to the McCAT project

1999

IEEE TPDS 99 (.ps.gz):
"Locality Analysis for Parallel C Programs",
Yingchun Zhu and Laurie Hendren,
IEEE Transactions on Parallel and Distributed Systems,
10(2), pp. 99-114, February 1999.

JPDC 99 (.ps.gz):
"Communication Optimizations for Parallel C Programs",
Yingchun Zhu and Laurie Hendren,
Journal of Parallel and Distributed Computing,
58(2), pp. 301-332, August 1999.

1998

PLDI98 (.ps.gz) (Research Index) :
"Communication Optimizations for Parallel C Programs,"
Yingchun Zhu and Laurie Hendren,
in Proceedings of PLDI' 98,
Montreal, Canada, pp. 199-211.
(Slides for the talk)

CC98a (.ps.gz) (Research Index) :
"Detecting Parallelism in C Programs with Recursive Data Structures,"
Rakesh Ghiya, Laurie J. Hendren, and Yingchun Zhu,
in Proceedings of the 1998 International Conference on Compiler Construction,
pp. 159-173, Springer LNCS 1383, March 1998.

CC98b (.ps.gz):
"Extended SSA Numbering: Introducing SSA Properties to Languages with Multi-level Pointers",
Christopher Lapkowski and Laurie J. Hendren,
in Proceedings of the 1998 International Conference on Compiler Construction,
pp. 128-143, Springer LNCS 1383, March 1998.

POPL98 (ps.gz) (Research Index) :
"Putting Pointer Analysis to Work," Rakesh Ghiya and Laurie J. Hendren,
in Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,,
San Diego, California, pp. 121-133, January 1998.

1997

PACT97 (.ps.gz) :
"Locality Analysis for Parallel C Programs,"
Yingchun Zhu and Laurie J. Hendren,
in Proceedings of the 1997 International Conference on Parallel Architectures and Compilation Techniques,
San Francisco, California, pp. 2-13, IEEE Computer Society Press, November 1997.

IJPP97 (.ps.gz) (Research Index) :
"Compiling C for the EARTH Multithreaded Architecture,"
Laurie J. Hendren, Xinan Tang, Yingchun Zhu, Shereen Ghobrial, Guang R. Gao, Xun Xue, Haying Cai and Pierre Ouellet
International Journal of Parallel Programming, 25(4), pp. 305-338, August 1997

1996

POPL96 (.ps.gz) (Research Index) :
"Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C,"
Rakesh Ghiya and Laurie J. Hendren,
in Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
St. Petersburg, Florida, pp. 1-15, January 1996.

PACT96 (.ps.gz) (Research Index) :
"Compiling C for the EARTH Multithreaded Architecture,"
Laurie J. Hendren, Xinan Tang, Yingchun Zhu, Guang R. Gao, Xun Xue, Haiying Cai and Pierre Ouellet,
in Proceedings of the 4th Conference on Parallel Architectures and Compilation Techniques,
pp. 12--23, October 1996.

IJPP96 (.ps.gz) (Research Index) :
"Connection Analysis: A practical interprocedural heap analysis for C,"
Rakesh Ghiya and Laurie J. Hendren,
International Journal of Parallel Programming, 24(6),
pages 547-578, 1996.

CC96 (.ps.gz) (Research Index) :
"Generalized Constant Propagation: A Study in C",
Clark Verbrugge, Phong Co and Laurie J. Hendren
In Proceedings of the 5th International Conference of Compiler Construction:,
LNCS 1060, pp 74-90, Springer, April 1996.

1995

PACT95 (.ps.gz):
"A Design Study of the EARTH Multiprocessor,"
Herbert H. J. Hum, Olivier Maquelin, Kevin B. Theobald, Xinmin Tian, Xinan Tang, Guang R. Gao, Phil Cupryk, Nasser Elmasri, Laurie J. Hendren, Alberto Jimenez, Shoba Krishnan, Andres Marquez, Shamir Merali, Shashank S. Nemawarkar, Prakash Panangaden, Xun Xue, and Yingchun Zhu,
in Proceedings of the IFIP WG 10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT '95,
Limassol, Cyprus, pp. 59-68, ACM Press, June 1995.

LCPC95 (.ps.gz) (Research Index) :
"Connection Analysis: A practical interprocedural heap analysis for C,"
Rakesh Ghiya and Laurie J. Hendren,
in Proceedings of the 8th Workshop on Languages and Compilers for Parallel Computing,
August 1995. Number 1033 in LNCS, pages 515-534. Springer-Verlag.

TOPLAS95:
"Supporting Dynamic Data Structures on Distributed-Memory Machines",
Anne Rogers, Martin C. Carlisle, John R. Reppy, and L.J. Hendren,
ACM Transactions on Programming Languages and Systems",
17(2), pp. 233-263, March 1995.

1994

PLDI94a (.ps.gz):
"Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers,"
Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren,
in Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation,
Orlando, Florida, pp. 242-256, June 1994.

PLDI94b (.ps.gz) (Research Index) :
"A General Data Dependence Test for Dynamic, Pointer-Based Data Structures,"
Joseph Hummel, Laurie J. Hendren, and Alexandru Nicolau,
in Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation,
Orlando, Florida, pp. 218-229, June 1994.

ICCL94 (.ps.gz) (Research Index) :
"Taming Control Flow: A Structured Approach to Eliminating Goto Statements,"
Ana M. Erosa and Laurie J. Hendren,
in Proceedings of the 1994 International Conference on Computer Languages,
Toulouse, France, pp. 229-240, May 1994.

IPPS94 (.ps.gz):
"A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures,"
Joseph Hummel, Laurie J. Hendren, and Alexandru Nicolau,
in Proceedings of the 8th International Parallel Processing Symposium,
Cancun, Mexico, pp. 208-216, IEEE Computer Society, April 1994.

CC94 (.ps.gz):
"Supporting array dependence testing for an optimizing/parallelizing C compiler,"
Justiani and Laurie J. Hendren,
in Proceedings of the 5th International Conference on Compiler Construction, CC '94,
pp. 309-323, Springer-Verlap, LNCS 786, 1994.

1993

JPL93 (.ps.gz) (Research Index) :
"A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs,"
Laurie J. Hendren, Guang R. Gao, Erik R. Altman, and Chandrika Mukerji,
The Journal of Programming Languages, Chapman and Hall,
Vol. 1, No. 3, pp. 155-185, 1993.

1992

ICCI92 (.ps.gz) (Research Index) :
"SELSYN-C: A Self-Synchronizing Parallel Programming Language,"
Weiren Ding and Laurie J. Hendren,
in Proceedings of the 4th International Conference on Computing and Information, ICCI'92,
Toronto, Ontario, pp. 143-146, IEEE Computer Society Press, May 1992.

ICCL92 (.ps.gz) (Research Index) :
"Designing Programming Languages for Analyzability: A Fresh Look at Pointer Data Structures,"
Laurie J. Hendren and Guang R. Gao,
in Proceedings of the 1992 International Conference on Computer Languages,
Oakland, California, pp. 242-251, April 1992.

PLDI92 (.ps.gz) (Research Index) :
"Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs,"
Laurie J. Hendren, Joseph Hummel, and Alexandru Nicolau,
in Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation,
San Francisco, California, pp. 249-260, June 1992.

LCPC92 (.ps.gz):
"Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations,",
Laurie J. Hendren, Chris Donawa, Maryam Emami, Guang R. Gao, Justiani, and Bhama Sridharan, In Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing,
Number 757 in Lecture Notes in Computer Science, pages 406-420, August 1992 (Proceedings published in 1993).

1990

IEEE TPDS90:
"Parallelizing Programs with Recursive Data Structures,"
L.J. Hendren and A. Nicolau,
IEEE Transactions on Parallel and Distributed Systems,
Vol. 1, No. 1, pp. 35-47, January 1990.