BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × New Zealand
1 × United Kingdom
3 × USA
Collaborated with:
V.S.Adve B.L.Chamberlain M.Vakilian D.Dig J.Overbey S.Heumann S.V.Adve R.E.Johnson N.Honarmand A.Welc T.Shpeisman R.Komuravelli P.Simmons H.Sung
Talks about:
parallel (3) effect (3) determinist (2) region (2) type (2) safe (2) nondetermin (1) framework (1) transact (1) summari (1)

Person: Robert L. Bocchino Jr.

DBLP DBLP: Bocchino Jr.:Robert_L=

Contributed to:

ECOOP 20112011
POPL 20112011
ASE 20092009
OOPSLA 20092009
PPoPP 20082008

Wrote 5 papers:

ECOOP-2011-BocchinoA #framework #object-oriented #parallel #programming
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks (RLBJ, VSA), pp. 306–332.
POPL-2011-BocchinoHHAAWS #nondeterminism #parallel
Safe nondeterminism in a deterministic-by-default parallel language (RLBJ, SH, NH, SVA, VSA, AW, TS), pp. 535–548.
ASE-2009-VakilianDBOAJ #summary
Inferring Method Effect Summaries for Nested Heap Regions (MV, DD, RLBJ, JO, VSA, REJ), pp. 421–432.
OOPSLA-2009-BocchinoADAHKOSSV #java #parallel
A type and effect system for deterministic parallel Java (RLBJ, VSA, DD, SVA, SH, RK, JO, PS, HS, MV), pp. 97–116.
PPoPP-2008-BocchinoAC #clustering #memory management #scalability #transaction
Software transactional memory for large scale clusters (RLBJ, VSA, BLC), pp. 247–258.

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.