Travelled to:
1 × Germany
7 × USA
Collaborated with:
M.Raghavachari M.C.Carlisle J.R.Larus K.Li K.Pingali R.B.Findler S.Guo S.Chandra C.Cortes K.Fisher D.Pregibon A.L.Buchsbaum H.Kaplan J.Westbrook S.S.Mukherjee S.D.Sharma M.D.Hill J.H.Saltz
Talks about:
support (2) softwar (2) memori (2) machin (2) time (2) data (2) decomposit (1) irregular (1) distribut (1) algorithm (1)
Person: Anne Rogers
DBLP: Rogers:Anne
Contributed to:
Wrote 9 papers:
- IFL-2007-FindlerGR #contract #data type #lazy evaluation
- Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
- KDD-2000-CortesFPR #data type #named
- Hancock: a language for extracting signatures from data streams (CC, KF, DP, AR), pp. 9–17.
- STOC-1998-BuchsbaumKRW #algorithm #linear #verification
- Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators (ALB, HK, AR, JW), pp. 279–288.
- PPoPP-1997-RaghavachariR #named #protocol
- Ace: Linguistic Mechanisms for Customizable Protocols (MR, AR), pp. 80–89.
- PPoPP-1995-CarlisleR #migration
- Software Caching and Computation Migration in Olden (MCC, AR), pp. 29–38.
- PPoPP-1995-MukherjeeSHLRS #performance
- Efficient Support for Irregular Applications on Distributed-Memory Machines (SSM, SDS, MDH, JRL, AR, JHS), pp. 68–79.
- ASPLOS-1994-ChandraLR #message passing #question #source code
- Where is Time Spent in Message-Passing and Shared-Memory Programs? (SC, JRL, AR), pp. 61–73.
- ASPLOS-1992-RogersL
- Software Support for Speculative Loads (AR, KL), pp. 38–50.
- PLDI-1989-RogersP #composition #locality #process
- Process Decomposition Through Locality of Reference (AR, KP), pp. 69–80.