Travelled to:1 × Sweden
2 × USA
Collaborated with:M.Sridharan J.Jeannin D.Walker S.C.0001 M.Greenberg C.Loncaric N.Swamy J.Weinberger J.Chen B.Livshits Julie L. Newcomb C.J.Anderson N.Foster A.Guha D.Kozen S.Chandra C.S.Gordon F.Tip Y.Choi
Talks about:infer (2) type (2) javascript (1) framework (1) internet (1) dijkstra (1) calculus (1) program (1) practic (1) pipelin (1)
Person: Cole Schlesinger
DBLP: Schlesinger:Cole
Contributed to:
2014
2014
2013
2016
2017Wrote 6 papers:
- ICFP-2014-SchlesingerGW #concurrent #pipes and filters #policy
- Concurrent NetCore: from policies to pipelines (CS, MG, DW), pp. 11–24.
- POPL-2014-AndersonFGJKSW #named #network #semantics
- NetkAT: semantic foundations for networks (CJA, NF, AG, JBJ, DK, CS, DW), pp. 113–126.
- PLDI-2013-SwamyWSCL #higher-order #monad #source code #verification
- Verifying higher-order programs with the dijkstra monad (NS, JW, CS, JC, BL), pp. 387–398.
- OOPSLA-2016-ChandraGJSSTC #compilation #javascript #type inference
- Type inference for static compilation of JavaScript (SC, CSG, JBJ, CS, MS, FT, YIC), pp. 410–429.
- OOPSLA-2016-Loncaric0SS #fault #framework #type inference
- A practical framework for type inference error explanation (CL, SC0, CS, MS), pp. 781–799.
- Onward-2017-Newcomb0JSS #automation #calculus #internet
- I¿¿¿: a calculus for internet of things automation (JLN, SC0, JBJ, CS, MS), pp. 119–133.