Matthew J. Sottile

Orcid: 0000-0001-7436-5246

Affiliations:
  • Galois Inc., USA


According to our database1, Matthew J. Sottile authored at least 42 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report).
Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture, 2024

2021
Algebraic Algorithms for Betweenness and Percolation Centrality.
J. Graph Algorithms Appl., 2021

PastoralScape: An Environment-Driven Model of Vaccination Decision Making Within Pastoralist Groups in East Africa.
J. Artif. Soc. Soc. Simul., 2021

2017
Loss of community identity in opinion dynamics models as a function of inter-group interaction strength.
CoRR, 2017

2016
Array Types for a Graph Processing Language.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

CAFe: Coarray Fortran Extensions for Heterogeneous Computing.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

2015
Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons.
ACM Trans. Model. Comput. Simul., 2015

Blob indentation identification via curvature measurement.
CoRR, 2015

Locally-Oriented Programming: A Simple Programming Model for Stencil-Based Computations on Multi-Level Distributed Memory Architectures.
CoRR, 2015

2013
ForOpenCL: transformations exploiting array syntax in Fortran for accelerator programming.
Int. J. Comput. Sci. Eng., 2013

Deriving program transformations by demonstration
CoRR, 2013

Semi-automatic extraction of software skeletons for benchmarking large-scale parallel applications.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Identifying Change Patterns in Software History.
Proceedings of the International workshop on Document Changes: Modeling, 2013

2012
Composing typemaps in Twig.
Proceedings of the Generative Programming and Component Engineering, 2012

A Type-Based Approach to Separating Protocol from Application Logic - A Case Study in Hybrid Computer Programming.
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

2011
Cellular Automata.
Proceedings of the Encyclopedia of Parallel Computing, 2011

2010
Curve and surface reconstruction: algorithms with mathematical analysis by Tamal K. Dey Cambridge University Press.
SIGACT News, 2010

Unsupervised Segmentation for Inflammation Detection in Histopathology Images.
Proceedings of the Image and Signal Processing, 4th International Conference, 2010

2009
Workflow representation and runtime based on lazy functional streams.
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science, 2009

Performance Measurement of Applications with GPU Acceleration using CUDA.
Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

Performance Tool Integration in a GPU Programming Environment: Experiences with TAU and HMPP.
Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

An Open Domain-Extensible Environment for Simulation-Based Scientific Investigation (ODESSI).
Proceedings of the Computational Science, 2009

2008
WOOL: A Workflow Programming Language.
Proceedings of the Fourth International Conference on e-Science, 2008

2007
The ghost in the machine: observing the effects of kernel operation on parallel application performance.
Proceedings of the ACM/IEEE Conference on High Performance Networking and Computing, 2007

<i>TAUoverSupermon</i> : Low-Overhead Online Parallel Performance Monitoring.
Proceedings of the Euro-Par 2007, 2007

2006
Rapid prototyping frameworks for developing scientific applications: A case study.
J. Supercomput., 2006

Right-weight kernels: an off-the-shelf alternative to custom light-weight kernels.
ACM SIGOPS Oper. Syst. Rev., 2006

Bridging the language gap in scientific computing: the Chasm approach.
Concurr. Comput. Pract. Exp., 2006

The CCA component model for high-performance scientific computing.
Concurr. Comput. Pract. Exp., 2006

Performance analysis of parallel programs via message-passing graph traversal.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Co-Array Collectives: Refined Semantics for Co-Array Fortran.
Proceedings of the Computational Science, 2006

High-Performance Component Software Systems.
Proceedings of the Parallel Processing for Scientific Computing, 2006

2005
Performance technology for parallel and distributed component software.
Concurr. Pract. Exp., 2005

2004
Co-array Python: A Parallel Extension to the Python Language.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Analysis of microbenchmarks for performance tuning of clusters.
Proceedings of the 2004 IEEE International Conference on Cluster Computing (CLUSTER 2004), 2004

2003
A Performance Interface for Component-Based Applications.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Life with Ed: A Case Study of a LinuxBIOS/BProc Cluster.
Proceedings of the 16th Annual International Symposium on High Performance Computing Systems and Applications, 2002

Supermon: A High-Speed Cluster Monitoring System.
Proceedings of the 2002 IEEE International Conference on Cluster Computing (CLUSTER 2002), 2002

2000
Computational experiments using distributed tools in a web-based electronic notebook environment.
Future Gener. Comput. Syst., 2000

1999
Computational Experiments using Distributed Tools in a Web-Based Electronic Notebook Environment.
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

INTERLACE: An Interoperation and Linking Architecture for Computational Engines.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998
A Prototype Notebook-Based Environment for Computational Tools Computational Tools.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1998


  Loading...