Travelled to:1 × Canada
1 × Germany
1 × Slovenia
3 × USA
Collaborated with:S.Krishnamurthi N.Foster C.Saftoiu A.Weiss Y.Brun M.Reitblatt Rian Shambaugh S.Smolka S.A.Eliopoulos Abhinav Jangda Donald Pinckney Samuel Baxter Rachit Nigam J.G.Politz C.J.Anderson J.Jeannin D.Kozen C.Schlesinger D.Walker L.A.Meyerovich J.P.Baskin G.H.Cooper M.Greenberg A.Bromfield
Talks about:control (3) javascript (2) configur (2) network (2) foundat (2) serverless (1) interact (1) tortois (1) rehears (1) program (1)
Person: Arjun Guha
DBLP: Guha:Arjun
Contributed to:
2015
2014
2013
2011
2010
2009
2017201920162018Wrote 10 papers:
- ICFP-2015-SmolkaEFG #compilation #performance
- A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.
- POPL-2014-AndersonFGJKSW #named #network #semantics
- NetkAT: semantic foundations for networks (CJA, NF, AG, JBJ, DK, CS, DW), pp. 113–126.
- PLDI-2013-GuhaRF #network
- Machine-verified network controllers (AG, MR, NF), pp. 483–494.
- ESOP-2011-GuhaSK #analysis #type system #using
- Typing Local Control and State Using Flow Analysis (AG, CS, SK), pp. 256–275.
- ECOOP-2010-GuhaSK #javascript
- The Essence of JavaScript (AG, CS, SK), pp. 126–150.
- OOPSLA-2009-MeyerovichGBCGBK #ajax #named #programming language
- Flapjax: a programming language for Ajax applications (LAM, AG, JPB, GHC, MG, AB, SK), pp. 1–20.
- ASE-2017-WeissGB #interactive #named
- Tortoise: interactive system configuration repair (AW, AG, YB), pp. 625–636.
- OOPSLA-2019-JangdaPBG #formal method
- Formal foundations of serverless computing (AJ, DP, YB, AG), p. 26.
- PLDI-2016-ShambaughWG #named #verification
- Rehearsal: a configuration verification tool for puppet (RS, AW, AG), pp. 416–430.
- PLDI-2018-BaxterNPKG #execution #javascript
- Putting in all the stops: execution control for JavaScript (SB, RN, JGP, SK, AG), pp. 30–45.