Stem invit$ (all stems)

171 papers:

ECOOP-2015-Choi #in the large #internet #programming

Programming in the Large for the Internet of Things (Invited Talk) (JDC), p. 2.

ECOOP-2015-Stroustrup #inheritance #object-oriented #programming

Object-Oriented Programming without Inheritance (Invited Talk) (BS), p. 1.

ECOOP-2015-Summers #stack #verification

Software Verification “Across the Stack” (Invited Talk) (AJS), p. 3.

CSL-2015-Abadi

The Prophecy of Timely Rollback (Invited Talk) (MA), p. 1.

CSL-2015-CarapelleL #constraints #logic

Temporal Logics with Local Constraints (Invited Talk) (CC, ML), pp. 2–13.

CSL-2015-Williams

Thinking Algorithmically About Impossibility (Invited Talk) (RRW), pp. 14–23.

LICS-2015-Pitts #symmetry #tutorial

Names and Symmetry in Computer Science (Invited Tutorial) (AMP), pp. 21–22.

LICS-2015-Smith #data flow #tutorial

Recent Developments in Quantitative Information Flow (Invited Tutorial) (GS), pp. 23–31.

RTA-2015-Kirchner #data analysis #graph

Port Graphs, Rules and Strategies for Dynamic Data Analytics — Extended Abstract (Invited Talk) (HK), pp. 1–4.

RTA-2015-Rosu #logic

Matching Logic — Extended Abstract (Invited Talk) (GR), pp. 5–21.

RTA-2015-Talcott #execution #formal method #logic #modelling

Executable Formal Models in Rewriting Logic (Invited Talk) (CLT), p. 22.

ICPC-2014-WenT #clustering #evaluation #product line

The MoJo family: a story about clustering evaluation (invited talk) (ZW, VT), p. 2.

DLT-2014-KutribM #automaton #communication

Measuring Communication in Automata Systems — (Invited Paper) (MK, AM), pp. 260–274.

DLT-2014-OkhotinS #automaton #nondeterminism

Input-Driven Pushdown Automata with Limited Nondeterminism — (Invited Paper) (AO, KS), pp. 84–102.

DLT-2014-Weil #algebra #logic

From Algebra to Logic: There and Back Again The Story of a Hierarchy — (Invited Paper) (PW), pp. 275–278.

ICALP-v1-2014-Kuncak #recursion #verification

Verifying and Synthesizing Software with Recursive Functions — (Invited Contribution) (VK), pp. 11–25.

CSCW-2014-HuangWY #comprehension #online #social

De-virtualizing social events: understanding the gap between online and offline participation for event invitations (AJH, HCW, CWY), pp. 436–448.

FSE-2014-Chandra

Are you getting traction? tales from the tech transfer trenches (invited talk) (SC), p. 5.

FSE-2014-Lam #named #network #social

Omlet: a revolution against big-brother social networks (invited talk) (MSL), p. 1.

FSE-2014-Penix #case study #developer #experience #tool support

Experiences developing tools for developers (invited talk) (JP), p. 4.

FSE-2014-Wolf #re-engineering

From software engineering to software systems (invited talk) (ALW), p. 2.

FSE-2014-Zimmermann

Data hard with a vengeance (invited talk) (TZ), p. 6.

RTA-TLCA-2014-Schmidt-Schauss #analysis #concurrent #programming language #semantics

Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) (MSS), pp. 21–30.

GT-VMT-2013-Corradini #concurrent #semantics

Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions (AC).

GT-VMT-2013-Giese #behaviour #graph transformation #probability

Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).

CSL-2013-Dershowitz

Res Publica: The Universal Model of Computation (Invited Talk) (ND), pp. 5–10.

CSL-2013-Girard #logic

Three lightings of logic (Invited Talk) (JYG), pp. 11–23.

CSL-2013-Oitavem #nondeterminism #recursion

From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.

CSL-2013-Tendera

