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
1 × Japan
Collaborated with:
A.Russo D.Vytiniotis G.Barthe C.Kunz G.Grieco M.Ceresa A.v.d.Ploeg K.Claessen D.Stefan A.Levy J.C.Mitchell D.Mazières
Talks about:
type (3) inform (2) dynam (2) flow (2) unconstrain (1) framework (1) function (1) control (1) concurr (1) channel (1)

Person: Pablo Buiras

DBLP DBLP: Buiras:Pablo

Contributed to:

ICFP 20152015
ICFP 20122012
FLOPS 20102010
Haskell 20162016

Wrote 5 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-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.
FLOPS-2010-BartheBK #framework #functional
A Functional Framework for Result Checking (GB, PB, CK), pp. 72–86.
Haskell-2016-GriecoCB #automation #fuzzing #named #random
QuickFuzz: an automatic random fuzzer for common file formats (GG, MC, PB), pp. 13–20.
Haskell-2016-PloegCB #dynamic typing #monad #type safety #type system
The Key monad: type-safe unconstrained dynamic typing (AvdP, KC, PB), pp. 146–157.

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.