Travelled to:1 × Austria
1 × Canada
1 × France
1 × Greece
1 × Italy
1 × Spain
2 × China
2 × Germany
2 × United Kingdom
6 × USA
Collaborated with:D.Deutch T.J.Green A.Deutsch ∅ R.Subrahmanyam A.R.Meyer Z.G.Ives Y.Amsterdamer T.Coquand Y.Moskovitch G.Karvounarakis L.Popa C.A.Gunter A.Scedrov G.Karvounarakis D.Suciu J.H.Gallier T.Milo S.Khanna S.Roy J.N.Foster A.Ohori P.Buneman A.Sahuguet K.Mamouras Caleb Stanford R.Alur S.B.Davidson J.Stoyanovich N.E.Taylor O.Biton
Talks about:proven (8) data (7) queri (5) type (5) polymorph (4) comput (4) process (3) languag (3) databas (3) coercion (2)
Person: Val Tannen
DBLP: Tannen:Val
Contributed to:
201420132011
20112011
201020082007200720072003200019991994
1992
199119901989
1989198919881987
1987
1987
2019Wrote 27 papers:
- VLDB-2014-DeutchMT #analysis #framework #process
- A Provenance Framework for Data-Dependent Process Analysis (DD, YM, VT), pp. 457–468.
- VLDB-2013-DeutchMT #analysis #named #process
- PROPOLIS: Provisioned Analysis of Data-Centric Processes (DD, YM, VT), pp. 1302–1305.
- VLDB-2012-AmsterdamerDDMST11 #workflow
- Putting Lipstick on Pig: Enabling Database-style Workflow Provenance (YA, SBD, DD, TM, JS, VT), pp. 346–357.
- PODS-2011-AmsterdamerDMT #on the
- On provenance minimization (YA, DD, TM, VT), pp. 141–152.
- PODS-2011-AmsterdamerDT #query
- Provenance for aggregate queries (YA, DD, VT), pp. 153–164.
- VLDB-2011-KhannaRT #database #difference #probability #query
- Queries with Difference on Probabilistic Databases (SK, SR, VT), pp. 1051–1062.
- SIGMOD-2010-KarvounarakisIT #query
- Querying data provenance (GK, ZGI, VT), pp. 951–962.
- PODS-2008-FosterGT #query #xml
- Annotated XML: queries and provenance (JNF, TJG, VT), pp. 271–280.
- PODS-2007-GreenKT
- Provenance semirings (TJG, GK, VT), pp. 31–40.
- SIGMOD-2007-GreenKTBIT #collaboration #named
- ORCHESTRA: facilitating collaborative data sharing (TJG, GK, NET, OB, ZGI, VT), pp. 1131–1133.
- VLDB-2007-GreenKIT
- Update Exchange with Mappings and Provenance (TJG, GK, ZGI, VT), pp. 675–686.
- VLDB-2003-DeutschT #named #xml
- MARS: A System for Publishing XML from Mixed and Redundant Storage (AD, VT), pp. 201–212.
- SIGMOD-2000-PopaDST #question
- A Chase Too Far? (LP, AD, AS, VT), pp. 273–284.
- VLDB-1999-DeutschPT #constraints #independence #optimisation #physics
- Physical Data Independence, Constraints, and Optimization with Universal Plans (AD, LP, VT), pp. 459–470.
- PODS-1994-SuciuT #query
- A Query Language for NC (DS, VT), pp. 167–178.
- PODS-1994-Tannen #named #tutorial
- Tutorial: Languages for Collection Types (VT), pp. 150–154.
- LFP-1992-TannenS #abstraction #on the
- On Extending Computational Adequacy by Data Abstraction (VT, RS), pp. 161–169.
- ICALP-1991-TannenS #aspect-oriented #logic #programming #set
- Logical and Computational Aspects of Programming with Sets/Bags/Lists (VT, RS), pp. 60–75.
- LFP-1990-TannenGS
- Computing with Coercions (VT, CAG, AS), pp. 44–60.
- ICALP-1989-TannenG #algebra #confluence #normalisation #polymorphism
- Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence (VT, JHG), pp. 137–150.
- LICS-1989-Breazu-TannenCGS #inheritance
- Inheritance and Explicit Coercion (VT, TC, CAG, AS), pp. 112–129.
- SIGMOD-1989-OhoriBT #database #polymorphism #programming #static typing #type inference
- Database Programming in Machiavelli — a Polymorphic Language with Static Type Inference (AO, PB, VT), pp. 46–57.
- LICS-1988-Breazu-Tannen88a #algebra #higher-order
- Combining Algebra and Higher-Order Types (VT), pp. 82–90.
- LICS-1987-Breazu-TannenM #morphism #polymorphism
- Polymorphism is conservative over simple types (VT, ARM), pp. 7–17.
- POPL-1987-TannenM
- Computable Values Can Be Classical (VT, ARM), pp. 238–245.
- CFLP-1987-TannenC #modelling #morphism #polymorphism
- Extensional Models for Polymorphism (VT, TC), pp. 291–307.
- PLDI-2019-MamourasSAIT #distributed
- Data-trace types for distributed stream processing systems (KM, CS, RA, ZGI, VT), pp. 670–685.