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: Bocchino Jr.:Robert_L=
Contributed to:
2011
2011
2009
2009
2008Wrote 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.