Means and Limits of Decision (Invited Talk) (LT), pp. 28–29.

RTA-2013-Kari #automaton #generative

Pattern Generation by Cellular Automata (Invited Talk) (JK), pp. 1–3.

RTA-2013-Okada #multi #term rewriting

Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity (Invited Talk) (MO), pp. 4–19.

RTA-2013-VytiniotisJ #normalisation

Evidence Normalization in System FC (Invited Talk) (DV, SLPJ), pp. 20–38.

TAP-2013-KosmatovPS #proving #source code #tutorial

A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.

PODS-2012-Pierce #bidirectional #tutorial

Linguistic foundations for bidirectional transformations: invited tutorial (BCP), pp. 61–64.

VLDB-2012-Dogac #tutorial

Interoperability in eHealth Systems (Invited Tutorial) (AD), pp. 2026–2027.

FoSSaCS-2012-Winskel #concurrent #game studies

Bicategories of Concurrent Games — (Invited Paper) (GW), pp. 26–41.

WRLA-2012-BasuBBS #component #design

Rigorous Component-Based System Design — (Invited Paper) (AB, SB, MB, JS), pp. 1–9.

ICPC-2012-NierstraszL #agile #assessment

Agile software assessment (Invited paper) (ON, ML), pp. 3–10.

ICSE-2012-Braithwaite #how #industrial #programming #what

Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk) (KB), p. 998.

ICSE-2012-Chapman #ecosystem #industrial #towards

Towards a federated cloud ecosystem (Invited industrial talk) (CC), p. 967.

ICSE-2012-Kajko-MattssonSGJSHMMEBS #re-engineering

Refounding software engineering: The Semat initiative (Invited presentation) (MKM, MS, MG, IJ, IS, SH, PM, BM, BE, AJB, ES), pp. 1649–1650.

ICSE-2012-Penix #automation #in the cloud #industrial #scalability #testing

Large-scale test automation in the cloud (Invited industrial talk) (JP), p. 1122.

ICSE-2012-Schulte #analysis #automation #industrial

Ten years of automated code analysis at Microsoft (Invited industrial talk) (WS), p. 1001.

ICSE-2012-Sprenger #case study #experience #how #industrial #re-engineering

How software engineering can benefit from traditional industries — A practical experience report (Invited industrial talk) (TS), p. 1000.

ICSE-2012-Wolff #architecture #industrial #what

Software architecture — What does it mean in industry? (Invited industrial talk) (EW), p. 999.

CSL-2012-Abiteboul #distributed #web

Sharing Distributed Knowledge on the Web (Invited Talk) (SA), pp. 6–8.

CSL-2012-Cook #complexity #proving

Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk) (SAC), pp. 9–11.

CSL-2012-Lynce #named #satisfiability

Satisfiability: where Theory meets Practice (Invited Talk) (IL), pp. 12–13.

CSL-2012-Makowsky #complexity #graph #parametricity

Definability and Complexity of Graph Parameters (Invited Talk) (JAM), pp. 14–15.

ICLP-2012-BryS #query #semistructured data #simulation #unification

Simulation Unification: Beyond Querying Semistructured Data (Invited Talk) (FB, SS), pp. 1–13.

RTA-2012-Anai #algebra #geometry

Computational Real Algebraic Geometry in Practice (Invited Talk) (HA), p. 1.

RTA-2012-Kirchner #calculus #logic

Rho-Calculi for Computation and Logic (Invited Talk) (CK), pp. 2–4.

RTA-2012-Maneth

Dictionary-Based Tree Compression (Invited Talk) (SM), p. 5.

ESOP-2011-Appel

Verified Software Toolchain — (Invited Talk) (AWA), pp. 1–17.

CSMR-2011-Borchers #assessment #re-engineering

Invited Talk: Reengineering from a Practitioner’s View — A Personal Lesson’s Learned Assessment (JB), pp. 1–2.

CSMR-2011-Vangheluwe #challenge #modelling

