Lawrence Rauchwerger

1990 …2019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1990 2019

2019

Rethinking incremental and parallel pointer analysis

Liu, B., Huang, J. & Rauchwerger, L., Mar 2019, In : ACM Transactions on Programming Languages and Systems. 41, 1, 6.

Research output: Contribution to journalArticle

Detectors
2017

Fast approximate distance queries in unweighted graphs using bounded asynchrony

Fidel, A., Sabido, F. C., Riedel, C., Amato, N. M. & Rauchwerger, L., Jan 1 2017, Languages and Compilers for Parallel Computing - 29th International Workshop, LCPC 2016, Revised Papers. Ding, C., Criswell, J. & Wu, P. (eds.). Springer-Verlag, p. 40-54 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10136 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Query
Graph in graph theory
Synchronization
Asynchronous Algorithms
Global Synchronization

Message from the chairs

Rauchwerger, L. & Sarkar, V., Jan 26 2017, In : Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP. p. iii-iv

Research output: Contribution to journalEditorial

2016

Asynchronous nested parallelism for dynamic applications in distributed memory

Papadopoulos, I., Thomas, N., Fidel, A., Hoxha, D., Amato, N. M. & Rauchwerger, L., Jan 1 2016, Languages and Compilers for Parallel Computing - 28th International Workshop, LCPC 2015, Revised Selected Papers. Shen, X., Mueller, F. & Tuck, J. (eds.). Springer-Verlag, p. 106-121 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9519).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Distributed Memory
Parallelism
Data storage equipment
Graph Algorithms
Divide and conquer
2015

A hierarchical approach to reducing communication in parallel graph algorithms

Harshvardhan, Amato, N. M. & Rauchwerger, L., Jan 24 2015, 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings. Association for Computing Machinery, p. 285-286 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP; vol. 2015-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Communication
Scalability
Complex networks
Costs

A Hybrid Approach to Processing Big Data Graphs on Memory-Restricted Systems

