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 × 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 DBLP: Schlesinger:Cole

Contributed to:

ICFP 20142014
POPL 20142014
PLDI 20132013
OOPSLA 20162016
Onward! 20172017

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

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.