BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
data type
Google data type

Tag #data type

897 papers:

POPLPOPL-2020-JonesME #ad hoc
Partial type constructors: or, making ad hoc datatypes less ad hoc (MPJ, JGM, RAE), p. 28.
POPLPOPL-2020-MeyerW #lifecycle #memory management #pointer
Pointer life cycle types for lock-free data structures with memory reclamation (RM0, SW), p. 36.
POPLPOPL-2020-XieEO
Kind inference for datatypes (NX, RAE, BCdSO), p. 28.
ASPLOSASPLOS-2020-MaZCSWQ #architecture #framework #implementation #named #performance #persistent #symmetry
AsymNVM: An Efficient Framework for Implementing Persistent Data Structures on Asymmetric NVM Architecture (TM, MZ, KC, ZS, YW, XQ), pp. 757–773.
ASPLOSASPLOS-2020-MemaripourIS #named #performance #persistent
Pronto: Easy and Fast Persistence for Volatile Data Structures (AM, JI, SS), pp. 789–806.
CCCC-2020-FegadeW #analysis #modelling #pointer #scalability #semantics #using
Scalable pointer analysis of data structures using semantic models (PF, CW), pp. 39–50.
ICSMEICSME-2019-Shah #analysis #framework #performance
Lib Metamorphosis: A Performance Analysis Framework for Exchanging Data Structures in Performance Sensitive Applications (MDS), pp. 379–381.
FMFM-2019-DerrickDDSW #concurrent #correctness #persistent #verification
Verifying Correctness of Persistent Concurrent Data Structures (JD, SD, BD, GS, HW), pp. 179–195.
CIKMCIKM-2019-0002LG #performance #semistructured data
Efficient Join Processing Over Incomplete Data Streams (WR0, XL, KG), pp. 209–218.
CIKMCIKM-2019-KawabataMS #automation #mining
Automatic Sequential Pattern Mining in Data Streams (KK, YM, YS), pp. 1733–1742.
KDDKDD-2019-FedoryszakFRZ #detection #realtime #social
Real-time Event Detection on Social Data Streams (MF, BF, VR, CZ), pp. 2774–2782.
KDDKDD-2019-HulsebosHBZSKDH #approach #detection #learning #named #semantics
Sherlock: A Deep Learning Approach to Semantic Data Type Detection (MH, KZH, MAB, EZ, AS, TK, ÇD, CAH), pp. 1500–1508.
KDDKDD-2019-MatsubaraS #modelling
Dynamic Modeling and Forecasting of Time-evolving Data Streams (YM, YS), pp. 458–468.
OOPSLAOOPSLA-2019-KakiPSJ
Mergeable replicated data types (GK, SP, KCS, SJ), p. 29.
OOPSLAOOPSLA-2019-WangCMH #c #source code
Certifying graph-manipulating C programs via localizations within data structures (SW, QC, AM, AH), p. 30.
POPLPOPL-2019-MeyerW #memory management #static analysis
Decoupling lock-free data structures from memory reclamation for static analysis (RM0, SW), p. 31.
POPLPOPL-2019-MorrisM
Abstracting extensible data types: or, rows by any other name (JGM, JM), p. 28.
ICSE-2019-HuangLKSHLW #using
Distilling neural representations of data structure manipulation using fMRI and fNIRS (YH0, XL, RK, TS, XH, KL, WW), pp. 396–407.
ICSE-2019-MolinaDPRAF #classification #invariant
Training binary classifiers as data structure invariants (FM, RD, PP, GR, NA, MFF), pp. 759–770.
CAVCAV-2019-BiswasEE #complexity #consistency #on the
On the Complexity of Checking Consistency for Replicated Data Types (RB, ME, CE), pp. 324–343.
CIKMCIKM-2018-GaikwadMA #performance #query
Data Structure for Efficient Line of Sight Queries (SG, MM, DCA), pp. 1535–1538.
ICMLICML-2018-BoracchiCCM #detection #multi #named
QuantTree: Histograms for Change Detection in Multivariate Data Streams (GB, DC, CC, DM), pp. 638–647.
ICMLICML-2018-BravermanCKLWY #matrix #multi #performance
Matrix Norms in Data Streams: Faster, Multi-Pass and Row-Order (VB, SRC, RK, YL0, DPW, LFY), pp. 648–657.
ICMLICML-2018-Norouzi-FardTMZ #approximate
Beyond 1/2-Approximation for Submodular Maximization on Massive Data Streams (ANF, JT, SM, AZ, AM, OS), pp. 3826–3835.
ICMLICML-2018-WagnerGKM #learning
Semi-Supervised Learning on Data Streams via Temporal Label Propagation (TW, SG, SPK, NM), pp. 5082–5091.
KDDKDD-2018-0003GZZSL #named
HeavyGuardian: Separate and Guard Hot Items in Data Streams (TY0, JG, HZ, LZ0, LS, XL), pp. 2584–2593.
KDDKDD-2018-NaKY #detection #effectiveness #memory management #named #performance
DILOF: Effective and Memory Efficient Local Outlier Detection in Data Streams (GSN, DHK, HY), pp. 1993–2002.
ECMFAECMFA-2018-BertoaMBBTV #metric #nondeterminism #ocl #uml
Expressing Measurement Uncertainty in OCL/UML Datatypes (MFB, NM, GB, LB, JT, AV), pp. 46–62.
OnwardOnward-2018-OkaMA #programming #visualisation
Live, synchronized, and mental map preserving visualization for data structure programming (AO, HM, TA), pp. 72–87.
OOPSLAOOPSLA-2018-Cohen #memory management
Every data structure deserves lock-free memory reclamation (NC), p. 24.
POPLPOPL-2018-KrishnaSW #abstraction #composition #concurrent
Go with the flow: compositional abstractions for concurrent data structures (SK, DES, TW), p. 31.
ESEC-FSEESEC-FSE-2018-BasiosLWKB
Darwinian data structure selection (MB, LL, FW, LK, ETB), pp. 118–128.
ICSE-2018-LoncaricET #synthesis
Generalized data structure synthesis (CL, MDE, ET), pp. 958–968.
CASECASE-2018-WangKZY #concept #detection #learning #multi
A Multiscale Concept Drift Detection Method for Learning from Data Streams (XW, QK, MZ, SY), pp. 786–790.
CCCC-2018-KastrinisBFPS #alias #analysis #performance
An efficient data structure for must-alias analysis (GK, GB, KF, NPK, YS), pp. 48–58.
ESOPESOP-2018-OstermannJ #algebra #matrix
Dualizing Generalized Algebraic Data Types by Matrix Transposition (KO, JJ), pp. 60–85.
IJCARIJCAR-2018-BlanchettePR
Superposition with Datatypes and Codatatypes (JCB, NP, SR), pp. 370–387.
IJCARIJCAR-2018-ReynoldsVBTB
Datatypes with Shared Selectors (AR, AV, HB, CT, CWB), pp. 591–608.
HaskellHaskell-2017-ChenCN #adaptation #concurrent #haskell #implementation
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping (CHC, VC, RRN), pp. 197–211.
ICMLICML-2017-BravermanFLSY #clustering
Clustering High Dimensional Dynamic Data Streams (VB, GF, HL, CS, LFY), pp. 576–585.
ICMLICML-2017-MasegosaNLRSM #modelling
Bayesian Models of Data Streams with Hierarchical Power Priors (ARM, TDN, HL, DRL, AS, ALM), pp. 2334–2343.
KDDKDD-2017-BifetZFHZQHP #evolution #mining #performance
Extremely Fast Decision Tree Mining for Evolving Data Streams (AB, JZ, WF0, CH, JZ, JQ, GH0, BP), pp. 1733–1742.
KDDKDD-2017-QuiselFSK
Collecting and Analyzing Millions of mHealth Data Streams (TQ, LF, AS, DCK), pp. 1971–1980.
ECOOPECOOP-2017-CastegrenW #linear
Relaxed Linear References for Lock-free Data Structures (EC, TW), p. 32.
ECOOPECOOP-2017-DelbiancoSNB #concurrent
Concurrent Data Structures Linked in Time (GAD, IS, AN, AB0), p. 30.
ASEASE-2017-RupprechtC0BLB #c #c++ #identification #named
DSIbin: identifying dynamic data structures in C/C++ binaries (TR, XC0, DHW0, JHB, GL, HB), pp. 331–341.
ASPLOSASPLOS-2017-CalciuSBA #architecture #black box #concurrent
Black-box Concurrent Data Structures for NUMA Architectures (IC, SS0, MB0, MKA), pp. 207–221.
CASECASE-2017-XianWL #adaptation #big data #monitoring #online #parametricity
A nonparametric adaptive sampling strategy for online monitoring of big data streams (XX, AW, KL), pp. 844–846.
CCCC-2017-JaberK #clustering
Data structure-aware heap partitioning (NJ, MK0), pp. 109–119.
CAVCAV-2017-BasinKZ #runtime #verification
Runtime Verification of Temporal Properties over Out-of-Order Data Streams (DAB, FK, EZ), pp. 356–376.
ICSTICST-2017-XuLC #concurrent #debugging #testing #using
Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures (JX, YL, RHC), pp. 35–46.
EDMEDM-2016-FouhFHKS #data analysis #topic #using
Investigating Difficult Topics in a Data Structures Course Using Item Response Theory and Logged Data Analysis (EF, MFF, SH, KHK, CAS), pp. 370–375.
EDMEDM-2016-LiuDS #data-driven #multi #towards #using
Beyond Log Files: Using Multi-Modal Data Streams Towards Data-Driven KC Model Improvement (RL0, JLD, JCS), pp. 436–441.
FSCDFSCD-2016-Nipkow #analysis #functional
Verified Analysis of Functional Data Structures (TN), p. 2.
ICFP-2016-McDonellZCN #named
Ghostbuster: a tool for simplifying and converting GADTs (TLM, TAKZ, MC, RRN), pp. 338–350.
ICFP-2016-ThibodeauCP
Indexed codata types (DT, AC, BP), pp. 351–363.
CIKMCIKM-2016-BonabC #classification #framework #online
A Theoretical Framework on the Ideal Number of Classifiers for Online Ensembles in Data Streams (HRB, FC), pp. 2053–2056.
CIKMCIKM-2016-NadungodageXL #framework #mining #named
GStreamMiner: A GPU-accelerated Data Stream Mining Framework (CHN, YX, JJL), pp. 2489–2492.
CIKMCIKM-2016-WangMGWY #distributed #framework #named #resource management
OrientStream: A Framework for Dynamic Resource Allocation in Distributed Data Stream Management Systems (CW, XM0, QG, ZW, CY), pp. 2281–2286.
ICMLICML-2016-AdamsSTPKM #random #smarttech
Hierarchical Span-Based Conditional Random Fields for Labeling and Segmenting Events in Wearable Sensor Data Streams (RJA, NS, ET, AP, SK0, BMM), pp. 334–343.
ICPRICPR-2016-BarddalGBE #benchmark #classification #metric
A benchmark of classifiers on feature drifting data streams (JPB, HMG, AdSBJ, FE), pp. 2180–2185.
KDDKDD-2016-MoralesBKGF #big data #mining
IoT Big Data Stream Mining (GDFM, AB, LK, JG, WF0), pp. 2119–2120.
PADLPADL-2016-SerranoH #haskell #regular expression
Generic Matching of Tree Regular Expressions over Haskell Data Types (AS0, JH), pp. 83–98.
PLDIPLDI-2016-SpiegelmanGK #library #transaction
Transactional data structure libraries (AS, GGG, IK), pp. 682–696.
POPLPOPL-2016-0008E #type inference
Principal type inference for GADTs (SC0, ME), pp. 416–428.
POPLPOPL-2016-CaiGO #programming #recursion
System f-omega with equirecursive types for datatype-generic programming (YC, PGG, KO), pp. 30–43.
POPLPOPL-2016-EmmiE #type inference
Symbolic abstract data type inference (ME, CE), pp. 513–525.
POPLPOPL-2016-RobbinsKS #decompiler #recursion #semantics
From MinX to MinC: semantics-driven decompilation of recursive datatypes (ER, AK, TS), pp. 191–203.
POPLPOPL-2016-SinghG #spreadsheet #using
Transforming spreadsheet data types using examples (RS, SG), pp. 343–356.
FSEFSE-2016-Loncaric #synthesis
Data structure synthesis (CL), pp. 1073–1075.
FSEFSE-2016-Loncaric16a #named
Cozy: synthesizing collection data structures (CL), pp. 1103–1105.
CCCC-2016-KusumNG #adaptation #flexibility
Safe and flexible adaptation via alternate data structure representations (AK, IN, RG0), pp. 34–44.
CCCC-2016-SinghGN #automation #fault
Automatic fault location for data structures (VS, RG0, IN), pp. 99–109.
ESOPESOP-2016-AlurFR #programming
Regular Programming for Quantitative Properties of Data Streams (RA, DF, MR), pp. 15–40.
VMCAIVMCAI-2016-BakstJ #abstraction #linked data #open data
Predicate Abstraction for Linked Data Structures (AB, RJ), pp. 65–84.
PODSPODS-2015-MunroNV #documentation #graph
Dynamic Data Structures for Document Collections and Graphs (JIM, YN, JSV), pp. 277–289.
SIGMODSIGMOD-2015-JiZJNHF #execution #quality #query
Quality-Driven Continuous Query Execution over Out-of-Order Data Streams (YJ, HZ, ZJ, AN, GH, CF), pp. 889–894.
SIGMODSIGMOD-2015-KatsipoulakisTG #named
CE-Storm: Confidential Elastic Processing of Data Streams (NRK, CT, EAG, AL, AJL, PKC), pp. 859–864.
ITiCSEITiCSE-2015-MishraI #student
Question-Posing strategies used by students for exploring Data Structures (SM, SI), pp. 171–176.
SANERSANER-2015-SinghGN #graph #memory management
MG++: Memory graphs for analyzing dynamic data structures (VS, RG, IN), pp. 291–300.
ICALPICALP-v1-2015-WeinsteinW #communication
The Simultaneous Communication of Disjointness with Applications to Data Streams (OW, DPW), pp. 1082–1093.
LATALATA-2015-BilleGV
Compressed Data Structures for Range Searching (PB, ILG, SV), pp. 577–586.
ICFPICFP-2015-JaskelioffR #functional
Functional pearl: a smart view on datatypes (MJ, ER), pp. 355–361.
ICFPICFP-2015-KarachaliasSVJ #lazy evaluation #pattern matching
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness (GK, TS, DV, SLPJ), pp. 424–436.
CHICHI-2015-OuVH #development #interactive
An Interactive System for Data Structure Development (JO, MTV, OH), pp. 3053–3062.
CIKMCIKM-2015-ChenSJ #analysis #infinity
Private Analysis of Infinite Data Streams via Retroactive Grouping (RC, YS, HJ), pp. 1061–1070.
CIKMCIKM-2015-HaoZHM #learning #online #similarity
Learning Relative Similarity from Data Streams: Active Online Learning Approaches (SH, PZ, SCHH, CM), pp. 1181–1190.
CIKMCIKM-2015-HuangLY #approach #clustering #parallel #performance
A Parallel GPU-Based Approach to Clustering Very Fast Data Streams (PH, XL, BY0), pp. 23–32.
CIKMCIKM-2015-HuangYK #feature model
Unsupervised Feature Selection on Data Streams (HH, SY, SPK), pp. 1031–1040.
CIKMCIKM-2015-KutzkovAN #estimation #similarity
Weighted Similarity Estimation in Data Streams (KK, MA, SN), pp. 1051–1060.
ICMLICML-2015-AhnCGMW #clustering #correlation
Correlation Clustering in Data Streams (KJA, GC, SG, AM, AW), pp. 2237–2246.
KDDKDD-2015-BifetMRHP #big data #classification #evaluation #online #performance
Efficient Online Evaluation of Big Data Stream Classifiers (AB, GDFM, JR, GH, BP), pp. 59–68.
KDDKDD-2015-QahtanAWZ #detection #framework #multi
A PCA-Based Change Detection Framework for Multidimensional Data Streams: Change Detection in Multidimensional Data Streams (AAQ, BA, SW, XZ), pp. 935–944.
RecSysRecSys-2015-Ludmann #online #recommendation
Online Recommender Systems based on Data Stream Management Systems (CAL), pp. 391–394.
SIGIRSIGIR-2015-AlbakourMO #identification #metadata #topic #using
Using Sensor Metadata Streams to Identify Topics of Local Events in the City (MDA, CM, IO), pp. 711–714.
OnwardOnward-2015-WaelMKSM
Just-in-time data structures (MDW, SM, JDK, JBS, WDM), pp. 61–75.
OOPSLAOOPSLA-2015-0003KLS #memory management #multi #performance #scalability
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures (MA, CMK, ML, AS), pp. 451–469.
OOPSLAOOPSLA-2015-CohenP #automation #memory management
Automatic memory reclamation for lock-free data structures (NC, EP), pp. 260–279.
PLDIPLDI-2015-FeserCD
Synthesizing data structure transformations from input-output examples (JKF, SC, ID), pp. 229–239.
POPLPOPL-2015-DelawarePGC #deduction #named #proving #synthesis
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant (BD, CPC, JG, AC), pp. 689–700.
POPLPOPL-2015-SekiyamaNI #contract
Manifest Contracts for Datatypes (TS, YN, AI), pp. 195–207.
ICSEICSE-v1-2015-DeweyNH #automation #generative
Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
SACSAC-2015-BarddalGE #algorithm #clustering #named #social
SNCStream: a social network-based data stream clustering algorithm (JPB, HMG, FE), pp. 935–940.
SACSAC-2015-GomesBE #classification #learning
Pairwise combination of classifiers for ensemble learning on data streams (HMG, JPB, FE), pp. 941–946.
SACSAC-2015-JoselliJC #animation #gpu #named #proximity
NGrid: a proximity data structure for fluids animation with GPU computing (MJ, JRdSJ, EC), pp. 1303–1308.
SACSAC-2015-PapeBH #adaptation #execution #optimisation #performance
Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution (TP, CFB, RH), pp. 1970–1977.
SACSAC-2015-ReadPB #learning
Deep learning in partially-labeled data streams (JR, FPC, AB), pp. 954–959.
SACSAC-2015-Usener #assessment #automation #education #named
EASy-DSBuilder: automated assessment of tree data structures in computer science teaching (CAU), pp. 220–226.
ASPLOSASPLOS-2015-DavidGT #concurrent #scalability
Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures (TD, RG, VT), pp. 631–644.
DATEDATE-2015-KanounS #big data #concept #detection #learning #online #scheduling #streaming
Big-data streaming applications scheduling with online learning and concept drift detection (KK, MvdS), pp. 1547–1550.
ISMMISMM-2015-CohenP #garbage collection
Data structure aware garbage collector (NC, EP), pp. 28–40.
ESOPESOP-2015-Blanchette0T
Witnessing (Co)datatypes (JCB, AP, DT), pp. 359–382.
ESOPESOP-2015-GotsmanY
Composite Replicated Data Types (AG, HY), pp. 585–609.
ESOPESOP-2015-Ricciotti
Binding Structures as an Abstract Data Type (WR), pp. 762–786.
FASEFASE-2015-AndriescuMI #automaton #using
Composing Message Translators and Inferring Their Data Types Using Tree Automata (EA, TM, VI), pp. 35–50.
CADECADE-2015-ReynoldsB #smt
A Decision Procedure for (Co)datatypes in SMT Solvers (AR, JCB), pp. 197–213.
VMCAIVMCAI-2015-MukundRS #bound #implementation
Bounded Implementations of Replicated Data Types (MM, GSR, SPS), pp. 355–372.
SIGMODSIGMOD-2014-YamamotoIF #approximate #mining
Resource-oriented approximation for frequent itemset mining from bursty data streams (YY, KI, SF), pp. 205–216.
VLDBVLDB-2014-CaoWR #big data #interactive
Interactive Outlier Exploration in Big Data Streams (LC, QW, EAR), pp. 1621–1624.
EDMEDM-2014-GrafsgaardWBWL #learning #multimodal #predict #tutorial
Predicting Learning and Affect from Multimodal Data Streams in Task-Oriented Tutorial Dialogue (JFG, JBW, KEB, ENW, JCL), pp. 122–129.
ICPCICPC-2014-White #identification #named
dsOli: data structure operation location and identification (DHW), pp. 48–52.
ICALPICALP-v1-2014-ReingoldRW #graph #pseudo
Pseudorandom Graphs in Data Structures (OR, RDR, UW), pp. 943–954.
ICALPICALP-v1-2014-WangY
Certificates in Data Structures (YW, YY), pp. 1039–1050.
IFMIFM-2014-CalvaneseKSVZ #analysis
Shape and Content — A Database-Theoretic Perspective on the Analysis of Data Structures (DC, TK, MS, HV, FZ), pp. 3–17.
RTARTA-TLCA-2014-EscardoS #type system
Abstract Datatypes for Real Numbers in Type Theory (MHE, AS), pp. 208–223.
IFLIFL-2014-KoopmanPJ #encoding #functional #harmful #implementation
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.
HCIHIMI-DE-2014-SutoPK #collaboration #design #multi
A Collaboration Support Tool for Multi-cultural Design Team Based on Extended ADT Model (HS, PP, NK), pp. 548–557.
CIKMCIKM-2014-BoghCSA #named
Hashcube: A Data Structure for Space- and Query-Efficient Skycube Compression (KSB, SC, DS, IA), pp. 1767–1770.
CIKMCIKM-2014-ChatzistergiouV #clustering #heuristic #performance
Fast Heuristics for Near-Optimal Task Allocation in Data Stream Processing over Clusters (AC, SDV), pp. 1579–1588.
CIKMCIKM-2014-ChenC #incremental #matrix #named
GI-NMF: Group Incremental Non-Negative Matrix Factorization on Data Streams (XC, KSC), pp. 1119–1128.
CIKMCIKM-2014-LimCK #performance
Fast, Accurate, and Space-efficient Tracking of Time-weighted Frequent Items from Data Streams (YL, JC, UK), pp. 1109–1118.
CIKMCIKM-2014-ZhaoCN #approach #probability
Truth Discovery in Data Streams: A Single-Pass Probabilistic Approach (ZZ, JC, WN), pp. 1589–1598.
ICPRICPR-2014-BougueliaBB #classification #detection #novel #performance
Efficient Active Novel Class Detection for Data Stream Classification (MRB, YB, AB), pp. 2826–2831.
KDDKDD-2014-ShaoAK #concept #learning #prototype
Prototype-based learning on concept-drifting data streams (JS, ZA, SK), pp. 412–421.
MLDMMLDM-2014-BaroutiKKM #clustering #distributed #monitoring
Monitoring Distributed Data Streams through Node Clustering (MB, DK, JK, YM), pp. 149–162.
MLDMMLDM-2014-WaiyamaiKSR #classification #concept #named
ACCD: Associative Classification over Concept-Drifting Data Streams (KW, TK, BS, TR), pp. 78–90.
ECOOPECOOP-2014-GramoliG #concurrent #reuse
Reusable Concurrent Data Types (VG, RG), pp. 182–206.
OnwardOnward-2014-WalkingshawKEAB #trade-off #variability
Variational Data Structures: Exploring Tradeoffs in Computing with Variability (EW, CK, ME, SA, EB), pp. 213–226.
OOPSLAOOPSLA-2014-HolkNSL #gpu #memory management #programming language
Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host (EH, RN, JGS, AL), pp. 141–155.
PLDIPLDI-2014-PekQM #c #logic #proving #using
Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.
POPLPOPL-2014-BurckhardtGYZ #specification #verification
Replicated data types: specification, verification, optimality (SB, AG, HY, MZ), pp. 271–284.
POPLPOPL-2014-MillerHKS #authentication
Authenticated data structures, generically (AM, MH, JK, ES), pp. 411–424.
SACSAC-2014-GomesE #adaptation #classification #named #social
SAE2: advances on the social adaptive ensemble classifier for data streams (HMG, FE), pp. 798–804.
SACSAC-2014-IencoBPP #category theory #detection #evolution
Change detection in categorical evolving data streams (DI, AB, BP, PP), pp. 792–797.
PPoPPPPoPP-2014-0003VTCT #scheduling
Data structures for task-based priority scheduling (MW, FV, JLT, DC, PT), pp. 379–380.
PPoPPPPoPP-2014-AgrawalFSSU #parallel #scheduling #source code
Provably good scheduling for parallel programs that use data structures through implicit batching (KA, JTF, BS, JS, RU), pp. 389–390.
PPoPPPPoPP-2014-TimnatP #simulation
A practical wait-free simulation for lock-free data structures (ST, EP), pp. 357–368.
CAVCAV-2014-LesaniMP #automation #concurrent #verification
Automatic Atomicity Verification for Clients of Concurrent Data Structures (ML, TDM, JP), pp. 550–567.
CAVCAV-2014-SanchezS #concurrent #named #verification
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes (AS, CS), pp. 620–627.
CBSECBSE-2013-BurtonS #correctness #mixin #using
Correctness of intrusive data structures using mixins (EB, ES), pp. 53–58.
SIGMODSIGMOD-2013-AnanthanarayananBDGJQRRSV #fault tolerance #named #scalability
Photon: fault-tolerant and scalable joining of continuous data streams (RA, VB, SD, AG, HJ, TQ, AR, DR, MS, SV), pp. 577–588.
SIGMODSIGMOD-2013-GeorgiadisKGPTM #algorithm #detection #framework #state of the art
Continuous outlier detection in data streams: an extensible framework and state-of-the-art algorithms (DG, MK, AG, ANP, KT, YM), pp. 1061–1064.
SIGMODSIGMOD-2013-GolabJ
Data stream warehousing (LG, TJ), pp. 949–952.
SIGMODSIGMOD-2013-Horikawa #design #evaluation #implementation
Latch-free data structures for DBMS: design, implementation, and evaluation (TH), pp. 409–420.
SIGMODSIGMOD-2013-KaufmannMVFKFM #query #timeline
Timeline index: a unified data structure for processing queries on temporal data in SAP HANA (MK, AAM, PV, PMF, DK, FF, NM), pp. 1173–1184.
SIGMODSIGMOD-2013-PapadopoulosCDG #algebra #authentication #lightweight #linear #query
Lightweight authentication of linear algebraic queries on data streams (SP, GC, AD, MNG), pp. 881–892.
SIGMODSIGMOD-2013-WangLYC #case study
Quantiles over data streams: an experimental study (LW, GL, KY, GC), pp. 737–748.
VLDBVLDB-2013-DuttaNB #approach #approximate #detection #streaming
Streaming Quotient Filter: A Near Optimal Approximate Duplicate Detection Approach for Data Streams (SD, AN, SKB), pp. 589–600.
VLDBVLDB-2013-YangZHLRW #mining
Mining and Linking Patterns across Live Data Streams and Stream Archives (DY, KZ, MH, HL, EAR, MOW), pp. 1346–1349.
ITiCSEITiCSE-2013-BryfczynskiPCKD #education
Teaching data structures with beSocratic (SB, RPP, MC, MK, BCD), pp. 105–110.
WCREWCRE-2013-HallerSB #c #c++ #detection #named
MemPick: High-level data structure detection in C/C++ binaries (IH, AS, HB), pp. 32–41.
WCREWCRE-2013-HallerSB13a #detection #named
MemPick: A tool for data structure detection (IH, AS, HB), pp. 479–480.
ICALPICALP-v2-2013-ImNP #parametricity #recursion
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.
EDOCEDOC-2013-BerryM #health #legacy #monitoring #quality #realtime
Real-Time Analytics for Legacy Data Streams in Health: Monitoring Health Data Quality (AB, ZM), pp. 91–100.
EDOCEDOC-2013-SousaMGM #approach #architecture #enterprise #risk management #using
Assessing Risks and Opportunities in Enterprise Architecture Using an Extended ADT Approach (SS, DM, KG, NM), pp. 81–90.
ICEISICEIS-v1-2013-CazzolatoRYS #algorithm #classification #statistics
A Statistical Decision Tree Algorithm for Data Stream Classification (MTC, MXR, CAY, MTPS), pp. 217–223.
CIKMCIKM-2013-ChengCLWAC #learning #multi
Feedback-driven multiclass active learning for data streams (YC, ZC, LL, JW, AA, ANC), pp. 1311–1320.
CIKMCIKM-2013-DerakhshanSS #performance #streaming
A new operator for efficient stream-relation join processing in data streaming engines (RD, AS, BS), pp. 793–798.
KEODKEOD-2013-AlirezaieL #abduction #automation #reasoning #using
Automatic Annotation of Sensor Data Streams using Abductive Reasoning (MA, AL), pp. 345–354.
OOPSLAOOPSLA-2013-NorrisD #c #c++ #concurrent #named
CDSchecker: checking concurrent data structures written with C/C++ atomics (BN, BD), pp. 131–150.
PLDIPLDI-2013-ElwazeerAKSB #detection #scalability
Scalable variable and data type detection in a binary rewriter (KE, KA, AK, MS, RB), pp. 51–60.
PLDIPLDI-2013-YuKL #multi #thread
General data structure expansion for multi-threading (HY, HJK, ZL), pp. 243–252.
POPLPOPL-2013-HenzingerKPSS #concurrent
Quantitative relaxation of concurrent data structures (TAH, CMK, HP, AS, AS), pp. 317–328.
POPLPOPL-2013-HoborV
The ramifications of sharing in data structures (AH, JV), pp. 523–536.
POPLPOPL-2013-RompfSABJLJOO #compilation #optimisation #source code #staging
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging (TR, AKS, NA, KJB, VJ, HL, MJ, KO, MO), pp. 497–510.
PPDPPPDP-2013-Holdermans #functional #guidelines #random testing #testing
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
PPDPPPDP-2013-StewartBN #data flow #dependent type #policy #semistructured data
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures (GS, AB, AN), pp. 145–156.
SASSAS-2013-DragoiES #analysis
Local Shape Analysis for Overlaid Data Structures (CD, CE, MS), pp. 150–171.
ASEASE-2013-OsterlundL
Dynamically transforming data structures (, WL), pp. 410–420.
ASEASE-2013-ZhangCW #concurrent #named #runtime
Round-up: Runtime checking quasi linearizability of concurrent data structures (LZ, AC, CW), pp. 4–14.
ESEC-FSEESEC-FSE-2013-PhamW #abstraction #algebra #named #reasoning
RADA: a tool for reasoning about algebraic data types with abstractions (THP, MWW), pp. 611–614.
SACSAC-2013-AlmeidaKG #random
Random rules from data streams (EA, PK, JG), pp. 813–814.
SACSAC-2013-BifetPRH #adaptation #classification #performance #probability
Efficient data stream classification via probabilistic adaptive windows (AB, BP, JR, GH), pp. 801–806.
SACSAC-2013-FariaGC #algorithm #detection #multi #problem
Novelty detection algorithm for data streams multi-class problems (ERF, JG, ACPLFC), pp. 795–800.
SACSAC-2013-GholipourHB #adaptation
An adaptive regression tree for non-stationary data streams (AG, MJH, HB), pp. 815–817.
SACSAC-2013-KawakamiIYT #communication #delivery
A delivery method considering communication loads for sensor data stream with different collection cycles (TK, YI, TY, YT), pp. 611–618.
SACSAC-2013-KumarR #algorithm #identification #online
Online identification of frequently executed acyclic paths by leveraging data stream algorithms (GK, SR), pp. 1694–1695.
SACSAC-2013-ZhangHMZMM #mining
Mining frequent itemsets over tuple-evolving data streams (CZ, YH, MM, CZ, HM, FM), pp. 267–274.
GPCEGPCE-2013-KurilovaR #linked data #on the #open data
On the simplicity of synthesizing linked data structure operations (DK, DR), pp. 155–158.
CGOCGO-2013-RenALMPS #parallel
SIMD parallelization of applications that traverse irregular data structures (BR, GA, JRL, TM, TP, WS), p. 10.
PDPPDP-2013-FariaSS #layout #performance
Impact of Data Structure Layout on Performance (NF, RCS, JLS), pp. 116–120.
PPoPPPPoPP-2013-XiangS #compilation #concurrent #performance
Compiler aided manual speculation for high performance concurrent data structures (LX, MLS), pp. 47–56.
SOSPSOSP-2013-BalakrishnanMWWPWDRZZ #distributed #named
Tango: distributed data structures over a shared log (MB, DM, TW, MW, VP, MW, JDD, SR, TZ, AZ), pp. 325–340.
ESOPESOP-2013-SchererR #type system
GADTs Meet Subtyping (GS, DR), pp. 554–573.
ESOPESOP-2013-SvendsenBP #composition #concurrent #reasoning
Modular Reasoning about Separation of Concurrent Data Structures (KS, LB, MJP), pp. 169–188.
TACASTACAS-2013-AbdullaHHJR #concurrent #specification #verification
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures (PAA, FH, LH, BJ, AR), pp. 324–338.
TACASTACAS-2013-WhiteL #evolution #identification #in memory #learning #memory management
Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory (DHW, GL), pp. 354–369.
CAVCAV-2013-0001LMN #invariant #learning #linear #quantifier
Learning Universally Quantified Invariants of Linear Data Structures (PG, CL, PM, DN), pp. 813–829.
CAVCAV-2013-ItzhakyBINS #effectiveness #linked data #open data #reachability #reasoning
Effectively-Propositional Reasoning about Reachability in Linked Data Structures (SI, AB, NI, AN, MS), pp. 756–772.
LICSLICS-2013-GhaniMFS
Fibred Data Types (NG, LM, FNF, AS), pp. 243–252.
PODSPODS-2012-TirthapuraW
Rectangle-efficient aggregation in spatial data streams (ST, DPW), pp. 283–294.
SIGMODSIGMOD-2012-GiatrakosDGSS #distributed #geometry #monitoring #predict
Prediction-based geometric monitoring over distributed data streams (NG, AD, MNG, IS, AS), pp. 265–276.
VLDBVLDB-2012-MankuM #approximate
Approximate Frequency Counts over Data Streams (GSM, RM), p. 1699.
VLDBVLDB-2012-PapapetrouGD #distributed #query #sketching
Sketch-based Querying of Distributed Sliding-Window Data Streams (OP, MNG, AD), pp. 992–1003.
CSEETCSEET-2012-Virseda #algebra #implementation #specification #testing #verification
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications (RdVV), pp. 100–104.
ITiCSEITiCSE-2012-Khalifa
Intuitive thinking while dealing with abstract data types (WK), p. 391.
ICALPICALP-v2-2012-KaneMSS
Counting Arbitrary Subgraphs in Data Streams (DMK, KM, TS, HS), pp. 598–609.
CIKMCIKM-2012-PanZ #correlation #graph #named #query
CGStream: continuous correlated graph query for data streams (SP, XZ), pp. 1183–1192.
CIKMCIKM-2012-Vitter
Compressed data structures with relevance (JSV), pp. 4–5.
CIKMCIKM-2012-XieZSzP #linear #multi #performance #representation
Efficient buffer management for piecewise linear representation of multiple data streams (QX, JZ, MAS, XZ, CP), pp. 2114–2118.
CIKMCIKM-2012-ZhaoN #approach #modelling
A model-based approach for RFID data stream cleansing (ZZ, WN), pp. 862–871.
ICPRICPR-2012-PanZF #correlation #query
Top-k correlated subgraph query for data streams (SP, XZ, MF), pp. 2906–2909.
KDIRKDIR-2012-AbdullinN #clustering #framework #learning
A Semi-supervised Learning Framework to Cluster Mixed Data Types (AA, ON), pp. 45–54.
KDIRKDIR-2012-FontanLAP #automation #web
Automatically Extracting Complex Data Structures from the Web (LF, RLG, , AP), pp. 246–251.
MLDMMLDM-2012-IsakssonDH #clustering #named
SOStream: Self Organizing Density-Based Clustering over Data Stream (CI, MHD, MH), pp. 264–278.
MLDMMLDM-2012-TaTB #approach #clustering #using
Clustering Data Stream by a Sub-window Approach Using DCA (MTT, LTHA, LBA), pp. 279–292.
ECOOPECOOP-2012-XuYR #detection #invariant #static analysis
Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.
OOPSLAOOPSLA-2012-Xu #reuse
Finding reusable data structures (G(X), pp. 1017–1034.
POPLPOPL-2012-CaveP #programming
Programming with binders and indexed data-types (AC, BP), pp. 413–424.
SACSAC-2012-FariaBGC #algorithm #clustering
Improving the offline clustering stage of data stream algorithms in scenarios with variable number of clusters (ERF, RCB, JG, ACPLFC), pp. 829–830.
SACSAC-2012-FischerMK #realtime #visual notation
Real-time visual analytics for event data streams (FF, FM, DAK), pp. 801–806.
SACSAC-2012-NunesARTCS #analysis
To be or not to be real: fractal analysis of data streams from a regional climate change model (SAN, AMHdÁ, LASR, AJMT, PPC, EPMdS), pp. 831–832.
SACSAC-2012-PetitLR #query
Revisiting formal ordering in data stream querying (LP, CL, CR), pp. 813–818.
SACSAC-2012-YanZM #fuzzy #logic
f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group (LY, FZ, ZMM), pp. 320–325.
DACDAC-2012-Gester0NPSV #algorithm #performance
Algorithms and data structures for fast and good VLSI routing (MG, DM, TN, CP, CS, JV), pp. 459–464.
PPoPPPPoPP-2012-KjolstadHS #automation #generative #optimisation
Automatic datatype generation and optimization (FK, TH, MS), pp. 327–328.
PPoPPPPoPP-2012-KoganP #performance
A methodology for creating fast wait-free data structures (AK, EP), pp. 141–150.
TACASTACAS-2012-DudkaMPV #contest #linked data #named #open data #source code #verification
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.
TACASTACAS-2012-SonnexDE #automation #named #proving #recursion
Zeno: An Automated Prover for Properties of Recursive Data Structures (WS, SD, SE), pp. 407–421.
TACASTACAS-2012-ZaeemGKM #satisfiability #using
History-Aware Data Structure Repair Using SAT (RNZ, DG, SK, KSM), pp. 2–17.
ICSTICST-2012-McMinnSS #generative #query #search-based #string #using #web
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries (PM, MS, MS), pp. 141–150.
LICSLICS-2012-TraytelPB #category theory #composition #higher-order #logic #proving #theorem proving
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving (DT, AP, JCB), pp. 596–605.
TAPTAP-2012-SenniF #constraints #generative #logic programming #testing #using
Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
PODSPODS-2011-Muthukrishnan
Theory of data stream computing: where to go (SM), pp. 317–319.
SIGMODSIGMOD-2011-SchaikM #memory management #performance #reachability
A memory efficient reachability data structure through bit vector compression (SJvS, OdM), pp. 913–924.
DLTDLT-J-2010-RahulGR11 #category theory
Data Structures for Range-Aggregation over Categories (SR, PG, KSR), pp. 1707–1728.
ICFPICFP-2011-AhnS #combinator #induction #recursion
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences (KYA, TS), pp. 234–246.
ICEISICEIS-J-2011-ChaoC11a #clustering #resource management #ubiquitous
Ubiquitous Resource-Aware Clustering of Data Streams (CMC, GLC), pp. 81–97.
ICEISICEIS-v1-2011-ChaoC #clustering #quality #resource management #ubiquitous
Resource-aware High Quality Clustering in Ubiquitous Data Streams (CMC, GLC), pp. 64–73.
CIKMCIKM-2011-GuoZTG #mining #multi
Mining frequent patterns across multiple data streams (JG, PZ, JT, LG), pp. 2325–2328.
CIKMCIKM-2011-KrishnaswamyGG #mining #mobile #roadmap #ubiquitous
Advances in data stream mining for mobile and ubiquitous environments (SK, JG, MMG), pp. 2607–2608.
CIKMCIKM-2011-LiZTLG #in the cloud #query
Continuous data stream query in the cloud (JL, PZ, JT, PL, LG), pp. 2389–2392.
CIKMCIKM-2011-ParkL #detection #evaluation #query
A continuous query evaluation scheme for a detection-only query over data streams (HKP, WSL), pp. 2405–2408.
CIKMCIKM-2011-WattanakitrungrojL #clustering #streaming
Memory-less unsupervised clustering for data streaming by versatile ellipsoidal function (NW, CL), pp. 967–972.
KDDKDD-2011-BifetHPG #evolution #graph #mining
Mining frequent closed graphs on evolving data streams (AB, GH, BP, RG), pp. 591–599.
KDDKDD-2011-ChuZLTT #learning #online
Unbiased online active learning in data streams (WC, MZ, LL, AT, BLT), pp. 195–203.
KDDKDD-2011-JiangFH #graph #locality #network
Anomaly localization for network data streams with graph joint sparse PCA (RJ, HF, JH), pp. 886–894.
KDDKDD-2011-KremerKJSBHP #clustering #effectiveness #evaluation #evolution
An effective evaluation measure for clustering on evolving data streams (HK, PK, TJ, TS, AB, GH, BP), pp. 868–876.
KDDKDD-2011-LiuZCYX #interactive
Discovering spatio-temporal causal interactions in traffic data streams (WL, YZ, SC, JY, XX), pp. 1010–1018.
KDDKDD-2011-ZhangLWGZG #modelling #performance #predict
Enabling fast prediction for ensemble models on data streams (PZ, JL, PW, BJG, XZ, LG), pp. 177–185.
KEODKEOD-2011-BaumgartnerGMRS #reasoning
Reasoning on Data Streams for Situation Awareness (NB, WG, SM, WR, WS), pp. 407–412.
PLDIPLDI-2011-JungRRCP #effectiveness #named
Brainy: effective selection of data structures (CJ, SR, BPR, NC, SP), pp. 86–97.
PLDIPLDI-2011-KimR #commutative #linked data #open data #semantics #verification
Verification of semantic commutativity conditions and inverse operations on linked data structures (DK, MCR), pp. 528–541.
PLDIPLDI-2011-SampsonDFGCG #approximate #named #power management
EnerJ: approximate data types for safe and general low-power computation (AS, WD, EF, DG, LC, DG), pp. 164–174.
PLDIPLDI-2011-ZengWL #concurrent #monitoring #named #using
Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures (QZ, DW, PL), pp. 367–377.
POPLPOPL-2011-OngR #algebra #functional #higher-order #pattern matching #source code #verification
Verifying higher-order functional programs with pattern-matching algebraic data types (CHLO, SJR), pp. 587–598.
ESEC-FSEESEC-FSE-2011-SinghS
Synthesizing data structure manipulations from storyboards (RS, ASL), pp. 289–299.
ICSEICSE-2011-XiaoZZ #analysis
Tracking data structures for postmortem analysis (XX, JZ, CZ), pp. 896–899.
SACSAC-2011-GomesRS #concept #learning
Learning recurring concepts from data streams with a context-aware ensemble (JBG, EMR, PACS), pp. 994–999.
SACSAC-2011-IkonomovskaGD #incremental #multi
Incremental multi-target model trees for data streams (EI, JG, SD), pp. 988–993.
SACSAC-2011-LeungJ #mining #nondeterminism #using
Frequent itemset mining of uncertain data streams using the damped window model (CKSL, FJ), pp. 950–955.
DATEDATE-2011-KernST #automation #concept #embedded #migration
An automated data structure migration concept — From CAN to Ethernet/IP in automotive embedded systems (CANoverIP) (AK, TS, JT), pp. 112–117.
HPCAHPCA-2011-HouZHWFGC #challenge #performance #streaming
Efficient data streaming with on-chip accelerators: Opportunities and challenges (RH, LZ, MCH, KW, HF, YG, XC), pp. 312–320.
PDPPDP-2011-LukawskiS #distributed #maintenance #scalability
Balancing Workloads of Servers Maintaining Scalable Distributed Data Structures (GL, KS), pp. 80–84.
PPoPPPPoPP-2011-MurarasuWBBP #algorithm #grid #scalability
Compact data structure and scalable algorithms for the sparse grid technique (AFM, JW, GB, DB, DP), pp. 25–34.
STOCSTOC-2011-KaneNPW #estimation #performance
Fast moment estimation in data streams in optimal space (DMK, JN, EP, DPW), pp. 745–754.
CADECADE-2011-BohmeM #automation #challenge #proving
Heaps and Data Structures: A Challenge for Automated Provers (SB, MM), pp. 177–191.
CADECADE-2011-WiesMK #imperative #performance
An Efficient Decision Procedure for Imperative Tree Data Structures (TW, MM, VK), pp. 476–491.
CAVCAV-2011-DudkaPV #logic #named #using
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic (KD, PP, TV), pp. 372–378.
CAVCAV-2011-HagueL #model checking #recursion #source code
Model Checking Recursive Programs with Numeric Data Types (MH, AWL), pp. 743–759.
CAVCAV-2011-LeeYP #program analysis
Program Analysis for Overlaid Data Structures (OL, HY, RP), pp. 592–608.
ICSTICST-2011-HeamN #generative #named #random #recursion #testing
Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing (PCH, CN), pp. 60–69.
ICSTICST-2011-MalikSK #constraints #debugging #using
Constraint-Based Program Debugging Using Data Structure Repair (MZM, JHS, SK), pp. 190–199.
TAPTAP-2011-SoekenWD #encoding #modelling #ocl #satisfiability #uml #verification
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (MS, RW, RD), pp. 152–170.
DocEngDocEng-2010-ThaoM #detection #using #version control #xml
Using versioned tree data structure, change detection and node identity for three-way XML merging (CT, EVM), pp. 77–86.
TPDLECDL-2010-Black #framework #metadata #pattern matching #using
Using Pattern Language as a Framework for Future Metadata Structure (EAB), pp. 393–396.
PODSPODS-2010-NelsonW #performance #sketching
Fast Manhattan sketches in data streams (JN, DPW), pp. 99–110.
SIGMODSIGMOD-2010-TranPLDL #algorithm #named #nondeterminism
PODS: a new model and processing algorithms for uncertain data streams (TTLT, LP, BL, YD, AL), pp. 159–170.
SIGMODSIGMOD-2010-VaidyaLBDNX #configuration management #logic #named
Symbiote: a reconfigurable logic assisted data streammanagement system (RLADSMS) (PV, JJL, FB, YD, CHN, YX), pp. 1147–1150.
SIGMODSIGMOD-2010-YangGXRW #interactive #visual notation
Interactive visual exploration of neighbor-based patterns in data streams (DY, ZG, ZX, EAR, MOW), pp. 1151–1154.
VLDBVLDB-2010-TranMDPL #nondeterminism
Conditioning and Aggregating Uncertain Data Streams: Going Beyond Expectations (TTLT, AM, YD, LP, AL), pp. 1302–1313.
ICALPICALP-v1-2010-Duan
New Data Structures for Subgraph Connectivity (RD), pp. 201–212.
ICALPICALP-v1-2010-RudraU #algorithm #testing
Data Stream Algorithms for Codeword Testing (AR, SU), pp. 629–640.
RTARTA-2010-ZantemaR #infinity #proving
Proving Productivity in Infinite Data Structures (HZ, MR), pp. 401–416.
ICEISICEIS-DISI-2010-PreisslerHL #streaming
Process-based Data Streaming in Service-oriented Environments — Application and Technique (SP, DH, WL), pp. 40–49.
CIKMCIKM-2010-ShinPWL #execution #named #online
i-SEE: integrated stream execution environment over on-line data streams (SJS, HKP, HJW, WSL), pp. 1959–1960.
CIKMCIKM-2010-ZhangZTG #concept #framework #named
SKIF: a data imputation framework for concept drifting data streams (PZ, XZ, JT, LG), pp. 1869–1872.
ICMLICML-2010-GomesK #learning #parametricity
Budgeted Nonparametric Learning from Data Streams (RG, AK), pp. 391–398.
KDDKDD-2010-LamC #flexibility #mining
Mining top-k frequent items in a data stream with flexible sliding windows (HTL, TC), pp. 283–292.
ECOOPECOOP-2010-ZaeemK #alloy #contract #using
Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.
PLDIPLDI-2010-AcarBLTT #self
Traceable data types for self-adjusting computation (UAA, GEB, RLW, KT, DT), pp. 483–496.
PLDIPLDI-2010-TianFG #parallel
Supporting speculative parallelization in the presence of dynamic data structures (CT, MF, RG), pp. 62–73.
PLDIPLDI-2010-XuMARSS
Finding low-utility data structures (G(X, NM, MA, AR, ES, GS), pp. 174–186.
POPLPOPL-2010-DreyerNRB #higher-order #logic #relational
A relational modal logic for higher-order stateful ADTs (DD, GN, AR, LB), pp. 185–198.
POPLPOPL-2010-SuterDK #abstraction #algebra
Decision procedures for algebraic data types with abstractions (PS, MD, VK), pp. 199–210.
SASSAS-2010-CheriniRB #analysis
A Shape Analysis for Non-linear Data Structures (RC, LR, JOB), pp. 201–217.
ASEASE-2010-Balint #automation #behaviour
Automatic inference of abstract type behavior (MB), pp. 499–504.
ICSEICSE-2010-HussainC
Dynamic symbolic data structure repair (IH, CC), pp. 215–218.
SACSAC-2010-GaberS #classification #distributed #network
Distributed data stream classification for wireless sensor networks (MMG, AMS), pp. 1629–1630.
SACSAC-2010-RibeiroS #named #network #performance
g-tries: an efficient data structure for discovering network motifs (PMPR, FMAS), pp. 1559–1566.
SACSAC-2010-ShieTY #mining #online
Online mining of temporal maximal utility itemsets from data streams (BES, VST, PSY), pp. 1622–1626.
SACSAC-2010-TeixeiraM #detection
Data stream anomaly detection through principal subspace tracking (PHdST, RLM), pp. 1609–1616.
HPDCHPDC-2010-LiewAHH #distributed #graph #optimisation #parallel #streaming #towards #using
Towards optimising distributed data streaming graphs using parallel streams (CSL, MPA, JIvH, LH), pp. 725–736.
HPDCHPDC-2010-PerryS #communication
Improving MPI communication via data type fission (BP, DMS), pp. 352–355.
PPoPPPPoPP-2010-UpadhyayaMP #generative #performance #using
Using data structure knowledge for efficient lock generation and strong atomicity (GU, SPM, VSP), pp. 281–292.
CAVCAV-2010-ConwayB #implementation #low level #verification
Verifying Low-Level Implementations of High-Level Datatypes (CLC, CB), pp. 306–320.
CSLCSL-2010-KuncakPS #calculus #order #set
Ordered Sets in the Calculus of Data Structures (VK, RP, PS), pp. 34–48.
IJCARIJCAR-2010-MagkaKH #logic
Tractable Extensions of the Description Logic EL with Numerical Datatypes (DM, YK, IH), pp. 61–75.
TAPTAP-2010-Blanchette #algebra #analysis #induction #recursion #relational
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions (JCB), pp. 117–134.
VMCAIVMCAI-2010-KuncakPSW #calculus
Building a Calculus of Data Structures (VK, RP, PS, TW), pp. 26–44.
TPDLECDL-2009-FerroS #framework #how
The NESTOR Framework: How to Handle Hierarchical Data Structures (NF, GS), pp. 215–226.
SIGMODSIGMOD-2009-NehmeLBR #approach #named #privacy #security #towards
StreamShield: a stream-centric approach towards security and privacy in data stream environments (RVN, HSL, EB, EAR), pp. 1027–1030.
SIGMODSIGMOD-2009-YalamanchiG
Compensation-aware data types in RDBMS (AY, DG), pp. 931–938.
VLDBVLDB-2009-DasAAA #architecture #concurrent #manycore #thread
Thread Cooperation in Multicore Architectures for Frequency Counting over Multiple Data Streams (SD, SA, DA, AEA), pp. 217–228.
ITiCSEITiCSE-2009-ErnstSW #evolution #hybrid
Hybrid and custom data structures: evolution of the data structures course (DJE, DES, PJW), pp. 213–217.
ITiCSEITiCSE-2009-Garcia-MateosA #algorithm #online #using
A course on algorithms and data structures using on-line judging (GGM, JLFA), pp. 45–49.
ICALPICALP-v1-2009-ChakrabartiCM
Annotations in Data Streams (AC, GC, AM), pp. 222–234.
ICFPICFP-2009-SchrijversJSV #decidability #type inference
Complete and decidable type inference for GADTs (TS, SLPJ, MS, DV), pp. 341–352.
ICFPICFP-2009-YakushevHLJ #fixpoint #programming #recursion
Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.
ICEISICEIS-ISAS-2009-HidalgoGT #consistency #detection #nondeterminism #performance
Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates (SPH, RMG, FTdlR), pp. 176–181.
CIKMCIKM-2009-GedikAW #approach #code generation #distributed #optimisation
A code generation approach to optimizing high-performance distributed data stream processing (BG, HA, KLW), pp. 847–856.
CIKMCIKM-2009-GuYGC #probability #query
Probabilistic moving range query over RFID spatio-temporal data streams (YG, GY, NG, YC), pp. 1413–1416.
CIKMCIKM-2009-HaghaniMA #query #semistructured data
Evaluating top-k queries over incomplete data streams (PH, SM, KA), pp. 877–886.
CIKMCIKM-2009-HeZSC #clustering #multi #query #rank
Cluster based rank query over multidimensional data streams (DH, YZ, LS, GC), pp. 1493–1496.
CIKMCIKM-2009-LianC #nondeterminism #performance
Efficient join processing on uncertain data streams (XL, LC), pp. 857–866.
CIKMCIKM-2009-TaoO #mining
Mining data streams with periodically changing distributions (YT, MTÖ), pp. 887–896.
CIKMCIKM-2009-TaoO09a #mining
Mining frequent itemsets in time-varying data streams (YT, MTÖ), pp. 1521–1524.
CIKMCIKM-2009-WooSYL #named
DS-Cuber: an integrated OLAP environment for data streams (HJW, SJS, WSY, WSL), pp. 2067–2068.
KDDKDD-2009-BifetHPKG #evolution
New ensemble methods for evolving data streams (AB, GH, BP, RK, RG), pp. 139–148.
MLDMMLDM-2009-CeciALCFVM #detection #mining #relational
Relational Frequent Patterns Mining for Novelty Detection from Data Streams (MC, AA, CL, CC, FF, CV, DM), pp. 427–439.
SEKESEKE-2009-ChaoS #clustering #privacy
Privacy-preserving Clustering of Data Streams (CMC, CCS), pp. 530–535.
PLDIPLDI-2009-AndersonGN #concurrent #lightweight
Lightweight annotations for controlling sharing in concurrent data structures (ZRA, DG, MN), pp. 98–109.
PLDIPLDI-2009-KawaguchiRJ #type system #verification
Type-based data structure verification (MK, PMR, RJ), pp. 304–315.
POPLPOPL-2009-MontaguR #modelling
Modeling abstract types in modules with open existential types (BM, DR), pp. 354–365.
ASEASE-2009-MalikGEK #automation #debugging #using
A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.
SACSAC-2009-ChaovalitG #clustering
A method for clustering transient data streams (PC, AG), pp. 1518–1519.
SACSAC-2009-GamaRS #algorithm
Evaluating algorithms that learn from data streams (JG, PPR, RS), pp. 1496–1500.
SACSAC-2009-KahvedzicK #on the #persistent
On the persistence of deleted windows registry data structures (DK, MTK), pp. 895–896.
SACSAC-2009-LuYLELW #correlation #detection #incremental #using
Incremental outlier detection in data streams using local correlation integral (XL, TY, ZL, ME, WL, HW), pp. 1520–1521.
SACSAC-2009-MarascuM #detection
Parameterless outlier detection in data streams (AM, FM), pp. 1491–1495.
SACSAC-2009-RossTA #online #predict
Online annotation and prediction for regime switching data streams (GJR, DKT, NMA), pp. 1501–1505.
SACSAC-2009-Tarau #finite #haskell #morphism
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell (PT), pp. 1898–1902.
SLESLE-2009-IrazabalP #model transformation #modelling #transformation language
Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
HPCAHPCA-2009-EbrahimiMP #hybrid #linked data #open data
Techniques for bandwidth-efficient prefetching of linked data structures in hybrid prefetching systems (EE, OM, YNP), pp. 7–17.
ESOPESOP-2009-Campbell #analysis #memory management #using
Amortised Memory Analysis Using the Depth of Data Structures (BC), pp. 190–204.
STOCSTOC-2009-Viola #bound
Bit-probe lower bounds for succinct data structures (EV), pp. 475–482.
ECSAECSA-2008-HanselOS #named
L-DSMS — A Local Data Stream Management System (CH, HJO, EPS), pp. 298–305.
WICSAWICSA-2008-GortonWAC #framework #integration #performance #platform #streaming
The MeDICi Integration Framework: A Platform for High Performance Data Streaming Applications (IG, AW, JA, JC), pp. 95–104.
SIGMODSIGMOD-2008-JohnsonMSS #clustering #monitoring #network
Query-aware partitioning for monitoring massive network data streams (TJ, SMM, VS, OS), pp. 1135–1146.
SIGMODSIGMOD-2008-LiuPRY #algorithm #evaluation
Near-optimal algorithms for shared filter evaluation in data stream systems (ZL, SP, AR, HY), pp. 133–146.
SIGMODSIGMOD-2008-MajumderRV #regular expression #scalability
Scalable regular expression matching on data streams (AM, RR, SV), pp. 161–172.
VLDBVLDB-2008-CormodeH
Finding frequent items in data streams (GC, MH), pp. 1530–1541.
VLDBVLDB-2008-KunduB
Structural signatures for tree data structures (AK, EB), pp. 138–150.
VLDBVLDB-2008-SharafLC #query #scheduling
Scheduling continuous queries in data stream management systems (MAS, AL, PKC), pp. 1526–1527.
ITiCSEITiCSE-2008-MatzkoD #approach
A graphics-based approach to data structures (SM, TAD), pp. 109–113.
ITiCSEITiCSE-2008-ThorntonE #data flow #online
A data type to exploit online data sources (MT, SHE), pp. 114–118.
ICALPICALP-A-2008-DietzfelbingerP #approximate #retrieval
Succinct Data Structures for Retrieval and Approximate Membership (MD, RP), pp. 385–396.
RTARTA-2008-FalkeK #dependence #semantics
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (SF, DK), pp. 94–109.
HaskellHaskell-2008-AhnS #algebra #recursion #type system
Shared subtypes: subtyping recursive parametrized algebraic data types (KYA, TS), pp. 75–86.
ICFPICFP-2008-Krauss #problem #recursion
Pattern minimization problems over recursive data types (AK), pp. 267–274.
IFLIFL-2008-LijnseP #automation #database #programming #relational #using
Between Types and Tables — Using Generic Programming for Automated Mapping between Data Types and Relational Databases (BL, RP), pp. 272–290.
ICGTICGT-2008-RiegerN
Abstracting Complex Data Structures by Hyperedge Replacement (SR, TN), pp. 69–83.
CIKMCIKM-2008-BoedihardjoLC #framework #probability
A framework for estimating complex probability density structures in data streams (APB, CTL, FC), pp. 619–628.
CIKMCIKM-2008-LeeL #clustering #multi #online
A coarse-grain grid-based subspace clustering method for online multi-dimensional data streams (JWL, WSL), pp. 1521–1522.
CIKMCIKM-2008-TanbeerAJL #mining #performance
Efficient frequent pattern mining over data streams (SKT, CFA, BSJ, YKL), pp. 1447–1448.
KDDKDD-2008-BifetG #adaptation #mining
Mining adaptively frequent closed unlabeled rooted trees in data streams (AB, RG), pp. 34–42.
KDDKDD-2008-ZhangZS #categorisation #concept #mining
Categorizing and mining concept drifting data streams (PZ, XZ, YS), pp. 812–820.
SEKESEKE-2008-Chao #classification #privacy
Privacy-preserving Classification of Data Streams (CMC), pp. 603–606.
PLDIPLDI-2008-Solar-LezamaJB #concurrent #sketching
Sketching concurrent data structures (ASL, CGJ, RB), pp. 136–148.
PLDIPLDI-2008-ZeeKR #functional #linked data #open data #verification
Full functional verification of linked data structures (KZ, VK, MCR), pp. 349–361.
POPLPOPL-2008-Danielsson #analysis #complexity #functional #lightweight
Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.
POPLPOPL-2008-JohannG #programming
Foundations for structured programming with GADTs (PJ, NG), pp. 297–308.
POPLPOPL-2008-McBride
Clowns to the left of me, jokers to the right (pearl): dissecting data structures (CM), pp. 287–295.
ICSEICSE-2008-ElkarabliehK #named
Juzi: a tool for repairing complex data structures (BE, SK), pp. 855–858.
SACSAC-2008-AnagnostopoulosAH #adaptation #multi #what
Deciding what to observe next: adaptive variable selection for regression in multivariate data streams (CA, NMA, DJH), pp. 961–965.
SACSAC-2008-KontakiPM #multi
Continuous k-dominant skyline computation on multidimensional data streams (MK, ANP, YM), pp. 956–960.
SACSAC-2008-MontanaTT #algorithm #mining
Data stream mining for market-neutral algorithmic trading (GM, KT, TT), pp. 966–970.
SACSAC-2008-SpinosaCG #clustering #concept #detection #network #novel
Cluster-based novel concept detection in data streams applied to intrusion detection in computer networks (EJS, ACPLFdC, JG), pp. 976–980.
OSDIOSDI-2008-CozzieSXK
Digging for Data Structures (AC, FS, HX, STK), pp. 255–266.
PPoPPPPoPP-2008-ChandraSSB #analysis #distributed #locality #type inference
Type inference for locality analysis of distributed data structures (SC, VAS, VS, RB), pp. 11–22.
ESOPESOP-2008-ConchonF
Semi-persistent Data Structures (SC, JCF), pp. 322–336.
ISSTAISSTA-2008-KannanS #execution #generative #invariant #symbolic computation
Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.
TAPTAP-2008-DunetsSR #analysis #bound #relational
Bounded Relational Analysis of Free Data Types (AD, GS, WR), pp. 99–115.
PODSPODS-2007-CohenDKLT #query #sketching
Sketching unaggregated data streams for subpopulation-size queries (EC, NGD, HK, CL, MT), pp. 253–262.
PODSPODS-2007-JayramMMV #probability #statistics
Estimating statistical aggregates on probabilistic data streams (TSJ, AM, SM, EV), pp. 243–252.
SIGMODSIGMOD-2007-BandiMAA #algorithm #performance #using
Fast data stream algorithms using associative memories (NB, AM, DA, AEA), pp. 247–256.
SIGMODSIGMOD-2007-BrettleckerS #framework #mobile #reliability
The OSIRIS-SE (stream-enabled) infrastructure for reliable data stream management on mobile devices (GB, HS), pp. 1097–1099.
SIGMODSIGMOD-2007-CormodeG #probability #sketching
Sketching probabilistic data streams (GC, MNG), pp. 281–292.
SIGMODSIGMOD-2007-CormodeG07a #distributed #query #streaming
Streaming in a connected world: querying and tracking distributed data streams (GC, MNG), pp. 1178–1181.
SIGMODSIGMOD-2007-DullerTAK #named
XTream: personal data streams (MD, RT, GA, DK), pp. 1088–1090.
SIGMODSIGMOD-2007-Lefler
Data streams go mainstream (RML), pp. 971–972.
SIGMODSIGMOD-2007-MarkowetzYP #keyword #relational
Keyword search on relational data streams (AM, YY, DP), pp. 605–616.
VLDBVLDB-2007-DasGKS #ad hoc #query
Ad-hoc Top-k Query Answering for Data Streams (GD, DG, NK, NS), pp. 183–194.
VLDBVLDB-2007-PapadopoulosYP #authentication #named
CADS: Continuous Authentication on Data Streams (SP, YY, DP), pp. 135–146.
ITiCSEITiCSE-2007-CalderCLLS #education #student
Teaching data structures to students who are blind (MC, RFC, JAL, NL, JS), pp. 87–90.
ITiCSEITiCSE-2007-ChinnSM #algorithm #performance #problem #student
Problem solving and student performance in data structures and algorithms (DDC, CS, KM), pp. 241–245.
ITiCSEITiCSE-2007-ErkanVS #tex #visualisation
Data structure visualization with latex and prefuse (ASE, TJV, TMS), pp. 301–305.
ICALPICALP-2007-GuptaHSV #framework
A Framework for Dynamizing Succinct Data Structures (AG, WKH, RS, JSV), pp. 521–532.
IFMIFM-2007-FaberJS #parametricity #specification #verification
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (JF, SJ, VSS), pp. 233–252.
IFMIFM-2007-Toben #communication #reduction
Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.
ICFPICFP-2007-FilinskiS #induction #reasoning
Inductive reasoning about effectful data types (AF, KS), pp. 97–110.
IFLIFL-2007-FindlerGR #contract #lazy evaluation
Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
LISPILC-2007-WozniakDW #abstraction #policy
Dynamic ADTs: a “don’t ask, don’t tell” policy for data abstraction (GW, MD, SW), p. 26.
CIKMCIKM-2007-ParkL #clustering
Grid-based subspace clustering over data streams (NHP, WSL), pp. 801–810.
CIKMCIKM-2007-ShinL #interactive #online
An on-line interactive method for finding association rules data streams (SJS, WSL), pp. 963–966.
CIKMCIKM-2007-ZhangW #algorithm #approximate #performance
An efficient algorithm for approximate biased quantile computation in data streams (QZ, WW), pp. 1023–1026.
KDDKDD-2007-Aggarwal #classification #framework #segmentation
A framework for classification and segmentation of massive audio data streams (CCA), pp. 1013–1017.
KDDKDD-2007-AggarwalY #classification #on the #string
On string classification in data streams (CCA, PSY), pp. 36–45.
MLDMMLDM-2007-AoYHH #mining
Mining Maximal Frequent Itemsets in Data Streams Based on FP-Tree (FA, YY, JH, KH), pp. 479–489.
MLDMMLDM-2007-FullerK #distributed #monitoring #named
FIDS: Monitoring Frequent Items over Distributed Data Streams (RF, MMK), pp. 464–478.
MLDMMLDM-2007-WangLYC #classification #fuzzy #incremental #mining
An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams (TW, ZL, YY, HC), pp. 91–103.
PLDIPLDI-2007-BurckhardtAM #concurrent #consistency #memory management #modelling #named
CheckFence: checking consistency of concurrent data types on relaxed memory models (SB, RA, MMKM), pp. 12–21.
PLDIPLDI-2007-ShankarB #automation #invariant #java #named
DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.
PPDPPPDP-2007-Hamana #higher-order #induction #semantics #type system
Higher-order semantic labelling for inductive datatype systems (MH), pp. 97–108.
ASEASE-2007-ElkarabliehGSK
Assertion-based repair of complex data structures (BE, IG, YLS, SK), pp. 64–73.
SACSAC-2007-SpinosaCG #approach #clustering #concept #detection #named
OLINDDA: a cluster-based approach for detecting novelty and concept drift in data streams (EJS, ACPdLFdC, JG), pp. 448–452.
PDPPDP-2007-BinzenhoferHKE #network #performance #scalability #simulation
Efficient Simulation of Large-Scale P2P Networks: Compact Data Structures (AB, TH, GK, KE), pp. 467–474.
PDPPDP-2007-CampanileCCR #adaptation #parsing #realtime
Adaptable Parsing of Real-Time Data Streams (FC, AC, LC, LR), pp. 412–418.
ESOPESOP-2007-BlanquiHW #implementation #on the
On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.
ESOPESOP-2007-NanevskiAMB #hoare #type system
Abstract Predicates and Mutable ADTs in Hoare Type Theory (AN, AA, GM, LB), pp. 189–204.
SMTSMT-J-2006-BarrettST #formal method #induction
An Abstract Decision Procedure for a Theory of Inductive Data Types (CB, IS, CT), pp. 21–46.
CAVCAV-2007-BerdineCCDOWY #analysis
Shape Analysis for Composite Data Structures (JB, CC, BC, DD, PWO, TW, HY), pp. 178–192.
VMCAIVMCAI-2007-BouillaguetKWZR #first-order #proving #theorem proving #using #verification
Using First-Order Theorem Provers in the Jahob Data Structure Verification System (CB, VK, TW, KZ, MCR), pp. 74–88.
VMCAIVMCAI-2007-RakamaricBH #source code #verification
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.
PODSPODS-2006-BuriolFLMS
Counting triangles in data streams (LSB, GF, SL, AMS, CS), pp. 253–262.
PODSPODS-2006-CormodeKMS #algorithm
Space- and time-efficient deterministic algorithms for biased quantiles over data streams (GC, FK, SM, DS), pp. 263–272.
SIGMODSIGMOD-2006-KornMW #modelling
Modeling skew in data streams (FK, SM, YW), pp. 181–192.
SIGMODSIGMOD-2006-LimLLWS #query #using
Continuous query processing in data streams using duality of data and queries (HSL, JGL, MJL, KYW, IYS), pp. 313–324.
SIGMODSIGMOD-2006-SharfmanSK #approach #distributed #geometry #monitoring
A geometric approach to monitoring threshold functions over distributed data streams (IS, AS, DK), pp. 301–312.
VLDBVLDB-2006-JefferyGF #adaptation
Adaptive Cleaning for RFID Data Streams (SRJ, MNG, MJF), pp. 163–174.
VLDBVLDB-2006-LiCTACH #query #safety
Safety Guarantee of Continuous Join Queries over Punctuated Data Streams (HGL, SC, JT, DA, KSC, WPH), pp. 19–30.
VLDBVLDB-2006-TatbulZ #query
Window-Aware Load Shedding for Aggregation Queries over Data Streams (NT, SBZ), pp. 799–810.
ITiCSEITiCSE-2006-Sher #internet
Motivating data structures with caching internet stock data (DBS), p. 344.
ICPCICPC-2006-PhengV #analysis #java #source code
Dynamic Data Structure Analysis for Java Programs (SP, CV), pp. 191–201.
FLOPSFLOPS-2006-DiscoloHMJS #haskell #using
Lock Free Data Structures Using STM in Haskell (AD, TH, SM, SLPJ, SS), pp. 65–80.
FLOPSFLOPS-2006-SulzmannWS #algebra #framework
A Framework for Extended Algebraic Data Types (MS, JW, PJS), pp. 47–64.
HaskellHaskell-2006-DiatchkiJ #functional #memory management #programming
Strongly typed memory areas programming systems-level data structures in a functional language (ISD, MPJ), pp. 72–83.
ICFPICFP-2006-JonesVWW #type inference
Simple unification-based type inference for GADTs (SLPJ, DV, SW, GW), pp. 50–61.
CoGCIG-2006-Cazenave #algorithm #heuristic #optimisation
Optimizations of data structures, heuristics and algorithms for path-finding on maps (TC), pp. 27–33.
ICEISICEIS-DISI-2006-LongboZMYY #algorithm #random
Random Sampling Algorithms for Landmark Windows over Data Streams (LZ, ZL, YM, WY, JY), pp. 103–107.
CIKMCIKM-2006-BaiTWLZ
A data stream language and system designed for power and extensibility (YB, HT, HW, CL, CZ), pp. 337–346.
CIKMCIKM-2006-JainZC #adaptation #clustering
Adaptive non-linear clustering in data streams (AJ, ZZ, EYC), pp. 122–131.
CIKMCIKM-2006-KuntschkeK #evaluation
Matching and evaluation of disjunctive predicates for data stream sharing (RK, AK), pp. 832–833.
CIKMCIKM-2006-OjewoleZH #approximate #semantics
Window join approximation over data streams with importance semantics (AO, QZ, WCH), pp. 112–121.
CIKMCIKM-2006-XuWFSP #classification #correlation
Classification spanning correlated data streams (YX, KW, AWCF, RS, JP), pp. 132–141.
KDDKDD-2006-JiangG #mining #named
CFI-Stream: mining closed frequent itemsets in data streams (NJ, LG), pp. 592–597.
KDDKDD-2006-WangYPYY #concept #mining
Suppressing model overfitting in mining concept-drifting data streams (HW, JY, JP, PSY, JXY), pp. 736–741.
OOPSLAOOPSLA-2006-DargaB #model checking #performance
Efficient software model checking of data structure properties (PTD, CB), pp. 363–382.
PLDIPLDI-2006-ChilimbiS
Cache-conscious coallocation of hot data streams (TMC, RS), pp. 252–262.
POPLPOPL-2006-PottierR #algebra #type inference
Stratified type inference for generalized algebraic data types (FP, YRG), pp. 232–244.
PPDPPPDP-2006-LohH #open data
Open data types and open functions (AL, RH), pp. 133–144.
PPDPPPDP-2006-SchrijversB #algebra #polymorphism #re-engineering
Polymorphic algebraic data type reconstruction (TS, MB), pp. 85–96.
SASSAS-2006-BouajjaniHRV #model checking
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures (AB, PH, AR, TV), pp. 52–70.
ASEASE-2006-PaarT #owl #programming language #xml
Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL (AP, WFT), pp. 281–284.
FSEFSE-2006-KapurMZ
Interpolation for data structures (DK, RM, CGZ), pp. 105–116.
SACSAC-2006-Ferrer-TroyanoAS #classification #incremental #learning
Data streams classification by incremental rule learning with parameterized generalization (FJFT, JSAR, JCRS), pp. 657–661.
SACSAC-2006-GaberY #approach #clustering #framework #information management #resource management
A framework for resource-aware knowledge discovery in data streams: a holistic approach with its application to clustering (MMG, PSY), pp. 649–656.
SACSAC-2006-GamaP #data mining #mining
Discretization from data streams: applications to histograms and data mining (JG, CP), pp. 662–667.
SACSAC-2006-SousaTTF #evolution
Evaluating the intrinsic dimension of evolving data streams (EPMdS, AJMT, CTJ, CF), pp. 643–648.
DATEDATE-2006-BartzasMPACST #design #energy #network #refinement
Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications (AB, SM, GP, DA, FC, DS, AT), pp. 740–745.
HPDCHPDC-2006-CaiKS #named #network #performance #predict
IQ-Paths: Predictably High Performance Data Streams across Dynamic Network Overlays (ZC, VK, KS), pp. 18–29.
ISMMISMM-2006-AgaramKLM #memory management #performance
Decomposing memory performance: data structures and phases (KKA, SWK, CL, KSM), pp. 95–103.
TACASTACAS-2006-DeshmukhEG #automation #verification
Automatic Verification of Parameterized Data Structures (JVD, EAE, PG), pp. 27–41.
CAVCAV-2006-BurckhardtAM #bound #case study #concurrent #memory management #model checking #modelling
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study (SB, RA, MMKM), pp. 489–502.
IJCARIJCAR-2006-UrbanB #combinator #higher-order #recursion
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL (CU, SB), pp. 498–512.
ISSTAISSTA-2006-DemskyEGMPR #consistency #specification
Inference and enforcement of data structure consistency specifications (BD, MDE, PJG, SM, JHP, MCR), pp. 233–244.
ISSTAISSTA-2006-GuoPME
Dynamic inference of abstract types (PJG, JHP, SM, MDE), pp. 255–265.
DocEngDocEng-2005-GruhlMP #case study #xml
A case study on alternate representations of data structures in XML (DG, DNM, JP), pp. 217–219.
ICDARICDAR-2005-LamH #performance #using
A Data Structure Using Hashing and Tries For Efficient Chinese Lexical Access (YKL, QH), pp. 506–510.
PODSPODS-2005-HershbergerSST #complexity #multi
Space complexity of hierarchical heavy hitters in multi-dimensional data streams (JH, NS, SS, CDT), pp. 338–347.
SIGMODSIGMOD-2005-LiMTPT #evaluation #semantics
Semantics and Evaluation Techniques for Window Aggregates in Data Streams (JL, DM, KT, VP, PAT), pp. 311–322.
SIGMODSIGMOD-2005-LuoTWZ #mining #sql
A native extension of SQL for mining data streams (CL, HT, HW, CZ), pp. 873–875.
SIGMODSIGMOD-2005-SrivastavaKZO #multi
Multiple Aggregations Over Data Streams (RZ, NK, BCO, DS), pp. 299–310.
VLDBVLDB-2005-AliABEHKM #detection #framework #named
NILE-PDT: A Phenomenon Detection and Tracking Framework for Data Stream Management Systems (MHA, WGA, RB, AKE, AH, IK, MFM), pp. 1295–1298.
VLDBVLDB-2005-ChiWY #mining #named
Loadstar: Load Shedding in Data Stream Mining (YC, HW, PSY), pp. 1303–1305.
VLDBVLDB-2005-CormodeMR #mining
Summarizing and Mining Inverse Distributions on Data Streams via Dynamic Inverse Sampling (GC, SM, IR), pp. 25–36.
VLDBVLDB-2005-GuhaS #algorithm #performance
Offline and Data Stream Algorithms for Efficient Computation of Synopsis Structures (SG, KS), p. 1364.
VLDBVLDB-2005-HuSCS #using
Supporting RFID-based Item Tracking Applications in Oracle DBMS Using a Bitmap Datatype (YH, SS, TC, JS), pp. 1140–1151.
VLDBVLDB-2005-KuntschkeSKR #named
StreamGlobe: Processing and Sharing Data Streams in Grid-Based P2P Infrastructures (RK, BS, AK, AR), pp. 1259–1262.
ITiCSEITiCSE-2005-MurphyT #student #what
Do computer science students know what they know?: a calibration study of data structure knowledge (LM, JDT), pp. 148–152.
ITiCSEITiCSE-2005-PatersonHBM #ide #using
Using the BlueJ IDE in a data structures course (JHP, JH, MB, AM), p. 349.
SEFMSEFM-2005-LanotteMT #analysis #automaton #design #distributed
Timed Automata with Data Structures for Distributed Systems Design and Analysis (RL, AMS, AT), pp. 44–53.
ICFPICFP-2005-Nilsson #algebra #functional #optimisation #programming #using
Dynamic optimization for functional reactive programming using generalized algebraic data types (HN), pp. 54–65.
CIKMCIKM-2005-LaurNSP #estimation #on the
On the estimation of frequent itemsets for data streams: theory and experiments (PAL, RN, JES, PP), pp. 327–328.
ICMLICML-2005-Ho #concept #detection #framework
A martingale framework for concept change detection in time-varying data streams (SSH), pp. 321–327.
KDDKDD-2005-GuhaH #fault
Wavelet synopsis for data streams: minimizing non-euclidean error (SG, BH), pp. 88–97.
KDDKDD-2005-YangWZ #predict
Combining proactive and reactive predictions for data streams (YY, XW, XZ), pp. 710–715.
MLDMMLDM-2005-LaurSNP #statistics
Statistical Supports for Frequent Itemsets on Data Streams (PAL, JES, RN, PP), pp. 395–404.
OOPSLAOOPSLA-2005-KennedyR #algebra #object-oriented #programming
Generalized algebraic data types and object-oriented programming (AK, CVR), pp. 21–40.
PLDIPLDI-2005-LattnerA #automation #layout #performance
Automatic pool allocation: improving performance by controlling data structure layout in the heap (CL, VSA), pp. 129–142.
ESEC-FSEESEC-FSE-2005-KuncakJ #algebra #analysis #relational
Relational analysis of algebraic datatypes (VK, DJ), pp. 207–216.
ICSEICSE-2005-DemskyR #reasoning #using
Data structure repair using goal-directed reasoning (BD, MCR), pp. 176–185.
SACSAC-2005-BertholdSLH #resource management
Integrated resource management for data stream systems (HB, SS, WL, CJH), pp. 555–562.
SACSAC-2005-Ferrer-TroyanoAS #incremental #learning
Incremental rule learning based on example nearness from numerical data streams (FJFT, JSAR, JCRS), pp. 568–572.
SACSAC-2005-GamaMR #learning
Learning decision trees from dynamic data streams (JG, PM, PPR), pp. 573–577.
SACSAC-2005-HeinzS
Wavelet density estimators over data streams (CH, BS), pp. 578–579.
CCCC-2005-LamKR #consistency #named #verification
Hob: A Tool for Verifying Data Structure Consistency (PL, VK, MCR), pp. 237–241.
DATEDATE-2005-StuijkBMG #multi #predict #scalability
Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip (SS, TB, BM, MG), pp. 254–255.
HPDCHPDC-2005-VijayakumarLP #data access #grid #named
Calder: enabling grid access to data streams (NNV, YL, BP), pp. 283–284.
PDPPDP-2005-GuiradoRRL #parallel #trade-off
Exploitation of Parallelism for Applications with an Input Data Stream: Optimal Resource-Throughput Tradeoffs (FG, AR, CR, EL), pp. 170–178.
STOCSTOC-2005-FrahlingS #geometry
Coresets in dynamic geometric data streams (GF, CS), pp. 209–217.
STOCSTOC-2005-IndykW #approximate
Optimal approximations of the frequency moments of data streams (PI, DPW), pp. 202–208.
CADECADE-2005-Lev-AmiIRSSY #first-order #linked data #logic #open data #reachability #simulation #using #verification
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures (TLA, NI, TWR, SS, SS, GY), pp. 99–115.
CAVCAV-2005-McPeakN #axiom #similarity #specification
Data Structure Specifications via Local Equality Axioms (SM, GCN), pp. 476–490.
ICLPICLP-2005-SahaR #evaluation #graph #incremental #performance
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation (DS, CRR), pp. 235–249.
VMCAIVMCAI-2005-LamKR #consistency #type system
Generalized Typestate Checking for Data Structure Consistency (PL, VK, MCR), pp. 430–447.
PODSPODS-2004-HershbergerS #adaptation #geometry #problem
Adaptive Sampling for Geometric Problems over Data Streams (JH, SS), pp. 252–262.
PODSPODS-2004-SrivastavaW #flexibility
Flexible Time Management in Data Stream Systems (US, JW), pp. 263–274.
SIGMODSIGMOD-2004-BoseF #xml
Data Stream Management for Historical XML Data (SB, LF), pp. 239–250.
SIGMODSIGMOD-2004-CaiCPHWA #mining #named
MAIDS: Mining Alarming Incidents from Data Streams (YDC, DC, GP, JH, MW, LA), pp. 919–920.
SIGMODSIGMOD-2004-WuSZ #online #sequence
Online Event-driven Subsequence Matching over Financial Data Streams (HW, BS, DZ), pp. 23–34.
SIGMODSIGMOD-2004-ZhuRH #migration #query
Dynamic Plan Migration for Continuous Queries Over Data Streams (YZ, EAR, GTH), pp. 431–442.
VLDBVLDB-2004-AbadiLMS #framework #integration #network
An Integration Framework for Sensor Networks and Data Stream Management Systems (DJA, WL, SM, JS), pp. 1361–1364.
VLDBVLDB-2004-AggarwalHWY #clustering #framework
A Framework for Projected Clustering of High Dimensional Data Streams (CCA, JH, JW, PSY), pp. 852–863.
VLDBVLDB-2004-Fan #classification #concept #named
StreamMiner: A Classifier Ensemble-based Engine to Mine Concept-drifting Data Streams (WF), pp. 1257–1260.
VLDBVLDB-2004-KiferBG #detection
Detecting Change in Data Streams (DK, SBD, JG), pp. 180–191.
VLDBVLDB-2004-KochSSS #query #scheduling
Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams (CK, SS, NS, BS), pp. 228–239.
VLDBVLDB-2004-LawWZ #database #modelling #query #sequence
Query Languages and Data Models for Database Sequences and Data Streams (YNL, HW, CZ), pp. 492–503.
VLDBVLDB-2004-MokbelXAHPH #named #query #realtime
PLACE: A Query Processor for Handling Real-time Spatio-temporal Data Streams (MFM, XX, WGA, SEH, SP, MAH), pp. 1377–1380.
VLDBVLDB-2004-SchmidtBL #named #query
QStream: Deterministic Querying of Data Streams (SS, HB, WL), pp. 1365–1368.
VLDBVLDB-2004-YuCLZ #mining #transaction
False Positive or False Negative: Mining Frequent Itemsets from High Speed Transactional Data Streams (JXY, ZC, HL, AZ), pp. 204–215.
ITiCSEITiCSE-2004-ListerBMTW #education
The dimensions of variation in the teaching of data structures (RL, IB, BBM, JDT, SW), pp. 92–96.
ITiCSEITiCSE-WGR-2004-NairM #approach #concept
Conceptualizing data structures: a pedagogic approach (ASN, TM), pp. 97–100.
ICALPICALP-2004-FranceschiniG #string
A General Technique for Managing Strings in Comparison-Driven Data Structures (GF, RG), pp. 606–617.
IFMIFM-2004-BeckertS #integer #refinement #verification
Software Verification with Integrated Data Type Refinement for Integer Arithmetic (BB, SS), pp. 207–226.
AFPAFP-2004-Pardo04
Combining Datatypes and Effects (AP), pp. 171–209.
ICEISICEIS-v1-2004-FuZ #memory management #scalability
Memory Management for Large Scale Data Stream Recorders (KF, RZ), pp. 54–63.
CIKMCIKM-2004-LvCL #image #similarity
Image similarity search with compact data structures (QL, MC, KL), pp. 208–217.
ICPRICPR-v1-2004-LangeG #2d #effectiveness #recognition
Tree-Like Data Structures for Effective Recognition of 2-D Solids (ML, SG), pp. 592–595.
KDDKDD-2004-AggarwalHWY #classification #on the
On demand classification of data streams (CCA, JH, JW, PSY), pp. 503–508.
KDDKDD-2004-Fan #concept
Systematic data selection to mine concept-drifting data streams (WF), pp. 128–137.
ASEASE-2004-Andrews #case study #random #testing
Case Study of Coverage-Checked Random Data Structure Testing (JHA), pp. 316–319.
ICSEICSE-2004-Francois #architecture #distributed #hybrid #parallel
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.
SACSAC-2004-Ferrer-TroyanoAS
Discovering decision rules from numerical data streams (FJFT, JSAR, JCRS), pp. 649–653.
SACSAC-2004-JiangC
Data stream management system for MavHome (QJ, SC), pp. 654–655.
SACSAC-2004-OlteanuFB #performance #query #xml
An efficient single-pass query evaluator for XML data streams (DO, TF, FB), pp. 627–631.
DACDAC-2004-ShiB #automation #communication #fixpoint #optimisation
Automated fixed-point data-type optimization tool for signal processing and communication systems (CS, RWB), pp. 478–483.
HPDCHPDC-2004-ChenRA #distributed #middleware #named
GATES: A Grid-Based Middleware for Processing Distributed Data Streams (LC, KR, GA), pp. 192–201.
HPDCHPDC-2004-VijayakumarP #evaluation #performance
Performance Evaluation of Rate-Based Join Window Sizing for Asynchronous Data Streams (NNV, BP), pp. 260–261.
STOCSTOC-2004-Indyk #algorithm #geometry #problem
Algorithms for dynamic geometric problems over data streams (PI), pp. 373–380.
IJCARIJCAR-2004-ZhangSM #constraints #integer #recursion
Decision Procedures for Recursive Data Structures with Integer Constraints (TZ, HBS, ZM), pp. 152–167.
PODSPODS-2003-BabcockDMO #maintenance
Maintaining variance and k-medians over data stream windows (BB, MD, RM, LO), pp. 234–243.
PODSPODS-2003-GarofalakisK #correlation #distance #edit distance #using #xml
Correlating XML data streams using tree-edit distance embeddings (MNG, AK), pp. 143–154.
SIGMODSIGMOD-2003-AbadiCCCCEGHMRSSTXYZ #named
Aurora: A Data Stream Management System (DJA, DC, , MC, CC, CE, EFG, MH, AM, AR, AS, MS, NT, YX, RY, SBZ), p. 666.
SIGMODSIGMOD-2003-Aggarwal #framework
A Framework for Change Diagnosis of Data Streams (CCA), pp. 575–586.
SIGMODSIGMOD-2003-BabcockBDM #memory management #scheduling
Chain : Operator Scheduling for Memory Minimization in Data Stream Systems (BB, SB, MD, RM), pp. 253–264.
SIGMODSIGMOD-2003-DasGR #approximate
Approximate Join Processing Over Data Streams (AD, JG, MR), pp. 40–51.
SIGMODSIGMOD-2003-OlstonJW #adaptation #distributed #query
Adaptive Filters for Continuous Queries over Distributed Data Streams (CO, JJ, JW), pp. 563–574.
SIGMODSIGMOD-2003-Zeller #sql #transaction
NonStop SQL/MX Publish/Subscribe: Continuous Data Streams in Transaction Processing (HZ), p. 636.
VLDBVLDB-2003-AggarwalHWY #clustering #evolution #framework
A Framework for Clustering Evolving Data Streams (CCA, JH, JW, PSY), pp. 81–92.
VLDBVLDB-2003-CarneyCZRCS #scheduling
Operator Scheduling in a Data Stream Manager (DC, , AR, SBZ, MC, MS), pp. 838–849.
VLDBVLDB-2003-CormodeKMS
Finding Hierarchical Heavy Hitters in Data Streams (GC, FK, SM, DS), pp. 464–475.
VLDBVLDB-2003-GolabO #multi #query
Processing Sliding Window Multi-Joins in Continuous Queries over Data Streams (LG, MTÖ), pp. 500–511.
VLDBVLDB-2003-HammadFAE #scheduling
Scheduling for shared window joins over data streams (MAH, MJF, WGA, AKE), pp. 297–308.
VLDBVLDB-2003-KoudasS #query #tutorial
Data Stream Query Processing: A Tutorial (NK, DS), p. 1149.
VLDBVLDB-2003-TatbulCZCS
Load Shedding in a Data Stream Manager (NT, , SBZ, MC, MS), pp. 309–320.
VLDBVLDB-2003-TengCY #mining
A Regression-Based Temporal Pattern Mining Scheme for Data Streams (WGT, MSC, PSY), pp. 93–104.
VLDBVLDB-2003-WangZL #data mining #mining #named #sql
ATLAS: A Small but Complete SQL Extension for Data Mining and Data Streams (HW, CZ, CL), pp. 1113–1116.
ICALPICALP-2003-GalM #complexity
The Cell Probe Complexity of Succinct Data Structures (AG, PBM), pp. 332–344.
ICALPICALP-2003-Hannay #axiom #higher-order
Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types (JEH), pp. 903–917.
ICALPICALP-2003-Mutzel #graph
The SPQR-Tree Data Structure in Graph Drawing (PM), pp. 34–46.
TLCATLCA-2003-Konecny #functional
Functional In-Place Update with Layered Datatype Sharing (MK), pp. 195–210.
ICFPICFP-2003-Simonet #bound
An extension of HM(X) with bounded existential and universal data-types (VS), pp. 39–50.
ICEISICEIS-v1-2003-ZimmermannFK #design #scalability
Design of a Large Scale Data Stream Recorder (RZ, KF, WSK), pp. 156–168.
CIKMCIKM-2003-ChangL #adaptation #monitoring #named #online
estWin: adaptively monitoring the recent change of frequent itemsets over online data streams (JHC, WSL), pp. 536–539.
CIKMCIKM-2003-JiangC #analysis #relational
Queueing analysis of relational operators for continuous data streams (QJ, SC), pp. 271–278.
CIKMCIKM-2003-JinQSYZ #maintenance
Dynamically maintaining frequent items over a data stream (CJ, WQ, CS, JXY, AZ), pp. 287–294.
ECIRECIR-2003-CachedaCGV #hybrid #optimisation #strict #using #web
Optimization of Restricted Searches in Web Directories Using Hybrid Data Structures (FC, VC, CG, ÁV), pp. 436–451.
KDDKDD-2003-ChangL #adaptation #online
Finding recent frequent itemsets adaptively over online data streams (JHC, WSL), pp. 487–492.
KDDKDD-2003-GamaRM #mining #performance
Accurate decision trees for mining high-speed data streams (JG, RR, PM), pp. 523–528.
KDDKDD-2003-GuhaGK #correlation
Correlating synchronous and asynchronous data streams (SG, DG, NK), pp. 529–534.
KDDKDD-2003-WangFYH #classification #concept #mining #using
Mining concept-drifting data streams using ensemble classifiers (HW, WF, PSY, JH), pp. 226–235.
KDDKDD-2003-ZhuS #detection #performance
Efficient elastic burst detection in data streams (YZ, DS), pp. 336–345.
OOPSLAOOPSLA-2003-DemskyR #automation #detection #fault
Automatic detection and repair of errors in data structures (BD, MCR), pp. 78–95.
AdaEuropeAdaEurope-2003-Heaney #ada #library #named
Charles: A Data Structure Library for Ada95 (MH), pp. 271–282.
LOPSTRLOPSTR-2003-Ruiz-ReinaJHM #case study #performance #reasoning
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 (JLRR, JAAJ, MJH, FJMM), pp. 75–91.
POPLPOPL-2003-XiCC #recursion
Guarded recursive datatype constructors (HX, CC, GC), pp. 224–235.
PPDPPPDP-2003-Rossberg
Generativity and dynamic opacity for abstract types (AR), pp. 241–252.
SASSAS-2003-ChongR #recursion #static analysis
Static Analysis of Accessed Regions in Recursive Data Structures (SC, RR), pp. 463–482.
SACSAC-2003-Ferrer-TroyanoAS #mining #prototype
Prototype-based Mining of Numeric Data Streams (FJFT, JSAR, JCRS), pp. 480–484.
SACSAC-2003-GiraldezAS #performance
An Efficient Data Structure for Decision Rules Discovery (RG, JSAR, JCRS), pp. 475–479.
LDTALDTA-2003-KortL #framework
A Framework for Datatype Transformation (JK, RL), pp. 463–482.
ESOPESOP-2003-ReddyY #correctness #data transformation
Correctness of Data Representations Involving Heap Data Structures (USR, HY), pp. 223–237.
FASEFASE-2003-AttiogbePS #diagrams #integration
Integration of Formal Datatypes within State Diagrams (CA, PP, GS), pp. 341–355.
FoSSaCSFoSSaCS-2003-AbelMU #higher-order
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes (AA, RM, TU), pp. 54–69.
CSLCSL-2003-Khoussainov #algebra #on the #specification
On Algebraic Specifications of Abstract Data Types (BK), pp. 299–313.
ICSTSAT-2003-GentGNRT
Watched Data Structures for QBF Solvers (IPG, EG, MN, AGDR, AT), pp. 25–36.
PODSPODS-2002-ArasuBBMW #memory management #query #requirements
Characterizing Memory Requirements for Queries over Continuous Data Streams (AA, BB, SB, JM, JW), pp. 221–232.
PODSPODS-2002-BabcockBDMW #modelling
Models and Issues in Data Stream Systems (BB, SB, MD, RM, JW), pp. 1–16.
SIGMODSIGMOD-2002-DobraGGR #query
Processing complex aggregate queries over data streams (AD, MNG, JG, RR), pp. 61–72.
SIGMODSIGMOD-2002-GarofalakisGR #mining #query #tutorial
Querying and mining data streams: you only get one look a tutorial (MNG, JG, RR), p. 635.
VLDBVLDB-2002-ChenHWW #analysis #multi
Multi-Dimensional Regression Analysis of Time-Series Data Streams (YC, GD, JH, BWW, JW), pp. 323–334.
VLDBVLDB-2002-CormodeDIM #how #using
Comparing Data Streams Using Hamming Norms (How to Zero In) (GC, MD, PI, SM), pp. 335–345.
VLDBVLDB-2002-GarofalakisG #mining #query
Querying and Mining Data Streams: You Only Get One Look (MNG, JG).
VLDBVLDB-2002-KornMS #nearest neighbour
Reverse Nearest Neighbor Aggregates Over Data Streams (FK, SM, DS), pp. 814–825.
VLDBVLDB-2002-MankuM #approximate
Approximate Frequency Counts over Data Streams (GSM, RM), pp. 346–357.
VLDBVLDB-2002-ZhuS #monitoring #named #realtime #statistics
StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time (YZ, DS), pp. 358–369.
ICALPICALP-2002-BeierSS #energy #geometry #network #using
Energy Optimal Routing in Radio Networks Using Geometric Data Structures (RB, PS, NS), pp. 366–376.
ICALPICALP-2002-CharikarCF
Finding Frequent Items in Data Streams (MC, KCC, MFC), pp. 693–703.
ICALPICALP-2002-DuchM #multi #on the #orthogonal #performance
On the Average Performance of Orthogonal Range Search in Multidimensional Data Structures (AD, CM), pp. 514–524.
ICALPICALP-2002-GuhaIMS #performance
Histogramming Data Streams with Fast Per-Item Processing (SG, PI, SM, MS), pp. 681–692.
ICFPICFP-2002-MillsteinBC #composition
Modular typechecking for hierarchically extensible datatypes and functions (TDM, CB, CC), pp. 110–122.
CAiSECAiSE-2002-Wilson #information management #mobile
A High-Performance Data Structure for Mobile Information Systems (JNW), pp. 392–403.
CIKMCIKM-2002-QiaoAA #adaptation #named #summary
RHist: adaptive summarization over continuous data streams (LQ, DA, AEA), pp. 469–476.
ICPRICPR-v2-2002-ChoCWS #adaptation #classification #image #learning #representation #robust
Robust Learning in Adaptive Processing of Data Structures for Tree Representation Based Image Classification (SYC, ZC, ZW, WCS), pp. 108–111.
ICPRICPR-v2-2002-GuangmingJMHX #algorithm #fault #metric
A New Mesh Simplification Algorithm Combining Half-Edge Data Structure with Modified Quadric Error Metric (GL, JT, MZ, HH, XZ), pp. 659–658.
PEPMASIA-PEPM-2002-ParkP #using
Using indexed data structures for program specialization (JGP, MSP), pp. 61–69.
PADLPADL-2002-YangG #logic programming #performance #source code
Exploiting Efficient Control and Data Structures in Logic Programs (RY, SG), pp. 318–331.
PEPMPEPM-2002-LiuS #optimisation #recursion #using
Program optimization using indexed and recursive data structures (YAL, SDS), pp. 108–118.
PLDIPLDI-2002-ChilimbiH #source code
Dynamic Hot Data Stream Prefetching for General-Purpose Programs (TMC, MH), pp. 199–209.
SASSAS-2002-Jeannet #abstract interpretation #approximate #representation
Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes (BJ), pp. 52–68.
SASSAS-2002-Venet #alias #analysis #array #recursion
Nonuniform Alias Analysis of Recursive Data Structures and Arrays (AV), pp. 36–51.
SACSAC-2002-DingDP #classification #using
Decision tree classification of spatial data streams using Peano Count Trees (QD, QD, WP), pp. 413–417.
CCCC-2002-ZhangG
Data Compression Transformations for Dynamically Allocated Data Structures (YZ, RG), pp. 14–28.
HPDCHPDC-2002-Plale #memory management #runtime
Leveraging Run Time Knowledge about Event Rates to Improve Memory Utilization in Wide Area Data Stream Filtering (BP), pp. 171–178.
PDPPDP-2002-KlauerEMW #architecture #automation #parallel #thread
The CDAG: A Data Structure for Automatic Parallelization for a Multithreaded Architecture (BK, FE, RM, KW), pp. 219–226.
STOCSTOC-2002-AjtaiJKS #approximate
Approximate counting of inversions in a data stream (MA, TSJ, RK, DS), pp. 370–379.
STOCSTOC-2002-SaksS #approximate #bound #distance
Space lower bounds for distance approximation in the data stream model (MES, XS), pp. 360–369.
CADECADE-2002-Ahrendt #deduction #fault #generative #specification #using
Deductive Search for Errors in Free Data Type Specifications Using Model Generation (WA), pp. 211–225.
LICSLICS-2002-Reynolds #logic
Separation Logic: A Logic for Shared Mutable Data Structures (JCR), pp. 55–74.
SATSAT-2002-LynceM #backtracking #performance #satisfiability
Efficient data structures for backtrack search SAT solvers (IL, JMS), p. 20.
TPDLECDL-2001-KholiefSM #architecture #library #retrieval
Architecture for Event-Based Retrieval from Data Streams in Digital Libraries (MK, SNTS, KM), pp. 300–311.
CSEETCSEET-2001-Cowling01a #algorithm #education #experience #java #re-engineering
Teaching Data Structures and Algorithms in a Software Engineering Degree: Some Experience with Java (AJC), pp. 247–257.
TLCATLCA-2001-Jay #calculus
Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types (CBJ), pp. 217–239.
ICFPICFP-2001-ZengerO #algebra
Extensible Algebraic Datatypes with Defaults (MZ, MO), pp. 241–252.
GT-VMTGT-VMT-2001-EhrigO #concept #framework #integration #modelling #process
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (HE, FO), pp. 199–226.
KDDKDD-2001-HultenSD #mining
Mining time-changing data streams (GH, LS, PMD), pp. 97–106.
TOOLSTOOLS-USA-2001-Li #on the
On ODMG Data Types (LL), pp. 219–228.
POPLPOPL-2001-IshtiaqO
BI as an Assertion Language for Mutable Data Structures (SSI, PWO), pp. 14–26.
POPLPOPL-2001-Sewell #distributed #version control
Modules, abstract types, and distributed versioning (PS), pp. 236–247.
PPDPPPDP-2001-GiavittoM #approximate #declarative
Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains (JLG, OM), pp. 150–161.
ASEASE-2001-Erwig #source code
Programs Are Abstract Data Types (ME), pp. 400–403.
SACSAC-2001-GuPH #analysis #database #design #image #query
Design and analysis of data structures for querying image databases (YG, BP, KAH), pp. 236–241.
SACSAC-2001-GuptaMP #clustering #distributed #evaluation #performance #scalability
Performance evaluation of the LH*lh scalable, distributed data structure for a cluster of workstations (VG, MM, ADP), pp. 544–548.
DATEDATE-2001-CichonB #network
Annotated data types for addressed token passing networks (GC, WB), p. 801.
PDPPDP-2001-BaiardiGMMR #architecture #distributed #memory management
DVSA and SHOB: Support to Shared Data Structures on Distributed Memory Architectures (FB, DG, PM, LM, LR), pp. 165–172.
STOCSTOC-2001-NaorT #independence #named
Anti-presistence: history independent data structures (MN, VT), pp. 492–501.
CSLCSL-2001-OHearnRY #reasoning #source code
Local Reasoning about Programs that Alter Data Structures (PWO, JCR, HY), pp. 1–19.
SIGMODSIGMOD-2000-ForlizziGNS #database
A Data Model and Data Structures for Moving Objects Databases (LF, RHG, EN, MS), pp. 319–330.
SIGMODSIGMOD-2000-LitwinS #distributed #scalability #using
LH*RS: A High-Availability Scalable Distributed Data Structure using Reed Solomon Codes (WL, TJES), pp. 237–248.
WCREWCRE-J-1997-GirardK00 #comparison
A comparison of abstract data types and objects recovery techniques (JFG, RK), pp. 149–181.
IWPCIWPC-2000-GirardW #approach #classification #detection
Evaluating the Accessor Classification Approach to Detect Abstract Data Types (JFG, MW), pp. 87–95.
ICPRICPR-v3-2000-ZhaMH #multi #using
Dynamic Control of Mesh LODs (Levels of Detail) by Using a Multiresolution Mesh Data Structure (HZ, YM, TH), pp. 3505–3509.
KDDKDD-2000-CortesFPR #named
Hancock: a language for extracting signatures from data streams (CC, KF, DP, AR), pp. 9–17.
KDDKDD-2000-DomingosH #mining #performance
Mining high-speed data streams (PMD, GH), pp. 71–80.
POPLPOPL-2000-LiblitA #distributed #type system
Type Systems for Distributed Data Structures (BL, AA), pp. 199–213.
PPDPPPDP-2000-Giavitto #framework #recursion
A framework for the recursive definition of data structures (JLG), pp. 45–55.
DACDAC-2000-EllerveeMCH
System-level data format exploration for dynamically allocated data structures (PE, MM, FC, AH), pp. 556–559.
HPCAHPCA-2000-KarlssonDS #linked data #open data
A Prefetching Technique for Irregular Accesses to Linked Data Structures (MK, FD, PS), pp. 206–217.
OSDIOSDI-2000-GribbleBHC #distributed #internet #scalability
Scalable, Distributed Data Structures for Internet Service Construction (SDG, EAB, JMH, DEC), pp. 319–332.
TACASTACAS-2000-Wang #performance #realtime #verification
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems (FW), pp. 157–171.
VLDBVLDB-1999-BouganimCDDGS #data flow #multi #semistructured data #web
Miro Web: Integrating Multiple Data Sources through Semistructured Data Types (LB, TCSY, TTDN, JLD, GG, FS), pp. 750–753.
ITiCSEITiCSE-1999-KopecCA #algorithm #how
How should data structures and algorithms be taught (DK, RC, JA), pp. 175–176.
ICALPICALP-1999-GrossiI #linked data #maintenance #multi #open data #performance
Efficient Techniques for Maintaining Multidimensional Keys in Linked Data Structures (RG, GFI), pp. 372–381.
ICALPICALP-1999-Vitter #memory management #online
Online Data Structures in External Memory (JSV), pp. 119–133.
IFMIFM-1999-BoltonDW #on the #process #refinement #simulation
On the Refinement and Simulation of Data Types and Processes (CB, JD, JW), pp. 273–292.
TLCATLCA-1999-Damiani #algebra #detection
Useless-Code Detection and Elimination for PCF with Algebraic Data types (FD), pp. 83–97.
TLCATLCA-1999-PollZ #logic
A Logic for Abstract Data Types as Existential Types (EP, JZ), pp. 310–324.
ICEISICEIS-1999-Bakker
Advantages of a Hierarchical Presentation of Data Structures (JAB), pp. 173–182.
ICEISICEIS-1999-NishiokaKKON #inheritance
A High Speed Access Method to Data Structures with Inheritance Hierarchy (SN, FK, JK, MO, JN), pp. 509–516.
CIKMCIKM-1999-AllenS #library #metadata
Metadata and Data Structures for the Historical Newspaper Digital Library (RBA, JS), pp. 147–153.
PADLPADL-1999-MossR #automation #benchmark #functional #metric
Automated Benchmarking of Functional Data Structures (GEM, CR), pp. 1–15.
CCCC-1999-RubinBR #recursion
Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures (SR, DB, MR), pp. 259–273.
CCCC-1999-SariavaS #compilation
Data Structure Free Compilation (JS, SDS), pp. 1–16.
DATEDATE-1999-RadetzkiSPN #analysis #hardware #modelling #object-oriented #synthesis
Data Type Analysis for Hardware Synthesis from Object-Oriented Models (MR, AS, WPR, WN), p. 491–?.
HPDCHPDC-1999-IsertKSPE #distributed
Steering Data Streams in Distributed Computational Laboratories (CI, DK, KS, BP, GE), pp. 331–332.
ESOPESOP-1999-BenediktRS #decidability #linked data #logic #open data
A Decidable Logic for Describing Linked Data Structures (MB, TWR, SS), pp. 2–19.
FASEFASE-1999-Nepomniaschy #verification
Verification of Definite Iteration over Hierarchical Data Structures (VAN), pp. 176–187.
ITiCSEITiCSE-1998-HabermanSS #development
Abstract data types as a project development organiser (BH, ZS, EYS), pp. 102–104.
LOPSTRLOPSTR-1998-AvelloneFM #source code #synthesis
Synthesis of Programs in Abstract Data Types (AA, MF, PM), pp. 81–100.
POPLPOPL-1998-Minamide #functional #representation
A Functional Representation of Data Structures with a Hole (YM), pp. 75–84.
AdaSIGAda-1998-Duncan #ada #infinity #library #reuse
Reusable Ada Libraries Supporting Infinite Data Structures (AGD), pp. 89–103.
AdaSIGAda-1998-JarcF #ada #algorithm #animation #empirical
An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course (DJJ, MBF), pp. 68–74.
ASPLOSASPLOS-1998-RothMS #linked data #open data
Dependance Based Prefetching for Linked Data Structures (AR, AM, GSS), pp. 115–126.
SIGMODSIGMOD-1997-SeshadriP #named
PREDATOR: An OR-DBMS with Enhanced Data Types (PS, MP), pp. 568–571.
VLDBVLDB-1997-SeshadriLR
The Case for Enhanced Abstract Data Types (PS, ML, RR), pp. 66–75.
ITiCSEITiCSE-1997-MeisaloST #education #named
CLAP: teaching data structures in a creative way (VM, ES, JT), pp. 117–119.
ITiCSEITiCSE-1997-TheotokisGGP #education #interactive #named
VIBDaST: a virtual interactive book as a data structures teaching aid (DT, GG, PG, GP), pp. 111–113.
WCREWCRE-1997-GirardKS #architecture #comparison #comprehension #detection #encapsulation
Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding (JFG, RK, GS), pp. 66–75.
ICALPICALP-1997-Gianantonio
An Abstract Data Type for Real Numbers (PDG), pp. 121–131.
RTARTA-1997-KuhlerW #equation #induction #proving #specification #theorem proving
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving (UK, CPW), pp. 38–52.
TLCATLCA-1997-BerardiB #functional
Minimum Information Code in a Pure Functional Language with Data Types (SB, LB), pp. 30–45.
IFLIFL-1997-MossR #benchmark #functional #metric #named
Auburn: A Kit for Benchmarking Functional Data Structures (GEM, CR), pp. 141–159.
ECOOPECOOP-1997-Almeida
Balloon Types: Controlling Sharing of State in Data Types (PSA), pp. 32–59.
POPLPOPL-1997-PaigeY #compilation
High Level Reading and Data Structure Compilation (RP, ZY), pp. 456–469.
ASEASE-1997-GirardKS #approach #detection
A Metric-based Approach to Detect Abstract Data Types and State Encapsulations (JFG, RK, GS), pp. 82–89.
PDPPDP-1997-CateRV #approach #composition
A rigorous approach to the decomposition of data structures (HHtC, MRR, EAHV), pp. 281–288.
PDPPDP-1997-LeeJH
A generalized conflict relation for abstract data types (SKL, SYJ, CSH), pp. 35–40.
STOCSTOC-1997-Micciancio #encryption
Oblivious Data Structures: Applications to Cryptography (DM), pp. 456–464.
CADECADE-1997-NieuwenhuisRV #algorithm #automation #deduction #kernel #named #similarity
Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses (RN, JMR, MÁV), pp. 49–52.
ITiCSEITiCSE-1996-Krone #algorithm #analysis #education #symbolic computation #using
Using symbolic computation for teaching data structures and algorithm analysis (JK), p. 230.
ITiCSEITiCSE-1996-McNally #algorithm #education #using #visualisation
Using visualization in teaching data structures and algorithms (MFM), p. 231.
ICALPICALP-1996-SchulzS #self
Self-Organizing Data Structures with Dependent Accesses (FS, ES), pp. 526–537.
AFPAFP-1996-Okasaki96 #functional
Functional Data Structures (CO), pp. 131–158.
ICFPICFP-1996-GostanzaPN #pattern matching
A New Look to Pattern Matching in Abstract Data Types (PPG, RP, MN), pp. 110–121.
ICFPICFP-1996-Okasaki #evaluation #lazy evaluation
The Role of Lazy Evaluation in Amortized Data Structures (CO), pp. 62–72.
ICPRICPR-1996-LittmannNP #detection #interactive #visual notation
Nonlinear interaction of ON and OFF data streams for the detection of visual structure (EL, HN, LP), pp. 540–544.
SEKESEKE-1996-MagelZ #testing
Data Structure Coverage Testing (KIM, PZ), pp. 1–8.
ECOOPECOOP-1996-EngelsonFF #automation #generative #modelling #object-oriented #specification #user interface
Automatic Generation of User Interfaces From Data Structure Specifications and Object-Oriented Application Models (VE, DF, PF), pp. 114–141.
POPLPOPL-1996-FegarasS #embedded #morphism #source code
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (LF, TS), pp. 284–294.
SACSAC-1996-Liu #persistent #runtime #using
A persistent runtime system using persistent data structures (ZL), pp. 429–436.
ASPLOSASPLOS-1996-LukM #recursion
Compiler-Based Prefetching for Recursive Data Structures (CKL, TCM), pp. 222–233.
CADECADE-1996-Sengler #algorithm #termination
Termination of Algorithms over Non-freely Generated Data Types (CS), pp. 121–135.
ICDARICDAR-v2-1995-BippusM #database #documentation #generative #tool support
Data structures and tools for document database generation: an experimental system (RDB, VM), pp. 711–714.
TFPIEFPLE-1995-NunezPP #functional #programming
A Second Year Course on Data Structures Based on Functional Programming (MN, PP, RP), pp. 65–84.
WCREWCRE-1995-YehHR
Recovering Abstract Data Types and Object Instances from a Conventional Procedural Language (ASY, DRH, HBR), pp. 227–236.
TLCATLCA-1995-Kondoh #equation
Basic Properties of Data Types with Inequational Refinements (HK), pp. 279–296.
SIGIRSIGIR-1995-PfeiferF #approach #performance #query #using
Efficient Processing of Vague Queries using a Data Stream Approach (UP, NF), pp. 189–197.
ECOOPECOOP-1995-StroudW #protocol #using
Using Metaobject Protocols to Implement Atomic Data Types (RJS, ZW), pp. 168–189.
AdaEuropeAdaEurope-1995-Kempe #ada #classification #semistructured data
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95 (MK), pp. 71–80.
PEPMPEPM-1995-Deutsch #abstract interpretation #induction #modelling #pointer #semantics
Semantic models and abstract interpretation techniques for inductive data structures and pointers (AD), pp. 226–229.
PEPMPEPM-1995-Metayer #proving #recursion #source code
Proving Properties of Programs Defined over Recursive Data Structures (DLM), pp. 88–99.
PLDIPLDI-1995-PingaliB #dependence #named
APT: A Data Structure for Optimal Control Dependence Computation (KP, GB), pp. 32–46.
PPDPPLILP-1995-Mohnen #garbage collection #performance
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures (MM), pp. 241–258.
ASEKBSE-1995-Richardson #automation #functional #source code
Automating Changes of Data Type in Functional Programs (JR), pp. 166–173.
SACSAC-1995-Gibson #algorithm #multi #optimisation #problem #search-based
A genetic algorithm for optimizing problems with multiple disparate data types (GMG), pp. 300–304.
SACSAC-1995-NugrohoS #music #persistent
Persistence in music data structures (LEN, ASMS), pp. 27–31.
SACSAC-1995-Scholz #concurrent #functional #programming language
Turning a functional data type into a concurrent programming language (ES), pp. 135–139.
ASF+SDFASF+SDF-1995-MauwM #library
A PSF Library of Data Types (SM, JCM), pp. 53–64.
PDPPDP-1995-StuartW #algorithm #named #parallel #prototype #visual notation
PAVE: parallel algorithms visually explored, a prototype tool for the investigation of data structures in parallel numerical iterative algorithms (EJS, JSW), pp. 522–528.
PPoPPPPoPP-1995-GotwalsSG #distributed #library
pC++/streams: a Library for I/O on Complex Distributed Data Structures (JG, SS, DG), pp. 11–18.
STOCSTOC-1995-FerraginaG #string
A fully-dynamic data structure for external substring search (PF, RG), pp. 693–702.
STOCSTOC-1995-MiltersenNSW #communication #complexity #on the #symmetry
On data structures and asymmetric communication complexity (PBM, NN, SS, AW), pp. 103–111.
TAPSOFTTAPSOFT-1995-Baumeister #algebra
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras (HB), pp. 756–771.
VLDBVLDB-1994-LitwinNS #distributed #order #product line #scalability
RP*: A Family of Order Preserving Scalable Distributed Data Structures (WL, MAN, DAS), pp. 342–353.
ICSMEICSM-1994-CanforaCTM #identification #precise #reuse
A Precise Method for Identifying Reusable Abstract Data Types in Code (GC, AC, MT, MM), pp. 404–413.
LISPLFP-1994-HuelsbergenLA #runtime #thread #using
Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation (LH, JRL, AA), pp. 79–90.
CAiSECAiSE-1994-SeoL #formal method #process #reuse #using
Formalisation of Data and Process Model Reuse Using Hierarchic Data Types (DS, PL), pp. 256–268.
AdaEuropeAdaEurope-1994-BarbeyB #ada #specification #testing #using
Testing Ada Abstract Data Types Using Formal Specifications (SB, DB), pp. 76–89.
AdaEuropeAdaEurope-1994-SotirovskiJK
Beyond Abstract Data Types: Giving Life to Objects (DMS, SSJ, PK), pp. 111–120.
LOPSTRLOPSTR-1994-MarakakisG #design #logic programming #source code #top-down #using
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types (EIM, JPG), pp. 138–153.
PLDIPLDI-1994-HummelHN #data flow #dependence #pointer
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.
AdaTRI-Ada-1994-Kempe #ada
Abstract Data Types are Under Full Control with Ada 9X (MK), pp. 141–152.
FSEFSE-1994-BatoryTS #compilation #re-engineering #scalability #using
Reengineering a Complex Application Using a Scalable Data Structure Compiler (DSB, JT, MS), pp. 111–120.
FSEFSE-1994-BowdidgeG #automation #encapsulation
Automated Support for Encapsulating Abstract Data Types (RWB, WGG), pp. 97–110.
ASEKBSE-1994-DekkerV #recognition
Abstract Data Structure Recognition (RD, FV), pp. 133–140.
SACSAC-1994-KaraliH #parallel #prolog
Abstract data type support in Prolog and its relation to parallelism (IK, CH), pp. 415–419.
STOCSTOC-1994-Rauch
Improved data structures for fully dynamic biconnectivity (MR), pp. 686–695.
PODSPODS-1993-PagelSTW #analysis #performance #query #towards
Towards an Analysis of Range Query Performance in Spatial Data Structures (BUP, HWS, HT, PW), pp. 214–221.
ICSMECSM-1993-CanforaCMT #c #case study #source code
Extracting Abstract Data Types from C Programs: A Case Study (GC, AC, MM, CJT), pp. 200–209.
WCREWCRE-1993-CanforaCM #identification #reuse #reverse engineering
A Reverse Engineering Method for Identifying Reusable Abstract Data Types (GC, AC, MM), pp. 73–82.
CIKMCIKM-1993-ZhangOCF #optimisation #query #using
A Method of Using Semijoins to Optimizing Queries with ADT Functions (XZ, NO, HC, YF), pp. 723–725.
TOOLSTOOLS-USA-1993-RupingWZ #design
Demonstrating Coherent Design: A Data Structure Catalogue (AR, FW, WZ), pp. 363–375.
PLDIPLDI-1993-AdamsCS
First-Class Data-Type Representations in SchemeXerox (NA, PC, MS), pp. 139–146.
SASWSA-1993-Benton #algebra #lazy evaluation #strict
Strictness Properties of Lazy Algebraic Datatypes (PNB), pp. 206–217.
FSEFSE-1993-Turpin #approach #logic
A Logical Approach to Data Structures (RT), pp. 138–148.
ICSEICSE-1993-SirkinBS #component
Software Components in a Data Structure Precompiler (MS, DSB, VS), pp. 437–446.
DACDAC-1993-LaiFW #performance #query
HV/VH Trees: A New Spatial Data Structure for Fast Region Queries (GGL, DSF, DFW), pp. 43–47.
STOCSTOC-1993-CohenBKT #query
Reinventing the wheel: an optimal data structure for connectivity queries (RFC, GDB, AK, RT), pp. 194–200.
CSLCSL-1993-Raffalli #infinity #similarity
Data Types, Infinity and Equality in System AF2 (CR), pp. 280–294.
PODSPODS-1992-TurekSP #algorithm #concurrent
Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking (JT, DS, SP), pp. 212–222.
SIGMODSIGMOD-1992-HoelS #comparison #database #scalability
A Qualitative Comparison Study of Data Structures for Large Line Segment Databases (EGH, HS), pp. 205–214.
PLDIPLDI-1992-HendrenHN #abstraction #analysis #imperative #pointer #recursion #source code
Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs (LJH, JH, AN), pp. 249–260.
PPDPPLILP-1992-GomardS #analysis #lazy evaluation
Path Analysis for Lazy Data Structures (CKG, PS), pp. 54–68.
SASWSA-1992-Jensen #axiom #recursion
Axiomatising Uniform Properties of Recursive Data Structures (TPJ), pp. 144–151.
ASEKBSE-1992-CohenC #automation #composition
Automatic Composition of Data Structures to Represent Relations (DC, NC), p. 26.
CCCC-1992-Samples #compilation #implementation #using
Compiler Implementation of ADTs Using Profile Data (ADS), pp. 72–87.
ICTSSIWPTS-1992-Gaudel #specification #testing
Test Selection Based on ADT Specifications (MCG), pp. 31–40.
LICSLICS-1992-Curien #algorithm
Observable Algorithms on Concrete Data Structures (PLC), pp. 432–443.
VLDBVLDB-1991-Albert #algebra
Algebraic Properties of Bag Data Types (JA), pp. 211–219.
VLDBVLDB-1991-SullivanS #database #fault tolerance #using
Using Write Protected Data Structures To Improve Software Fault Tolerance in Highly Available Database Management Systems (MS, MS), pp. 171–180.
CAVCAV-1991-Brinksma #process
From Data Structure to Process Structure (EB), pp. 244–254.
CSLCSL-1991-Feferman #approach
A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation (SF), pp. 79–95.
CSLCSL-1991-Meinke #combinator #equation #specification
Equational Specification of Abstract Types and Combinators (KM), pp. 257–271.
PODSPODS-1990-ArefS #performance #query
Efficient Processing of Window Queries in The Pyramid Data Structure (WGA, HS), pp. 265–272.
ICALPICALP-1990-NaherM #algorithm #library #named #performance
LEDA: A Library of Efficient Data Types and Algorithms (SN, KM), pp. 1–5.
ICALPICALP-1990-TuckerWZ
Provable Computable Functions on Abstract Data Types (JVT, SSW, JIZ), pp. 660–673.
FMVDME-1990-Steensgaard-Madsen
Adding Abstract Datatypes to Meta-IV (JSM), pp. 233–243.
SEKESEKE-1990-MatetiD #diagrams #linked data #open data
Aesthetics Rules in The Diagrams of Linked Data Structures (PM, CD), pp. 239–244.
PPDPPLILP-1990-Huitouze #implementation #prolog
A New Data Structure for Implementing Extensions to Prolog (SLH), pp. 136–150.
DACDAC-1990-WhitcombN #synthesis
Abstract Data Types and High-Level Synthesis (GSW, ARN), pp. 680–685.
PPoPPPPoPP-1990-Herlihy #concurrent #implementation
A Methodology for Implementing Highly Concurrent Data Structures (MH), pp. 197–206.
PPoPPPPoPP-1990-KoelbelMR #architecture #distributed #memory management
Supporting Shared Data Structures on Distributed Memory Architectures (CK, PM, JVR), pp. 177–186.
ICLPCLP-1990-MulkersWB90 #analysis
Analysis of Shared Data Structures for Compile-Time Garbage (AM, WHW, MB), pp. 747–762.
CSEETSEI-1989-Collberg #algorithm #re-engineering
Data Structures, Algorithms, and Software Engineering (CSC), pp. 70–79.
ICALPICALP-1989-GambosiNT
A Pointer-Free Data Structure for Merging Heaps and Min-Max Heaps (GG, EN, MT), pp. 405–422.
ICALPICALP-1989-Kenyon-MathieuV #analysis
General Methods for the Analysis of the Maximum Size of Dynamic Data Structures (CKM, JSV), pp. 473–487.
ICSEICSE-1989-JadoulDP #agile #algebra #prototype #specification
An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment (LJ, LD, WVP), pp. 74–84.
TAPSOFTCAAP-1989-MiglioliMO #axiom
Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types (PM, UM, MO), pp. 337–351.
TAPSOFTCCIPL-1989-PenaA #specification #verification
Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types (RP, LMA), pp. 328–344.
STOCSTOC-1989-AwerbuchBLP #adaptation #distributed
Compact Distributed Data Structures for Adaptive Routing (BA, ABN, NL, DP), pp. 479–489.
STOCSTOC-1989-FredmanS #complexity
The Cell Probe Complexity of Dynamic Data Structures (MLF, MES), pp. 345–354.
PODSPODS-1988-HerlihyW #concurrent #hybrid
Hybrid Concurrency Control for Abstract Data Types (MH, WEW), pp. 201–210.
VLDBVLDB-1988-LinnemannKDPEKSWW #database #design #implementation
Design and Implementation of an Extensible Database Management System Supporting User Defined Data Types and Functions (VL, KK, PD, PP, RE, AK, NS, GW, MW), pp. 294–305.
ICALPICALP-1988-Tamassia #graph
A Dynamic Data Structure for Planar Graph Embedding (RT), pp. 576–590.
PPDPALP-1988-BeierleP #equation #logic programming #specification
Integrating Logic Programming and Equational Specification of Abstract Data Types (CB, UP), pp. 71–82.
POPLPOPL-1988-GarlandG #induction #reasoning
Inductive Methods for Reasoning about Abstract Data Types (SJG, JVG), pp. 219–228.
ICSEICSE-1988-EmbleyW #ada #quality
Assessing the Quality of Abstract Data Types Written in Ada (DWE, SNW), pp. 144–153.
DACDAC-1988-Meyer
A Data Structure for Circuit Net Lists (SM), pp. 613–616.
SIGMODSIGMOD-1987-NelsonS #analysis
A Population Analysis for Hierarchical Data Structures (RCN, HS), pp. 270–277.
FMVDME-1987-Airchinnigh87b #specification
Specification by Data Types (MMaA), pp. 362–388.
PLDIPLDI-1987-ShebsK #automation #design #implementation
Automatic design and implementation of language data types (SS, RRK), pp. 26–37.
POPLPOPL-1987-MoshierR #logic
A Logic for Partially Specified Data Structures (MDM, WCR), pp. 156–167.
ESECESEC-1987-EnselmeBV #automation #synthesis
Automatic Program Synthesis from Data Structures (DE, GB, FYV), pp. 339–347.
ICSEICSE-1987-EmbleyW #reuse
A Knowledge Structure for Reusing Abstract Data Types (DWE, SNW), pp. 360–368.
ICSEICSE-1987-Kramer #distributed #named #petri net #specification
SEGRAS — A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems (BJK), pp. 116–125.
SOSPSOSP-1987-VargheseL #implementation #performance
Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility (GV, AL), pp. 25–38.
TAPSOFTCAAP-1987-MarongiuT #algebra #finite #specification
Finite Algebraic Specifications of Semicomputable Data Types (GM, ST), pp. 111–122.
TAPSOFTCFLP-1987-BeierleV #canonical #specification #theory and practice
Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications (CB, AV), pp. 320–334.
TAPSOFTCFLP-1987-Thomas #algebra #imperative #implementation #programming language
Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language (MT), pp. 197–211.
ICLPSLP-1987-BarklundM87 #prolog
Integrating Complex Data Structures in Prolog (JB, HM), pp. 415–425.
OOPSLAOOPSLA-1986-Olthoff #concept #experience #object-oriented #programming #type system
Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience (WGO), pp. 429–443.
POPLPOPL-1986-CarrieroGL #distributed
Distributed Data Structures in Linda (NC, DG, JL), pp. 236–242.
DACDAC-1986-Larsen #analysis #clustering #synthesis
Rules-based object clustering: a data structure for symbolic VLSI synthesis and analysis (RPL), pp. 768–777.
STOCSTOC-1986-DriscollSST #persistent
Making Data Structures Persistent (JRD, NS, DDS, RET), pp. 109–121.
CADECADE-1986-Buttner #set #unification
Unification in the Data Structure Sets (WB), pp. 470–488.
POPLPOPL-1985-MitchellP
Abstract Types Have Existential Type (JCM, GDP), pp. 37–51.
DACDAC-1985-ZaraRNS #automaton #functional #modelling
An abstract machine data structure for non-procedural functional models (RVZ, KR, GN, HS), pp. 753–756.
TAPSOFTCAAP-1985-KapurS #approach #rule-based
A Rewrite Rule Based Approach for Synthesizing Abstract Data Types (DK, MKS), pp. 188–207.
TAPSOFTCAAP-1985-Padawitz #parametricity #specification
Parameter Preserving Data Type Specifications (PP), pp. 323–341.
TAPSOFTCAAP-1985-PoigneV #implementation #on the #programming language
On the Implementation of Abstract Data Types by Programming Language Constructs (AP, JV), pp. 388–402.
TAPSOFTCSE-1985-HsiangS #prolog #reasoning
A PROLOG Environment for Developing and Reasoning about Data Types (JH, MKS), pp. 276–293.
TAPSOFTCSE-1985-MaibaumVS #development #formal method #question
A Theory of Abstract Data Types for Program Development: Bridging the Gap? (TSEM, PASV, MRS), pp. 214–230.
PODSPODS-1984-OrensteinM
A Class of Data Structures for Associative Searching (JAO, THM), pp. 181–190.
SIGMODSIGMOD-1984-StonebrakerAHR
Quel as a Data Type (MS, EA, ENH, WBR), pp. 208–214.
VLDBVLDB-1984-BatoryB #framework #modelling
Molecular Objects, Abstract Data Types, and Data Models: A Framework (DSB, APB), pp. 172–184.
POPLPOPL-1984-Myers #performance
Efficient Applicative Data Types (EWM), pp. 66–75.
POPLPOPL-1984-Thiel #semistructured data #specification
Stop Losing Sleep Over Incomplete Data Type Specifications (JJT), pp. 76–82.
STOCSTOC-1984-FredericksonS #online
Data Structures for On-Line Updating of Matroid Intersection Solutions (GNF, MAS), pp. 383–390.
CADECADE-1984-Kirchner84a #algorithm #induction
A General Inductive Completion Algorithm and Application to Abstract Data Types (HK), pp. 282–302.
ICALPICALP-1983-Ganzinger #compilation #composition #semantics
Modular Compiler Descriptions Based on Abstract Semantic Data Types (HG), pp. 237–249.
ICALPICALP-1983-LescanneS #case study #on the
On the Study Data Structures: Binary Tournaments with Repeated Keys (PL, JMS), pp. 466–477.
ICALPICALP-1983-MunroP
Searchability in Merging and Implicit Data Structures (JIM, PVP), pp. 527–535.
POPLPOPL-1983-Kieburtz #precise #specification #type system
Precise Typing of Abstract Data Type Specifications (RBK), pp. 109–116.
POPLPOPL-1983-Leivant83a #polymorphism #semantics
Structural Semantics for Polymorphic Data Types (DL), pp. 155–166.
RERE-1983-PartschP
Abstract Data Types as a Tool for Requirement Engineering (HP, PP), pp. 42–55.
DACDAC-1983-LoNB
A data structure for MOS circuits (CYL, HNN, AKB), pp. 619–624.
STOCSTOC-1983-Frederickson #online
Data Structures for On-Line Updating of Minimum Spanning Trees (GNF), pp. 252–257.
VLDBVLDB-1982-SchekP #database #information retrieval
Data Structures for an Integrated Data Base Management and Information Retrieval System (HJS, PP), pp. 197–207.
ICALPICALP-1982-BergstraK #algebra #parametricity #specification
Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.
ICALPICALP-1982-Salwicki #algorithm
Algorithmic Theories of Data Structures (AS), pp. 458–472.
POPLPOPL-1982-JonesM #analysis #approach #data flow #flexibility #interprocedural #recursion #source code
A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures (NDJ, SSM), pp. 66–74.
POPLPOPL-1982-Komorowski #implementation #partial evaluation #prolog
Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog (HJK), pp. 255–267.
ICSEICSE-1982-SakabeIH #specification
Specification of Abstract Data Types with Partially Defined Operations (TS, YI, NH), pp. 218–224.
DACDAC-1982-Grabel #distributed #towards
Object data structures towards distributed graphics processing (DG), pp. 358–364.
DACDAC-1982-Kedem #algorithm #online
The quad-CIF tree: A data structure for hierarchical on-line algorithms (GK), pp. 352–357.
DACDAC-1982-Peled
Simplified data structure for “mini-based” turnkey CAD systems (JP), pp. 636–642.
CADECADE-1982-MatwinP #backtracking #exponential #implementation #performance
Exponential Improvement of Efficient Backtracking: data Structure and Implementation (SM, TP), pp. 240–259.
ICALPICALP-1981-Loeckx #algorithm #specification
Algorithmic Specifications of Abstract Data Types (JL), pp. 129–147.
ICALPICALP-1981-Subrahmanyam #nondeterminism
Nondeterminism in Abstract Data Types (PAS), pp. 148–164.
FMPS-1981-Cristian #robust
Robust Data Types (FC), pp. 215–254.
ICSEICSE-1981-AndrewsDD
Active Data Structures (GRA, DPD, PJD), pp. 354–362.
ICSEICSE-1981-CunhaM #programming
Resource = Abstract Data Type + Synchronization — A Methodology for Message Oriented Programming (PRFC, TSEM), pp. 263–272.
ICSEICSE-1981-SchwartzM
The Finalization Operation for Abstract Types (RLS, PMMS), pp. 273–282.
DACDAC-1981-HirschhornHB #algorithm #functional #simulation
Functional level simulation in FANSIM3 — algorithms, data structures and results (SH, MH, CB), pp. 248–255.
DACDAC-1981-LacroixP
Data structures for CAD object description (ML, AP), pp. 653–659.
STOCSTOC-1981-SleatorT
A Data Structure for Dynamic Trees (DDS, RET), pp. 114–122.
ICALPICALP-1980-BergstraT #equation #finite #specification
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method (JAB, JVT), pp. 76–90.
ICALPICALP-1980-EhrigKP #algebra #concept #correctness #implementation #semantics #syntax
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness (HE, HJK, PP), pp. 142–156.
ICALPICALP-1980-EhrigKTWW #algebra #specification
Parameterized Data Types in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 157–168.
ICALPICALP-1980-HornungR #algebra #semantics
Terminal Algebra Semantics and Retractions for Abstract Data Types (GH, PR), pp. 310–323.
LISPLISP-1980-Cartwright #axiom
A Constructive Alternative to Axiomatic Data Type Definitions (RC), pp. 46–55.
POPLPOPL-1980-DemersD #parametricity #type checking
Data Types, Parameters, and Type Checking (AJD, JED), pp. 12–23.
POPLPOPL-1980-Kamin #specification
Final Data Tye Specifications: A New Data Type Specification Method (SNK), pp. 131–138.
POPLPOPL-1980-Musser #induction #on the #proving
On Proving Inductive Properties of Abstract Data Types (DRM), pp. 154–162.
DACDAC-1980-Jayakumar #interactive
A data structure for interactive placement of rectangular objects (VJ), pp. 237–242.
DACDAC-1980-Lauther
A data structure for gridless routing (UL), pp. 603–609.
CCSDCG-1980-Gaudel #compilation #specification
Specification of compilers as abstract data type representations (MCG), pp. 140–164.
CADECADE-1980-OverbeekL #architecture #implementation #source code
Data Structures and Control Architectures for Implementation of Theorem-Proving Programs (RAO, ELL), pp. 232–249.
ICALPICALP-1979-BroyDPPW #quantifier
Existential Quantifiers in Abstract Data Types (MB, WD, HP, PP, MW), pp. 73–87.
FMFM-1979-BergG #specification
Hierarchical Specification of Abstract Data Types (HKB, WKG), pp. 150–196.
POPLPOPL-1979-SchonbergSS #automation
Automatic Data Structure Selection in SETL (ES, JTS, MS), pp. 197–210.
STOCSTOC-1979-Fredman #problem #query
A Near Optimal Data Structure for a Type of Range Query Problem (MLF), pp. 62–66.
STOCSTOC-1979-MunroS
Implicit Data Structures (JIM, HS), pp. 108–117.
STOCSTOC-1979-RosenbergWG
Storage Representations for Tree-Like Data Structures (ALR, DW, ZG), pp. 99–107.
VLDBVLDB-1978-BrodieS #question #what
What is the Use of Abstract Data Types? (MLB, JWS), pp. 140–141.
ICALPICALP-1978-EhrigKP #implementation #specification
Stepwise Specification and Implementation of Abstract Data Types (HE, HJK, PP), pp. 205–226.
ICGTGG-1978-EhrichL #specification
Constructive Specifications of Abstract Data Types by Replacements (HDE, VGL), pp. 180–191.
POPLPOPL-1978-DemersDS #encapsulation #morphism #polymorphism
Data Types as Values: Polymorphism, Type-Checking, Encapsulation (AJD, JED, GS), pp. 23–30.
POPLPOPL-1978-Oppen #reasoning #recursion
Reasoning about Recursively Defined Data Structures (DCO), pp. 151–157.
STOCSTOC-1978-ThatcherWW #power of #specification
Data Type Specification: Parameterization and the Power of Specification Techniques (JWT, EGW, JBW), pp. 119–132.
VLDBVLDB-1977-MizumotoT #implementation
Implementation of a Fuzzy-Set Theoretic Data Structure System (MM, MU, KT), p. 490.
ICALPICALP-1977-Rajlich #graph grammar #relational
Theory of Data Structures by Relational and Graph Grammars (VR), pp. 391–411.
ICALPICALP-1977-ShamirW
Data Types as Objects (AS, WWW), pp. 465–479.
VLDBVLDB-1976-Bekke #relational
A Data Manipulation Language for Relational Data Structures (JHtB), pp. 159–168.
ICALPICALP-1976-Cartwright #lisp #source code #verification
User-Defined Data Types as an Aid to Verifying LISP Programs (RC), pp. 228–256.
AdaDIPL-1976-Brosgol #type checking
Some issues in data types and type checking (BMB), pp. 102–130.
AdaDIPL-1976-DemersDTW #encapsulation
Encapsulated data types and generic (AJD, JED, RTT, JHW), pp. 171–214.
AdaDIPL-1976-Nestor #modelling
Models of data objects and data types (JRN), pp. 131–170.
POPLPOPL-1976-LowR #automation
Techniques for the Automatic Selection of Data Structures (JRL, PR), pp. 58–67.
ICSEICSE-1976-BillawalaST #multi #simulation
A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems (NB, SAS, EWT), pp. 151–157.
ICSEICSE-1976-Claybrook #design
The Design of a Template Structure for a Generalized Data Structure Definition Facility (BGC), pp. 408–413.
ICSEICSE-1976-GuttagHM #design #specification
The Design of Data Type Specifications (JVG, EH, DRM), pp. 414–420.
SIGMODSIGMOD-1975-Gerritsen #design
A Preliminary System for the Design of DBTG Data Structures (RG), p. 166.
SIGMODSIGMOD-1975-McGee #network
File-Level Operations on Network Data Structures (WCM), pp. 32–47.
VLDBVLDB-1975-Senko #specification
Specification of Stored Data Structures and Desired Output Results in DIAM II with FORAL (MES), pp. 557–571.
POPLPOPL-1975-CookO
An Assertion Language for Data Structures (SAC, DCO), pp. 160–166.
POPLPOPL-1975-Schwartz #automation
Automatic Data Structure Choice in a Language of Very High Level (JTS), pp. 36–40.
STOCSTOC-1975-LiptonED #complexity
The Complexity of Control Structures and Data Structures (RJL, SCE, RAD), pp. 186–193.
STOCSTOC-1975-OppenC #proving #source code
Proving Assertions about Programs that Manipulate Data Structures (DCO, SAC), pp. 107–116.
POPLPOPL-1973-LewisR #recursion
Recursively Defined Data Types (CHL, BKR), pp. 125–138.
SIGMODSIGFIDET-1972-WalkerG #hybrid
Hybrid Trees: A Data Structure for Lists of Keys (WAW, CCG), pp. 189–211.
SIGMODSIGFIDET-1971-Codd71a #normalisation #tutorial
Normalized Data Structure: A Brief Tutorial (EFC), pp. 1–17.
SIGMODSIGFIDET-1970-BracchiFS #multi
A Multilevel Data Structure for Complex Hierarchies of Interrelated Data (GB, DF, MS), pp. 246–275.
SIGMODSIGFIDET-1970-Earley #comprehension #towards
Toward an Understanding of Data Structures (JE), pp. 1–40.
DACSHARE-1966-Robinson #design
A data structure for a computer aided design system (CER).
LISPLISP-1963-Hawkinson #lisp
Data structures and arrangements in LISP (LH), p. 5.

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.