Travelled to:
1 × New Zealand
1 × United Kingdom
2 × USA
Collaborated with:
J.(.An J.S.Foster ∅ A.Rastogi B.Hosmer M.Hicks P.Vekris Sam Goldman Marshall Roch Gabriel Levi
Talks about:
type (4) concurr (2) static (2) infer (2) rubi (2) javascript (1) librari (1) gradual (1) precis (1) haskel (1)
Person: Avik Chaudhuri
DBLP: Chaudhuri:Avik
Contributed to:
Wrote 5 papers:
- POPL-2012-RastogiCH #type inference
- The ins and outs of gradual type inference (AR, AC, BH), pp. 481–494.
- POPL-2011-AnCFH #ruby #static typing
- Dynamic inference of static types for ruby (Jh(A, AC, JSF, MH), pp. 459–472.
- ASE-2009-AnCF #ruby #static typing #type system
- Static Typing for Ruby on Rails (Jh(A, AC, JSF), pp. 590–594.
- ICFP-2009-Chaudhuri #concurrent #haskell #library #ml
- A concurrent ML library in concurrent Haskell (AC), pp. 269–280.
- OOPSLA-2017-ChaudhuriVGRL #javascript #performance #precise #type checking
- Fast and precise type checking for JavaScript (AC, PV, SG, MR, GL), p. 30.