Samuel P. Midkiff

Orcid: 0000-0003-0246-7192

Affiliations:
  • Purdue University, West Lafayette, USA


According to our database1, Samuel P. Midkiff authored at least 99 papers between 1986 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Consensus equilibrium framework for super-resolution and extreme-scale CT reconstruction.
Proceedings of the International Conference for High Performance Computing, 2019

Demand-driven refinement of points-to analysis.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
HDArray: Parallel Array Interface for Distributed Heterogeneous Devices.
Proceedings of the Languages and Compilers for Parallel Computing, 2018

Optimizing data layout and system configuration on FPGA-based heterogeneous platforms.
Proceedings of the International Conference on Computer-Aided Design, 2018

2017
Massively parallel 3D image reconstruction.
Proceedings of the International Conference for High Performance Computing, 2017

Model-based Iterative CT Image Reconstruction on GPUs.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

2016
Unsafe Time Handling in Smartphones.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

High performance model based image reconstruction.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Fast voxel line update for time-space image reconstruction.
Proceedings of the 2016 IEEE International Conference on Acoustics, 2016

2015
Workload-Driven VM Consolidation in Cloud Data Centers.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2014
\pi Abstraction: Parallelism-Aware Array Data Flow Analysis for OpenMP.
Proceedings of the Languages and Compilers for Parallel Computing, 2014

RABID: A Distributed Parallel R for Large Datasets.
Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

2013
Compiler Infrastructure.
Int. J. Parallel Program., 2013

The Cetus Source-to-Source Compiler Infrastructure: Overview and Evaluation.
Int. J. Parallel Program., 2013

Automatic Problem Localization via Multi-dimensional Metric Profiling.
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

On death, taxes, and sleep disorder bugs in smartphones.
Proceedings of the Workshop on Power-Aware Computing and Systems, 2013

AntSM: Efficient Debugging for Shared Memory Parallel Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 2013

Introducing Parallel Programming in Undergraduate Curriculum.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

Hypnos: understanding and treating sleep conflicts in smartphones.
Proceedings of the Eighth Eurosys Conference 2013, 2013

RABID - A General Distributed R Processing Framework Targeting Large Data-Set Problems.
Proceedings of the IEEE International Congress on Big Data, 2013

2012
Automatic Parallelization: An Overview of Fundamental Compiler Techniques
Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers, ISBN: 978-3-031-01736-0, 2012

A hybrid approach of OpenMP for clusters.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

What is keeping my phone awake?: characterizing and detecting no-sleep energy bugs in smartphone apps.
Proceedings of the 10th International Conference on Mobile Systems, 2012

Ant: A Debugging Framework for MPI Parallel Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 2012

2011
Data Distribution.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Efficient incremental code update for sensor networks.
ACM Trans. Sens. Networks, 2011

A Study of the Usefulness of Producer/Consumer Synchronization.
Proceedings of the Languages and Compilers for Parallel Computing, 2011

Automatic Scaling of OpenMP Beyond Shared Memory.
Proceedings of the Languages and Compilers for Parallel Computing, 2011

2010
Using data structure knowledge for efficient lock generation and strong atomicity.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Modeling advanced collective communication algorithms on cell-based systems.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Automatic atomic region identification in shared memory SPMD programs.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009
An Optimizing Compiler for Parallel Chemistry Simulations.
Int. J. Parallel Program., 2009

Cetus: A Source-to-Source Compiler Infrastructure for Multicores.
Computer, 2009

BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support.
Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

Hardware Support for OpenMP Collective Operations.
Proceedings of the Languages and Compilers for Parallel Computing, 2009

A parallel levenberg-marquardt algorithm.
Proceedings of the 23rd international conference on Supercomputing, 2009

Efficient high performance collective communication for the cell blade.
Proceedings of the 23rd international conference on Supercomputing, 2009

2008
Advanced collective communication in aspen.
Proceedings of the 22nd Annual International Conference on Supercomputing, 2008

2007
Efficient Classloading Strategies for Interprocedural Analyses in the Presence of Dynamic Classloading.
Proceedings of the Fifth International Workshop on Dynamic Analysis, 2007

Practical escape analyses: how good are they?
Proceedings of the 3rd International Conference on Virtual Execution Environments, 2007

Expressing and exploiting concurrency in networked applications with aspen.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

An Optimizing Compiler for Parallel Chemistry Simulations.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism.
Proceedings of the Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007, 2007

07361 Introduction -- Programming Models for Ubiquitous Parallelism.
Proceedings of the Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007, 2007

2006
Statistical Debugging: A Hypothesis Testing-Based Approach.
IEEE Trans. Software Eng., 2006

A Fair, Secure and Trustworthy Peer-to-Peer Based Cycle-Sharing System.
J. Grid Comput., 2006

Grid resource management - CycleMeter: detecting fraudulent peers in internet cycle sharing.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

