Claudio V. Russo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
8
Active years
1999–2016
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | POPL | Fabular: regression formulas as probabilistic programming. | Johannes Borgstrm, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak |
| 2015 | ESOP | Probabilistic Programs as Spreadsheet Queries. | Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgstrm, Nicolas Rolland, Thore Graepel, Daniel Tarlow |
| 2014 | POPL | Tabular: a schema-driven probabilistic programming language. | Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgstrm, John Guiver |
| 2013 | POPL | A model-learner pattern for bayesian reasoning. | Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstrm, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |
| 2013 | TACAS | Deriving Probability Density Functions from Probabilistic Functional Programs. | Sooraj Bhat, Johannes Borgstrm, Andrew D. Gordon, Claudio V. Russo |
| 2012 | ECOOP | Pause 'n' Play: Formalizing Asynchronous C#. | Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen |
| 2011 | OOPSLA | Scalable join patterns. | Aaron Joseph Turon, Claudio V. Russo |
| 2009 | ICFP | Parallel concurrent ML. | John H. Reppy, Claudio V. Russo, Yingqi Xiao |
| 2008 | OOPSLA | Join patterns for visual basic. | Claudio V. Russo |
| 2007 | PADL | The Joins Concurrency Library. | Claudio V. Russo |
| 2006 | ECOOP | Variance and Generalized Constraints for C | Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu |
| 2005 | OOPSLA | Generalized algebraic data types and object-oriented programming. | Andrew Kennedy, Claudio V. Russo |
| 2004 | PPDP | Adventures in interoperability: the SML.NET experience. | Nick Benton, Andrew Kennedy, Claudio V. Russo |
| 2001 | ICFP | Recursive Structures for Standard ML. | Claudio V. Russo |
| 2000 | ESOP | First-Class Structures for Standard ML. | Claudio V. Russo |
| 1999 | PPDP | Non-dependent Types for Standard ML Modules. | Claudio V. Russo |