| 2026 | ICDT | The Complexity of Finding Missing Answer Repairs. | Jesse Comer, Val Tannen |
| 2023 | ITP | Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. | Lawrence Dunn, Val Tannen, Steve Zdancewic |
| 2021 | CSL | Semiring Provenance for Fixed-Point Logic. | Katrin M. Dannert, Erich Grdel, Matthias Naaf, Val Tannen |
| 2021 | PODS | Synchronization Schemas. | Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue |
| 2020 | SIGMOD | PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models. | Yinjun Wu, Val Tannen, Susan B. Davidson |
| 2019 | PLDI | Data-trace types for distributed stream processing systems. | Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen |
| 2017 | ICDT | m-tables: Representing Missing Data. | Bruhathi Sundarmurthy, Paraschos Koutris, Willis Lang, Jeffrey F. Naughton, Val Tannen |
| 2017 | PODS | The Semiring Framework for Database Provenance. | Todd J. Green, Val Tannen |
| 2016 | ICDT | Algorithms for Provisioning Queries and Analytics. | Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen |
| 2016 | PODS | Incremental View Maintenance For Collection Programming. | Christoph Koch, Daniel Lupei, Val Tannen |
| 2014 | ICDT | Circuits for Datalog Provenance. | Daniel Deutch, Tova Milo, Sudeepa Roy, Val Tannen |
| 2013 | CIDR | Caravan: Provisioning for What-If Analysis. | Daniel Deutch, Zachary G. Ives, Tova Milo, Val Tannen |
| 2011 | CIDR | Enabling Privacy in Provenance-Aware Workflow Systems. | Susan B. Davidson, Sanjeev Khanna, Val Tannen, Sudeepa Roy, Yi Chen, Tova Milo, Julia Stoyanovich |
| 2011 | ICDE | Deriving probabilistic databases with inference ensembles. | Julia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen |
| 2011 | ICDT | On provenance and privacy. | Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen |
| 2011 | ICDT | Faster query answering in probabilistic databases using read-once functions. | Sudeepa Roy, Vittorio Perduca, Val Tannen |
| 2011 | PODS | On provenance minimization. | Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen |
| 2011 | PODS | Provenance for aggregate queries. | Yael Amsterdamer, Daniel Deutch, Val Tannen |
| 2010 | EDBT | Provenance for database transformations. | Val Tannen |
| 2010 | SIGMOD | Querying data provenance. | Grigoris Karvounarakis, Zachary G. Ives, Val Tannen |
| 2009 | ICDT | Reconcilable differences. | Todd J. Green, Zachary G. Ives, Val Tannen |
| 2008 | PODS | Annotated XML: queries and provenance. | J. Nathan Foster, Todd J. Green, Val Tannen |
| 2007 | PODS | Provenance semirings. | Todd J. Green, Gregory Karvounarakis, Val Tannen |
| 2007 | SIGMOD | ORCHESTRA: facilitating collaborative data sharing. | Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen |
| 2007 | VLDB | Update Exchange with Mappings and Provenance. | Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen |
| 2003 | ICDT | Reformulation of XML Queries and Constraints. | Alin Deutsch, Val Tannen |
| 2003 | VLDB | MARS: A System for Publishing XML from Mixed and Redundant Storage. | Alin Deutsch, Val Tannen |
| 2000 | SIGMOD | A Chase Too Far? | Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen |
| 1999 | AMIA | HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. | Barry G. Silverman, Oleg Sokolsky, Val Tannen, Alex Wong, Lance Lang, Allan Khoury, Keith E. Campbell, Chen Qiang, Arnaud Sahuguet |
| 1999 | ICDT | An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. | Lucian Popa, Val Tannen |
| 1999 | VLDB | Physical Data Independence, Constraints, and Optimization with Universal Plans | Alin Deutsch, Lucian Popa, Val Tannen |
| 1996 | CIKM | Smart Mediators and Intelligent Agents (Panel). | V. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen |
| 1994 | PODS | A Query Language for NC. | Dan Suciu, Val Tannen |
| 1994 | PODS | Tutorial: Languages for Collection Types. | Val Tannen |
| 1994 | SPAA | Efficient Compilation of High-Level Data Parallel Algorithms. | Dan Suciu, Val Tannen |
| 1993 | LICS | A Typed Pattern Calculus | Val Tannen, Delia Kesner, Laurence Puel |
| 1992 | ICDT | Naturally Embedded Query Languages. | Val Tannen, Peter Buneman, Limsoon Wong |
| 1991 | ICALP | Logical and Computational Aspects of Programming with Sets/Bags/Lists. | Val Tannen, Ramesh Subrahmanyam |
| 1989 | ICALP | Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. | Val Tannen, Jean H. Gallier |
| 1989 | LICS | Inheritance and Explicit Coercion (Preliminary Report) | Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov |
| 1989 | SIGMOD | Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. | Atsushi Ohori, Peter Buneman, Val Tannen |
| 1988 | LICS | Combining Algebra and Higher-Order Types | Val Tannen |
| 1987 | LICS | Polymorphism is conservative over simple types (Preliminary Report) | Val Tannen, Albert R. Meyer |
| 1987 | POPL | Computable Values Can Be Classical. | Val Tannen, Albert R. Meyer |