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 × Cyprus
1 × Ireland
1 × United Kingdom
4 × USA
Collaborated with:
R.Jhala M.Mayer N.Swamy J.Chen S.Lerner Justin Lubin D.Herman P.M.Rondon V.Kuncak J.A.Meister J.W.Voung Brian Hempel Mitchell Spradlin Jacob Albers C.Omar Ian Voysey M.A.Hammer
Talks about:
type (6) program (3) direct (3) javascript (2) function (2) bidirect (2) manipul (2) inform (2) enforc (2) evalu (2)

Person: Ravi Chugh

DBLP DBLP: Chugh:Ravi

Contributed to:

ESOP 20152015
OOPSLA 20122012
POPL 20122012
ESOP 20102010
PLDI 20102010
PLDI 20092009
PLDI 20082008
BX 20192019
OOPSLA 20182018
PLATEAU 20192019
PLDI 20162016
POPL 20192019

Wrote 12 papers:

ESOP-2015-Chugh #named #recursion #self #type system
IsoLATE: A Type System for Self-recursion (RC), pp. 257–282.
OOPSLA-2012-ChughHJ #dependent type #javascript
Dependent types for JavaScript (RC, DH, RJ), pp. 587–606.
POPL-2012-ChughRJ #logic #type system
Nested refinements: a logic for duck typing (RC, PMR, RJ), pp. 231–244.
ESOP-2010-SwamyCC #data flow #policy
Enforcing Stateful Authorization and Information Flow Policies in Fine (NS, JC, RC), pp. 529–549.
PLDI-2010-ChenCS #compilation #security #verification
Type-preserving compilation of end-to-end verification of security enforcement (JC, RC, NS), pp. 412–423.
PLDI-2009-ChughMJL #data flow #javascript #staged
Staged information flow for javascript (RC, JAM, RJ, SL), pp. 50–62.
PLDI-2008-ChughVJL #analysis #concurrent #data flow #detection #source code #using
Dataflow analysis for concurrent programs using datarace detection (RC, JWV, RJ, SL), pp. 316–326.
BX-2019-MayerC #bidirectional
A Bidirectional Krivine Evaluator (MM, RC), pp. 56–60.
OOPSLA-2018-MayerKC #bidirectional #evaluation
Bidirectional evaluation with direct manipulation (MM, VK, RC), p. 28.
PLATEAU-2019-LubinC #functional #program transformation
Type-Directed Program Transformations for the Working Functional Programmer (JL, RC), p. 12.
Programmatic and direct manipulation, together at last (RC, BH, MS, JA), pp. 341–354.
POPL-2019-OmarVCH #functional #programming
Live functional programming with typed holes (CO, IV, RC, MAH), p. 32.

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.