Artemis: practical runtime monitoring of applications for execution anomalies.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Monitoring remotely executing shared memory programs in software DSMs.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Argus: Online Statistical Bug Detection.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

A two-phase escape analysis for parallel java programs.
Proceedings of the 15th International Conference on Parallel Architectures and Compilation Techniques (PACT 2006), 2006

2005
SOBER: statistical model-based bug localization.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Trust but verify: monitoring remotely executing programs for progress and correctness.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Compiler techniques for high performance sequentially consistent java programs.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Lightweight Monitoring of the Progress of Remotely Executing Computations.
Proceedings of the Languages and Compilers for Parallel Computing, 2005

Evaluating the Impact of Thread Escape Analysis on a Memory Consistency Model-Aware Compiler.
Proceedings of the Languages and Compilers for Parallel Computing, 2005

2004
A compiler for multiple memory models.
Concurr. Comput. Pract. Exp., 2004

AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.
Proceedings of the 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 2004

Experiences in Using Cetus for Source-to-Source Transformations.
Proceedings of the Languages and Compilers for High Performance Computing, 2004

Java, Peer-to-Peer, and Accountability: Building Blocks for Distributed Cycle Sharing.
Proceedings of the 3rd Virtual Machine Research and Technology Symposium, 2004

2003
Stack allocation and synchronization optimizations for Java using escape analysis.
ACM Trans. Program. Lang. Syst., 2003

Supporting multidimensional arrays in Java.
Concurr. Comput. Pract. Exp., 2003

Automatic fence insertion for shared memory multiprocessing.
Proceedings of the 17th Annual International Conference on Supercomputing, 2003

2002
NINJA: Java for high performance numerical computing.
Sci. Program., 2002

Efficiently Adapting Java Binaries in Limited Memory Contexts.
Int. J. Parallel Program., 2002

Automatic Implementation of Programming Language Consistency Models.
Proceedings of the Languages and Compilers for Parallel Computing, 15th Workshop, 2002

The Pensieve Project: A Compiler Infrastructure for Memory Models.
Proceedings of the International Symposium on Parallel Architectures, 2002

2001
The NINJA project.
Commun. ACM, 2001

A Java Compiler for Many Memory Models.
Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001

A comparison of three approaches to language, compiler, and library support for multidimensional arrays in Java.
Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, 2001

A framework for efficient reuse of binary code in Java.
Proceedings of the 15th international conference on Supercomputing, 2001

2000
From flop to megaflops: Java for technical computing.
ACM Trans. Program. Lang. Syst., 2000

Automatic Loop Transformations and Parallelization for Java.
Parallel Process. Lett., 2000

Java programming for high-performance numerical computing.
IBM Syst. J., 2000

Quicksilver: a quasi-static compiler for Java.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Compilers for High Performance.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
High Performance Computing with the Array Package for Java: A Case Study using Data Mining.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1999

Semantic Inlining - the Compiler Support for Java in Technical Computing.
Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, 1999

A Standard Java Array Package for Technical Computing.
Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, 1999

Basic Compiler Algorithms for Parallel Programs.
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999

Escape Analysis for Java.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

High Performance Numerical Computing in Java: Language and Compiler Issues.
Proceedings of the Languages and Compilers for Parallel Computing, 1999

Efficient Support for Complex Numbers in Java.
Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

1998
Dynamic Data Distribution and Processor Repartitioning for Irregularly Structured Computations.
J. Parallel Distributed Comput., 1998

A Constant Propagation Algorithm for Explicitly Parallel Programs.
Int. J. Parallel Program., 1998

Optimizing Array Reference Checking in Java Programs.
IBM Syst. J., 1998

1997
A Checkpointing Strategy for Scalable Recovery on Distributed Parallel Systems.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1997

Run-time Support for Dynamic Processor Allocation in HPF Programs.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 1997

A Compiler for the IBM Scalable Shared Memory Project Machine.
Proceedings of the Languages and Compilers for Parallel Computing, 1997

1996
Optimizing the Representation of Local Iteration Sets and Access Sequences for Block-Cyclic Distributions.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

1995
An HPF Compiler for the IBM SP2.
Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

Dependence Analysis in Parallel Loops with i±k Subscripts.
Proceedings of the Languages and Compilers for Parallel Computing, 1995

Local Iteration Set Computation for Block-Cyclic Distributions.
Proceedings of the 1995 International Conference on Parallel Processing, 1995

1994
An Empirical Study of Precise Interprocedural Array Analysis.
Sci. Program., 1994

1991
A Comparison of Four Synchronization Optimization Techniques.
Proceedings of the International Conference on Parallel Processing, 1991

1990
Issues in the Optimization of Parallel Programs.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

1987
Compiler Algorithms for Synchronization.
IEEE Trans. Computers, 1987

1986
Compiler Generated Synchronization for Do Loops.
Proceedings of the International Conference on Parallel Processing, 1986


  Loading...