Val Tannen

ORCID

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 27

Top Venues

Publications

Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen
Evaluating Datalog over Semirings: A Grounding-based Approach. Proc. ACM Manag. Data 2 (2) (2024)
Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Incremental Computation on Streams and Its Applications to Databases. SIGMOD Rec. 53 (1) (2024)
Hangdong Zhao, Shaleen Deep, Paraschos Koutris, Sudeepa Roy, Val Tannen
Evaluating Datalog over Semirings: A Grounding-based Approach. CoRR (2024)
Lawrence Dunn, Val Tannen, Steve Zdancewic
Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. ITP (2023)
Lawrence Dunn, Val Tannen, Steve Zdancewic
Syntax Monads for the Working Formal Metatheorist. CoRR (2023)
Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow. 16 (7) (2023)
Zilu Tian, Peter Lindner, Markus Nissl, Christoph Koch, Val Tannen
Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations. Proc. ACM Manag. Data 1 (2) (2023)
Stefano Perna, Val Tannen, Limsoon Wong
Iterating on multiple collections in synchrony. J. Funct. Program. 32 (2022)
Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. CoRR (2022)
Yinjun Wu, Val Tannen, Susan B. Davidson
Provenance-based Model Maintenance: Implications for Privacy. IEEE Data Eng. Bull. 45 (1) (2022)
Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
Semiring Provenance for Fixed-Point Logic. CSL (2021)
Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
Synchronization Schemas. PODS (2021)
Yinjun Wu, Val Tannen, Susan B. Davidson
PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models. CoRR (2020)
Yinjun Wu, Val Tannen, Susan B. Davidson
PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models. SIGMOD Conference (2020)
Erich Grädel, Val Tannen
Provenance Analysis for Logic and Games. CoRR (2019)
Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. CoRR (2019)
Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen
Data-trace types for distributed stream processing systems. PLDI (2019)
Jane Xu, Waley Zhang, Abdussalam Alawini, Val Tannen
Provenance Analysis for Missing Answers and Integrity Repairs. IEEE Data Eng. Bull. 41 (1) (2018)
Abdussalam Alawini, Susan B. Davidson, Gianmaria Silvello, Val Tannen, Yinjun Wu
Data Citation: A New Provenance Challenge. IEEE Data Eng. Bull. 41 (1) (2018)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
Interfaces for Stream Processing Systems. Principles of Modeling (2018)
Val Tannen
Provenance analysis for FOL model checking. ACM SIGLOG News 4 (1) (2017)
Todd J. Green, Val Tannen
The Semiring Framework for Database Provenance. PODS (2017)
Erich Grädel, Val Tannen
Semiring Provenance for First-Order Model Checking. CoRR (2017)
Bruhathi Sundarmurthy, Paraschos Koutris, Willis Lang, Jeffrey F. Naughton, Val Tannen
m-tables: Representing Missing Data. ICDT (2017)
Christoph Koch, Daniel Lupei, Val Tannen
Incremental View Maintenance For Collection Programming. PODS (2016)
Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen
Algorithms for Provisioning Queries and Analytics. ICDT (2016)
Zhepeng Yan, Val Tannen, Zachary G. Ives
Fine-grained Provenance for Linear Algebra Operators. TaPP (2016)
Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches. FSTTCS (2015)
Babak Bagheri Hariri, Val Tannen
Decidability of Equivalence of Aggregate Count-Distinct Queries. CoRR (2015)
Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches. CoRR (2015)
Sepehr Assadi, Sanjeev Khanna, Yang Li, Val Tannen
Algorithms for Provisioning Queries and Analytics. CoRR (2015)
Daniel Deutch, Yuval Moskovitch, Val Tannen
Provenance-based analysis of data-centric processes. VLDB J. 24 (4) (2015)
Daniel Deutch, Tova Milo, Sudeepa Roy, Val Tannen
Circuits for Datalog Provenance. ICDT (2014)
Daniel Lupei, Christoph Koch, Val Tannen
Incremental View Maintenance for Nested-Relational Databases. CoRR (2014)
Daniel Deutch, Yuval Moskovitch, Val Tannen
A Provenance Framework for Data-Dependent Process Analysis. Proc. VLDB Endow. 7 (6) (2014)
Daniel Deutch, Yuval Moskovitch, Val Tannen
PROPOLIS: Provisioned Analysis of Data-Centric Processes. Proc. VLDB Endow. 6 (12) (2013)
Val Tannen
Provenance Propagation in Complex Queries. In Search of Elegance in the Theory and Practice of Computation (2013)
Daniel Deutch, Zachary G. Ives, Tova Milo, Val Tannen
Caravan: Provisioning for What-If Analysis. CIDR (2013)
Grigoris Karvounarakis, Todd J. Green, Zachary G. Ives, Val Tannen
Collaborative data sharing via update exchange and provenance. ACM Trans. Database Syst. 38 (3) (2013)
Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance CoRR (2012)
Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen
On Provenance Minimization. ACM Trans. Database Syst. 37 (4) (2012)
Sanjeev Khanna, Sudeepa Roy, Val Tannen
Queries with Difference on Probabilistic Databases. Proc. VLDB Endow. 4 (11) (2011)
Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich, Val Tannen
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance. Proc. VLDB Endow. 5 (4) (2011)
Susan B. Davidson, Sanjeev Khanna, Val Tannen, Sudeepa Roy, Yi Chen, Tova Milo, Julia Stoyanovich
Enabling Privacy in Provenance-Aware Workflow Systems. CIDR (2011)
Yael Amsterdamer, Daniel Deutch, Tova Milo, Val Tannen
On provenance minimization. PODS (2011)
Yael Amsterdamer, Daniel Deutch, Val Tannen
On the Limitations of Provenance for Queries with Difference. TaPP (2011)
Yael Amsterdamer, Daniel Deutch, Val Tannen
Provenance for aggregate queries. PODS (2011)
Yael Amsterdamer, Daniel Deutch, Val Tannen
Provenance for Aggregate Queries CoRR (2011)
Todd J. Green, Zachary G. Ives, Val Tannen
Reconcilable Differences. Theory Comput. Syst. 49 (2) (2011)
Julia Stoyanovich, Susan B. Davidson, Tova Milo, Val Tannen
Deriving probabilistic databases with inference ensembles. ICDE (2011)
Yael Amsterdamer, Daniel Deutch, Val Tannen
On the Limitations of Provenance for Queries With Difference CoRR (2011)
Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy, Julia Stoyanovich, Val Tannen, Yi Chen
On provenance and privacy. ICDT (2011)
Sudeepa Roy, Vittorio Perduca, Val Tannen
Faster query answering in probabilistic databases using read-once functions. ICDT (2011)
Grigoris Karvounarakis, Zachary G. Ives, Val Tannen
Querying data provenance. SIGMOD Conference (2010)
Val Tannen
Provenance for database transformations. EDBT (2010)
Val Tannen
Provenance for Database Transformations. AMW (2010)
Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen
Provenance in ORCHESTRA. IEEE Data Eng. Bull. 33 (3) (2010)
Sudeepa Roy, Vittorio Perduca, Val Tannen
Faster Query Answering in Probabilistic Databases using Read-Once Functions CoRR (2010)
Todd J. Green, Zachary G. Ives, Val Tannen
Reconcilable differences. ICDT (2009)
Zachary G. Ives, Todd J. Green, Grigoris Karvounarakis, Nicholas E. Taylor, Val Tannen, Partha Pratim Talukdar, Marie Jacob, Fernando C. N. Pereira
The ORCHESTRA Collaborative Data Sharing System. SIGMOD Rec. 37 (3) (2008)
J. Nathan Foster, Todd J. Green, Val Tannen
Annotated XML: queries and provenance. PODS (2008)
Val Tannen
Provenance for Database Transformations. IPAW (2008)
Todd J. Green, Grigoris Karvounarakis, Zachary G. Ives, Val Tannen
Update Exchange with Mappings and Provenance. VLDB (2007)
Todd J. Green, Gregory Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, Val Tannen
ORCHESTRA: facilitating collaborative data sharing. SIGMOD Conference (2007)
Todd J. Green, Gregory Karvounarakis, Val Tannen
Provenance semirings. PODS (2007)
Alin Deutsch, Lucian Popa, Val Tannen
Query reformulation with constraints. SIGMOD Rec. 35 (1) (2006)
Todd J. Green, Val Tannen
Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull. 29 (1) (2006)
Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen
Mediating RDF/S Queries to Relational and XML Sources. Int. J. Semantic Web Inf. Syst. 2 (4) (2006)
Todd J. Green, Val Tannen
Models for Incomplete and Probabilistic Information. EDBT Workshops (2006)
Alin Deutsch, Val Tannen
XML queries and constraints, containment and reformulation. Theor. Comput. Sci. 336 (1) (2005)
Ioanna Koffina, Giorgos Serfiotis, Vassilis Christophides, Val Tannen, Alin Deutsch
Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM). Semantic Interoperability and Integration (2005)
Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen
Containment and Minimization of RDF/S Query Patterns. ISWC (2005)
Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis
Viewing the semantic web through RVL lenses. J. Web Semant. 1 (4) (2004)
Aimilia Magkanaraki, Val Tannen, Vassilis Christophides, Dimitris Plexousakis
Viewing the Semantic Web through RVL Lenses. ISWC (2003)
Alin Deutsch, Val Tannen
Reformulation of XML Queries and Constraints. ICDT (2003)
Vassilis Christophides, Gregory Karvounarakis, Ioanna Koffina, Giorgos Kokkinidis, Aimilia Magkanaraki, Dimitris Plexousakis, Giorgos Serfiotis, Val Tannen
The ICS-FORTH SWIM: A Powerful Semantic Web Integration Middleware. SWDB (2003)
Alin Deutsch, Val Tannen
MARS: A System for Publishing XML from Mixed and Redundant Storage. VLDB (2003)
Vassilis Christophides, Gregory Karvounarakis, Aimilia Magkanaraki, Dimitris Plexousakis, Val Tannen
The ICS-FORTH Semantic Web Integration Middleware (SWIM). IEEE Data Eng. Bull. 26 (4) (2003)
Alin Deutsch, Val Tannen
Optimization Properties for Classes of Conjunctive Regular Path Queries. DBPL (2001)
Alin Deutsch, Val Tannen
Containment and Integrity Constraints for XPath KRDB (2001)
Susan B. Davidson, Jonathan Crabtree, Brian P. Brunk, Jonathan Schug, Val Tannen, G. Christian Overton, Christian J. Stoeckert Jr.
K2/Kleisli and GUS: Experiments in integrated access to genomic data sources. IBM Syst. J. 40 (2) (2001)
Arnaud Sahuguet, Val Tannen
ubQL, a Language for Programming Distributed Query Systems. WebDB (2001)
Lucian Popa, Alin Deutsch, Arnaud Sahuguet, Val Tannen
A Chase Too Far? SIGMOD Conference (2000)
Barry G. Silverman, Oleg Sokolsky, Val Tannen, Alex Wong, Lance Lang, Allan Khoury, Keith E. Campbell, Chen Qiang, Arnaud Sahuguet
HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. AMIA (1999)
Alin Deutsch, Lucian Popa, Val Tannen
Physical Data Independence, Constraints, and Optimization with Universal Plans VLDB (1999)
Lucian Popa, Val Tannen
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT (1999)
Val Tannen
Heterogeneous Data Integration with Mobile Information Managers (Abstract). Multimedia Information Systems (1998)
Dan Suciu, Val Tannen
A Query Language for NC. J. Comput. Syst. Sci. 55 (2) (1997)
S. Kazem Lellahi, Val Tannen
A Calculus for Collections and Aggregates. Category Theory and Computer Science (1997)
Susan B. Davidson, G. Christian Overton, Val Tannen, Limsoon Wong
BioKleisli: A Digital Library for Biomedical Researchers. Int. J. Digit. Libr. 1 (1) (1997)
V. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen
Smart Mediators and Intelligent Agents (Panel). CIKM (1996)
Delia Kesner, Laurence Puel, Val Tannen
A Typed Pattern Calculus. Inf. Comput. 124 (1) (1996)
Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong
Principles of Programming with Complex Objects and Collection Types. Theor. Comput. Sci. 149 (1) (1995)
Dan Suciu, Val Tannen
A Query Language for NC. LCC (1994)
Val Tannen
Tutorial: Languages for Collection Types. PODS (1994)
Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong
Comprehension Syntax. SIGMOD Rec. 23 (1) (1994)
Dan Suciu, Val Tannen
Efficient Compilation of High-Level Data Parallel Algorithms. SPAA (1994)
Val Tannen, Jean H. Gallier
Polymorphic Rewriting Conserves Algebraic Confluence Inf. Comput. 114 (1) (1994)
Dan Suciu, Val Tannen
A Query Language for NC. PODS (1994)
Val Tannen, Delia Kesner, Laurence Puel
A Typed Pattern Calculus LICS (1993)

Val Tannen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Val Tannen