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 × 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 DBLP: Guha:Arjun

Contributed to:

ICFP 20152015
POPL 20142014
PLDI 20132013
ESOP 20112011
ECOOP 20102010
OOPSLA 20092009
ASE 20172017
OOPSLA 20192019
PLDI 20162016
PLDI 20182018

Wrote 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.

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.