Harshvardhan, West, B., Fidel, A., Amato, N. M. & Rauchwerger, L., Jul 17 2015, Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium, IPDPS 2015. Institute of Electrical and Electronics Engineers Inc., p. 799-808 10 p. 7161566. (Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium, IPDPS 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Random access storage
Data storage equipment
Processing
Computer systems
Big data

An Algorithmic Approach to Communication Reduction in Parallel Graph Algorithms

Harshvardhan, Fidel, A., Amato, N. M. & Rauchwerger, L., Jan 1 2015, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 201-212 12 p., 7429306.

Research output: Contribution to journalConference article

Graph Algorithms
Parallel Algorithms
Communication
Redundancy
Optimization

Composing algorithmic skeletons to express high-performance scientific applications

Zandifar, M., Abdul Jabbar, M., Majidi, A., Keyes, D., Amato, N. M. & Rauchwerger, L., Jun 8 2015, ICS 2015 - Proceedings of the 29th ACM International Conference on Supercomputing. Association for Computing Machinery, p. 415-424 10 p. (Proceedings of the International Conference on Supercomputing; vol. 2015-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Data flow graphs
Synchronization
Chemical analysis
Reusability
Scalability

Finding schedule-sensitive branches

Huang, J. & Rauchwerger, L., Aug 30 2015, 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings. Association for Computing Machinery, Inc, p. 439-449 11 p. (2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Surface mount technology
Scalability
Synchronization
Scheduling
Acoustic waves

Scalable conditional induction variables (CIV) analysis

Oancea, C. E. & Rauchwerger, L., Mar 3 2015, Proceedings of the 2015 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2015. Institute of Electrical and Electronics Engineers Inc., p. 213-224 12 p. 7054201. (Proceedings of the 2015 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Subscript
Proof by induction
Parallelization
Parallelizing Compilers
Automatic Parallelization

Stapl-rts: An application driven runtime system

Papadopoulos, I., Thomas, N., Fidel, A., Amato, N. M. & Rauchwerger, L., Jun 8 2015, ICS 2015 - Proceedings of the 29th ACM International Conference on Supercomputing. Association for Computing Machinery, p. 425-434 10 p. (Proceedings of the International Conference on Supercomputing; vol. 2015-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Application programming interfaces (API)
Particle accelerators
Agglomeration
Semantics
Network protocols

The STAPL skeleton framework

Zandifar, M., Thomas, N., Amato, N. M. & Rauchwerger, L., Jan 1 2015, Languages and Compilers for Parallel Computing - 27th International Workshop, LCPC 2014, Revised Selected Papers. Brodman, J. & Tu, P. (eds.). Springer-Verlag, p. 176-190 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8967).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Skeleton
Data flow graphs
Chemical analysis
Flow Graphs
Parallel programming
2014

Adaptive reduction parallelization techniques

Yu, H. & Rauchwerger, L., Jun 10 2014, ICS 2014 - Proceedings of the 28th ACM InternationaI Conference on Supercomputing. Banerjee, U. (ed.). Association for Computing Machinery, p. 311-322 12 p. (Proceedings of the International Conference on Supercomputing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decision trees

Author retrospective for adaptive reduction parallelization techniques

Yu, H. & Rauchwerger, L., Jun 10 2014, ICS 2014 - Proceedings of the 28th ACM InternationaI Conference on Supercomputing. Banerjee, U. (ed.). Association for Computing Machinery, p. 59-60 2 p. (Proceedings of the International Conference on Supercomputing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Statistical methods

KLA: A new algorithmic paradigm for parallel graph computations

Harshvardhan, Fidel, A., Amato, N. M. & Rauchwerger, L., Jan 1 2014, PACT 2014 - Proceedings of the 23rd International Conference on Parallel Architectures and Compilation Techniques. Institute of Electrical and Electronics Engineers Inc., p. 27-38 12 p. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Paradigm
Graph in graph theory
Synchronization
Graph Algorithms
Global Synchronization

SCCMulti: An improved parallel strongly connected components algorithm

Tomkins, D., Smith, T., Amato, N. M. & Rauchwerger, L., Mar 10 2014, PPoPP 2014 - Proceedings of the 2014 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 393-394 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Parallel algorithms
Scalability

SCCMulti: An improved parallel strongly connected components algorithm

Tomkins, D., Smith, T., Amato, N. M. & Rauchwerger, L., Aug 2014, In : ACM SIGPLAN Notices. 49, 8, p. 393-394 2 p.

Research output: Contribution to journalArticle

Experiments

Using load balancing to scalably parallelize sampling-based motion planning algorithms

Fidel, A., Jacobs, S. A., Sharma, S., Amato, N. M. & Rauchwerger, L., Jan 1 2014, Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium, IPDPS 2014. IEEE Computer Society, p. 573-582 10 p. 6877290. (Proceedings of the International Parallel and Distributed Processing Symposium, IPDPS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Motion planning
Resource allocation
Sampling
Protein folding
Adaptive algorithms

Validation of full-domain massively parallel transport sweep algorithms

Hawkins, W. D., Bailey, T. S., Adams, M. L., Brown, P. N., Kunen, A. J., Adams, M. P., Smith, T., Amato, N. & Rauchwerger, L., Jan 1 2014, In : Transactions of the American Nuclear Society. 111, p. 699-702 4 p.

Research output: Contribution to journalConference article

2013

A hybrid approach to proving memory reference monotonicity

Oancea, C. E. & Rauchwerger, L., Jan 28 2013, Languages and Compilers for Parallel Computing - 24th International Workshop, LCPC 2011, Revised Selected Papers. p. 61-75 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7146 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hybrid Approach
Monotonicity
Data storage equipment
Static analysis
Runtime Analysis

Provably optimal parallel transport sweeps on regular grids

Adams, M. P., Adams, M. L., Hawkins, W. D., Smith, T., Rauchwerger, L., Amato, N. M., Bailey, T. S. & Falgout, R. D., Sep 9 2013, International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering, M and C 2013. p. 2535-2553 19 p. (International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering, M and C 2013; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sweep
Grid
Optimal Algorithm
Count
Discrete Ordinates

The stapl Parallel Graph Library

Harshvardhan, Fidel, A., Amato, N. M. & Rauchwerger, L., Dec 1 2013, Languages and Compilers for Parallel Computing - 25th International Workshop, LCPC 2012, Revised Selected Papers. p. 46-60 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Graph Algorithms
Graph in graph theory
Containers
Container
Parallel Algorithms
2012

Efficient massively parallel transport sweeps

Hawkins, W. D., Smith, T., Adams, M. P., Rauchwerger, L., Amato, N. & Adams, M. L., Dec 1 2012, In : Transactions of the American Nuclear Society. 107, p. 477-481 5 p.

Research output: Contribution to journalConference article

Logical inference techniques for loop parallelization

Oancea, C. E. & Rauchwerger, L., Aug 1 2012, In : ACM SIGPLAN Notices. 47, 6, p. 509-520 12 p.

Research output: Contribution to journalArticle

Flow control
Costs
Data storage equipment

Logical inference techniques for loop parallelization

Oancea, C. E. & Rauchwerger, L., Jul 9 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 509-520 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Flow control
Costs
Data storage equipment
2011

Message from the general chair

Rauchwerger, L., Dec 1 2011, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. XI 6113777.

Research output: Contribution to journalEditorial

Radiative effects in radiative shocks in shock tubes

Drake, R. P., Doss, F. W., McClarren, R. G., Adams, M. L., Amato, N., Bingham, D., Chou, C. C., DiStefano, C., Fidkowski, K., Fryxell, B., Gombosi, T. I., Grosskopf, M. J., Holloway, J. P., van der Holst, B., Huntington, C. M., Karni, S., Krauland, C. M., Kuranz, C. C., Larsen, E., van Leer, B. & 16 others, Mallick, B., Marion, D., Martin, W., Morel, J. E., Myra, E. S., Nair, V., Powell, K. G., Rauchwerger, L., Roe, P., Rutter, E., Sokolov, I. V., Stout, Q., Torralva, B. R., Toth, G., Thornton, K. & Visco, A. J., Sep 1 2011, In : High Energy Density Physics. 7, 3, p. 130-140 11 p.

Research output: Contribution to journalReview article

shock tubes
flux density
shock
shock fronts
ablation

The STAPL parallel container framework

Tanase, G., Buss, A., Fidel, A., Harshvardhan, Papadopoulos, I., Pearce, O., Smith, T., Thomas, N., Xu, X., Mourad, N., Vu, J., Bianco, M., Amato, N. M. & Rauchwerger, L., Aug 1 2011, In : ACM SIGPLAN Notices. 46, 8, p. 235-245 11 p.

Research output: Contribution to journalArticle

Containers
Data structures
Parallel programming
Scalability
Chemical analysis

The STAPL parallel container framework

Tanase, G., Buss, A., Fidel, A., Harshvardhan, Papadopoulos, I., Pearce, O., Smith, T., Thomas, N., Xu, X., Mourad, N., Vu, J., Bianco, M., Amato, N. M. & Rauchwerger, L., Mar 24 2011, PPoPP'11 - Proceedings of the 2011 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 235-245 11 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Containers
Data structures
Parallel programming
Scalability
Chemical analysis

The STAPL pView

Buss, A., Fidel, A., Harshvardhan, Smith, T., Tanase, G., Thomas, N., Xu, X., Bianco, M., Amato, N. M. & Rauchwerger, L., Mar 18 2011, Languages and Compilers for Parallel Computing - 23rd International Workshop, LCPC 2010, Revised Selected Papers. p. 261-275 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6548 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Template
Data structures
Data Structures
P-matrix
Parallel programming
2010

STAPL: Standard template adaptive parallel library

Buss, A., Harshvardhan, Papadopoulos, I., Pearce, O., Smith, T., Tanase, G., Thomas, N., Xu, X., Bianco, M., Amato, N. M. & Rauchwerger, L., Aug 2 2010, Proceedings of SYSTOR 2010 - The 3rd Annual Haifa Experimental Systems Conference. 14. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data structures
Parallel programming
Parallel algorithms
Scalability
Productivity

The STAPL pList

Tanase, G., Xu, X., Buss, A., Harshvardhan, Papadopoulos, I., Pearce, O., Smith, T., Thomas, N., Bianco, M., Amato, N. M. & Rauchwerger, L., Jul 14 2010, Languages and Compilers for Parallel Computing - 22nd International Workshop, LCPC 2009, Revised Selected Papers. p. 16-30 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5898 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Template
Parallel algorithms
Data structures
Parallel Algorithms
Parallel Processing
2009

Two memory allocators that use hints to improve locality

Jula, A. & Rauchwerger, L., Nov 30 2009, ISMM'09 - Proceedings of the 2009 ACM SIGPLAN International Symposium on Memory Management. p. 109-118 10 p. (International Symposium on Memory Management, ISMM).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data storage equipment
Storage allocation (computer)
Rocks
2008

Associative parallel containers in STAPL

Tanase, G., Raman, C., Bianco, M., Amato, N. M. & Rauchwerger, L., Oct 27 2008, Languages and Compilers for Parallel Computing - 20th International Workshop, LCPC 2007, Revised Selected Papers. p. 156-171 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5234 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Container
Containers
Template
Parallel programming
Algorithms and Data Structures

Design for interoperability in STAPL: PMatrices and linear algebra algorithms

Buss, A. A., Smith, T. G., Tanase, G., Thomas, N. L., Bianco, M., Amato, N. M. & Rauchwerger, L., Dec 1 2008, Languages and Compilers for Parallel Computing - 21st International Workshop, LCPC 2008, Revised Selected Papers. p. 304-315 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5335 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Linear algebra
Interoperability
Template
C++
Parallel algorithms

Implementation of sensitivity analysis for automatic parallelization

Rus, S., Pennings, M. & Rauchwerger, L., Dec 1 2008, Languages and Compilers for Parallel Computing - 21st International Workshop, LCPC 2008, Revised Selected Papers. p. 316-330 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5335 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automatic Parallelization
Parallelization
Sensitivity analysis
Sensitivity Analysis
Compiler
2007

Custom memory allocation for free

Jula, A. & Rauchwerger, L., Dec 1 2007, Languages and Compilers for Parallel Computing - 19th International Workshop, LCPC 2006, Revised Papers. p. 299-313 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4382 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Storage allocation (computer)
Container
Containers
Template
Data storage equipment

Design and use of htalib - A library for hierarchically tiled arrays

Bikshandi, G., Guo, J., Von Praun, C., Tanase, G., Fraguela, B. B., Garzarán, M. J., Padua, D. & Rauchwerger, L., Dec 1 2007, Languages and Compilers for Parallel Computing - 19th International Workshop, LCPC 2006, Revised Papers. p. 17-32 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4382 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data structures
Tiling
Adaptive Mesh Refinement
MapReduce
C++

Proceedings of the 12th international workshop on high-level parallel programming models and supportive environments

Chauhan, A., Chavarria, D. G., Chen, L., Gao, G. R., Gerndt, M., Hall, M. W., Marowka, A., Quinlan, D., Rauchwerger, L., Scholz, S. B., Snavely, A., Wolski, R., Xin, Y. & Ding, C., Sep 24 2007, In : Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 4228123.

Research output: Contribution to journalEditorial

Parallel programming
Parallel Programming
Programming Model

Sensitivity analysis for automatic parallelization on multi-cores

Rus, S., Pennings, M. & Rauchwerger, L., Aug 24 2007, Proceedings of ICS07: 21st ACM International Conference on Supercomputing. p. 263-273 11 p. (Proceedings of the International Conference on Supercomputing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sensitivity analysis
Static analysis
Dynamic analysis
Data storage equipment
Costs

The STAPL pArray

Tanase, G., Bianco, M., Amato, N. M. & Rauchwerger, L., Dec 1 2007, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 73-80 8 p.

Research output: Contribution to journalConference article

Parallel algorithms
Template
Parallel Algorithms
Data Distribution
Data structures
2006

An adaptive algorithm selection framework for reduction parallelization

Yu, H. & Rauchwerger, L., Oct 1 2006, In : IEEE Transactions on Parallel and Distributed Systems. 17, 10, p. 1084-1095 12 p.

Research output: Contribution to journalArticle

Adaptive algorithms
Parallel algorithms
Data storage equipment

ARMI: A high level communication library for STAPL

Thomas, N., Saunders, S., Smith, T., Tanase, G. & Rauchwerger, L., Jun 1 2006, In : Parallel Processing Letters. 16, 2, p. 261-280 20 p.

Research output: Contribution to journalArticle

Communication
Parallelism
OpenMP
Message passing
Performance Comparison

Region array SSA

Rust, S., He, G., Alias, C. & Rauchwerger, L., Dec 1 2006, PACT 2006 - Proceedings of the Fifteenth International Conference on Parallel Architectures and Compilation Techniques. p. 43-52 10 p. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT; vol. 2006).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data flow analysis
Assignment
Privatization
Data Flow
Data storage equipment

Scalable array SSA and array data flow analysis

Rus, S., He, G. & Rauchwerger, L., Dec 1 2006, Languages and Compilers for Parallel Computing - 18th International Workshop, LCPC 2005, Revised Selected Papers. p. 397-412 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4339 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data flow analysis
Data Flow
Assignment
Benchmarking
Scalar

SmartApps: Middle-ware for adaptive applications on reconfigurable platforms

Rauchwerger, L. & Amato, N. M., Apr 1 2006, In : Operating Systems Review (ACM). 40, 2, p. 73-82 10 p.

Research output: Contribution to journalArticle

Hardware
Scheduling
Field programmable gate arrays (FPGA)
Large scale systems
Tuning
2005

A framework for adaptive algorithm selection in STAPL

Thomas, N., Tanase, G., Tkachyshyn, O., Perdue, J., Amato, N. M. & Rauchwerger, L., Dec 1 2005, p. 277-288. 12 p.

Research output: Contribution to conferencePaper

Adaptive algorithms
Sorting
Parallel algorithms
Learning systems
Multiprocessor
Experimental Evaluation
Latency
Data storage equipment
Memory Hierarchy