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 × Denmark
2 × USA
Collaborated with:
D.Stefan D.Mazières J.Hughes A.Levy J.C.Mitchell P.Buiras Nachiappan Valliappan D.Vytiniotis K.Claessen A.Mista Marco Vassena D.G.0001 Vineet Rajani E.Z.Yang P.Marchenko D.Herman B.Karp D.B.Giffin D.Terei
Talks about:
inform (5) flow (5) haskel (4) control (3) dynam (3) protect (2) system (2) secur (2) bicartesian (1) javascript (1)

Person: Alejandro Russo

DBLP DBLP: Russo:Alejandro

Contributed to:

ICFP 20152015
OSDI 20142014
ICFP 20122012
OSDI 20122012
Haskell 20082008
Haskell 20112011
Haskell 20142014
Haskell 20182018
POPL 20192019
PPDP 20192019

Wrote 11 papers:

ICFP-2015-BuirasVR #data flow #dynamic typing #haskell #named #type system
HLIO: mixing static and dynamic typing for information-flow control in Haskell (PB, DV, AR), pp. 289–301.
ICFP-2015-Russo #functional #haskell
Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.
OSDI-2014-StefanYMRHKM #javascript
Protecting Users by Confining JavaScript with COWL (DS, EZY, PM, AR, DH, BK, DM), pp. 131–146.
ICFP-2012-StefanRBLMM #concurrent #data flow #termination
Addressing covert termination and timing channels in concurrent information flow systems (DS, AR, PB, AL, JCM, DM), pp. 201–214.
OSDI-2012-GiffinLSTMMR #named #privacy #web
Hails: Protecting Data Privacy in Untrusted Web Applications (DBG, AL, DS, DT, DM, JCM, AR), pp. 47–60.
Haskell-2008-RussoCH #data flow #haskell #library #security
A library for light-weight information-flow security in haskell (AR, KC, JH), pp. 13–24.
Haskell-2011-StefanRMM #data flow #flexibility #haskell #information management
Flexible dynamic information flow control in Haskell (DS, AR, JCM, DM), pp. 95–106.
Building secure systems with LIO (demo) (DS, AL, AR, DM), pp. 93–94.
Haskell-2018-MistaRH #branch #generative #process #quickcheck
Branching processes for QuickCheck generators (AM, AR, JH), pp. 1–13.
POPL-2019-VassenaRGRS #data flow #information management
From fine- to coarse-grained dynamic information flow control and back (MV, AR, DG0, VR, DS), p. 31.
PPDP-2019-ValliappanR #category theory #combinator #exponential
Exponential Elimination for Bicartesian Closed Categorical Combinators (NV, AR), p. 13.

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.