Travelled to:
1 × Czech Republic
1 × Spain
1 × Sweden
1 × USA
1 × United Kingdom
2 × Canada
Collaborated with:
M.Hirzel G.Morrisett D.Cunningham V.A.Saraswat J.Siméon J.G.Malecha R.Wisnesky B.Herta O.Tardieu M.Vaziri T.L.Harris M.Plesko D.Tarditi S.Crafa A.Chlipala A.Nanevski P.Govereau L.Birkedal L.Mandel Guillaume Baudart J.Dolby E.Duesterwald D.Grove P.Kambadur M.Takeuchi
Talks about:
program (2) memori (2) imper (2) transact (1) petascal (1) interact (1) calculus (1) protect (1) perform (1) pattern (1)
Person: Avraham Shinnar
DBLP: Shinnar:Avraham
Contributed to:
Wrote 10 papers:
- ECOOP-2015-ShinnarSH #calculus #compilation
- A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.
- ECOOP-2014-CrafaCSST #semantics
- Semantics of (Resilient) X10 (SC, DC, VAS, AS, OT), pp. 670–696.
- PPoPP-2014-TardieuHCGKSSTV
- X10 and APGAS at Petascale (OT, BH, DC, DG, PK, VAS, AS, MT, MV), pp. 53–66.
- VLDB-2012-ShinnarCHS #in memory #named #performance
- M3R: Increased performance for in-memory Hadoop jobs (AS, DC, BH, VAS), pp. 1736–1747.
- POPL-2010-MalechaMSW #database #relational #towards
- Toward a verified relational database management system (JGM, GM, AS, RW), pp. 237–248.
- ICFP-2009-ChlipalaMMSW #effectiveness #higher-order #imperative #interactive #proving #source code
- Effective interactive proofs for higher-order imperative programs (AC, JGM, GM, AS, RW), pp. 79–90.
- ICFP-2008-NanevskiMSGB #dependent type #imperative #named #source code
- Ynot: dependent types for imperative programs (AN, GM, AS, PG, LB), pp. 229–240.
- PLDI-2006-HarrisPST #memory management #optimisation #transaction
- Optimizing memory transactions (TLH, MP, AS, DT), pp. 14–25.
- Onward-2017-VaziriMSSH #api #chat #generative #specification #web
- Generating chat bots from web API specifications (MV, LM, AS, JS, MH), pp. 44–57.
- Onward-2018-BaudartDDHS
- Protecting chatbots from toxic content (GB, JD, ED, MH, AS), pp. 99–110.