A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives / John Hatcliff ; James Corbett ; Matthew Dwyer ; Stefan Sokolowski ; Hongjun Zheng
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs / Jonathan Aldrich ; Craig Chambers ; Emin Gun Sirer ; Susan Eggers
Synchronous Languages
Dynamic Partitioning in Analyses of Numerical Properties / Bertrand Jeannet ; Nicolas Halbwachs ; Pascal Raymond
On the Complexity Analysis of Static Analyses / David McAllester
Model-Checking. A Tutorial Introduction / Markus Müller-Olm ; David Schmidt
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis / Mary Lau Soffa
Author Index
Synchronization in JAVA Programs
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives / John Hatcliff ; James Corbett ; Matthew Dwyer ; Stefan Sokolowski ; Hongjun Zheng
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs / Jonathan Aldrich ; Craig Chambers ; Emin Gun Sirer ; Susan Eggers
Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren
Logic Programming I
CAT: The Copying Approach to Tabling / Bart Demoen ; Konstantinos Sagonas
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog / Jesper Eskilson ; Mats Carlsson
A Framework for Bottom Up Specialisation of Logic Programs / Wim Vanhoof ; Danny De Schreye ; Bern Martens
Termination of Logic Programs with block Declarations Running in Several Modes / Jan-Georg Smaus ; Pat Hill ; Andy King
Static Analysis
The Boolean Logic of Set Sharing Analysis / Michael Codish ; Harald Søndergaard
Derivation of Proof Methods by Abstract Interpretation / Giorgio Levi ; Paolo Volpe
Detecting Unsolvable Queries for Definite Logic Programs / Maurice Bruynooghe ; Henk Vandecasteele ; D. Andre de Waal ; Marc Denecker
Staging Static Analyses Using Abstraction-Based Program Specialization / John Hatcliff ; Matthew Dwyer ; Shawn Laubach
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs / Fausto Spoto
Software Methodologies: Invited Paper Architecturing Software Using: A Methodology for Language Development / Charles Consel ; Renaud Marlet
Object Oriented Programming
Explicit Substitutions for Objects and Functions / Delia Kesner ; Pablo E. Mart'inez Lopez
The Complexity of Late-Binding in Dynamic Object-Oriented Languages / Enrico Pontelli ; Desh Ranjan ; Gopal Gupta
Operational Versus Denotational Methods in the Semantics of Higher Order Languages / Andrew M. Pitts
Functional Programming
Functional Implementations of Continuous Modeled Animation / Conal Elliott
Compiling Erlang to Scheme / Marc Feeley ; Martin Larose
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View / Silvia Breitinger ; Ulrike Klusik ; Rita Loogen
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine / David Wakeling
Metaprogramming: Tutorial
Program Analysis in ?Prolog / John Hannan
Logic Programming II
A Game Semantics Foundation for Logic Programming / Roberto Di Cosmo ; Jean-Vincent Loddo ; Stephane Nicolet
Controlling Search in Declarative Programs / Michael Hanus ; Frank Steiner
Encapsulating Data in Logic Programming via Categorical Constraints / James Lipton ; Robert McGrail
Constructive Negation Using Typed Existence Properties / John G. Cleary ; Lunjin Lu
Optimal Evaluation: Tutorial
Optimal Reduction of Functional Expressions / Andrea Asperti
Integration
Embedding Multiset Constraints into a Lazy Functional Logic Language / P. Arenas-Sánchez ; F.J. López-Fraguas ; M. Rodr'iguez-Artalejo
A Hidden Herbrand Theorem / Joseph Goguen ; Grant Malcolm ; Tom Kemp
Constraint Solving
Integrating Constraint Propagation in Complete Solving of Linear
Diophantine Systems / Farid Ajili ; Hendrik C.R. Lock
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method / Philippe Refalo
Author Index
Verification: Invited Paper
Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren
Expressing Irregular Computations in Modern Fortran Dialects / Jan F. Prins ; Siddhartha Chatterjee ; Martin Simons
Memory System Support for Irregular Applications / John Carter ; Wilson Hsieh ; Mark Swanson ; Lixin Zhang ; Erik Brunvand ; Al Davis ; Chen-Chi Kuo ; Ravindra Kuramkote ; Michael Parker ; Lambert Schaelicke ; Leigh Stoller ; Terry Tateyama
MENHIR: An Environment for High Performance Matlab / Stephane Chauveau ; Francois Bodin
On the Automatic Parallelization of Sparse and Irregular Fortran Programs / Yuan Lin ; David Padua
Loop Transformations for Hierarchical Parallelism and Locality / Vivek Sarkar
Dataflow Analysis Driven Dynamic Data Partitioning / Jodi Tims ; Rajiv Gupta ; Mary Lou Soffa
A Case for Combining Compile-Time and Run-Time Parallelization / Sungdo Moon ; Byoungro So ; Mary W. Hall ; Brian Murphy
Compiler and Run-Time Support for Adaptive Load Balancing in Software Distributed Shared Memory Systems / Sotiris Ioannidis ; Sandhya Dwarkadas
Efficient Interprocedural Data Placement Optimisation in a Parallel Library / Olav Beckmann ; Paul H. J. Kelly
A Framework for Specializing Threads in Concurrent Run-Time Systems / Gregory D. Benson ; Ronald A. Olsson
Load Balancing with Migrant Lightweight Threads / David Cronk ; Piyush Mehrotra
Integrated Task and Data Parallel Support for Dynamic Applications / James M. Rehg ; Kathleen Knobe ; Umakishore Ramachandran ; Rishiyur S. Nikhil ; Arun Chauhan
Supporting Self-Adaptivity for SPMD Message-Passing Applications / M. Cermele ; M. Colajanni ; S. Tucci
Evaluating the Effectiveness of a Parallelizing Compiler / Dixie Hisley ; Gagan Agrawal ; Lori Pollock
Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers / Hirotaka Yamamoto ; Kenjiro Taura ; Akinori Yonezawa
Design of the GODIVA Performance Measurement System / Terrence W. Pratt
Instrumentation Database for Performance Analysis of Parallel Scientific Applications / Jeffrey Nesheiwat ; Boleslaw K. Szymanski
A Performance Prediction Framework for Data Intensive Applications on Large Scale Parallel Machines / Mustafa Uysal ; Tahsin M. Kurc ; Alan Sussman ; Joel Saltz
MARS: A Distributed Memory Approach to Shared Memory Compilatio / M.F.P. O'Boyle
Flexible and Optimized IDL Compilation for Distributed Applications / Eric Eide ; Jay Lepreau ; James L. Simister
QoS Aspect Languages and Their Runtime Integration / Joseph P. Loyall ; David E. Bakken ; Richard E. Schantz ; John A. Zinky ; David A. Karr ; Rodrigo Vanegas ; Kenneth R. Anderson
Statistical Properties of Host Load / Peter A. Dinda
Locality Enhancement for Large-Scale Shared-Memory Multiprocessors / Tarik Abdelrahman ; Naraig Manjikian ; Gary Liu ; S. Tandri
Language and Compiler Support for Out-of-Core Irregular Applications on Distributed-Memory Multiprocessors / Peter Brezany ; Alok Choudhary ; Minh Dang
Detection of Races and Control-Flow Nondeterminism / Mindong Feng ; Chung Kwong Yuen
Improving Locality in Out-of-Core Computations Using Data Layout Transformations / M. Kandemir ; A. Choudhary ; J. Ramanujam
Optimizing Computational and Spatial Overheads in Complex Transformed Loops / Dattatraya Kulkarni ; Michael Stumm
Building a Conservative Parallel Simulation with Existing Component Libraries / Chu-Cheow Lim ; Yoke-Hean Low
A Coordination Layer for Exploiting Task Parallelism with HPF / Salvatore Orlando ; Raffaele Perego
InterAct: Virtual Sharing for Interactive Client-Server Applications / Srinivasan Parthasarathy
Standard Templates Adaptive Parallel Library (STAPL) / Lawrence Rauchwerger ; Francisco Arzu ; Koji Ouchi
Author Index
Expressing Irregular Computations in Modern Fortran Dialects / Jan F. Prins ; Siddhartha Chatterjee ; Martin Simons
Memory System Support for Irregular Applications / John Carter ; Wilson Hsieh ; Mark Swanson ; Lixin Zhang ; Erik Brunvand ; Al Davis ; Chen-Chi Kuo ; Ravindra Kuramkote ; Michael Parker ; Lambert Schaelicke ; Leigh Stoller ; Terry Tateyama
MENHIR: An Environment for High Performance Matlab / Stephane Chauveau ; Francois Bodin
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報:
New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1990 vi, 401 p. ; 28 cm
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)