Claudio V. Russo

30 papers A* 3A 10C 4Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2020 — ch.
Tabular: Probabilistic Inference from the Spreadsheet.
Foundations of Probabilistic Programming
Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow
2018 J jnl
Transposing G to C
Theor. Comput. Sci.
Andrew J. Kennedy, Claudio V. Russo
2017 J jnl
Deriving Probability Density Functions from Probabilistic Functional Programs.
CoRR
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
2017 J jnl
Deriving Probability Density Functions from Probabilistic Functional Programs.
Log. Methods Comput. Sci.
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
2016 A* conf
Fabular: regression formulas as probabilistic programming.
POPL
Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak
2015 A conf
Probabilistic Programs as Spreadsheet Queries.
ESOP
Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow
2014 J jnl
F-ing modules.
J. Funct. Program.
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
2014 A* conf
Tabular: a schema-driven probabilistic programming language.
POPL
Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, John Guiver
2013 A* conf
A model-learner pattern for bayesian reasoning.
POPL
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo
2013 A conf
Deriving Probability Density Functions from Probabilistic Functional Programs.
TACAS
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
2012 A conf
Pause 'n' Play: Formalizing Asynchronous C#.
ECOOP
Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen
2012 C ed.
Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
PADL
Claudio V. Russo, Neng-Fa Zhou
2012 J jnl
Recursive structures for standard ML.
ACM SIGPLAN Notices
Claudio V. Russo
2011 A conf
Scalable join patterns.
OOPSLA
Aaron Joseph Turon, Claudio V. Russo
2010 — conf
F-ing modules.
TLDI
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
2009 A conf
Parallel concurrent ML.
ICFP
John H. Reppy, Claudio V. Russo, Yingqi Xiao
2008 A conf
Join patterns for visual basic.
OOPSLA
Claudio V. Russo
2007 — ed.
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007
ML
Claudio V. Russo, Derek Dreyer
2007 C conf
The Joins Concurrency Library.
PADL
Claudio V. Russo
2006 A conf
Variance and Generalized Constraints for C
ECOOP
Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu
2005 A conf
Generalized algebraic data types and object-oriented programming.
OOPSLA
Andrew Kennedy, Claudio V. Russo
2004 C conf
Adventures in interoperability: the SML.NET experience.
PPDP
Nick Benton, Andrew Kennedy, Claudio V. Russo
2004 — conf
Shrinking Reductions in SML.NET.
IFL
Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo
2004 — book
Types for Modules.
Claudio V. Russo
2001 A conf
Recursive Structures for Standard ML.
ICFP
Claudio V. Russo
2000 A conf
First-Class Structures for Standard ML.
ESOP
Claudio V. Russo
2000 J jnl
First-Class Structures for Standard ML.
Nord. J. Comput.
Claudio V. Russo
2000 — conf
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.
HOOTS
Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo
1999 C conf
Non-dependent Types for Standard ML Modules.
PPDP
Claudio V. Russo
1998 — —
Types for modules.
Claudio V. Russo