Invited Talk: Promises and Challenges of Model-Driven Engineering (HV), pp. 3–4.

DLT-2011-Wilke #functional #regular expression

A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.

ICALP-v2-2011-Husfeldt #algorithm

Invitation to Algorithmic Uses of Inclusion-Exclusion (TH), pp. 42–59.

TOOLS-EUROPE-2011-Nierstrasz #modelling

Synchronizing Models and Code (Invited Talk) (ON), p. 1.

TOOLS-EUROPE-2011-Tip #debugging #web

Finding and Fixing Bugs in Web Applications (Invited Talk) (FT), p. 2.

CAV-2011-Platzer #composition #hybrid #logic #tutorial #verification

Logic and Compositional Verification of Hybrid Systems — (Invited Tutorial) (AP), pp. 28–43.

VMCAI-2011-Dill

Are Cells Asynchronous Circuits? — (Invited Talk) (DLD), p. 1.

VMCAI-2011-Logozzo #abstract interpretation #verification

Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation — (Invited Talk) (FL), pp. 19–22.

VMCAI-2011-SiegelG #analysis #formal method #message passing

Formal Analysis of Message Passing — (Invited Talk) (SFS, GG), pp. 2–18.

VMCAI-2011-SteffenR #quality

Quality Engineering: Leveraging Heterogeneous Information — (Invited Talk) (BS, OR), pp. 23–37.

KR-2010-BaralHS #information management #reasoning #representation

Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (CB, IH, YS).

MoDELS-v2-2010-Lee #modelling

Disciplined Heterogeneous Modeling — Invited Paper (EAL), pp. 273–287.

ICLP-2010-Aref10 #datalog #enterprise #industrial #research

Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk) (MA), p. 1.

ICLP-2010-Fages10 #biology #logic #paradigm

A Logical Paradigm for Systems Biology (Invited Talk) (FF), pp. 2–3.

PODS-2009-Arge #performance #tutorial #worst-case

Worst-case efficient range search indexing: invited tutorial (LA), pp. 175–176.

PEPM-2009-CifuentesKLS #debugging #detection #program analysis #using

Program analysis for bug detection using parfait: invited talk (CC, NK, LL, BS), pp. 7–8.

ICML-2009-Cortes #kernel #learning #performance #question

Invited talk: Can learning kernels help performance? (CC), p. 1.

ICML-2009-Freund #game studies #learning #online

Invited talk: Drifting games, boosting and online learning (YF), p. 2.

CAV-2008-Foster #industrial #tutorial #verification

Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) (HF), pp. 5–10.

CAV-2008-Harrison #proving #theorem proving #tutorial #verification

Theorem Proving for Verification (Invited Tutorial) (JH), pp. 11–18.

CAV-2008-Larus #design #named

Singularity: Designing Better Software (Invited Talk) (JRL), pp. 1–2.

CAV-2008-OHearn #logic #tutorial

Tutorial on Separation Logic (Invited Tutorial) (PWO), pp. 19–21.

PEPM-2007-MoorHV #object-oriented #query

Object-oriented queries over software systems: (abstract of invited talk) (OdM, EH, MV), p. 91.

VMCAI-2007-Madhusudan #algorithm #learning #tutorial #verification

Learning Algorithms and Formal Verification (Invited Tutorial) (PM), p. 214.

PODS-2005-Gehrke #analysis #modelling #privacy #tutorial

Models and methods for privacy-preserving data publishing and analysis: invited tutorial (JG), p. 316.

MoDELS-2005-Kimelman #architecture #research

Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.

MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability

Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.

MoDELS-2005-Vieira #case study #experience #generative #modelling #testing

Invited Presentation II: Experiences in Applying Model Based System Testing Generation (MV), p. 430.

MoDELS-2005-Kimelman #architecture #research

Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.

MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability

Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.

MoDELS-2005-Vieira #case study #experience #generative #modelling #testing

