Person: Thomas R. Gross

DBLP: Gross:Thomas_R=

Contributed to:

2015

2015

2014

2014

2013

2013

2012

2012

2012

2012

2012

2011

2011

2011

2010

2010

2009

2007

2007

2006

2003

2003

2003

2001

2001

2000

1999

1999

1999

1998

1998

1998

1997

1997

1996

1996

1993

1993

1993

1991

1989

1989

1987

1982

1982

2018

Wrote 51 papers:

OOPSLA-2015-ToffolaPG #dynamic analysis #performance #problem

Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.

PPoPP-2015-MajoG #composition #library #locality #optimisation

A library for portable and composable data locality optimizations for NUMA systems (ZM, TRG), pp. 227–238.

GPCE-2014-HessGP #automation #interface

Automatic locality-friendly interface extension of numerical functions (BH, TRG, MP), pp. 83–92.

ISSTA-2014-PradelHG #concurrent #performance #testing

Performance regression testing of concurrent classes (MP, MH, TRG), pp. 13–25.

ICSE-2013-PradelG #automation #concurrent #testing

Automatic testing of sequential and concurrent substitutability (MP, TRG), pp. 282–291.

OOPSLA-2013-NollG #java #online #optimisation #parallel

Online feedback-directed optimizations for parallel Java code (AN, TRG), pp. 713–728.

CGO-2012-MajoG #data access #memory management

Matching memory access patterns and data placement for NUMA systems (ZM, TRG), pp. 230–241.

ICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread

Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.

ICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification #testing

Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.

ICSE-2012-PradelJAG #api #consistency #multi #protocol #specification

Statically checking API protocol conformance with mined multi-object specifications (MP, CJ, JA, TRG), pp. 925–935.

ISSTA-2012-PradelHG #detection #parametricity #static analysis #type system

Static detection of brittle parameter typing (MP, SH, TRG), pp. 265–275.

PLDI-2012-PradelG #automation #concurrent #detection #precise #safety #thread

Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.

PPoPP-2012-NollG #framework #optimisation #parallel #source code

An infrastructure for dynamic optimization of parallel programs (AN, TRG), pp. 325–326.

ECOOP-2011-BalzerG #invariant #multi #verification

Verifying Multi-object Invariants with Relationships (SB, TRG), pp. 358–382.

ISMM-2011-MajoG #manycore #memory management

Memory management in NUMA multicore systems: trapped between cache contention and interconnect overhead (ZM, TRG), pp. 11–20.

ISSTA-2011-PradelG #detection #order

Detecting anomalies in the order of equally-typed method arguments (MP, TRG), pp. 232–242.

ICSM-2010-PradelBG #evaluation #finite #framework #specification #state machine

A framework for the evaluation of specification miners based on finite state machines (MP, PB, TRG), pp. 1–10.

OOPSLA-2010-MatsakisG #type system

A time-aware type system for data-race protection and guaranteed initialization (NDM, TRG), pp. 634–651.

ASE-2009-PradelG #automation #generative #scalability #specification

Automatic Generation of Object Usage Specifications from Large Method Traces (MP, TRG), pp. 371–382.

ECOOP-2007-BalzerGE #reasoning #relational

A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships (SB, TRG, PE), pp. 323–346.

PLDI-2007-SchneiderPG #hardware #monitoring #online #optimisation #performance

Online optimizations driven by hardware performance monitoring (FTS, MP, TRG), pp. 373–382.

ICSM-2006-PrevitaliG #aspect-oriented

Dynamic Updating of Software Systems Based on Aspects (SCP, TRG), pp. 83–92.

ECOOP-2003-PopoviciAG

Spontaneous Container Services (AP, GA, TRG), pp. 29–53.

PLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code #thread

Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.

SIGMOD-2003-StoltePAG #design #repository

Scientific Data Repositories: Designing for a Moving Target (ES, CvP, GA, TRG), pp. 349–360.

HPDC-2001-BolligerG #monitoring

Bandwidth Monitoring for Network-Aware Applications (JB, TRG), pp. 241–251.

