BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Japan
1 × Spain
1 × United Kingdom
2 × USA
Collaborated with:
C.Fournet A.D.Gordon N.Swamy P.Strub C.A.Gunter J.Borgström J.Chen S.Chandra P.J.McCann A.Rastogi J.Yang G.M.Bierman M.Kim I.Lee D.Obradovic O.Sokolsky M.Viswanathan C.Hritcu C.Keller Antoine Delignat-Lavaud Simon Forest Markulf Kohlweiss Jean Karim Zinzindohoue S.Z.Béguelin
Talks about:
type (4) secur (3) network (2) depend (2) javascript (1) distribut (1) protocol (1) composit (1) automata (1) verisim (1)

Person: Karthikeyan Bhargavan

DBLP DBLP: Bhargavan:Karthikeyan

Contributed to:

POPL 20142014
ICFP 20112011
POPL 20102010
POPL 20042004
POPL 20012001
ISSTA 20002000
Haskell 20092009
POPL 20162016

Wrote 8 papers:

POPL-2014-SwamyFRBCSB #embedded #javascript #type system
Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
ICFP-2011-SwamyCFSBY #dependent type #distributed #programming
Secure distributed programming with value-dependent types (NS, JC, CF, PYS, KB, JY), pp. 266–278.
POPL-2010-BhargavanFG #composition #protocol #security #type system #verification
Modular verification of security protocol code by typing (KB, CF, ADG), pp. 445–456.
POPL-2004-BhargavanFG #authentication #semantics #web #web service
A semantics for web services authentication (KB, CF, ADG), pp. 198–209.
POPL-2001-BhargavanCMG #automaton #monitoring #network #what
What packets may come: automata for network monitoring (KB, SC, PJM, CAG), pp. 206–219.
ISSTA-2000-BhargavanGKLOSV #analysis #formal method #named #network #simulation
Verisim: Formal analysis of network simulations (KB, CAG, MK, IL, DO, OS, MV), pp. 2–13.
Haskell-2009-BorgstromBG #composition #haskell
A compositional theory for STM Haskell (JB, KB, ADG), pp. 69–80.
POPL-2016-SwamyHKRDFBFSKZ #dependent type #multi
Dependent types and multi-monadic effects in F (NS, CH, CK, AR, ADL, SF, KB, CF, PYS, MK, JKZ, SZB), pp. 256–270.

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.