Invited Presentation II: Experiences in Applying Model Based System Testing Generation (MV), p. 430.

PASTE-2004-Ernst #dynamic analysis

Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.

PASTE-2004-Godefroid #model checking

Invited Talk: “Model checking” software with VeriSoft (PG), p. 36.

PASTE-2004-Leavens #exclamation #ml

Invited Talk: JML framed! (GTL), p. 1.

PEPM-2004-AkersBM #automation #c++ #component #program transformation #re-engineering

Invited application paper: re-engineering C++ components via automatic program transformation (RLA, IDB, MM), pp. 51–55.

PEPM-2004-BeyerCHJM #query #verification

Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 201–202.

PEPM-2004-Daugherty

Invited application paper: a proposal for the specialization of HA/DRE systems (GD), pp. 56–67.

PEPM-2004-Kamin #generative

Invited application paper: program generation considered easy (SK), pp. 68–79.

PEPM-2004-LawallMD #design #implementation #process #scheduling

Invited application paper: language design for implementing process scheduling hierarchies (JLL, GM, HD), pp. 80–91.

PEPM-2004-McIlraith #declarative #programming #towards #web #web service

Invited talk: towards declarative programming for web services (SAM), pp. 1–2.

PEPM-2004-Morrisett #question #what

Invited talk: what’s the future for proof-carrying code? (JGM), p. 203.

PEPM-2004-Shapiro #injection

Invited talk: injecting life with computers (EYS), p. 200.

PPDP-2004-BeyerCHJM #query #verification

Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 1–2.

PPDP-2004-McIlraith #declarative #programming #towards #web #web service

Invited talk: towards declarative programming for web services (SAM), pp. 3–4.

PPDP-2004-Morrisett #question #what

Invited talk: what’s the future for proof-carrying code? (JGM), p. 5.

PPDP-2004-Shapiro #injection

Invited talk: injecting life with computers (EYS), p. 6.

PPDP-2004-Smaragdakis #generative #tool support

Invited talk: program generators and the tools to make them (YS), pp. 7–8.

AGTIVE-2003-KarsaiA #architecture #graph transformation #modelling

Graph Transformations in OMG’s Model-Driven Architecture: (Invited Talk) (GK, AA), pp. 243–259.

AGTIVE-2003-Rising #graph grammar #graph transformation #multi #semantics

MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk) (HKR), pp. 369–382.

AdaEurope-2003-Leroy #ada

An Invitation to Ada 2005 (PL), pp. 1–23.

CSL-2003-Artemov #logic

Back to the Future: Explicit Logic for Computer Science (Invited Lecture) (SNA), p. 43.

CSL-2003-Buchberger #logic #symbolic computation

Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture) (BB), pp. 98–99.

CSL-2003-RybinaV #infinity #model checking #performance

Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture) (TR, AV), pp. 546–573.

CSL-2003-Veith #community #verification

Friends or Foes? Communities in Software Verification (Invited Lecture) (HV), pp. 528–529.

CSL-2003-Vorobjov #effectiveness #formal method #strict

Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture) (NV), p. 544.

RTA-2003-Giavitto #modelling #simulation

Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems (JLG), pp. 208–233.

RTA-2003-Lincoln #biology

Invited Talk: Symbolic Systems Biology (PL), p. 1.

RTA-2003-McAllester #algorithm #logic #ml #type inference

Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference (DAM), pp. 436–451.

PPDP-2002-JonesG #analysis #generative #termination

Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis (NDJ, AJG), p. 1.

ICEIS-v1-2001-Maamar

Moving Code (Servlet Strategy) vs. Inviting Code (Applet Strategy) (ZM), pp. 295–303.

PODS-2000-Gupta #information management #research #tutorial

Entrepreneurship for Information Systems Researchers (Abstract of Invited Tutorial) (AG0), p. 195.

VLDB-2000-Carey #industrial #research

Toto, We’re Not in Kansas Anymore: On Transitioning from Research to the Real (Invited Industrial Talk) (MJC), p. 733.

