Showing 1–4 of 4 results for author: Pollock, L

Reversing the Computing Research Workforce Shortfall: Bolstering Domestic Student Pathways to PhDs

Authors: Susanne Hambrusch, Lori Pollock, Mary Hall, Nancy M. Amato

Abstract: To sustain innovation and safeguard national security, the U.S. must strengthen domestic pathways to computing PhDs by engaging talented undergraduates early - before they are committed to industry - with research experiences, mentorship, and financial support for graduate studies. To sustain innovation and safeguard national security, the U.S. must strengthen domestic pathways to computing PhDs by engaging talented undergraduates early - before they are committed to industry - with research experiences, mentorship, and financial support for graduate studies. △ Less

Submitted 3 March, 2025; originally announced March 2025.

Supporting Developers in Porting Software via Combined Textual and Structural Analysis of Software Artifacts

Authors: Kostadin Damevski, David Shepherd, Nicholas Kraft, Lori Pollock

Abstract: This is position paper accepted to the Computational Science & Engineering Software Sustainability and Productivity Challenges (CSESSP Challenges) Workshop, sponsored by the Networking and Information Technology Research and Development (NITRD) Software Design and Productivity (SDP) Coordinating Group, held October 15th-16th 2015 in Washington DC, USA. It discusses the role recommendation systems,… ▽ More This is position paper accepted to the Computational Science & Engineering Software Sustainability and Productivity Challenges (CSESSP Challenges) Workshop, sponsored by the Networking and Information Technology Research and Development (NITRD) Software Design and Productivity (SDP) Coordinating Group, held October 15th-16th 2015 in Washington DC, USA. It discusses the role recommendation systems, based on textual and structural information in source code, and further enhanced by mining related applications, can have in improving the portability of scientific and engineering software. △ Less

Submitted 17 August, 2015; originally announced August 2015.

Demand-driven Inlining in a Region-based Optimizer for ILP Architectures

Authors: Thomas P. Way, Lori L. Pollock

Abstract: Region-based compilation repartitions a program into more desirable compilation units using profiling information and procedure inlining to enable region formation analysis. Heuristics play a key role in determining when it is most beneficial to inline procedures during region formation. An ILP optimizing compiler using a region-based approach restructures a program to better reflect dynamic beh… ▽ More Region-based compilation repartitions a program into more desirable compilation units using profiling information and procedure inlining to enable region formation analysis. Heuristics play a key role in determining when it is most beneficial to inline procedures during region formation. An ILP optimizing compiler using a region-based approach restructures a program to better reflect dynamic behavior and increase interprocedural optimization and scheduling opportunities. This paper presents an interprocedural compilation technique which performs procedure inlining on-demand, rather than as a separate phase, to improve the ability of a region-based optimizer to control code growth, compilation time and memory usage while improving performance. The interprocedural region formation algorithm utilizes a demand-driven, heuristics-guided approach to inlining, restructuring an input program into interprocedural regions. Experimental results are presented to demonstrate the impact of the algorithm and several inlining heuristics upon a number of traditional and novel compilation characteristics within a region-based ILP compiler and simulator. △ Less

Submitted 11 April, 2006; originally announced April 2006.

Comments: 23 pages

ACM Class: D.3.4

Defeasible Reasoning in OSCAR

Authors: John L. Pollock

Abstract: This is a system description for the OSCAR defeasible reasoner. This is a system description for the OSCAR defeasible reasoner. △ Less

Submitted 6 March, 2000; originally announced March 2000.

Comments: Nonmonotonic Reasoning Workshop, 2000

ACM Class: F.4.1