Lattice QCD with Domain Decomposition on Intel® Xeon Phi Co-Processors

Authors: Heybrock, Simon, Joo, Balint, Kalamkar, Dhiraj D., Smelyanskiy, Mikhail, Vaidyanathan, Karthikeyan, Wettig, Tilo, Dubey, Pradeep

Source: SC14: International Conference for High Performance Computing, Networking, Storage and Analysis High Performance Computing, Networking, Storage and Analysis, SC14: International Conference for. :69-80 Nov, 2014

Relation: SC14: International Conference for High Performance Computing, Networking, Storage and Analysis

Parray: A Unifying Array Representation for Heterogeneous Parallelism

Authors: Chen, Yifeng^Aff1, Cui, Xiang^Aff1, Mei, Hong^Aff1

Contributors: Yuen, David A., editor^AffID1, Wang, Long, editor^AffID2, Chi, Xuebin, editor^AffID3, Johnsson, Lennart, editor^AffID4, Ge, Wei, editor^AffID5, Shi, Yaolin, editor^AffID6

Source: GPU Solutions to Multi-scale Problems in Science and Engineering. :91-113

Lazy rewriting on eager machinery

Authors: Wan Fokkink, Jasper Kamperman, Pum Walters

Source: ACM Transactions on Programming Languages and Systems. 22:45-86

Subject Terms: Optimization, Languages, Specificity ordering, 0202 electrical engineering, electronic engineering, information engineering, D.3.4 [Programming Languages]: Processors - Compilers, 0102 computer and information sciences, 02 engineering and technology, Lazy rewriting, Innermost reduction, 01 natural sciences

Access URL: http://www.cs.swan.ac.uk/reports/yr1999/CSR3-99.pdf
https://hdl.handle.net/1871.1/2dbee48c-b1e9-4cce-8379-250af6639cd6
https://doi.org/10.1145/345099.345102
https://research.vu.nl/en/publications/2dbee48c-b1e9-4cce-8379-250af6639cd6
https://link.springer.com/chapter/10.1007%2F3-540-59200-8_54
https://core.ac.uk/display/20698248
https://dblp.uni-trier.de/db/journals/toplas/toplas22.html#FokkinkKW00
https://research.vu.nl/en/publications/lazy-rewriting-on-eager-machinery
https://dl.acm.org/doi/10.1145/345099.345102
https://rd.springer.com/chapter/10.1007/3-540-59200-8_54

Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems

Authors: Pum Walters, Wan Fokkink, Jasper Kamperman

Source: ACM Transactions on Programming Languages and Systems. 20:679-706

Subject Terms: Term rewriting, Abstract machine, Languages, Specificity ordering, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, D.3.4 [Programming Languages]: Processors - compilers, optimization, SDG 4 - Quality Education, 01 natural sciences, Automata

Access URL: https://hdl.handle.net/1871.1/f513fc46-3de0-40f3-bd24-8c5a261600c8
https://research.vu.nl/en/publications/f513fc46-3de0-40f3-bd24-8c5a261600c8
https://doi.org/10.1145/291889.291903
https://research.vu.nl/en/publications/within-arms-reach-compilation-of-left-linear-rewrite-systems-via-
https://dblp.uni-trier.de/db/journals/toplas/toplas20.html#FokkinkKW98
https://dl.acm.org/doi/10.1145/291889.291903
https://www.narcis.nl/publication/RecordID/oai%3Aresearch.vu.nl%3Apublications%2Ff513fc46-3de0-40f3-bd24-8c5a261600c8
https://doi.org/10.1145/291889.291903

Writing Self-testing Java Classes with SelfTest

Authors: Yoonsik Cheon

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf.