WRLA-2000-Millen #analysis #bibliography #encryption #protocol #term rewriting

Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk (JKM), pp. 229–234.

WRLA-2000-Nakashima #bibliography #information management

Cyber Assistance for Situtated Human Information Processing Overview of the invited talk (HN), pp. 292–293.

PEPM-2000-Das #case study #experience #scalability #source code #static analysis

Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk) (MD), p. 1.

PEPM-2000-Pfenning #logic #on the #staged

On the Logical Foundations of Staged Computation (Abstract of Invited Talk) (FP), p. 33.

PEPM-2000-Walpole #case study #challenge #experience #operating system

Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk) (JW), p. 83.

ICFP-2000-HarperP

Advanced module systems: a guide for the perplexed (abstract of invited talk) (RH, BCP), p. 130.

ICFP-2000-Seger #functional #hardware #programming #verification

Combining functional programming and hardware verification (abstract of invited talk) (CJHS), p. 244.

KDD-2000-Buchanan #information management #source code #using

Informed knowledge discovery: using prior knowledge in discovery programs (invited talk, abstract only) (BGB), p. 3.

KDD-2000-Catlett #data mining #mining #privacy

Among those dark electronic mills: privacy and data mining (invited talk, abstract only) (JC), p. 4.

KDD-2000-Cutler #metric #named

E-metrics: tomorrow’s business metrics today (invited talk, abstract only) (MC), p. 6.

KDD-2000-Goodnight

Decision support in the booming e-world (invited talk, abstract only) (JG), p. 5.

KDD-2000-Papadimitriou #data mining #mining #on the

On certain rigorous approaches to data mining (invited talk, abstract only) (CHP), p. 2.

KDD-2000-Stodder #data mining #mining

After the gold rush (invited talk, abstract only): data mining in the new economy (invited talk, abstract only) (DS), p. 7.

ICSE-2000-Booch #future of

The future of software (abstract of invited presentation) (GB), p. 3.

ICSE-2000-Castells

Is the new economy socially sustainable? (abstract of invited presentation) (MC), p. 2.

ICSE-2000-Horn

Dot com versus bricks and mortar — the impact of portal technology (abstract of invited presentation) (CH), p. 4.

CAV-2000-AbdullaJ #infinity #tutorial #verification

Invited Tutorial: Verification of Infinite-State and Parameterized Systems (PAA, BJ), p. 4.

CAV-2000-Marques-SilvaS #algorithm #automation #design #satisfiability #tutorial

Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation (JPMS, KAS), p. 3.

CAV-2000-Meadows #analysis #encryption #formal method #protocol

Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis (CM), p. 2.

SIGAda-1999-Balfour #corba

The current state of CORBA (invited presentation) (BB), p. 223.

KDD-1999-Agrawal #data mining #mining

Data Mining: Crossing the Chasm (Invited talk, Abstract only) (RA), p. 2.

KDD-1999-Hackathorn #web

Farming the Web for Systematic Business Intelligence (Invited talk, Abstract only) (RDH), p. 3.

KDD-1999-Pregibon #named #statistics

2001: A Statistical Odyssey (Invited talk, Abstract only) (DP), p. 4.

CADE-1999-Gradel #logic

Invited Talk: Decision procedures for guarded logics (EG), pp. 31–51.

CADE-1999-Nieuwenhuis #constraints #deduction

Invited Talk: Rewrite-based Deduction and Symbolic Constraints (RN), pp. 302–313.

CADE-1999-Nipkow #programming language #proving #theorem proving

Invited Talk: Embedding Programming Languages in Theorem Provers (Abstract) (TN), p. 398.

SAC-1998-Nola #algebra #aspect-oriented #fuzzy #logic

Algebraic aspects of fuzzy logic (invited talk) (AdN), pp. 255–261.

CADE-1998-Kaufmann #verification

