BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tannen:Val

Contributed to:

VLDB 20142014
VLDB 20132013
VLDB 20122011
PODS 20112011
VLDB 20112011
SIGMOD 20102010
PODS 20082008
PODS 20072007
SIGMOD 20072007
VLDB 20072007
VLDB 20032003
SIGMOD 20002000
VLDB 19991999
PODS 19941994
LFP 19921992
ICALP 19911991
LFP 19901990
ICALP 19891989
LICS 19891989
SIGMOD 19891989
LICS 19881988
LICS 19871987
POPL 19871987
TAPSOFT, Vol.2: CFLP 19871987
PLDI 20192019

Wrote 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.
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.
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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.