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 × China
2 × Germany
2 × United Kingdom
3 × France
4 × Italy
4 × USA
Collaborated with:
∅ A.Kennedy A.D.Gordon J.Borgström N.Benton A.J.Turon T.Graepel J.H.Reppy Y.Xiao M.Szymczak N.Rolland S.Bhat B.Emir D.Yu S.Lindley G.M.Bierman G.Mainland E.Meijer M.Torgersen J.Guiver Long Ouyang A.Scibior D.Tarlow M.Aizatulin G.Claret A.V.Nori S.K.Rajamani
Talks about:
program (5) probabilist (4) ml (4) standard (3) pattern (3) join (3) structur (2) function (2) general (2) concurr (2)

Person: Claudio V. Russo

DBLP DBLP: Russo:Claudio_V=

Facilitated 1 volumes:

PADL 2012Ed

Contributed to:

ESOP 20152015
POPL 20142014
POPL 20132013
TACAS 20132013
ECOOP 20122012
OOPSLA 20112011
ICFP 20092009
OOPSLA 20082008
PADL 20072007
ECOOP 20062006
OOPSLA 20052005
IFL 20042004
PPDP 20042004
ICFP 20012001
ESOP 20002000
PPDP 19991999
POPL 20162016

Wrote 17 papers:

ESOP-2015-GordonRSBRGT #probability #query #source code #spreadsheet
Probabilistic Programs as Spreadsheet Queries (ADG, CVR, MS, JB, NR, TG, DT), pp. 1–25.
POPL-2014-GordonGRRBG #named #probability #programming language
Tabular: a schema-driven probabilistic programming language (ADG, TG, NR, CVR, JB, JG), pp. 321–334.
POPL-2013-GordonABCGNRR #reasoning
A model-learner pattern for bayesian reasoning (ADG, MA, JB, GC, TG, AVN, SKR, CVR), pp. 403–416.
TACAS-2013-BhatBGR #functional #probability #source code
Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.
ECOOP-2012-BiermanRMMT #c# #formal method #game studies
Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.
OOPSLA-2011-TuronR #scalability
Scalable join patterns (AJT, CVR), pp. 575–594.
ICFP-2009-ReppyRX #concurrent #ml #parallel
Parallel concurrent ML (JHR, CVR, YX), pp. 257–268.
OOPSLA-2008-Russo #visual notation
Join patterns for visual basic (CVR), pp. 53–72.
PADL-2007-Russo #concurrent #library
The Joins Concurrency Library (CVR), pp. 260–274.
ECOOP-2006-EmirKRY #c# #constraints
Variance and Generalized Constraints for C# Generics (BE, AK, CVR, DY), pp. 279–303.
OOPSLA-2005-KennedyR #algebra #data type #object-oriented #programming
Generalized algebraic data types and object-oriented programming (AK, CVR), pp. 21–40.
IFL-2004-BentonKLR #reduction
Shrinking Reductions in SML.NET (NB, AK, SL, CVR), pp. 142–159.
PPDP-2004-BentonKR #experience
Adventures in interoperability: the SML.NET experience (NB, AK, CVR), pp. 215–226.
ICFP-2001-Russo #ml #recursion #standard
Recursive Structures for Standard ML (CVR), pp. 50–61.
ESOP-2000-Russo #ml #standard
First-Class Structures for Standard ML (CVR), pp. 336–350.
PPDP-1999-Russo #dependent type #ml #standard
Non-dependent Types for Standard ML Modules (CVR), pp. 80–97.
POPL-2016-BorgstromGORSS #named #probability #programming
Fabular: regression formulas as probabilistic programming (JB, ADG, LO, CVR, AS, MS), pp. 271–283.
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.