ACL2 Support for Verification Projects (Invited Talk) (MK), pp. 220–238.

CADE-1998-Pfenning #deduction #linear #logic #reasoning

Reasoning About Deductions in Linear Logic (Abstract of Invited Talk) (FP), pp. 1–2.

CADE-1998-Pnueli #deduction #verification

Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk) (AP), p. 301.

ICSE-1997-Osterweil #process

Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (LJO), pp. 540–548.

KR-1996-Gottlob #complexity #power of

Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) (GG), pp. 647–649.

HPDC-1995-Richer #bibliography #challenge

Invited Paper: Overview of the MAGIC Project — Challenges and Accomplishments (IR), p. 139.

TOOLS-USA-1991-Joloboff #object-oriented #tool support

Invited Paper: OSF Motif: An Object-Oriented Toolkit (VJ), pp. 7–22.

RTA-1989-Birkhoff #algebra #term rewriting

Term Rewriting and Universal Algebra in Historical Perspective (Abstract of Invited Lecture) (GB), p. 1.

SIGMOD-1988-GarzaK #database #object-oriented #transaction

Transaction Management in an Object-Oriented Database System (Invited Paper) (JFG, WK), pp. 37–45.

SIGMOD-1988-Group #benchmark #metric #sql #transaction

A Benchmark of NonStop SQL on the Debit Credit Transaction (Invited Paper) (TTPG), pp. 337–341.

CSCW-1988-BodkerEKKM #design

Computer Support for Cooperative Design (invited paper) (SB, PE, JK, MK, KHM), pp. 377–394.

LICS-1988-Meyer #paradigm #semantics

Semantical Paradigms: Notes for an Invited Lecture, with Two Appendices by Stavros S. Cosmadakis (ARM), pp. 236–253.

LICS-1987-Milner #fixpoint

Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) (RM), p. 3.

ICLP-1986-JaffarLM86 #logic programming #roadmap #semantics

Invited Talk: Some Issues and Trends in the Semantics of Logic Programming (JJ, JLL, MJM), pp. 223–241.

LICS-1986-Girard #semantics

Quantitative and Qualitative Semantics (Abstract of Invited Lecture) (JYG), p. 258.

LICS-1986-Nerode #research

A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture) (AN), p. 120.

LICS-1986-Robinson #functional #programming #reduction #relational

Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) (JAR), p. 2.

DAC-1982-Breuer #automation #bibliography #design #state of the art

A survey of the state-of-the-art of design automation an invited presentation (MAB), p. 1.

VLDB-1982-BernsteinG #concurrent #distributed

A Sophisticate’s Introduction to Distributed Concurrency Control (Invited Paper) (PAB, NG), pp. 62–76.

VLDB-1982-BjornerL #database #formal method

Formalization of Database Systems — and a Formal Definition of IMS (Invited Paper) (DB, HHL), pp. 334–347.

VLDB-1982-StonebrakerK #named

TIMBER: A Sophisticated Relation Browser (Invited Paper) (MS, JK), pp. 1–10.

VLDB-1981-ChamberlinGY #sql

A History of System R and SQL/Data System (Invited Paper) (DDC, AMG, RAY), pp. 456–464.

VLDB-1981-DeWittH #architecture #database #evaluation #performance

A Performance Evaluation of Data Base Machine Architectures (Invited Paper) (DJD, PBH), pp. 199–214.

VLDB-1981-Gallaire #database #logic

Impacts of Logic and Databases (Invited Paper) (HG), pp. 248–259.

VLDB-1981-Gray #concept #transaction

The Transaction Concept: Virtues and Limitations (Invited Paper) (JG), pp. 144–154.

VLDB-1981-Sevcik #database #performance #predict #using

Data Base System Performance Prediction Using an Analytical Model (Invited Paper) (KCS), pp. 182–198.

VLDB-1981-Tsichritzis #database

Integrating Data Base and Message Systems (Invited Paper) (DT), pp. 356–362.