Subject Terms: annotation, annotation processor, test case, unit test, Java, JUnit, SelfTest. 1998 CR Categories, D.2.3 [Software Engineering] Coding Tools and Techniques — Object-oriented programming, D.2.5 [Software Engineering] Testing and Debugging — Testing tools (e.g, data generators, coverage testing, D.3.4 [Programming Languages] Processors — Compilers, preprocessors

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.3707

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.3707
http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf

Performance-Asymmetric Multicore Processors

Authors: Tyler Sondag, Hridesh Rajan

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/05/96/00000596-00/mainTR.pdf.

Subject Terms: static program analysis, heterogeneous multicore processors, thread-to-core assignment, phase behavior, performance asymmetry CR Categories, D.3.4 [Programming Languages] Processors- Optimization D.3.3 [Programming Languages] Language Constr

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.3886

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.3886
http://archives.cs.iastate.edu/documents/disk0/00/00/05/96/00000596-00/mainTR.pdf

Contents

Authors: Curtis Clifton, Ralf Lämmel, Gary T. Leavens (editors

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/proceedings.pdf.

Subject Terms: D.3.4 [Programming Languages] Processors—code generation, compilers, memory management, F.3.1

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.2929

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.2929
http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/proceedings.pdf

Alias Verification for Fortran Code Optimization

Authors: Thi Viet Nga Nguyen, François Irigoin

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf.

Subject Terms: Key Words, alias, dummy aliasing, verification, optimization Category, D.2.4 Software Engineering- Software/Program Verification [Assertion checkers] D.2.5 Software Engine, Symbolic execution] D.3.4 Programming Languages- Processors [Compilers, Optimization

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.802; http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.802
http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf

TABLE OF CONTENTS

Authors: Medhat G. Assaad

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/02/41/00000241-00/tr.pdf.

Subject Terms: sematics, D.3.3 [Programming Languages] Language Constructs and Features — control struc- tures, procedures, functions, and subroutines, D.3.4 [Programming Languages] Processors — compilers, optimization, experimetation, performance, D.3.m [Programming Languages] Mis- cellaneous — dynamic dispatch, multiple dispatch, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — logi

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.6535

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.6535
http://archives.cs.iastate.edu/documents/disk0/00/00/02/41/00000241-00/tr.pdf

Executing formal specifications with constraint programming

Authors: Tim Wahls, Gary T. Leavens, Albert L. Baker

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/01/77/00000177-01/TR97-12a.pdf.

Subject Terms: constraint solving, constraint satisfaction, sets, unions, sequences, tuples, objects, rst-order predicate calculus. 1997 CR Categories, D.2.1 [Software Engineering] Requirements/Speci cations | Languages, reliability, theory, tools, SPECS-C, D.2.7 [Software Engineering] Distribution and Maintenance | Documentation, D.2.m [Software Engineering] Miscellaneous | Rapid prototyping, D.3.2 [Programming Languages] Language Classi cations | Nonprocedural languages, Very high-level languages, D.3.4 [Programming Languages] Processors | Interpreters, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs | Asse, pre- and post-conditions, speci cation

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.5801

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.5801
http://archives.cs.iastate.edu/documents/disk0/00/00/01/77/00000177-01/TR97-12a.pdf

Software Pipelining

Authors: Vicki H. Allan, Reese B. Jones, Randall M. Lee, Stephen J. Allan

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.usu.edu/~allanv/Pubs/Alla95a.ps.

Subject Terms: Categories, D.1.3 [Programming Techniques] Concurrent Programming, D.3.4 [Programming Languages] Processors, Compilers, Optimization General Terms, Algorithms Key Words, Instruction level parallelism, software pipelining, loop reconstruction, optimization

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.9724; http://www.cs.usu.edu/~allanv/Pubs/Alla95a.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.9724
http://www.cs.usu.edu/~allanv/Pubs/Alla95a.ps

An Object-Based Programming Model for Shared Data

Authors: Gail E. Kaiser, Brent Hailpern, Gail E. Kaiser Brent Hailpern

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: ftp://ftp.cs.columbia.edu/pub/kaiser/toplas92.ps.gz

Subject Terms: Categories and Subject Descriptors, D.1.3 [Programming Techniques] Concurrent Programming. D.3.3 [Programming Languages] Language Constr, Concurrent programming structures, Modules, packages. D.3.4 [Programming Languages] Processors- Run-time environments. H.2.4 [Database Managemen, Query processing, Transaction processing. H.4.m [Information Systems Applications]- Miscellaneous- On-line portfolio m

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.7973

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.7973

Optimizing shared cache behavior of chip multiprocessors

Authors: Kandemir, M., Muralidhara, S.P., Narayanan, S.H.K., Zhang, Y., Ozturk O.

Source: Proceedings of the Annual International Symposium on Microarchitecture, MICRO

Subject Terms: Algorithm, B.3.2 [memory structures]: design styles - cache memories, D.3.4 [programming languages]: processors - compilers, Design, Experimentation, Performance, Design styles, Memory structure, Programming language, Computer software, Experiments, Linguistics, Microprocessor chips, Multiprocessing systems, Optimization, Program compilers, Cache memory

File Description: application/pdf

Relation: http://dx.doi.org/10.1145/1669112.1669176; http://hdl.handle.net/11693/28639

Availability: http://hdl.handle.net/11693/28639
https://doi.org/10.1145/1669112.1669176

Translations on a subclass of LR(k) grammars

Authors: Soisalon-Soininen, Eljas

Source: BIT Numerical Mathematics. September 1982 22(3):303-312

Loop transformations for architectures with partitioned register banks

Authors: Huang, Xianglong, Carr, Steve, Sweany, Philip

Source: Michigan Tech Publications

Subject Terms: D.3.4[Programming Languages]: Processors - code generation, optimization

Relation: https://doi.org/10.1145/384196.384206

Availability: https://digitalcommons.mtu.edu/michigantech-p/12587
https://doi.org/10.1145/384196.384206

Type Reconstruction with First-Class Polymorphic Values

Authors: James William O'Toole, Jr., David K. Gifford

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.psrg.lcs.mit.edu/history/publications/Papers/pldi89-otoole.ps.

Subject Terms: Languages]-- Language Constructs, Implicit Typing, D.3.4 [Programming Languages]-- Processors, Compilers. General Terms, Languages, Type Theory, Polymorphism. Additional Key Words and Phrases, type systems, effect

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.8128

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.8128
http://www.psrg.lcs.mit.edu/history/publications/Papers/pldi89-otoole.ps

Compiler Blockability of Dense Matrix Factorizations

Authors: Carr, Steve, Lehoucq, R. B.

Source: Michigan Tech Publications

Subject Terms: D.3.4 [Programming Languages]: Processors - compilers, F.2.1 [Analysis of Algorithms and Problem Complexity]: Numerical Algorithms and Problems - computations on matrices, Optimization

Relation: https://doi.org/10.1145/275323.275325

Availability: https://digitalcommons.mtu.edu/michigantech-p/12557
https://doi.org/10.1145/275323.275325

Improving Data Locality with Loop Transformations

Authors: Mckinley, Kathryn S., Carr, Steve, Tseng, Chau Wen

Source: Michigan Tech Publications

Subject Terms: Cache, Compiler optimization, D.3.4 [Programming Languages]: Processors - compilers, Data locality, Languages, Loop distribution, Loop fusion, Loop permutation, Loop reversal, Loop transformations, Microprocessors, Optimization, Performance, Simulation

Relation: https://doi.org/10.1145/233561.233564

Availability: https://digitalcommons.mtu.edu/michigantech-p/12530
https://doi.org/10.1145/233561.233564

Abstract

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.columbia.edu/~sedwards/papers/edwards2006efficient.pdf.

Subject Terms: Categories and Subject Descriptors D.3.4 [Programming Languages–Processors, Compilers General Terms Algorithms, Performance Keywords Concurrency, Embedded Systems, Computed gotos, Code Synthesis, The SHIM model

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.5854; http://www.cs.columbia.edu/~sedwards/papers/edwards2006efficient.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.5854
http://www.cs.columbia.edu/~sedwards/papers/edwards2006efficient.pdf

Type-Reconstruction wit First-Class Polymorphic Values

Authors: James William O'Toole, Jr., David K. Gifford

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://tesla.lcs.mit.edu/publications/Papers/pldi89-otoole.pdf.

Subject Terms: Formal De nitions and Theory, D.3.3 [Programming Languages] { Language Constructs, Implicit Typing, D.3.4 [Programming Languages] { Processors, Compilers. General Terms, Languages, Type Theory, Polymorphism. Additional Key Words and Phrases, type systems, e ect systems, type inference, type reconstruction, FX-89

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6254

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6254
http://tesla.lcs.mit.edu/publications/Papers/pldi89-otoole.pdf