BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Taiwan
1 × Turkey
2 × United Kingdom
4 × France
4 × USA
Collaborated with:
∅ S.Horwitz D.Plainfossé P.Ferreira L.Gidra G.Thomas J.Sopena F.L.Fessant I.Piumarta P.Gautron L.Mosseri V.Abrossimov M.Rozier J.Michaux X.Blanc P.Sutra V.Vafeiadis M.Herlihy C.A.R.Hoare N.Nguyen
Talks about:
garbag (6) distribut (5) collector (3) collect (3) system (3) object (3) correct (2) concurr (2) analysi (2) proof (2)

Person: Marc Shapiro

DBLP DBLP: Shapiro:Marc

Contributed to:

ASPLOS 20152015
ASPLOS 20132013
SAC 20112011
ICFP 20062006
PPoPP 20062006
ECOOP 19981998
PLDI 19981998
POPL 19971997
SAS 19971997
ISMM 19951995
TOOLS Europe 19931993
IWMM 19921992
ECOOP 19891989
SOSP 19891989

Wrote 14 papers:

ASPLOS-2015-Gidra0SSN #big data #garbage collection #named
NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines (LG, GT, JS, MS, NN), pp. 661–673.
ASPLOS-2013-Gidra0SS #case study #garbage collection #multi #scalability
A study of the scalability of stop-the-world garbage collectors on multicores (LG, GT, JS, MS), pp. 229–240.
SAC-2011-MichauxBSS #approach #collaboration #semantics
A semantically rich approach for collaborative model edition (JM, XB, MS, PS), pp. 1470–1475.
ICFP-2006-Shapiro #concurrent #proving #source code
Practical proofs of concurrent programs (MS), p. 123.
PPoPP-2006-VafeiadisHHS #correctness #proving
Proving correctness of highly-concurrent linearisable objects (VV, MH, CARH, MS), pp. 129–136.
ECOOP-1998-FerreiraS #algorithm #correctness #distributed #garbage collection #modelling #proving
Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof (PF, MS), pp. 234–259.
PLDI-1998-FessantPS #distributed #garbage collection #implementation
An Implementation for Complete, Asynchronous, Distributed Garbage Collection (FLF, IP, MS), pp. 152–161.
POPL-1997-ShapiroH #analysis #performance #points-to
Fast and Accurate Flow-Insensitive Points-To Analysis (MS, SH), pp. 1–14.
SAS-1997-ShapiroH #analysis #pointer #precise
The Effects of the Precision of Pointer Analysis (MS, SH), pp. 16–34.
IWMM-1995-PlainfosseS #distributed #garbage collection #overview
A Survey of Distributed Garbage Collection Techniques (DP, MS), pp. 211–249.
TOOLS-EUROPE-1993-Shapiro #distributed
Objects in Distributed Systems (MS), p. 339.
IWMM-1992-PlainfosseS #distributed #experience #fault tolerance #garbage collection
Experience with a Fault-Tolerant Garbage Collector in a Distributed List System (DP, MS), pp. 116–133.
ECOOP-1989-ShapiroGM #c++ #migration #persistent
Persistence and Migration for C++ Objects (MS, PG, LM), pp. 191–204.
SOSP-1989-AbrossimovR #kernel #memory management #operating system
Generic Virtual Memory Management for Operating System Kernels (VA, MR, MS), pp. 123–136.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.