HPDC-2001-DindaGKLMSS #architecture

The Architecture of the Remos System (PAD, TRG, RK, BL, NM, PS, DS), pp. 252–265.

HPDC-2001-KarrerG

Location Selection for Active Services (RK, TRG), p. 195–?.

OOPSLA-2001-PraunG #concurrent #detection

Object Race Detection (CvP, TRG), pp. 70–82.

LCTES-2000-CortiBG #approximate #execution #multi #worst-case

Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems (MC, RB, TRG), pp. 178–198.

CIKM-1999-WeberBGS #architecture #image #retrieval

Architecture of a Networked Image Search and Retrieval System (RW, JB, TRG, HJS), pp. 430–441.

HPDC-1999-LowekampOG #distributed #network #query

Direct Queries for Discovering Network Resource Properties in a Distributed Environment (BL, DRO, TRG), pp. 38–46.

PPoPP-1999-SchererLGZ #adaptation #parallel #using

Transparent Adaptive Parallelism on NOWs using OpenMP (AS, HL, TRG, WZ), pp. 96–106.

HPCA-1998-HallaronSG #architecture #product line

Architectural Implications of a Family of Irregular Applications (DRO, JRS, TRG), pp. 80–89.

HPDC-1998-LowekampMSGSS #interface #query

A Resource Query Interface for Network-Aware Applications (BL, NM, DS, TRG, PS, JS), pp. 189–196.

OOPSLA-1998-RiehleG #design #framework #integration #modelling

Role Model Based Framework Design and Integration (DR, TRG), pp. 117–133.

HPCA-1997-StrickerG #memory management #parallel #performance

Global Address Space, Non-Uniform Bandwidth: A Memory System Performance Characterization of Parallel Systems (TS, TRG), pp. 168–179.

PLDI-1997-LuehG

Call-Cost Directed Register Allocation (GYL, TRG), pp. 296–307.

OOPSLA-1996-Adl-TabatabaiGL #compilation #optimisation #reuse

Code Reuse in an Optimizing Compiler (ARAT, TRG, GYL), pp. 51–68.

PLDI-1996-Adl-TabatabaiG #debugging

Source-Level Debugging of Scalar Optimized Code (ARAT, TRG), pp. 33–43.

PLDI-1993-Adl-TabatabaiG #detection #scheduling

Detection and Recovery of Endangered Variables Caused by Instruction Scheduling (ARAT, TRG), pp. 13–25.

POPL-1993-Adl-TabatabaiG #debugging #interactive

Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging (ARAT, TRG), pp. 371–383.

PPoPP-1993-SubhlokSOG #parallel #programming

Programming Task and Data Parallelism on a Multicomputer (JS, JMS, DRO, TRG), pp. 13–22.

ASPLOS-1991-CateG #file system #integration

Integration of Compression and Caching for a Two-Level File System (VC, TRG), pp. 200–211.

ASPLOS-1989-CohnGLT #architecture #compilation #trade-off #word

Architecture and Compiler Tradeoffs for a Long Instruction Word Microprocessor (RC, TRG, MSL, PST), pp. 2–14.

PLDI-1989-GrossZZ #compilation #parallel

Parallel Compilation for a Parallel Machine (TRG, AZ, MZ), pp. 91–100.

FPCA-1987-GrossS #array

Mapping a single-assignment language onto the Warp systolic array (TRG, AS), pp. 347–363.

ASPLOS-1982-HennessyJBGG #hardware #performance #trade-off

Hardware/Software Tradeoffs for Increased Performance (JLH, NPJ, FB, TRG, JG), pp. 2–11.

POPL-1982-HennessyG #code generation #constraints #pipes and filters

Code Generation and Reorganization in the Presence of Pipeline Constraints (JLH, TRG), pp. 120–127.

OOPSLA-2018-FaesG #object-oriented #programming

Concurrency-aware object-oriented programming with roles (MF, TRG), p. 30.

OOPSLA-2018-MeierRG #design #parallel #programming language #virtual machine

Virtual machine design for parallel dynamic programming languages (RM, AR, TRG), p. 25.