Travelled to:
1 × Italy
1 × USA
Collaborated with:
V.A.Saraswat D.Cunningham D.Grove A.Shinnar M.Takeuchi O.Tardieu B.Bloom A.Sabharwal H.Samulowitz A.Iyengar K.Kawachiya H.Murata P.Kambadur M.Vaziri
Talks about:
sat (2) framework (1) petascal (1) parallel (1) scalabl (1) program (1) perform (1) increas (1) resili (1) memori (1)
Person: Benjamin Herta
DBLP: Herta:Benjamin
Contributed to:
Wrote 4 papers:
- PPoPP-2014-CunninghamGHIKMSTT #performance #programming
- Resilient X10: efficient failure-aware programming (DC, DG, BH, AI, KK, HM, VAS, MT, OT), pp. 67–80.
- PPoPP-2014-TardieuHCGKSSTV
- X10 and APGAS at Petascale (OT, BH, DC, DG, PK, VAS, AS, MT, MV), pp. 53–66.
- SAT-2012-BloomGHSSS #framework #game studies #named #parallel #satisfiability #scalability
- SatX10: A Scalable Plug&Play Parallel SAT Framework — (BB, DG, BH, AS, HS, VAS), pp. 463–468.
- VLDB-2012-ShinnarCHS #in memory #named #performance
- M3R: Increased performance for in-memory Hadoop jobs (AS, DC, BH, VAS), pp. 1736–1747.