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 flow
Google data flow

Tag #data flow

674 papers:

POPLPOPL-2020-BourkeBP #compilation #semantics
Mechanized semantics and verified compilation for a dataflow synchronous language with reset (TB, LB, MP), p. 29.
ICSAICSA-2019-GerkingS #architecture #component #cyber-physical #policy #refinement #security #verification
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures (CG, DS), pp. 61–70.
ICSAICSA-2019-TumaSB #analysis #design
Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis (KT, RS, MB), pp. 191–200.
SANERSANER-2019-PupoNENRB #information management #machine learning #named
GUARDIAML: Machine Learning-Assisted Dynamic Information Flow Control (ALSP, JN, KE, AN, CDR, EGB), pp. 624–628.
FMFM-2019-IroftiD #consistency #modelling
Local Consistency Check in Synchronous Dataflow Models (DI, PD), pp. 389–405.
FMFM-2019-SmithCM #memory management #modelling #security
Value-Dependent Information-Flow Security on Weak Memory Models (GS, NC, TM), pp. 539–555.
IFM-2019-DubrulleGKL #configuration management
Dynamic Reconfigurations in Frequency Constrained Data Flow (PD, CG, NK, AL), pp. 175–193.
HaskellHaskell-2019-ErtelARGC #composition #concurrent #monad #named #parallel #thread
STCLang: state thread composition as a foundation for monadic dataflow parallelism (SE, JA, NAR, AG, JC), pp. 146–161.
ICMLICML-2019-GoldfeldBGMNKP #network
Estimating Information Flow in Deep Neural Networks (ZG, EvdB, KHG, IM, NN, BK, YP), pp. 2299–2308.
KDDKDD-2019-Zang0S0W
Uncovering Pattern Formation of Information Flow (CZ, PC0, CS, WZ0, FW0), pp. 1691–1699.
MoDELSMoDELS-2019-PeldszusT0JS #automation #modelling
Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings (SP, KT, DS0, JJ, RS), pp. 23–33.
PLDIPLDI-2019-MohammadiYCDHDN #dependence #performance
Sparse computation data dependence simplification for efficient compiler-generated inspectors (MSM, TY, KC, ECD, MWH, MMD, PN, CO, AV, MMS), pp. 594–609.
POPLPOPL-2019-Kavvos
Modalities, cohesion, and information flow (GAK), p. 29.
POPLPOPL-2019-ParkerVH #multi #named #security #web
LWeb: information flow security for multi-tier web applications (JP, NV, MH0), p. 30.
POPLPOPL-2019-SpathAB #analysis #automaton #using
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems (JS, KA0, EB), p. 29.
POPLPOPL-2019-VassenaRGRS #information management
From fine- to coarse-grained dynamic information flow control and back (MV, AR, DG0, VR, DS), p. 31.
SASSAS-2019-Cousot #analysis #semantics
Syntactic and Semantic Soundness of Structural Dataflow Analysis (PC), pp. 96–117.
ASPLOSASPLOS-2019-GaoYPHK #named #scalability
TANGRAM: Optimized Coarse-Grained Dataflow for Scalable NN Accelerators (MG, XY, JP, MH, CK), pp. 807–820.
ASPLOSASPLOS-2019-PhothilimthanaE #gpu #kernel #synthesis
Swizzle Inventor: Data Movement Synthesis for GPU Kernels (PMP, ASE, AW0, AJ, BH, HB, SJK, VG, ET, RB), pp. 65–78.
FASEFASE-2019-DubrulleGKLL
A Data Flow Model with Frequency Arithmetic (PD, CG, NK, AL, SL), pp. 369–385.
ICSTICST-2019-HellhakeSW #black box #distributed #integration #test coverage #testing #using
Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems (DH, TS, SW0), pp. 420–429.
ECSAECSA-2018-GerkingS #architecture #composition #cyber-physical #security #towards
Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems (CG, DS), pp. 147–155.
FMFM-2018-AmericoAM #algebra #approach #reasoning
An Algebraic Approach for Reasoning About Information Flow (AA, MSA, AM), pp. 55–72.
FMFM-2018-FernandesDM #perspective #privacy
Processing Text for Privacy: An Information Flow Perspective (NF, MD, AM), pp. 3–21.
OOPSLAOOPSLA-2018-AlpernasFFRSSW #information management #using
Secure serverless computing using dynamic information flow control (KA, CF, SF, LR, MS, TS, KW), p. 26.
POPLPOPL-2018-ChatterjeeCP #alias #analysis #reachability
Optimal Dyck reachability for data-dependence and alias analysis (KC, BC, AP), p. 30.
PPDPPPDP-2018-ContrastinOR #automation #datalog #order #safety
Automatic Reordering for Dataflow Safety of Datalog (MC, DAO, ACR), p. 17.
ICSE-2018-BankenMG #debugging #source code
Debugging data flows in reactive programs (HB, EM0, GG), pp. 752–763.
ICSE-2018-YuJ #dependence #mining
Dataflow tunneling: mining inter-request data dependencies for request-based applications (XY, GJ), pp. 586–597.
ASPLOSASPLOS-2018-BoroumandGKASTK
Google Workloads for Consumer Devices: Mitigating Data Movement Bottlenecks (AB, SG, YK, RA, ES, RT, DK, AK, AK, PR, OM), pp. 316–331.
ASPLOSASPLOS-2018-KwonSK #configuration management #flexibility #named
MAERI: Enabling Flexible Dataflow Mapping over DNN Accelerators via Reconfigurable Interconnects (HK, AS, TK), pp. 461–475.
CCCC-2018-PathadeK #analysis
Computing partially path-sensitive MFP solutions in data flow analyses (KP, UPK), pp. 37–47.
CGOCGO-2018-DavisSO #graph #metaprogramming
Transforming loop chains via macro dataflow graphs (ECD, MMS, CO), pp. 265–277.
TAPTAP-2018-HerdaTB #dependence #graph #testing #using #verification
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties (MH, SST, BB), pp. 83–102.
VMCAIVMCAI-2018-BiondiEHLMQ #approximate #scalability #source code
Scalable Approximation of Quantitative Information Flow in Programs (FB, MAE, AH, AL, KSM, JQ), pp. 71–93.
VMCAIVMCAI-2018-PrabawaALC #composition #logic #verification
A Logical System for Modular Information Flow Verification (AP, MFAA, BL, WNC), pp. 430–451.
ICPCICPC-2017-AzadmaneshHV #comprehension #independence #tool support
Language-independent information flow tracking engine for program comprehension tools (MRA, MH, MLVdV), pp. 346–355.
SEFMSEFM-2017-GeorgetJPTT #concurrent #linux #memory management
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory (LG, MJ, GP, FT, VVTT), pp. 1–16.
SEFMSEFM-2017-GreinerMB #component #composition #security #verification
Modular Verification of Information Flow Security in Component-Based Systems (SG, MM, BB), pp. 300–315.
SEFMSEFM-2017-WiikB #automation #network #specification #verification
Specification and Automated Verification of Dynamic Dataflow Networks (JW, PB), pp. 136–151.
KDDKDD-2017-MaMXLGSZ #semistructured data
Unsupervised Discovery of Drug Side-Effects from Heterogeneous Data Sources (FM, CM, HX, QL0, JG0, LS, AZ), pp. 967–976.
OOPSLAOOPSLA-2017-SpathAB #alias #analysis #named #performance #precise
IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.
POPLPOPL-2017-AssafNSTT #semantics #static analysis
Hypercollecting semantics and its application to static analysis of information flow (MA, DAN, JS, ET, FT), pp. 874–887.
POPLPOPL-2017-ZhangS #analysis #linear #reachability
Context-sensitive data-dependence analysis via linear conjunctive language reachability (QZ, ZS), pp. 344–358.
ASEASE-2017-MathisASBZ #detection
Detecting information flow by mutating input data (BM, VA, EOS, MB, AZ), pp. 263–273.
SLESLE-2017-SmitsV #analysis #declarative #named #specification
FlowSpec: declarative dataflow analysis specification (JS, EV), pp. 221–231.
ASPLOSASPLOS-2017-FerraiuoloXZMS #analysis #architecture #hardware #security #verification
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis (AF, RX, DZ, ACM, GES), pp. 555–568.
CCCC-2017-TownsendKE #functional #pipes and filters #source code
From functional programs to pipelined dataflow circuits (RT, MAK, SAE), pp. 76–86.
ICSTICST-2017-ZhangYZLCHL #automation #parallel #source code #testing #thread
Automated Testing of Definition-Use Data Flow for Multithreaded Programs (XZ0, ZY, QZ, PL, JC, YH, TL0), pp. 172–183.
TAPTAP-2017-BaranyS #analysis #c #hybrid
Hybrid Information Flow Analysis for Real-World C Code (GB, JS), pp. 23–40.
WICSAWICSA-2016-Seifermann #analysis #architecture
Architectural Data Flow Analysis (SS), pp. 270–271.
FMFM-2016-KawamotoBL #estimation #hybrid #statistics
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow (YK0, FB, AL), pp. 406–425.
CIKMCIKM-2016-GuoXYHLLGC #machine learning #process
Ease the Process of Machine Learning with Dataflow (TG, JX0, XY, JH, PL, ZL, JG, XC), pp. 2437–2440.
PLATEAUPLATEAU-2016-Salvaneschi #question #what
What do we really know about data flow languages? (GS), pp. 30–31.
AdaEuropeAdaEurope-2016-MohaqeqiAY #analysis #graph #modelling #realtime #using
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model (MM, JA, WY0), pp. 15–29.
PLDIPLDI-2016-CostanzoSG #assembly #c #security #source code #verification
End-to-end verification of information-flow security for C and assembly programs (DC, ZS, RG), pp. 648–664.
PLDIPLDI-2016-YangHASFC #information management #precise
Precise, dynamic information flow for database-backed applications (JY0, TH, THA, ASL, CF, SC), pp. 631–647.
QAPLQAPL-2016-DugganY
Parameterized Dataflow (Extended Abstract) (DD, JY), pp. 63–81.
ASEASE-2016-SzaboAVE #analysis #framework
An extensible framework for variable-precision data-flow analyses in MPS (TS, SA, MV, SE), pp. 870–875.
ICSE-2016-ArztB #android #automation #framework #named #precise #summary
StubDroid: automatic inference of precise data-flow summaries for the android framework (SA, EB), pp. 725–735.
ASPLOSASPLOS-2016-YoonSCC #named #predict
PIFT: Predictive Information-Flow Tracking (MKY, NS, YC, MC), pp. 713–725.
CCCC-2016-MurphyJMC #automation #dependence #performance
Performance implications of transient loop-carried data dependences in automatically parallelized loops (NM, TMJ0, RDM, SC), pp. 23–33.
VLDBVLDB-2015-AkidauBCCFLMMPS #approach #bound #correctness #latency
The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing (TA, RB, CC, SC, RFM, RL, SM, DM, FP, ES, SW), pp. 1792–1803.
SCAMSCAM-2015-ChochlovEB #feature model #using
Using changeset descriptions as a data source to assist feature location (MC, ME, JB), pp. 51–60.
FMFM-2015-ZhuYGZZZ #graph #model checking #scheduling
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (XZ, RY, YLG, JZ, WZ, GZ), pp. 551–569.
ICFPICFP-2015-BuirasVR #dynamic typing #haskell #named #type system
HLIO: mixing static and dynamic typing for information-flow control in Haskell (PB, DV, AR), pp. 289–301.
HCIHCI-UC-2015-SandersCDJ
GT Journey: The Importance of Accessible Rich Data Sources to Enable Innovation (MS, RJC, BD, SJ), pp. 82–91.
CAiSECAiSE-2015-KopkeE #design #equivalence
Equivalence Transformations for the Design of Interorganizational Data-Flow (JK, JE), pp. 367–381.
CIKMCIKM-2015-KantereOKS #query #semistructured data
Query Relaxation across Heterogeneous Data Sources (VK, GO, AK, TKS), pp. 473–482.
SEKESEKE-2015-SunSWZ #analysis #detection #fault #integer #using
Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis (HS, CS, YW, QZ), pp. 601–606.
OOPSLAOOPSLA-2015-BastaniAA #android #verification
Interactively verifying absence of explicit information flows in Android apps (OB, SA, AA), pp. 299–315.
LOPSTRLOPSTR-2015-MantelMPW #analysis #automaton #composition #network #using
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis (HM, MMO, MP, AW), pp. 201–217.
PADLPADL-2015-FowlerDG
Reactive Single-Page Applications with Dynamic Dataflow (SF, LD, AG), pp. 58–73.
POPLPOPL-2015-LourencoC
Dependent Information Flow Types (LL, LC), pp. 317–328.
POPLPOPL-2015-TangWZXZM #analysis
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks (HT, XW, LZ, BX, LZ, HM), pp. 83–95.
QAPLQAPL-2015-KawamotoG
Quantitative Information Flow for Scheduler-Dependent Systems (YK, TGW), pp. 48–62.
SASSAS-2015-RapoportLT #analysis #correlation #precise
Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.
ASEASE-2015-LerchSBM #abstraction #analysis #bound #scalability
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T) (JL, JS, EB, MM), pp. 619–629.
ASEASE-2015-ShermanD #analysis #performance #precise
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T) (ES, MBD), pp. 608–618.
ICSEICSE-v1-2015-DenaroMPV #object-oriented #testing
Dynamic Data Flow Testing of Object Oriented Systems (GD, AM, MP, MV), pp. 947–958.
ICSEICSE-v1-2015-SuFPHS #execution #model checking #symbolic computation #testing
Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
SACSAC-2015-HublerRFS #named #using
P-SaMI: a data-flow pattern to perform massively-parallel molecular docking experiments using a fully-flexible receptor model (PH, DDAR, JEF, ONdS), pp. 54–57.
SACSAC-2015-JakobsW #analysis #proving #source code
Programs from proofs of predicated dataflow analyses (MCJ, HW), pp. 1729–1736.
SACSAC-2015-MongioviGFPT #analysis #approach #detection #hybrid #java
Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications (MM, GG, AF, GP, ET), pp. 1573–1579.
SACSAC-2015-ThionLB #data access #relational
Tuple-based access control: a provenance-based information flow control for relational data (RT, FL, MBGT), pp. 2165–2170.
GPCEGPCE-2015-FoustJP #constraints #generative #multi #source code #user interface #visual notation
Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems (GF, JJ, SP), pp. 121–130.
ASPLOSASPLOS-2015-ZhangWSM #design #hardware #information management #security
A Hardware Design Language for Timing-Sensitive Information-Flow Security (DZ, YW, GES, ACM), pp. 503–516.
CASECASE-2015-SemeniutaF #approach #formal method #industrial #specification
Discrete event dataflow as a formal approach to specification of industrial vision systems (OS, PF), pp. 849–854.
DACDAC-2015-LeeHLP #debugging #information management #interface #performance
Efficient dynamic information flow tracking on a processor with core debug interface (JL, IH, YL, YP), p. 6.
DATEDATE-2015-AndradeMVAPL #analysis #modelling
Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATEDATE-2015-LeleMB #case study
FP-scheduling for mode-controlled dataflow: a case study (AL, OM, KvB), pp. 1257–1260.
PDPPDP-2015-AliAP #graph #parametricity #realtime
Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs (HIA, BA, LMP), pp. 701–710.
PDPPDP-2015-DiavastosST #manycore #named #performance
TFluxSCC: Exploiting Performance on Future Many-Core Systems through Data-Flow (AD, GS, PT), pp. 190–198.
PDPPDP-2015-LundKETLHF #execution #network #platform #process
Execution of Dataflow Process Networks on OpenCL Platforms (WL, SK, JE, LT, JL, JH, UF), pp. 618–625.
PDPPDP-2015-MorenoULC #framework #named #performance #scalability
NanoCheckpoints: A Task-Based Asynchronous Dataflow Framework for Efficient and Scalable Checkpoint/Restart (JAM, OSÜ, JL, AC), pp. 99–102.
FoSSaCSFoSSaCS-2015-AbadiMP #difference
Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.
ISSTAISSTA-2015-ClappAA #mining #named #specification
Modelgen: mining explicit information flow specifications from concrete executions (LC, SA, AA), pp. 129–140.
LICSLICS-2015-McIverMR #markov #modelling #monad
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow (AM, CM, TMR), pp. 597–608.
LICSLICS-2015-Smith
Recent Developments in Quantitative Information Flow (GS), pp. 23–31.
HTHT-2014-Santos-NetoPAR #on the #optimisation
On the choice of data sources to improve content discoverability via textual feature optimization (ESN, TP, JMA, MR), pp. 273–278.
SIGMODSIGMOD-2014-0001SW #named #source code
BabbleFlow: a translator for analytic data flow programs (PJ, AS, KW), pp. 713–716.
SIGMODSIGMOD-2014-IstvanWA #big data
Histograms as a side effect of data movement for big data (ZI, LW, GA), pp. 1567–1578.
SIGMODSIGMOD-2014-RekatsinasDS
Characterizing and selecting fresh data sources (TR, XLD, DS), pp. 919–930.
SIGMODSIGMOD-2014-RheinlanderBKHSL #optimisation
Versatile optimization of UDF-heavy data flows with sofa (AR, MB, AK, AH, TS, UL), pp. 685–688.
VLDBVLDB-2015-BuBJCC14 #graph #named
Pregelix: Big(ger) Graph Analytics on a Dataflow Engine (YB, VRB, JJ, MJC, TC), pp. 161–172.
EDMEDM-2014-KochROL #re-engineering #semantics #statistics
Combination of statistical and semantic data sources for the improvement of software engineering courses (Vision Paper) (MK0, MR, FO, DL), pp. 341–342.
LATALATA-2014-SeidlK #analysis #interprocedural #xml
Interprocedural Information Flow Analysis of XML Processors (HS, MK), pp. 34–61.
KMISKMIS-2014-BastosMBFF #modelling
Information Flow Modeling. A Tool to Support the Integrated Management of Information and Knowledge (CAMB, MRM, ACMB, SJMdSF, JRdFF), pp. 76–86.
SPLCSPLC-2014-DieumegardTP #approach #library #product line #semantics #specification
A software product line approach for semantic specification of block libraries in dataflow languages (AD, AT, MP), pp. 217–226.
OOPSLAOOPSLA-2014-BellK #named
Phosphor: illuminating dynamic data flow in commodity jvms (JB, GEK), pp. 83–101.
POPLPOPL-2014-AmorimCDDHPPPT #architecture
A verified information-flow architecture (AAdA, NC, AD, DD, CH, DP, BCP, RP, AT), pp. 165–178.
SASSAS-2014-MadsenM #analysis #pointer #reachability
Sparse Dataflow Analysis with Pointers and Reachability (MM, AM), pp. 201–218.
ASEASE-2014-LutzD #comparison #difference #interactive #programming #using #visual notation
Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.
ASEASE-2014-ShenVTADLKZ
Information flows as a permission mechanism (FS, NV, CT, MA, BD, EJL, SYK, LZ), pp. 515–526.
ICSEICSE-2014-ArztB #analysis #incremental #named
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes (SA, EB), pp. 288–298.
SACSAC-2014-HedinBBS #api #javascript #named
JSFlow: tracking information flow in JavaScript and its APIs (DH, AB, LB, AS), pp. 1663–1671.
GPCEGPCE-2014-JarviFH #constraints #multi
Specializing planners for hierarchical multi-way dataflow constraint systems (JJ, GF, MH), pp. 1–10.
CCCC-2014-TavaresBPR #analysis
Parameterized Construction of Program Representations for Sparse Dataflow Analyses (ALCT, BB, FMQP, FR), pp. 18–39.
DACDAC-2014-SiyoumGC #analysis
Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources (FS, MG, HC), p. 6.
DATEDATE-2014-BardizbanyanSWL #dependence #detection #energy
Reducing set-associative L1 data cache energy by early load data dependence detection (ELD3) (AB, MS, DBW, PLE), pp. 1–4.
DATEDATE-2014-Fu0PJZ #detection #fault #parallel #thread
A fault detection mechanism in a Data-flow scheduled Multithreaded processor (JF, QY, RP, CRJ, CZ), pp. 1–4.
DATEDATE-2014-SalunkheMB #analysis #modelling
Mode-Controlled Dataflow based modeling & analysis of a 4G-LTE receiver (HS, OM, KvB), pp. 1–4.
DATEDATE-2014-SharmaPLAC #composition #energy #performance
Energy efficient data flow transformation for Givens Rotation based QR Decomposition (NS, PRP, ML, PA, FC), pp. 1–4.
DATEDATE-2014-ZhuGBS #graph #scheduling
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming (XYZ, MG, TB, SS), pp. 1–6.
LCTESLCTES-2014-BebelisFG #framework #manycore #parametricity #platform
A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
OSDIOSDI-2014-GonzalezXDCFS #distributed #framework #graph #named
GraphX: Graph Processing in a Distributed Dataflow Framework (JEG, RSX, AD, DC, MJF, IS), pp. 599–613.
FASEFASE-2014-CavalcantiG #testing
Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.
ICSTICST-2014-AraujoC #in the large #testing
Data-Flow Testing in the Large (RPAdA, MLC), pp. 81–90.
ICSTICST-2014-DenaroPV #on the #testing
On the Right Objectives of Data Flow Testing (GD, MP, MV), pp. 71–80.
HTHT-2013-WolffMC #named #using
Storyscope: using theme and setting to guide story enrichment from external data sources (AW, PM, TDC), pp. 79–88.
SIGMODSIGMOD-2013-SimitsisW0 #framework #named #platform
xPAD: a platform for analytic data flows (AS, KW, PJ), pp. 1109–1112.
SIGMODSIGMOD-2013-SongYYHS #retrieval #scalability #semistructured data
Inter-media hashing for large-scale retrieval from heterogeneous data sources (JS, YY, YY, ZH, HTS), pp. 785–796.
TPDLTPDL-2013-ManghiM #analysis
Data Searchery — Preliminary Analysis of Data Sources Interlinking (PM, AM), pp. 458–461.
VLDBVLDB-2013-EftekharK #clustering #ranking
Partitioning and Ranking Tagged Data Sources (ME, NK), pp. 229–240.
VLDBVLDB-2013-GuptaRM #distributed #query
Ratio Threshold Queries over Distributed Data Sources (RG, KR, MKM), pp. 565–576.
VLDBVLDB-2014-SalloumDST13 #online
Online Ordering of Overlapping Data Sources (MS, XLD, DS, VJT), pp. 133–144.
WCREWCRE-2013-DucheneRRG #black box #detection #modelling #named
LigRE: Reverse-engineering of control and data flow models for black-box XSS detection (FD, SR, JLR, RG), pp. 252–261.
SFMSFM-2013-KopfR #analysis #automation
Automation of Quantitative Information-Flow Analysis (BK, AR), pp. 1–28.
HaskellHaskell-2013-LippmeierCKR #haskell
Data flow fusion with series expressions in Haskell (BL, MMTC, GK, AR), pp. 93–104.
ICEISICEIS-v1-2013-RodriguesAGSCS #case study #data transformation #semistructured data
Integrated Data Management — A Case Study in Heterogeneous Data Sources in Brazilian Government (SAR, MA, AFG, RTdS, MC, JMdS), pp. 316–321.
ICEISICEIS-v2-2013-SuB #analysis #composition #graph #web #web service
Service Call Graph (SCG) — Information Flow Analysis in Web Service Composition (ZS, FB), pp. 17–24.
KDIRKDIR-KMIS-2013-Bures #modelling #perspective #research
Modelling of Information Flows in the Business Administration Realm — The Research Perspective (VB), pp. 426–430.
MODELSMoDELS-2013-SaadB #analysis
Data-Flow Based Model Analysis and Its Applications (CS, BB), pp. 707–723.
LOPSTRLOPSTR-2013-BeckertBKSSU #object-oriented
Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.
PLDIPLDI-2013-ZhangNY #abstraction #analysis #parametricity
Finding optimum abstractions in parametric dataflow analysis (XZ, MN, HY), pp. 365–376.
POPLPOPL-2013-FarzanKP #graph #induction
Inductive data flow graphs (AF, ZK, AP), pp. 129–142.
PPDPPPDP-2013-StewartBN #data type #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.
ASEASE-2013-LiRSDC #generative #named #source code
SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ASEASE-2013-XuHRW #testing
Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.
ESEC-FSEESEC-FSE-2013-ClaretRNGB #analysis #using
Bayesian inference using data flow analysis (GC, SKR, AVN, ADG, JB), pp. 92–102.
ICSEICSE-2013-HassanA #multi
Comparing multi-point stride coverage and dataflow coverage (MMH, JHA), pp. 172–181.
SACSAC-2013-KolbR #abstraction #adaptation #process
Data flow abstractions and adaptations through updatable process views (JK, MR), pp. 1447–1453.
SACSAC-2013-PougetSCM #approach #debugging #embedded #interactive #novel
A novel approach for interactive debugging of dynamic dataflow embedded applications (KP, MS, PLC, JFM), pp. 1547–1549.
CCCC-2013-BhaskaracharyaB #framework #named #visual notation
PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.
CCCC-2013-WhelanLK #architecture #independence #information management
Architecture-Independent Dynamic Information Flow Tracking (RW, TL, DRK), pp. 144–163.
DACDAC-2013-BenazouzKHB #evaluation #graph #liveness
Liveness evaluation of a cyclo-static DataFlow graph (MB, AMK, TH, BB), p. 7.
DATEDATE-2013-MalburgFF #analysis #comprehension #design
Tuning dynamic data flow analysis to support design understanding (JM, AF, GF), pp. 1179–1184.
LCTESLCTES-2013-BouakazT #graph #scheduling
Buffer minimization in earliest-deadline first scheduling of dataflow graphs (AB, JPT), pp. 133–142.
LCTESLCTES-2013-GeunsHB #automation #realtime
Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.
PDPPDP-2013-SuboticSLV #identification #modelling #programming
Identifying Critical Code Sections in Dataflow Programming Models (VS, JCS, JL, MV), pp. 29–37.
PPoPPPPoPP-2013-WozniakAWKLF #named #programming #scalability
Swift/T: scalable data flow programming for many-task applications (JMW, TGA, MW, DSK, ELL, ITF), pp. 309–310.
PPoPPPPoPP-2013-YukiFRS #analysis #array #source code
Array dataflow analysis for polyhedral X10 programs (TY, PF, SVR, VS), pp. 23–34.
SOSPSOSP-2013-MurrayMIIBA #named
Naiad: a timely dataflow system (DGM, FM, RI, MI, PB, MA), pp. 439–455.
SIGMODSIGMOD-2012-SimitsisWCD #execution #multi #optimisation
Optimizing analytic data flows for multiple execution engines (AS, KW, MC, UD), pp. 829–840.
VLDBVLDB-2012-EwenTKM #performance
Spinning Fast Iterative Data Flows (SE, KT, MK, VM), pp. 1268–1279.
VLDBVLDB-2012-HueskePSRBKT #black box #optimisation
Opening the Black Boxes in Data Flow Optimization (FH, MP, MS, AR, RB, AK, KT), pp. 1256–1267.
ICPCICPC-2012-IshioEI #interprocedural #lightweight #source code #visualisation
A lightweight visualization of interprocedural data-flow paths for source code reading (TI, SE, KI), pp. 37–46.
ICPCICPC-2012-YazdanshenasM #component #visualisation
Tracking and visualizing information flow in component-based systems (ARY, LM), pp. 143–152.
SCAMSCAM-2012-KargenS #analysis #comprehension #named
InputTracer: A Data-Flow Analysis Tool for Manual Program Comprehension of x86 Binaries (UK, NS), pp. 138–143.
SCAMSCAM-2012-ThiagarajanHBR #contract #developer
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK (HT, JH, JB, R), pp. 132–137.
WCREWCRE-2012-VanciuA #graph
Ownership Object Graphs with Dataflow Edges (RV, MAA), pp. 267–276.
SEFMSEFM-2012-VorobyovKS #approach #security
A Low-Overhead, Value-Tracking Approach to Information Flow Security (KV, PK, PS), pp. 367–381.
FLOPSFLOPS-2012-RoseVS #hybrid #programming language #query
A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
ICFPICFP-2012-StefanRBLMM #concurrent #termination
Addressing covert termination and timing channels in concurrent information flow systems (DS, AR, PB, AL, JCM, DM), pp. 201–214.
ICEISICEIS-v1-2012-Ali #integration #optimisation #query #web
Optimizing Data Integration Queries over Web Data Sources (OPTIQ) (MIA), pp. 163–168.
KDDKDD-2012-LiuA #clustering #web
Stratified k-means clustering over a deep web data source (TL, GA), pp. 1113–1121.
ECMFAECMFA-2012-BriandLL #diagrams #integration #sequence #state machine #testing #uml
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
ECOOPECOOP-2012-DugganY
Static Sessional Dataflow (DD, JY), pp. 484–508.
LOPSTRLOPSTR-2012-MantelS #analysis #dependence
Types vs. PDGs in Information Flow Analysis (HM, HS), pp. 106–121.
POPLPOPL-2012-AustinF #information management #multi
Multiple facets for dynamic information flow (THA, CF), pp. 165–178.
QAPLQAPL-2012-YasuokaT #liveness #safety
Quantitative Information Flow as Safety and Liveness Hyperproperties (HY, TT), pp. 77–91.
SACSAC-2012-BrandnerC #dependence #graph
Copy elimination on data dependence graphs (FB, QC), pp. 1916–1918.
CGOCGO-2012-VankaT #dependence #performance #profiling #using
Efficient and accurate data dependence profiling using software signatures (RV, JT), pp. 186–195.
DACDAC-2012-ChoiOKH #architecture #graph #manycore
Executing synchronous dataflow graphs on a SPM-based multicore architecture (JC, HO, SK, SH), pp. 664–671.
DACDAC-2012-GhosalLRTPWTA #analysis #data access #semantics
Static dataflow with access patterns: semantics and analysis (AG, RL, KR, ST, AP, GW, TNT, HAA), pp. 656–663.
DATEDATE-2012-DamavandpeymaSBGC #graph #modelling
Modeling static-order schedules in synchronous dataflow graphs (MD, SS, TB, MG, HC), pp. 775–780.
DATEDATE-2012-FradetGP #named #parametricity
SPDF: A schedulable parametric data-flow MoC (PF, AG, PP), pp. 769–774.
DATEDATE-2012-TheelenKW #model checking
Model checking of Scenario-Aware Dataflow with CADP (BDT, JPK, HW), pp. 653–658.
DATEDATE-2012-ThieleE #analysis #graph #optimisation #performance
Optimizing performance analysis for synchronous dataflow graphs with shared resources (DT, RE), pp. 635–640.
LCTESLCTES-2012-GerardGPP #array #compilation #composition #memory management #optimisation
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
LCTESLCTES-2012-SbirleaZBCS #platform #programming
Mapping a data-flow programming model onto heterogeneous platforms (ASS, YZ, ZB, JC, VS), pp. 61–70.
PDPPDP-2012-AldinucciADTK #manycore #metaprogramming #parallel
Parallel Patterns + Macro Data Flow for Multi-core Programming (MA, LA, MD, MT, PK), pp. 27–36.
ICSTICST-2012-SiddiquiMK #analysis #constraints #lightweight #theorem proving
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.
ISSTAISSTA-2012-YuL #approach #dependence #named #parallel #profiling
Multi-slicing: a compiler-supported parallel approach to data dependence profiling (HY, ZL), pp. 23–33.
VMCAIVMCAI-2012-DimitrovaFKRS #model checking
Model Checking Information Flow in Reactive Systems (RD, BF, MK, MNR, HS), pp. 169–185.
CBSECBSE-2011-AbdellatifSRL #automation #component #distributed
Automating information flow control in component-based distributed systems (TA, LS, RR, YL), pp. 73–82.
CBSECBSE-2011-InoueH #analysis #component
A method for data-flow analysis of business components (TI, SH), pp. 51–60.
ICALPICALP-v2-2011-AlvimACP #difference #on the #privacy
On the Relation between Differential Privacy and Quantitative Information Flow (MSA, MEA, KC, CP), pp. 60–76.
SEFMSEFM-2011-ParrinoGGF #analysis #bound #satisfiability #verification
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification (BCP, JPG, DG, MFF), pp. 138–154.
HaskellHaskell-2011-StefanRMM #flexibility #haskell #information management
Flexible dynamic information flow control in Haskell (DS, AR, JCM, DM), pp. 95–106.
CIKMCIKM-2011-WangA #effectiveness #query #web
Effective stratification for low selectivity queries on deep web data sources (FW, GA), pp. 1455–1464.
KMISKMIS-2011-OugoutiBAB #architecture #integration #semistructured data
Architecture of Medpeer — A New P2P-based System for Integration of Heterogeneous Data Sources (NSO, HB, YA, ANB), pp. 351–354.
OOPSLAOOPSLA-2011-DemetrescuFR #constraints #imperative #programming
Reactive imperative programming with dataflow constraints (CD, IF, AR), pp. 407–426.
OOPSLAOOPSLA-2011-TrippYFS #effectiveness #named #parallel
HAWKEYE: effective discovery of dataflow impediments to parallelization (OT, GY, JF, MS), pp. 207–224.
PLDIPLDI-2011-LiTOKCSH #hardware #named
Caisson: a hardware description language for secure information flow (XL, MT, JO, VK, FTC, TS, BH), pp. 109–120.
SASSAS-2011-SchrammelJ #source code #verification
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs (PS, BJ), pp. 233–248.
ESEC-FSEESEC-FSE-2011-RamamurthiRS #analysis #graph #probability #using
Probabilistic dataflow analysis using path profiles on structure graphs (AR, SR, YNS), pp. 512–515.
ICSEICSE-2011-HermansPD #diagrams #generative #spreadsheet
Supporting professional spreadsheet users by generating leveled dataflow diagrams (FH, MP, AvD), pp. 451–460.
CCCC-2011-RodriguezL #analysis #parallel
Actor-Based Parallel Dataflow Analysis (JR, OL), pp. 179–197.
CGOCGO-2011-GreathouseLAB #analysis #distributed #scalability
Highly scalable distributed dataflow analysis (JLG, CL, TMA, VB), pp. 277–288.
DACDAC-2011-Fey #analysis #multi
Orchestrated multi-level information flow analysis to understand SoCs (GF), pp. 284–285.
DACDAC-2011-ObergHITSK
Information flow isolation in I2C and USB (JO, WH, AI, MT, TS, RK), pp. 254–259.
DATEDATE-2011-FalkZHT #algorithm #clustering #embedded #performance #rule-based #synthesis
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis (JF, CZ, CH, JT), pp. 521–526.
DATEDATE-2011-HausmansBC #graph
Resynchronization of Cyclo-Static Dataflow graphs (JPHMH, MJGB, HC), pp. 1315–1320.
ESOPESOP-2011-DeDN #analysis #source code
Dataflow Analysis for Datarace-Free Programs (AD, DD, RN), pp. 196–215.
ESOPESOP-2011-FournetP #compilation #security
Compiling Information-Flow Security to Minimal Trusted Computing Bases (CF, JP), pp. 216–235.
CSMRCSMR-2010-LiuM #analysis #case study
Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows (YL, AM), pp. 146–155.
ICPCICPC-2010-RatanotayanonCS #empirical #repository
My Repository Runneth Over: An Empirical Study on Diversifying Data Sources to Improve Feature Search (SR, HJC, SES), pp. 206–215.
SFMSFM-2010-MalacariaH #security
Information Theory and Security: Quantitative Information Flow (PM, JH), pp. 87–134.
HaskellHaskell-2010-RamseyDJ #analysis #composition #library #named #reuse
Hoopl: a modular, reusable library for dataflow analysis and transformation (NR, JD, SLPJ), pp. 121–134.
CAiSECAiSE-2010-BlancoCMP #modelling #probability
Probabilistic Models to Reconcile Complex Data from Inaccurate Data Sources (LB, VC, PM, PP), pp. 83–97.
CIKMCIKM-2010-AzizR #multi #predict #robust #semistructured data
Robust prediction from multiple heterogeneous data sources with partial information (MSA, CKR), pp. 1857–1860.
CIKMCIKM-2010-WeberJ
Demographic information flows (IW, AJ), pp. 1521–1524.
KMISKMIS-2010-BrockV #analysis #semantics #using
A Method for Interoperability between Structured Data Sources using Semantic Analysis (DLB, JV), pp. 234–239.
SEKESEKE-2010-BifflSM #development #monitoring #open source
A Project Monitoring Cockpit Based On Integrating Data Sources in Open Source Software Development (SB, WDS, TM), pp. 620–627.
POPLPOPL-2010-BrobergS #named
Paralocks: role-based information flow control and beyond (NB, DS), pp. 431–444.
SASSAS-2010-SchrijversM #strict
Strictness Meets Data Flow (TS, AM), pp. 439–454.
FSEFSE-2010-WuLWXLLGGZZ
Language-based replay via data flow cut (MW, FL, XW, ZX, HL, XL, ZG, HG, LZ, ZZ), pp. 197–206.
SACSAC-2010-TraulsenH #parallel
Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.
ASPLOSASPLOS-2010-GoodsteinVCGKM #adaptation #analysis #monitoring #parallel
Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring (MLG, EV, SC, PBG, MAK, TCM), pp. 257–270.
DACDAC-2010-HsuPH #approach #modelling #physics #simulation
A mixed-mode vector-based dataflow approach for modeling and simulating LTE physical layer (CJH, JLP, FJH), pp. 18–23.
DACDAC-2010-NovoLFRC #finite #precise
Exploiting finite precision information to guide data-flow mapping (DN, ML, RF, PR, FC), pp. 248–253.
DACDAC-2010-ObergHITSK #analysis
Theoretical analysis of gate level information flow tracking (JO, WH, AI, MT, TS, RK), pp. 244–247.
DATEDATE-2010-PerezSF #graph #optimisation #relational
Optimizing Data-Flow Graphs with min/max, adding and relational operations (JP, PS, VF), pp. 1361–1364.
OSDIOSDI-2010-AttariyanF #analysis #automation #information management
Automating Configuration Troubleshooting with Dynamic Information Flow Analysis (MA, JF), pp. 237–250.
OSDIOSDI-2010-EnckGCCJMS #monitoring #named #privacy #realtime #smarttech
TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones (WE, PG, BGC, LPC, JJ, PM, AS), pp. 393–407.
ESOPESOP-2010-AmtoftHR #array #automation #certification #contract #precise #reasoning #source code #verification
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
ESOPESOP-2010-SwamyCC #policy
Enforcing Stateful Authorization and Information Flow Policies in Fine (NS, JC, RC), pp. 529–549.
FoSSaCSFoSSaCS-2010-CassezMZ #complexity #security
The Complexity of Synchronous Notions of Information Flow Security (FC, RvdM, CZ), pp. 282–296.
CAVCAV-2010-Malacaria #question #theory and practice
Quantitative Information Flow: From Theory to Practice? (PM), pp. 20–22.
ICTSSICTSS-2010-PielGG #component #integration #scalability #testing
Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems (ÉP, AGS, HGG), pp. 79–94.
ISSTAISSTA-2010-BaoZLZX #analysis #dependence #information management #strict
Strict control dependence and its effect on dynamic information flow analyses (TB, YZ, ZL, XZ, DX), pp. 13–24.
LICSLICS-2010-AlvimAP #probability
Probabilistic Information Flow (MSA, MEA, CP), pp. 314–321.
SIGMODSIGMOD-2009-OlstonCS #generative #source code
Generating example data for dataflow programs (CO, SC, US), pp. 245–256.
SIGMODSIGMOD-2009-PaparizosNSA #query #using #web
Answering web queries using structured data sources (SP, AN, JCS, RA), pp. 1127–1130.
VLDBVLDB-2009-GatesNCKNORSS #experience #pipes and filters
Building a HighLevel Dataflow System on top of MapReduce: The Pig Experience (AG, ON, SC, PK, SN, CO, BR, SS, US), pp. 1414–1425.
FMFM-2009-HarrisKCJR #bound #process #verification
Verifying Information Flow Control over Unbounded Processes (WRH, NK, SC, SJ, TWR), pp. 773–789.
CAiSECAiSE-2009-TrckaAS #anti #fault #workflow
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (NT, WMPvdA, NS), pp. 425–439.
ICEISICEIS-J-2009-AliPTD #distributed #framework #named #semistructured data #xquery
DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources (MIA, RP, HLT, SD), pp. 172–183.
KDDKDD-2009-DaruruMWG #clustering #data mining #mining #parallel #pervasive #scalability
Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data (SD, NMM, MW, JG), pp. 1115–1124.
SEKESEKE-2009-LiuC #analysis #composition #testing #web #web service
Data Flow Analysis and Testing for Web Service Compositions Based on WS-BPEL (CHL, SLC), pp. 306–311.
PEPMPEPM-2009-FradeSU #analysis #bidirectional
Bidirectional data-flow analyses, type-systematically (MJF, AS, TU), pp. 141–150.
PLDIPLDI-2009-ChughMJL #javascript #staged
Staged information flow for javascript (RC, JAM, RJ, SL), pp. 50–62.
PLDIPLDI-2009-LivshitsNRB #named #problem #specification
Merlin: specification inference for explicit information flow problems (VBL, AVN, SKR, AB), pp. 75–86.
PLDIPLDI-2009-RoyPBMW #distributed #fine-grained #named
Laminar: practical fine-grained decentralized information flow control (IR, DEP, MDB, KSM, EW), pp. 63–74.
QAPLQAPL-2009-MuC #abstraction
An Interval-based Abstraction for Quantifying Information Flow (CM, DC), pp. 119–141.
SASSAS-2009-XiaFL
Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.
ESEC-FSEESEC-FSE-2009-MeiCT #testing
Data flow testing of service choreography (LM, WKC, THT), pp. 151–160.
SACSAC-2009-KimHJJY #network #scalability #social #visualisation
Visualization of information flows in a very large social network (SGK, HH, KJ, HJ, HYY), pp. 1841–1842.
ASPLOSASPLOS-2009-TiwariWMMCS
Complete information flow tracking from the gates up (MT, HMGW, BM, SM, FTC, TS), pp. 109–120.
CCCC-2009-FarooqJ #architecture #scheduling
Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures (MUF, LKJ), pp. 190–203.
CGOCGO-2009-Bronevetsky #message passing #parallel
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.
DACDAC-2009-AyalaAB #analysis
Thermal-aware data flow analysis (JLA, DA, PB), pp. 613–614.
DACDAC-2009-Geilen #graph #reduction
Reduction techniques for synchronous dataflow graphs (MG), pp. 911–916.
DACDAC-2009-PlishkerSB #effectiveness #scheduling
Mode grouping for more effective generalized scheduling of dynamic dataflow applications (WP, NS, SSB), pp. 923–926.
DATEDATE-2009-Gomez-PradoRCGB #graph #hardware #implementation #optimisation
Optimizing data flow graphs to minimize hardware implementation (DGP, QR, MJC, JG, EB), pp. 117–122.
DATEDATE-2009-PlishkerSB #approach #scheduling
A generalized scheduling approach for dynamic dataflow applications (WP, NS, SSB), pp. 111–116.
HPDCHPDC-2009-Reeuwijk #framework #learning #named #peer-to-peer #self #using
Maestro: a self-organizing peer-to-peer dataflow framework using reinforcement learning (CvR), pp. 187–196.
LCTESLCTES-2009-FidgeC #analysis #hardware
Integrating hardware and software information flow analyses (CJF, DC), pp. 157–166.
SOSPSOSP-2009-YipWZK #security
Improving application security with data flow assertions (AY, XW, NZ, MFK), pp. 291–304.
FoSSaCSFoSSaCS-2009-KuhnrichSSK #analysis #infinity #interprocedural
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.
FoSSaCSFoSSaCS-2009-Smith #on the
On the Foundations of Quantitative Information Flow (GS), pp. 288–302.
FATESTestCom-FATES-2009-NunesHM #automation #fault tolerance #generative #named #testing
OConGraX — Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems (PRFN, SH, ACVdM), pp. 229–234.
HTHT-2008-Kleinberg #process #social
Link structures, information flow, and social processes (JMK), pp. 3–4.
HTHT-2008-Recuero #case study #social
Information flows and social capital in weblogs: a case study in the brazilian blogosphere (RdCR), pp. 97–106.
VLDBVLDB-2008-LiFWZ #effectiveness #keyword
An effective and versatile keyword search engine on heterogenous data sources (GL, JF, JW, LZ), pp. 1452–1455.
ITiCSEITiCSE-2008-ThorntonE #data type #online
A data type to exploit online data sources (MT, SHE), pp. 114–118.
CSMRCSMR-2008-Trifu #identification #object-oriented #using
Using Dataflow Information for Concern Identification in Object-Oriented Software Systems (MT), pp. 193–202.
PASTEPASTE-2008-LiuM #static analysis
Static analysis for inference of explicit information flow (YL, AM), pp. 50–56.
SCAMSCAM-2008-BoogerdM #analysis #on the #profiling #using
On the Use of Data Flow Analysis in Static Profiling (CB, LM), pp. 79–88.
SCAMSCAM-2008-StoneSB #analysis #automation #set
Automatic Determination of May/Must Set Usage in Data-Flow Analysis (AS, MS, SB), pp. 153–162.
FMFM-2008-AmtoftHRRHG #contract #specification
Specification and Checking of Software Contracts for Conditional Information Flow (TA, JH, ER, R, JH, DG), pp. 229–245.
HaskellHaskell-2008-RussoCH #haskell #library #security
A library for light-weight information-flow security in haskell (AR, KC, JH), pp. 13–24.
ICFPICFP-2008-FischerK #declarative #source code #testing
Data-flow testing of declarative programs (SF, HK), pp. 201–212.
GT-VMTGT-VMT-2008-KoehlerCPA #configuration management
Reconfiguration of Reo Connectors Triggered by Dataflow (CK, DC, JP, FA).
EDOCEDOC-2008-GuermoucheG #composition #towards
Toward Data Flow Oriented Services Composition (NG, CG), pp. 379–385.
ICEISICEIS-AIDSS-2008-SofokleousA #generative #search-based #testing
Dynamic Search-Based Test Data Generation Focused on Data Flow Paths (AAS, ASA), pp. 27–35.
ICEISICEIS-DISI-2008-Savnik #algebra #implementation #query #web
Implementation of Algebra for Querying Web Data Sources (IS), pp. 91–96.
CIKMCIKM-2008-Lu #estimation #performance #web
Efficient estimation of the size of text deep web data source (JL), pp. 1485–1486.
KDDKDD-2008-ZhaoWLYC #identification #multi #semistructured data
Identifying biologically relevant genes via multiple heterogeneous data sources (ZZ, JW, HL, JY, YC), pp. 839–847.
ECMFAECMDA-FA-2008-WaheedIM #action semantics #analysis #execution #modelling #semantics #uml
Data Flow Analysis of UML Action Semantics for Executable Models (TW, MZZI, ZIM), pp. 79–93.
PEPMPEPM-2008-LamMLW #information management #web
Securing web applications with static and dynamic information flow tracking (MSL, MCM, VBL, JW), pp. 3–12.
PLDIPLDI-2008-ChughVJL #analysis #concurrent #detection #source code #using
Dataflow analysis for concurrent programs using datarace detection (RC, JWV, RJ, SL), pp. 316–326.
PLDIPLDI-2008-McCamantE #capacity #network
Quantitative information flow as network flow capacity (SM, MDE), pp. 193–205.
POPLPOPL-2008-FournetR #encryption #implementation #security
Cryptographically sound implementations for typed information-flow security (CF, TR), pp. 323–335.
SASSAS-2008-LalR #multi #query #using
Solving Multiple Dataflow Queries Using WPDSs (AL, TWR), pp. 93–109.
FSEFSE-2008-KingJJS #effectiveness
Effective blame for information-flow violations (DK, TJ, SJ, SAS), pp. 250–260.
FSEFSE-2008-LaiCC #control flow #test coverage #testing
Inter-context control-flow and data-flow test adequacy criteria for nesC applications (ZL, SCC, WKC), pp. 94–104.
ICSEICSE-2008-MeiCT #testing #workflow
Data flow testing of service-oriented workflow applications (LM, WKC, THT), pp. 371–380.
SACSAC-2008-BaveraB #analysis #bytecode #policy #type system
Type-based information flow analysis for bytecode languages with variable object field policies (FB, EB), pp. 347–351.
SACSAC-2008-RoyS #problem
Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.
SACSAC-2008-SlaymakerPRWS #delivery #legacy #research
Accessing and aggregating legacy data sources for healthcare research, delivery and training (MS, DJP, DR, GW, AS), pp. 1317–1324.
ASPLOSASPLOS-2008-MysoreMAS #comprehension #visualisation
Understanding and visualizing full systems with data flow tomography (SM, BM, BA, TS), pp. 211–221.
CCCC-2008-KhedkerK #analysis #interprocedural #performance #precise #string
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method (UPK, BK), pp. 213–228.
CCCC-2008-RountevSX #analysis #ide #library #object-oriented #scalability
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries (AR, MS, G(X), pp. 53–68.
CGOCGO-2008-ThakurG #analysis
Comprehensive path-sensitive data-flow analysis (AVT, RG), pp. 55–63.
DACDAC-2008-HsuPB #graph #parallel #simulation #thread
Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.
DATEDATE-2008-GhamarianGBS #analysis #graph #parametricity #throughput
Parametric Throughput Analysis of Synchronous Data Flow Graphs (AHG, MG, TB, SS), pp. 116–121.
HPDCHPDC-2008-BarkerWH #peer-to-peer
Eliminating the middleman: peer-to-peer dataflow (AB, JBW, JIvH), pp. 55–64.
LCTESLCTES-2008-BiernackiCHP #code generation #composition
Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
LCTESLCTES-2008-DelavalGP #automation #higher-order #source code #type system
A type system for the automatic distribution of higher-order synchronous dataflow programs (GD, AG, MP), pp. 101–110.
PPoPPPPoPP-2008-BaskaranBKRRS #architecture #automation #parallel
Automatic data movement and computation mapping for multi-level parallel architectures with explicitly managed memories (MMB, UB, SK, JR, AR, PS), pp. 1–10.
LICSLICS-2008-Kahlon #abstraction #analysis #approach #concurrent #source code
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs (VK), pp. 181–192.
SIGMODSIGMOD-2007-HuangN #named #query
K-relevance: a spectrum of relevance for data sources impacting a query (JH, JFN), pp. 163–174.
SIGMODSIGMOD-2007-QiCS #consistency #named #nondeterminism #query
FICSR: feedback-based inconsistency resolution and query processing on misaligned data sources (YQ, KSC, MLS), pp. 151–162.
SIGMODSIGMOD-2007-Resende #semistructured data
Handling heterogeneous data sources in a SOA environment with service data objects (SDO) (LR), pp. 895–897.
PASTEPASTE-2007-QianXM #alias #analysis #dependence
Interstatement must aliases for data dependence analysis of heap locations (JQ, BX, HM), pp. 17–24.
CHICHI-2007-TangC
An observational study on information flow during nurses’ shift change (CT, MSTC), pp. 219–228.
HCIHIMI-MTT-2007-SutoKH #case study #design
A Study of Information Flow Between Designers and Users Via Website Focused on Property of Hyper Links (HS, HK, HH), pp. 189–198.
ICEISICEIS-DISI-2007-AraqueSD #monitoring #using #web
Monitoring web data sources using temporal properties as an external resources of a data warehouse (FA, AS, CD), pp. 28–35.
ECOOPECOOP-2007-LinB #domain-specific language #named
DirectFlow: A Domain-Specific Language for Information-Flow Systems (CKL, APB), pp. 299–322.
QAPLQAPL-2007-PierroHW #analysis #on the #probability
On Probabilistic Techniques for Data Flow Analysis (ADP, CH, HW), pp. 59–77.
SASSAS-2007-LerouxS #analysis
Accelerated Data-Flow Analysis (JL, GS), pp. 184–199.
REFSQREFSQ-2007-Winkler #empirical
Information Flow Between Requirement Artifacts. Results of an Empirical Study (SW0), pp. 232–246.
ASEASE-2007-Abi-AntounWT #consistency #diagrams #implementation #modelling #security
Checking threat modeling data flow diagrams for implementation conformance and security (MAA, DW, PT), pp. 393–396.
ASEASE-2007-SantelicesH #monitoring #test coverage
Efficiently monitoring data-flow test coverage (RAS, MJH), pp. 343–352.
SACSAC-2007-AnGWC #automation #semantics #web
Semantic deep web: automatic attribute extraction from the deep web data sources (YJA, JG, YTW, SAC), pp. 1667–1672.
SACSAC-2007-LuHC #query #relational #xml
Querying and browsing XML and relational data sources (JJL, CHH, TRC), pp. 489–493.
CCCC-2007-ScholzB #analysis #composition #framework #using
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees (BS, JB), pp. 202–217.
COCVCOCV-2007-GallardoJM #analysis #on the fly #verification
On-the-Fly Data Flow Analysis Based on Verification Technology (MdMG, CJ, PM), pp. 33–48.
DACDAC-2007-StuijkBGC #graph #multi #resource management
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs (SS, TB, MG, HC), pp. 777–782.
DACDAC-2007-WiggersBS #graph #performance
Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs (MW, MB, GJMS), pp. 658–663.
DATEDATE-2007-CiesielskiAGGB #diagrams #using
Data-flow transformations using Taylor expansion diagrams (MJC, SA, DGP, JG, EB), pp. 455–460.
DATEDATE-2007-SchlieckerSE #analysis #composition #graph #integration #performance
Performance analysis of complex systems by integration of dataflow graphs and compositional performance analysis (SS, SS, RE), pp. 273–278.
SOSPSOSP-2007-KrohnYBCKKM #abstraction #standard
Information flow control for standard OS abstractions (MNK, AY, MZB, NC, MFK, EK, RM), pp. 321–334.
TACASTACAS-2007-FarzanM #analysis #concurrent #source code
Causal Dataflow Analysis for Concurrent Programs (AF, PM), pp. 102–116.
VLDBVLDB-2006-HuangNL #consistency #database #distributed #named #towards
TRAC: Toward Recency and Consistency Reporting in a Database with Distributed Data Sources (JH, JFN, ML), pp. 223–234.
SEFMSEFM-2006-MarconiPT #automation #composition #requirements #specification #web #web service
Specifying Data-Flow Requirements for the Automated Composition of Web Services (AM, MP, PT), pp. 147–156.
SOFTVISSOFTVIS-2006-GauvinB #automation #layout #programming language #visual notation
Transparency, holophrasting, and automatic layout applied to control structures for visual dataflow programming languages (SG, OB), pp. 67–75.
SIGIRSIGIR-2006-SongTLS #personalisation #recommendation
Personalized recommendation driven by information flow (XS, BLT, CYL, MTS), pp. 509–516.
LOPSTRLOPSTR-2006-MantelSK #proving #security #verification
Combining Different Proof Techniques for Verifying Information Flow Security (HM, HS, TK), pp. 94–110.
POPLPOPL-2006-AmtoftBB #logic #object-oriented #source code
A logic for information flow in object-oriented programs (TA, SB, AB), pp. 91–102.
SASSAS-2006-DhurjatiDY #analysis #refinement
Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.
FSEFSE-2006-LuCT #approach #middleware #source code #testing
Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation (HL, WKC, THT), pp. 242–252.
LDTALDTA-2006-ZengME #domain-specific language #generative
A Domain-Specific Language for Generating Dataflow Analyzers (JZ, CM, SAE), pp. 103–119.
ASPLOSASPLOS-2006-MercaldiSPPSOE #architecture #scheduling
Instruction scheduling for a tiled dataflow architecture (MM, SS, AP, AP, AS, MO, SJE), pp. 141–150.
CCCC-2006-LamprechtMS #analysis #model checking
Data-Flow Analysis as Model Checking Within the jABC (ALL, TMS, BS), pp. 101–104.
CCCC-2006-RountevKM #analysis #interprocedural #library #scalability
Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.
CCCC-2006-TokGL #analysis #interprocedural #performance #pointer
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers (TBT, SZG, CL), pp. 17–31.
DACDAC-2006-HsuRKPB #graph #performance #simulation
Efficient simulation of critical synchronous dataflow graphs (CJH, SR, MYK, JLP, SSB), pp. 893–898.
DACDAC-2006-StuijkGB #constraints #graph #requirements #throughput #trade-off
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs (SS, MG, TB), pp. 899–904.
OSDIOSDI-2006-CastroCH
Securing Software by Enforcing Data-flow Integrity (MC, MC, TLH), pp. 147–160.
OSDIOSDI-2006-ZeldovichBKM
Making Information Flow Explicit in HiStar (NZ, SBW, EK, DM), pp. 263–278.
ESOPESOP-2006-CooperK #call-by
Embedding Dynamic Dataflow in a Call-by-Value Language (GHC, SK), pp. 294–308.
CBSECBSE-2005-Rountev #analysis #component
Component-Level Dataflow Analysis (AR), pp. 82–89.
SIGMODSIGMOD-2005-ZamanS #modelling #multi #query #relational
Modeling and querying multidimensional data sources in Siebel Analytics: a federated relational system (KAZ, DAS), pp. 822–827.
IWPCIWPC-2005-DearmanCF #control flow #representation #visual notation
Adding Control-Flow to a Visual Data-Flow Representation (DD, AC, MF), pp. 297–306.
PASTEPASTE-2005-HampapuramYD #analysis #simulation
Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.
CEFPCEFP-2005-UustaluV #programming
The Essence of Dataflow Programming (TU, VV), pp. 135–167.
SOFTVISSOFTVIS-2005-CoxGR #parallel #source code #visual notation
Adding parallelism to visual data flow programs (PTC, SG, ARC), pp. 135–144.
CAiSECAiSE-2005-KittivoravitkulM
Integrating Unnormalised Semi-structured Data Sources (SK, PM), pp. 460–474.
CAiSECAiSE-2005-Ram #biology #semantics #towards
Toward Semantic Interoperability of Heterogeneous Biological Data Sources (SR), p. 32.
ICEISICEIS-v1-2005-GarciaGL #relational #xml
An Application to Integrate Relational and XML Data Sources (AFG, RBG, MJGL), pp. 313–319.
CIKMCIKM-2005-MetzlerBCMZ #metric #similarity
Similarity measures for tracking information flow (DM, YB, WBC, AM, JZ), pp. 517–524.
CIKMCIKM-2005-TheodoratosDKG #query #semantics #using
Semantic querying of tree-structured data sources using partially specified tree patterns (DT, TD, AK, NHG), pp. 712–719.
ICMLICML-2005-LiaoXC
Logistic regression with an auxiliary data source (XL, YX, LC), pp. 505–512.
KDDKDD-2005-MeruguG #distributed #framework #learning #semistructured data
A distributed learning framework for heterogeneous data sources (SM, JG), pp. 208–217.
SEKESEKE-2005-NabliFG #adaptation #algebra #multi #using
Adapting Multidimensional Schemes to Data sources using Algebraic Operators (AN, JF, FG), pp. 713–718.
SIGIRSIGIR-2005-MetzlerBCMZ #identification
The recap system for identifying information flow (DM, YB, WBC, AM, JZ), p. 678.
POPLPOPL-2005-LernerMRC #analysis #automation #proving
Automated soundness proofs for dataflow analyses and transformations via local rules (SL, TDM, ER, CC), pp. 364–377.
SASSAS-2005-TerauchiA #problem #safety
Secure Information Flow as a Safety Problem (TT, AA), pp. 352–367.
ESEC-FSEESEC-FSE-2005-FischerJM
Joining dataflow with predicates (JF, RJ, RM), pp. 227–236.
ICSEICSE-2005-LeonMP #empirical #evaluation #testing
An empirical evaluation of test case filtering techniques based on exercising complex information flows (DL, WM, AP), pp. 412–421.
SACSAC-2005-RummelKT #testing #towards
Towards the prioritization of regression test suites with data flow information (MJR, GMK, AT), pp. 1499–1504.
CCCC-2005-OlmosV #text-to-text
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules (KO, EV), pp. 204–220.
COCVCOCV-J-2005-SalcianuA #analysis #correctness #proving
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses (AS, KA), pp. 53–68.
DACDAC-2005-GeilenBS #graph #model checking #requirements
Minimising buffer requirements of synchronous dataflow graphs with model checking (MG, TB, SS), pp. 819–824.
CADECADE-2005-DufayFM #information management #ml #privacy
Privacy-Sensitive Information Flow with JML (GD, APF, SM), pp. 116–130.
LICSLICS-2005-WashburnW #parametricity #using
Generalizing Parametricity Using Information-flow (GW, SW), pp. 62–71.
ICTSSTestCom-2005-HongU #dependence #testing
Dependence Testing: Extending Data Flow Testing with Control Dependence (HSH, HU), pp. 23–39.
VMCAIVMCAI-2005-GenaimS #analysis #bytecode #java
Information Flow Analysis for Java Bytecode (SG, FS), pp. 346–362.
TPDLECDL-2004-RavindranathanSGFFF #case study #library #prototype #semistructured data
Prototyping Digital Libraries Handling Heterogeneous Data Sources — The ETANA-DL Case Study (UR, RS, MAG, WF, EAF, JWF), pp. 186–197.
VLDBVLDB-2004-ZhuR #consistency #probability #scalability
Stochastic Consistency, and Scalable Pull-Based Caching for Erratic Data Sources (SZ, CVR), pp. 192–203.
ICSMEICSM-2004-Balmas #graph #named #visualisation
DDFgraph: A Tool for Dynamic Data Flow Graphs Visualization (FB), p. 516.
IFLIFL-2004-Gast #fault #ml
Explaining ML Type Errors by Data Flows (HG), pp. 72–89.
CAiSECAiSE-2004-BoydKLMR #integration #named #semistructured data
AutoMed: A BAV Data Integration System for Heterogeneous Data Sources (MB, SK, CL, PM, NR), pp. 82–97.
ICEISICEIS-v1-2004-AlexopoulouKM #agile #architecture #enterprise
Managing Information Flow Dynamics with Agile Enterprise Architectures (NA, PK, DM), pp. 454–459.
ICEISICEIS-v1-2004-Bruijn #integration #semantics
Semantic Integration of Disparate Data Sources in the Cog Project (JdB), pp. 9–14.
ICEISICEIS-v2-2004-Okhtilev #distributed #realtime
The Data Flow and Distributed Calculations Intelligence Information Technology for Decision Support System in Real Time (MO), pp. 497–500.
ICEISICEIS-v3-2004-Daute #process #re-engineering #representation #uml
Representation of Business Information Flow with an Extension for UML: From Business Processes to Object-Orientated Software Engineering (OD), pp. 569–572.
ICMLICML-2004-WuD
Improving SVM accuracy by training on auxiliary data sources (PW, TGD).
SASSAS-2004-AmtoftB #analysis #logic
Information Flow Analysis in Logical Form (TA, AB), pp. 100–115.
SASSAS-2004-HymansU #dependence #graph #static analysis
Static Analysis of Gated Data Dependence Graphs (CH, EU), pp. 197–211.
SASSAS-2004-SunBN #composition #constraints #object-oriented
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language (QS, AB, DAN), pp. 84–99.
AdaSIGAda-2004-ChapmanH #analysis #modelling #safety #security
Enforcing security and safety models with an information flow analysis tool (RC, AH), pp. 39–46.
ASEASE-2004-MarceauCKR #debugging
Dataflow Language for Scriptable Debugging (GM, GHC, SK, SPR), pp. 218–227.
SACSAC-2004-GorlaP
Controlling data movement in global computing applications (DG, RP), pp. 1462–1467.
SACSAC-2004-KehagiasSCM
Information agents cooperating with heterogenous data sources for customer-order management (DK, ALS, KCC, PAM), pp. 52–57.
ASPLOSASPLOS-2004-SuhLZD #execution #information management
Secure program execution via dynamic information flow tracking (GES, JWL, DZ, SD), pp. 85–96.
CCCC-2004-ChenLDHY #dependence #optimisation #profiling
Data Dependence Profiling for Speculative Optimizations (TC, JL, XD, WCH, PCY), pp. 57–72.
DATEDATE-v1-2004-GreenE #uml
Integrating the Synchronous Dataflow Model with UML (PG, SE), pp. 736–737.
ESOPESOP-2004-CacheraJPR #logic
Extracting a Data Flow Analyser in Constructive Logic (DC, TPJ, DP, VR), pp. 385–400.
VMCAIVMCAI-2004-Etessami #analysis #equation #game studies #graph #recursion #using
Analysis of Recursive Game Graphs Using Data Flow Equations (KE), pp. 282–296.
SIGMODSIGMOD-2003-ChandrasekaranCDFHHKMRS #named
TelegraphCQ: Continuous Dataflow Processing (SC, OC, AD, MJF, JMH, WH, SK, SM, FR, MAS), p. 668.
VLDBVLDB-2003-GalanisWJD #distributed #scalability
Locating Data Sources in Large Distributed Systems (LG, YW, SRJ, DJD), pp. 874–885.
VLDBVLDB-2003-MadhavanH
Composing Mappings Among Data Sources (JM, AYH), pp. 572–583.
WCREWCRE-2003-AliasB #algorithm #analysis #recognition
Algorithm Recognition based on Demand-Driven Data-flow Analysis (CA, DB), pp. 296–305.
ICALPICALP-2003-AlfaroF #concurrent #game studies
Information Flow in Concurrent Games (LdA, MF), pp. 1038–1053.
SEFMSEFM-2003-BossiFPR #refinement #security
Refinement Operators and Information Flow Security (AB, RF, CP, SR), pp. 44–53.
ICEISICEIS-v1-2003-StoimenovD #framework #integration #named
GEONIS — Framework for Gis Interoperability: Integration of Gis Data Sources in Telecom Serbia (LS, SDK), pp. 401–406.
SIGIRSIGIR-2003-BartlettT
Discovering and structuring information flow among bioinformatics resources (JCB, EGT), pp. 411–412.
SASSAS-2003-RepsSJ #analysis #automaton #interprocedural
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis (TWR, SS, SJ), pp. 189–213.
ICSEICSE-2003-HongCLSU #model checking #testing
Data Flow Testing as Model Checking (HSH, SDC, IL, OS, HU), pp. 232–243.
SACSAC-2003-YangH #classification #image #using
Image Texture Classification Using Datagrams and Characteristic Views (SY, CCH), pp. 22–26.
SACSAC-2003-YangZ #approach #data access #object-oriented
An Approach to Secure Information Flow on Object Oriented Role-based Access Control Model (CY, CNZ), pp. 302–306.
DACDAC-2003-MemikMJK #graph #resource management #synthesis
Global resource sharing for synthesis of control data flow graphs on FPGAs (SOM, GM, RJ, EK), pp. 604–609.
DATEDATE-2003-KimSLLNN #distributed #graph
Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units (EK, HS, JGL, DIL, HN, TN), pp. 10276–10281.
DATEDATE-2003-KinP #parallel #simulation #thread
Multithreaded Synchronous Data Flow Simulation (JSK, JLP), pp. 11094–11095.
HPCAHPCA-2003-ChenDA #branch #dependence #predict
Dynamic Data Dependence Tracking and its Application to Branch Prediction (LC, SD, DHA), pp. 65–76.
ESOPESOP-2003-Laud #analysis #encryption
Handling Encryption in an Analysis for Secure Information Flow (PL), pp. 159–173.
FASEFASE-2003-JinELJ #analysis #composition #network #process
Modular Analysis of Dataflow Process Networks (YJ, RE, CL, JWJ), pp. 184–199.
PASTEPASTE-2002-Naumovich #analysis #design pattern #implementation #using
Using the observer design pattern for implementation of data flow analyses (GN), pp. 61–68.
VISSOFTVISSOFT-2002-Francik #algorithm #specification #visualisation
Specifying Algorithm Visualizations in Terms of Data Flow (JF), p. 110–?.
CAiSECAiSE-2002-DomenigD #query #semistructured data
Query Explorativeness for Integrated Search in Heterogeneous Data Sources (RD, KRD), pp. 715–718.
CAiSECAiSE-2002-PontieriUZ #approach #integration
An Approach for Synergically Carrying out Intensional and Extensional Integration of Data Sources Having Different Formats (LP, DU, EZ), pp. 752–756.
ICEISICEIS-2002-AlarconGYG #approach #integration #semistructured data
Data Sources Server: An Approach to Heterogeneous Data Integration (PPA, JG, AY, CG), pp. 3–10.
CIKMCIKM-2002-BruzaS #modelling #query
Inferring query models by computing information flow (PB, DS), pp. 260–269.
KDDKDD-2002-Ben-DavidGS #framework #learning
A theoretical framework for learning from a pool of disparate data sources (SBD, JG, RS), pp. 443–449.
AdaEuropeAdaEurope-2002-CzarneckiHRVR #ada #analysis #approach #named
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 (KC, MH, ER, FV, AR), pp. 231–244.
LOPSTRLOPSTR-2002-BossiFPR #proving #security
A Proof System for Information Flow Security (AB, RF, CP, SR), pp. 199–218.
POPLPOPL-2002-HondaY
A uniform type structure for secure information flow (KH, NY), pp. 81–92.
POPLPOPL-2002-LernerGC #analysis
Composing dataflow analyses and transformations (SL, DG, CC), pp. 270–282.
POPLPOPL-2002-PottierS #ml
Information flow inference for ML (FP, VS), pp. 319–330.
SASSAS-2002-AdamsBDLRSW #analysis #pointer #using
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.
SASSAS-2002-Ruf #analysis #precise
Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.
ICSEICSE-2002-RazKS #detection #online #semantics
Semantic anomaly detection in online data sources (OR, PK, MS), pp. 302–312.
CCCC-2002-Mohnen #analysis #approach
A Graph-Free Approach to Data-Flow Analysis (MM), pp. 46–61.
DACDAC-2002-OhH #graph #multi #performance #synthesis
Efficient code synthesis from extended dataflow graphs for multimedia applications (HO, SH), pp. 275–280.
LCTESLCTES-SCOPES-2002-OhH #multi #performance #synthesis
Fractional rate dataflow model and efficient code synthesis for multimedia applications (HO, SH), pp. 12–17.
VMCAIVMCAI-2002-FocardiPR #bisimulation #proving #security
Proofs Methods for Bisimulation Based Information Flow Security (RF, CP, SR), pp. 16–31.
TPDLECDL-2001-Mutschke #information retrieval #network #using
Enhancing Information Retrieval in Federated Bibliographic Data Sources Using Author Network Based Stratagems (PM), pp. 287–299.
PODSPODS-2001-MendelzonM #query
Querying Partially Sound and Complete Data Sources (AOM, GAM).
VLDBVLDB-2001-ManolescuFK #query #semistructured data #xml
Answering XML Queries on Heterogeneous Data Sources (IM, DF, DK), pp. 241–250.
ICSMEICSM-2001-AtkinsonG #analysis #implementation #performance #scalability #source code
Implementation Techniques for Efficient Data-Flow Analysis of Large Programs (DCA, WGG), pp. 52–61.
IWPCIWPC-2001-OrsoSH #dependence #pointer
Effects of Pointers on Data Dependences (AO, SS, MJH), pp. 39–49.
PASTEPASTE-2001-BallR #interprocedural #named
Bebop: a path-sensitive interprocedural dataflow engine (TB, SKR), pp. 97–103.
SCAMSCAM-2001-MaggiS #analysis #bytecode #java #using
Using Data Flow Analysis to Infer Type Information in Java Bytecode (PM, RS), p. 213–?.
FMFME-2001-Mantel
Information Flow Control and Applications — Bridging a Gap (HM), pp. 153–172.
VISSOFTSVIS-2001-Francik #algorithm #animation #using
Algorithm Animation Using Data Flow Tracing (JF), pp. 73–87.
CAiSECAiSE-2001-McBrienP #approach #semantics #xml
A Semantic Approach to Integrating XML and Structured Data Sources (PM, AP), pp. 330–345.
ICEISICEIS-v1-2001-DamnjanovicRSOPR #case study #integration
Integration of Different Data Sources and Message Queueing System in Postnet-Case Studies (DD, ZR, MS, PO, BP, MR), pp. 279–282.
SIGIRSIGIR-2001-SongB #concept #information management #using
Discovering Information Flow Using a High Dimensional Conceptual Space (DS, PB), pp. 327–333.
ICSEICSE-2001-CobleighCO #algorithm #analysis #finite #verification
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (JMC, LAC, LJO), pp. 37–46.
SACSAC-2001-StaudtKR #execution #process #semistructured data
Access to heterogeneous data sources for supporting business process execution (MS, JUK, UR), pp. 197–206.
CCCC-2001-MehoferS #framework #novel #probability
A Novel Probabilistic Data Flow Framework (EM, BS), pp. 37–51.
HPCAHPCA-2001-MichaudS #scalability
Data-Flow Prescheduling for Large Instruction Windows in Out-of-Order Processors (PM, AS), pp. 27–36.
HPDCHPDC-2001-ThainBSL #approach #grid
The Kangaroo Approach to Data Movement on the Grid (DT, JB, SCS, ML), pp. 325–333.
ESOPESOP-2001-Laud #program analysis #semantics
Semantics and Program Analysis of Computationally Secure Information Flow (PL), pp. 77–91.
ESOPESOP-2001-ZdancewicM #continuation
Secure Information Flow and CPS (SZ, ACM), pp. 46–61.
ADLADL-2000-Spiridou
A View System for CORBA-Wrapped Data Sources (AS), pp. 228–237.
TPDLECDL-2000-CamposS #documentation #integration #named #semistructured data
ActiveXML: Compound Documents for Integration of Heterogeneous Data Sources (JPC, MJS), pp. 380–384.
SIGMODSIGMOD-2000-RodriguezR #database #distributed #middleware #named #self
MOCHA: A Self-Extensible Database Middleware System for Distributed Data Sources (MRM, NR), pp. 213–224.
ICALPICALP-2000-HennessyR #resource management #π-calculus
Information Flow vs. Resource Access in the Asynchronous π-Calculus (MH, JR), pp. 415–427.
ICFPICFP-2000-PottierC #for free
Information flow inference for free (FP, SC), pp. 46–57.
CIKMCIKM-2000-DomenigD #approach #query #semistructured data
A Query based Approach for Integrating Heterogeneous Data Sources (RD, KRD), pp. 453–460.
AdaEuropeAdaEurope-2000-BliebergerBS #ada #analysis #detection #source code
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs (JB, BB, BS), pp. 225–237.
POPLPOPL-2000-MuthD #analysis #complexity #on the
On the Complexity of Flow-Sensitive Dataflow Analyses (RM, SKD), pp. 67–80.
PPDPPPDP-2000-HamonP #composition #source code
Modular resetting of synchronous data-flow programs (GH, MP), pp. 289–300.
SACSAC-2000-BoujarwahSA #analysis #java #source code #testing #using
Testing Java Programs Using Dynamic Data Flow Analysis (ASB, KS, JAD), pp. 725–727.
SACSAC-2000-OchKO #semistructured data #using
Integrating Heterogeneous Data Sources Using the COIL Mediator Definition Language (CO, RK, RO), pp. 991–1000.
DACDAC-2000-HorstmannshoffM #code generation #graph #performance
Efficient building block based RTL code generation from synchronous data flow graphs (JH, HM), pp. 552–555.
DACDAC-2000-VandersteenWRDDEB #performance #simulation
A methodology for efficient high-level dataflow simulation of mixed-signal front-ends of digital telecom transceivers (GV, PW, YR, PD, SD, ME, IB), pp. 440–445.
DATEDATE-2000-KruseSJSN #bound #constraints #graph #power management
Lower Bounds on the Power Consumption in Scheduled Data Flow Graphs with Resource Constraints (LK, ES, GJ, AS, WN), p. 737.
DATEDATE-2000-MurthyB #implementation #memory management #specification
Shared Memory Implementations of Synchronous Dataflow Specifications (PKM, SSB), pp. 404–410.
HPDCHPDC-2000-PlaleS #embedded #named #query #scalability #using
dQUOB: Managing Large Data Flows using Dynamic Embedded Queries (BP, KS), pp. 263–270.
ESOPESOP-2000-HondaVY #behaviour #process
Secure Information Flow as Typed Process Behaviour (KH, VTV, NY), pp. 180–199.
ISSTAISSTA-2000-FranklD #branch #case study #comparison #reliability #testing
Comparison of delivered reliability of branch, data flow and operational testing: A case study (PGF, YD), pp. 124–134.
VLDBVLDB-1999-BouganimCDDGS #data type #multi #semistructured data #web
Miro Web: Integrating Multiple Data Sources through Semistructured Data Types (LB, TCSY, TTDN, JLD, GG, FS), pp. 750–753.
VLDBVLDB-1999-RothOH #cost analysis #matter #modelling
Cost Models DO Matter: Providing Cost Information for Diverse Data Sources in a Federated System (MTR, , LMH), pp. 599–610.
ICSMEICSM-1999-Agrawal #analysis #graph
Simultaneous Demand-Driven Data-Flow and Call Graph Analysis (GA), pp. 453–462.
PASTEPASTE-1999-LiangH #analysis #equivalence #performance #pointer
Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers (DL, MJH), pp. 39–46.
PASTEPASTE-1999-NaumovichCC #analysis #partial order #performance #using #verification
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification (GN, LAC, JMC), pp. 57–65.
PASTEPASTE-1999-Steindl #programming
Benefits of a Data Flow-Aware Programming Environment (CS), pp. 105–109.
HCIHCI-CCAD-1999-LinDF #comprehension #diagrams #difference
Strategy differences in data flow diagram comprehension between intermediates and novices (CJL, TCD, YMF), pp. 48–52.
KDDKDD-1999-LeeSM #detection #experience #mining #network
Mining in a Data-Flow Environment: Experience in Network Intrusion Detection (WL, SJS, KWM), pp. 114–124.
TOOLSTOOLS-EUROPE-1999-Telea #modelling #object-oriented #simulation
Combining Object Orientation and Dataflow Modelling in the Vission Simulation System (ACT), pp. 56–65.
POPLPOPL-1999-Myers #named
JFlow: Practical Mostly-Static Information Flow Control (ACM), pp. 228–241.
SASSAS-1999-Soffa #analysis #named #precise #scalability #tutorial
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (MLS), pp. 355–356.
ESECESEC-FSE-1999-RountevRL #analysis
Data-Flow Analysis of Program Fragments (AR, BGR, WL), pp. 235–252.
ICSEICSE-1999-NaumovichAC #analysis #concurrent #java #source code
Data Flow Analysis for Checking Properties of Concurrent Java Programs (GN, GSA, LAC), pp. 399–410.
SACSAC-1999-LeavensWB #diagrams #semantics #specification
Formal Semantics for SA Style Data Flow Diagram Specification Languages (GTL, TW, ALB), pp. 526–532.
PPoPPPPoPP-1999-MoonH #analysis #array #automation #evaluation #parallel
Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization (SM, MWH), pp. 84–95.
ESOPESOP-1999-SabelfeldS #source code
A Per Model of Secure Information Flow in Sequential Programs (AS, DS), pp. 40–58.
FoSSaCSFoSSaCS-1999-EsparzaK #analysis #approach #interprocedural
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis (JE, JK), pp. 14–30.
CSMRCSMR-1998-YehL #analysis #metric #testing
Software Testability Measurements Derived from Data Flow Analysis (PLY, JCL), pp. 96–103.
PASTEPASTE-1998-NaumovichCO #analysis #concurrent #performance #source code
Efficient Composite Data Flow Analysis Applied to Concurrent Programs (GN, LAC, LJO), pp. 51–58.
WCREWCRE-1998-CimitileCL #analysis #incremental #migration
Incremental Migration Strategies: Data Flow Analysis For Wrapping (AC, UdC, ADL), pp. 59–68.
CIKMCIKM-1998-ChenR #independence #multi
Integrating Information from Multiple Independently Developed Data Sources (IMAC, DR), pp. 242–250.
PLDIPLDI-1998-AmmonsL #analysis
Improving Data-flow Analysis with Path Profiles (GA, JRL), pp. 72–84.
POPLPOPL-1998-Schmidt #abstract interpretation #analysis #model checking
Data Flow Analysis is Model Checking of Abstract Interpretations (DAS), pp. 38–48.
POPLPOPL-1998-SmithV #concurrent #imperative #multi #thread
Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.
SASSAS-1998-HagiyaT #analysis #java #on the #virtual machine
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.
SASSAS-1998-Ruthing #analysis #bidirectional
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality (OR), pp. 1–16.
AdaSIGAda-1998-James #ada #distributed #evolution #using
The Evolution of a Distributed dataflow Processing Model Using Ada (SJ), pp. 39–44.
PLDIBest-of-PLDI-1998-AmmonsL98a #analysis
Improving data-flow analysis with path profiles (with retrospective) (GA, JRL), pp. 568–582.
FSEFSE-1998-NaumovichA #algorithm #detection #parallel
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel (GN, GSA), pp. 24–34.
DACDAC-1998-OhH #design #graph
Rate Optimal VLSI Design from Data Flow Graph (MO, SH), pp. 118–121.
PDPPDP-1998-KacsukP #database #parallel
Dataflow parallel database systems and LOGFLOW (PK, NP), pp. 382–388.
VLDBVLDB-1997-HaasKWY #optimisation #query
Optimizing Queries Across Diverse Data Sources (LMH, DK, ELW, JY), pp. 276–285.
VLDBVLDB-1997-RothS #architecture #exclamation #legacy
Don’t Scrap It, Wrap It! A Wrapper Architecture for Legacy Data Sources (MTR, PMS), pp. 266–275.
ICFPICFP-1997-Wailly #functional #named #parallel
λ-Flow: A Parallel Functional Synchronous Dataflow Language (GdW), p. 322.
PLDIPLDI-1997-Goodwin #analysis #execution #interprocedural
Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.
POPLPOPL-1997-Ruf #analysis #clustering #using
Partitioning Dataflow Analyses Using Types (ER), pp. 15–26.
SASSAS-1997-Tzolovski #abstract interpretation #dependence
Data Dependence as Abstract Interpretations (ST), p. 366.
ASEASE-1997-HarrisonB #analysis #design #information management
Data Flow Analysis within the ITOC Information System Design Recovery Tool (JVH, AB), p. 227–?.
ESECESEC-FSE-1997-BodikGS #using
Refining Data Flow Information Using Infeasible Paths (RB, RG, MLS), pp. 361–377.
ASF+SDFASF+SDF-1997-Moonen #analysis #architecture #reverse engineering
A generic architecture for data flow analysis to support reverse engineering (LM), p. 10.
DACDAC-1997-AdeLP #graph #memory management
Data Memory Minimisation for Synchronous Data Flow Graphs Emulated on DSP-FPGA Targets (MA, RL, JAP), pp. 64–69.
DACDAC-1997-AgrawalG #behaviour #clustering #embedded
Data-Flow Assisted Behavioral Partitioning for Embedded Systems (SA, RKG), pp. 709–712.
DATEEDTC-1997-GrotkerSM #modelling #named
PCC: a modeling technique for mixed control/data flow systems (TG, RS, HM), pp. 482–486.
PDPPDP-1997-GaberT #optimisation #problem
An optimization of data movement operations: Application to the tree-embedding problem (JG, BT), pp. 127–133.
PPoPPPPoPP-1997-GuLL #analysis #array #experience #performance
Experience with Efficient Array Data-Flow Analysis for Array Privatization (JG, ZL, GL), pp. 157–167.
SOSPSOSP-1997-MyersL #distributed
A Decentralized Model for Information Flow Control (ACM, BL), pp. 129–142.
WPCWPC-1996-DoorleyC #automation #case study #diagrams #experience
Experiences in Automatic Leveling of Data Flow Diagrams (MD, AC), pp. 218–229.
ICALPICALP-1996-Raymond #network #regular expression
Recognizing Regular Expressions by Means of Dataflow Networks (PR), pp. 336–347.
PLDIPLDI-1996-Ramalingam #analysis
Data Flow Frequency Analysis (GR), pp. 267–277.
PLDIPLDI-1996-SreedharGL #analysis #framework #graph #incremental #using
A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs (VCS, GRG, YFL), pp. 278–290.
SASSAS-1996-PandeR
Data-Flow-Based Virtual Function Resolution (HDP, BGR), pp. 238–254.
FSEFSE-1996-NaumovichCO #analysis #communication #protocol #using #verification
Verification of Communication Protocols Using Data Flow Analysis (GN, LAC, LJO), pp. 93–105.
ICSEICSE-1996-DuesterwaldGS #integration #testing
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level (ED, RG, MLS), pp. 575–584.
ICSEICSE-1996-DwyerC #architecture #flexibility
A Flexible Architecture for Building Data Flow Analyzers (MBD, LAC), pp. 554–564.
ICSEICSE-1996-Forgacs #analysis #array #testing
An Exact Array Reference Analysis for Data Flow Testing (IF), pp. 565–574.
SACSAC-1996-WaillyB #functional #implementation #parallel #semantics #specification
Specification of a functional synchronous dataflow language for parallel implementations with the denotational semantics (GdW, FB), pp. 414–419.
DACDAC-1996-BerrebiKVTHFJB #control flow #synthesis
Combined Control Flow Dominated and Data Flow Dominated High-Level Synthesis (EB, PK, SV, SDT, JCH, JF, AAJ, IB), pp. 573–578.
DACDAC-1996-ParulkarGB #bound #graph
Lower Bounds on Test Resources for Scheduled Data Flow Graphs (IP, SKG, MAB), pp. 143–148.
PDPPDP-1996-WautersELP
Cyclo-Dynamic Dataflow (PW, ME, RL, JAP), pp. 319–326.
TAPSOFTTAPSOFT-J-1995-SagivRH96 #analysis #constant #interprocedural #precise
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 131–170.
ESOPESOP-1996-Stolen #network
Assumption/Commitment Rules for Dataflow Networks — With an Emphasis on Completeness (KS), pp. 356–372.
ISSTAISSTA-1996-MarxF #approach #pointer #testing
The Path-Wise Approach to Data Flow Testing with Pointer Variables (DISM, PGF), pp. 135–146.
ICDARICDAR-v2-1995-ButlerGST #diagrams #documentation #logic
Analyzing the logical structure of data flow diagrams in software documents (GB, PG, RS, IAT), pp. 575–578.
VLDBVLDB-1995-BunemanDHOW #biology #data transformation
A Data Transformation System for Biological Data Sources (PB, SBD, KH, GCO, LW), pp. 158–169.
VLDBVLDB-1995-MoserKK #interactive #multi #named
L/MRP: A Buffer Management Strategy for Interactive Continuous Data Flows in a Multimedia DBMS (FM, AK, WK), pp. 275–286.
ICSMEICSM-1995-GuptaS #testing
Priority based data flow testing (RG, MLS), pp. 348–357.
WCREWCRE-1995-ButlerGST #diagrams
Retrieving Information from Data Flow Diagrams (GB, PG, RS, IAT), pp. 22–29.
WCREWCRE-1995-NewcombM #re-engineering #source code
Reengineering Procedural into Data Flow Programs (PN, PM).
SEKESEKE-1995-CostagliolaLOT #graph #parsing #performance
Efficient Parsing of Data-Flow Graphs (GC, ADL, SO, GT), pp. 226–233.
PEPMPEPM-1995-Jensen #analysis #source code
Clock Analysis of Synchronous Dataflow Programs (TPJ), pp. 156–167.
PLDIPLDI-1995-AmagbegnonBG #implementation
Implementation of the Data-Flow Synchronous Language SIGNAL (PA, LB, PLG), pp. 163–173.
PPDPPLILP-1995-ColussiMM #constraints #logic programming #semantics #source code
A Dataflow Semantics for Constraint Logic Programs (LC, EM, MM), pp. 431–448.
POPLPOPL-1995-DuesterwaldGS #interprocedural
Demand-driven Computation of Interprocedural Data Flow (ED, RG, MLS), pp. 37–48.
POPLPOPL-1995-RepsHS #analysis #graph #interprocedural #precise #reachability
Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.
SASSAS-1995-NordinLM #named #prolog
IGOR: A Tool for Developing Prolog Dataflow Analyzers (MN, TL, HM), pp. 420–421.
FSEFSE-1995-HorwitzRS #analysis #interprocedural
Demand Interprocedural Dataflow Analysis (SH, TWR, SS), pp. 104–115.
DACDAC-1995-ZepterGM #design #generative #graph #using
Digital Receiver Design Using VHDL Generation from Data Flow Graphs (PZ, TG, HM), pp. 228–233.
PDPPDP-1995-Blinowski #memory management #modelling #paradigm
A Shared Memory model based on the Dataflow paradigm (GJB), pp. 68–75.
PDPPDP-1995-Kacsuk #parallel #prolog
Dataflow model for handling cut in the LOGFLOW parallel prolog machine (PK), pp. 60–67.
PDPPDP-1995-StrohschneiderKW #communication #network #scalability
An associative communication network for fine and large grain dataflow (JS, BK, KW), pp. 324–331.
PPoPPPPoPP-1995-CollardBF #analysis #array #fuzzy
Fuzzy Array Dataflow Analysis (JFC, DB, PF), pp. 92–101.
TAPSOFTTAPSOFT-1995-SagivRH #analysis #constant #interprocedural #precise
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 651–665.
ICSMEICSM-1994-GuptaS #analysis #framework
A Framework for Partial Data Flow Analysis (RG, MLS), pp. 4–13.
PLDIPLDI-1994-HummelHN #data type #dependence #pointer
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.
PLDIPLDI-1994-SabryF #analysis #continuation #question
Is Continuation-Passing Useful for Data Flow Analysis? (AS, MF), pp. 1–12.
PLDIPLDI-1994-Wismuller #analysis #debugging #source code #using
Debugging of Globally Optimized Programs Using Data Flow Analysis (RW), pp. 278–289.
POPLPOPL-1994-Maslov #analysis #array #dependence #lazy evaluation
Lazy Array Data-Flow Dependence Analysis (VM), pp. 311–325.
AdaTRI-Ada-1994-Thornley #ada #parallel #programming
Integrating Parallel Dataflow Programming with the Ada Tasking Model (JT), pp. 417–428.
FSEFSE-1994-DwyerC #analysis #concurrent #source code #verification
Data Flow Analysis for Verifying Properties of Concurrent Programs (MBD, LAC), pp. 62–75.
FSEFSE-1994-HarroldR #testing
Performing Data Flow Testing on Classes (MJH, GR), pp. 154–163.
SACSAC-1994-RondogiannisW #hardware #higher-order #implementation
Higher-order dataflow and its implementation on stock hardware (PR, WWW), pp. 431–435.
CCCC-1994-Binkley #constant #dependence #graph #interprocedural #using
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model (DB), pp. 374–388.
CCCC-1994-DuesterwaldGS #clustering #congruence #cost analysis
Reducing the Cost of Data Flow Analysis By Congruence Partitioning (ED, RG, MLS), pp. 357–373.
DACDAC-1994-LiuSC #clustering #latency
Data Flow Partitioning for Clock Period and Latency Minimization (LTL, MS, CKC), pp. 658–663.
DATEEDAC-1994-ZepterG #generative
Generating Synchronous Timed Descriptions of Digital Receivers from Dynamic Data Flow System Level Configurations (PZ, TG), p. 672.
PDPPDP-1994-Mitschele-Thiel #implementation
A Large-grain Data-flow Language And Its Control-driven Implementation (AMT), pp. 141–148.
ICLPICLP-1994-Kagedal #analysis #prolog
A Dataflow Analysis Method for Ground Prolog (AK), p. 746.
FPCAFPCA-1993-Ang #implementation #performance
Efficient Implementation of Sequential Loops in Dataflow Computation (BSA), pp. 169–178.
FPCAFPCA-1993-RohNB #clustering #evaluation #generative
Generation and Quantitative Evaluation of Dataflow Clusters (LR, WAN, APWB), pp. 159–168.
HCIHCI-SHI-1993-LauesenH #design #modelling
Dialogue Design Through Modified Dataflow and Data Modelling (SL, MBH), pp. 220–225.
PEPMPEPM-1993-Vasell #graph
A Partial Evaluator for Data Flow Graphs (JV), pp. 206–215.
PLDIPLDI-1993-DuesterwaldGS #analysis #array #framework #optimisation
A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations (ED, RG, MLS), pp. 68–77.
POPLPOPL-1993-DhamdhereK #analysis #bidirectional #complexity
Complexity of Bidirectional Data Flow Analysis (DMD, UPK), pp. 397–408.
POPLPOPL-1993-MaydanAL #analysis #array
Array Data-Flow Analysis and its Use in Array Privatization (DEM, SPA, MSL), pp. 2–15.
FSEFSE-1993-Griswold
Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool (WGG), pp. 42–55.
ICSEICSE-1993-FranklW #comparison #detection #testing
An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques (PGF, EJW), pp. 415–424.
ICSEICSE-1993-HamletGN #array #testing
Exploring Dataflow Testing of Arrays (RGH, BG, BN), pp. 118–129.
ICSEICSE-1993-UralY #modelling #representation
Modeling Software for Accurate Data Flow Representation (HU, BY), pp. 277–286.
SACSAC-1993-ShenDU #predict
Packet Delay Prediction in Datagram Mesh Systems (ZS, PGD, LU), pp. 539–545.
PPoPPPPoPP-1993-GrunwaldS #equation #parallel #source code
Data Flow Equations for Explicitly Parallel Programs (DG, HS), pp. 159–168.
ISSTAISSTA-1993-ThompsonRC #detection #fault
An Information Flow Model of Fault Detection (MCT, DJR, LAC), pp. 182–192.
ICALPICALP-1992-Debray #analysis #complexity #logic programming #on the #source code
On the Complexity of Dataflow Analysis of Logic Programs (SKD), pp. 509–520.
SEKESEKE-1992-ArndtG #composition #diagrams
Decomposition of Data Flow Diagrams (TA, AG), pp. 560–566.
PLDIPLDI-1992-PughW #dependence #using
Eliminating False Data Dependences using the Omega Test (WP, DW), pp. 140–151.
PLDIPLDI-1992-TanL #analysis #compilation #logic programming #source code
Compiling Dataflow Analysis of Logic Programs (JT, IPL), pp. 106–115.
CCCC-1992-SudholtS #analysis #interprocedural #object-oriented #on the
On Interprocedural Data Flow Analysis for Object Oriented Languages (MS, CS), pp. 156–162.
LICSLICS-1992-Stark #calculus #network
A Calculus of Dataflow Networks (EWS), pp. 125–136.
FPCAFPCA-1991-ConselD
For a Better Support of Static Data Flow (CC, OD), pp. 496–519.
FPCAFPCA-1991-Traub #architecture #code generation #multi #source code #strict #thread
Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs (KRT), pp. 73–101.
PLDIPLDI-1991-MaydanHL #analysis #dependence #performance
Efficient and Exact Data Dependence Analysis (DEM, JLH, MSL), pp. 1–14.
PPDPPLILP-1991-HalbwachsRR #generative #performance #source code
Generating Efficient Code From Data-Flow Programs (NH, PR, CR), pp. 207–218.
POPLPOPL-1991-ChoiCF #automation #evaluation #graph
Automatic Construction of Sparse Data Flow Evaluation Graphs (JDC, RC, JF), pp. 55–66.
ISSTATAV-1991-DuesterwaldS #analysis #concurrent #framework #using
Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework (ED, MLS), pp. 36–48.
ISSTATAV-1991-Harrold #optimisation #testing
The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets (MJH), pp. 130–138.
ISSTATAV-1991-HorgnaL #c
Data Flow Coverage and the C Language (JRH, SL), pp. 87–97.
ISSTATAV-1991-LongC #analysis #concurrent
Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization (DLL, LAC), pp. 21–35.
ISSTATAV-1991-OstrandW #analysis #pointer #test coverage #testing
Data Flow-Based Test Adequacy Analysis for Languages with Pointers (TJO, EJW), pp. 74–86.
ICALPICALP-1990-PanangadenSS #network
Stability and Sequentiality in Dataflow Networks (PP, VS, EWS), pp. 308–321.
SEKESEKE-1990-RizmanR #agile #knowledge-based #prototype #specification #using
Using Data-flow Description Supported By The Rapid Prototyping Tool For Specifying and Developing of Knowledge-Based System (KR, IR), pp. 58–63.
PPDPPLILP-1990-SagivFRW #analysis #approach #problem
A Logic-Based Approach to Data Flow Analysis Problem (SS, NF, MR, RW), pp. 277–292.
POPLPOPL-1990-MarloweR #algorithm #analysis #hybrid #incremental #performance
An Efficient Hybrid Algorithm for Incremental Data Flow Analysis (TJM, BGR), pp. 184–196.
DACDAC-1990-ScheichenzuberGLM #behaviour #hardware #synthesis
Global Hardware Synthesis from Behavioral Dataflow Descriptions (JS, WG, UL, SM), pp. 456–461.
ICLPNACLP-1990-RoyD #analysis #compilation #optimisation #prolog
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.
VLDBVLDB-1989-Muralikrishna #algorithm #optimisation #query
Optimization and Dataflow Algorithms for Nested Tree Queries (MM), pp. 77–85.
POPLPOPL-1989-Jonsson #network
A Fully Abstract Trace Model for Dataflow Networks (BJ), pp. 155–165.
POPLPOPL-1989-SagivEFR #analysis #attribute grammar
Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis (SS, OE, NF, MR), pp. 36–48.
ESECESEC-1989-Ince #analysis #design #empirical #metric
Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric (DCI), pp. 86–99.
LICSLICS-1989-RabinovichT
Nets and Data Flow Interpreters (AMR, BAT), pp. 164–174.
ISSTATAV-1989-HarroldS #testing
Interprocedual Data Flow Testing (MJH, MLS), pp. 158–167.
SIGMODSIGMOD-1988-AlexanderC #data-driven #distributed #process
Process And Dataflow Control In Distributed Data-Intensive Systems (WA, GPC), pp. 90–98.
OOPSLAOOPSLA-1988-Alabiso #analysis #design #modelling #object-oriented
Transformation of Data Flow Analysis Models to Object-Oriented Design (BA), pp. 335–354.
PLDIPLDI-1988-Callahan #analysis #graph #interprocedural #summary
The Program Summary Graph and Flow-Sensitive Interprocedural Data Flow Analysis (DC), pp. 47–56.
PLDIPLDI-1988-JainT #analysis #approach #multi #performance
An Efficient Approach to Data Flow Analysis in a Multi Pass Global Optimizer (SJ, CLT), pp. 154–163.
POPLPOPL-1988-CarrollR #analysis #incremental
Incremental Data Flow Analysis via Dominator and Attribute Updates (MDC, BGR), pp. 274–284.
POPLPOPL-1988-Debray #analysis #logic programming #performance #source code
Efficient Dataflow Analysis of Logic Programs (SKD), pp. 260–273.
ESOPESOP-1988-WeemeeuwBH #architecture #implementation #logic programming #on the #programming language
On Implementing Logic Programming Languages on a Dataflow Architecture (PW, MB, MDH), pp. 359–372.
ICLPJICSCP-1988-Steer88 #diagrams #testing
Testing Data Flow Diagrams with PARLOG (KS), pp. 96–110.
ICLPJICSCP-1988-Wu88
An Extended Dataflow Model of FGHC (HW), pp. 1272–1276.
FMVDME-1987-Jones87b #semantics #using
A Formal Semantics for a DataFlow Machine — Using VDM (KDJ), pp. 331–355.
FPCAFPCA-1987-RuggieroS #parallel
Control of parallelism in the Manchester Dataflow Machine (CAR, JS), pp. 1–15.
OOPSLAOOPSLA-1987-GrimshawL #metaprogramming #named #object-oriented
Mentat: An Object-Oriented Macro Data Flow System (ASG, JWSL), pp. 35–47.
OOPSLAOOPSLA-1987-KaiserG #object-oriented #programming
MELDing Data Flow and Object-Oriented Programming (GEK, DG), pp. 254–267.
ESECESEC-1987-Szwillus #editing #interactive #operating system #specification #user interface #using
Using Data Flow Specifications and Interactive Editing in the Operating System User Interface (GS), pp. 149–157.
VLDBVLDB-1986-DeWittGGHKM #database #named #performance
GAMMA — A High Performance Dataflow Database Machine (DJD, RHG, GG, MLH, KBK, MM), pp. 228–237.
POPLPOPL-1986-JonesM #analysis #graph #source code #using
Data Flow Analysis of Applicative Programs Using Minimal Function Graphs (NDJ, AM), pp. 296–306.
STOCSTOC-1986-Siegel #aspect-oriented
Aspects of Information Flow in VLSI Circuits (AS), pp. 448–459.
LICSLICS-1986-JonssonMW #deduction #network #synthesis #towards
Towards Deductive Synthesis of Dataflow Networks (BJ, ZM, RJW), pp. 26–37.
FPCAFPCA-1985-Plaisted85 #architecture #performance
An Architecture for fast Data Movement in the FFP Machine (DAP), pp. 147–163.
FPCAFPCA-1985-SkedzielewskiW85 #graph #optimisation
Data Flow Graph Optimization in IF1 (SKS, MLW), pp. 17–34.
ICSEICSE-1985-BarthGB #architecture #realtime
The Stream Machine: A Data Flow Architecture for Real-Time Applications (PB, SBG, DRB), pp. 103–110.
ICSEICSE-1985-ClarkePRZ #comparison
A Comparison of Data Flow Path Selection Criteria (LAC, AP, DJR, SJZ), pp. 244–251.
ICSEICSE-1985-GirgisW #analysis #testing #using
An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis (MRG, MRW), pp. 313–319.
DACDAC-1985-AshokCS #modelling #simulation #using
Modeling switch-level simulation using data flow (VA, RLC, PS), pp. 637–644.
DACDAC-1985-OdawaraTO #diagrams
Diagrammatic function description of microprocessor and data-flow processor (GO, MT, IO), pp. 731–734.
SOSPSOSP-1985-Reinhardt #approach #multi
A Data-Flow Approach to Multitasking ob CRAY X-MP Compputers (SKR), pp. 107–114.
LISPLFP-1984-Smolka #logic programming #source code
Making Control and Data Flow in Logic Programs Explicit (GS), pp. 311–322.
PLDISCC-1984-Zadeck #analysis #editing #incremental
Incremental data flow analysis in a structured program editor (FKZ), pp. 132–143.
ICSEICSE-1984-DeMarcoS #modula #named
SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer (TD, AS), pp. 207–213.
ICSEICSE-1984-Forman #algebra #detection
An Algebra for Data Flow Anomaly Detection (IRF), pp. 278–287.
ICSEICSE-1984-Tai #complexity #graph #metric
A Program Complexity Metric Based on Data Flow Information in Control Graphs (KCT), pp. 239–249.
DACDAC-1984-JhonK #analysis #concurrent #design
Deadlock analysis in the design of data-flow circuits (CSJ, RMK), pp. 705–707.
ICLPILPC-1984-Kacsuk84 #interpreter #parallel #prolog
A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model (PK), pp. 195–205.
ICLPSLP-1984-BroughE84 #logic #programming
Dataflow, Flowcharts, and “LUCID”-style Programming in Logic (DRB, MHvE), pp. 252–258.
POPLPOPL-1983-AllenKPW #dependence
Conversion of Control Dependence to Data Dependence (JRA, KK, CP, JDW), pp. 177–189.
POPLPOPL-1983-Pratt #design #paradigm #programming
Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment (VRP), pp. 1–9.
POPLPOPL-1983-Ryder #analysis #incremental
Incremental Data Flow Analysis (BGR), pp. 167–176.
ICALPICALP-1982-Faustini #semantics
An Operational Semantics for Pure Dataflow (AAF), pp. 212–224.
POPLPOPL-1982-JonesM #analysis #approach #data type #flexibility #interprocedural #recursion #source code
A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures (NDJ, SSM), pp. 66–74.
PLDISCC-1982-ChowR #design
The Design of a Data Flow Analyzer (ALC, AR), pp. 106–113.
ICSEICSE-1982-Babb #data-driven #diagrams #implementation
Data-Driven Implementation of Data Flow Diagrams (RGBI), pp. 309–318.
ICSEICSE-1982-Forman #analysis #composition
Global Data Flow Analysis by Decomposition into Primes (IRF), pp. 386–392.
ICSEICSE-1982-RappsW #analysis #testing
Data Flow Analysis Techniques for Test Data Selection (SR, EJW), pp. 272–278.
ICALPICALP-1981-Sharir #analysis #source code
Data Flow Analysis of Applicative Programs (MS), pp. 98–113.
POPLPOPL-1981-Myers #algorithm #interprocedural #precise
A Precise Interprocedural Data Flow Algorithm (EWM), pp. 219–230.
SIGMODSIGMOD-1980-BoralD #database #design
Design Considerations for Data-flow Database Machines (HB, DJD), pp. 94–104.
POPLPOPL-1980-HolleyR #problem
Qualified Data Flow Problems (LHH, BKR), pp. 68–82.
POPLPOPL-1980-Weihl #analysis #interprocedural #pointer
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables (WEW), pp. 83–94.
POPLPOPL-1979-Reif #analysis #communication #process
Data Flow Analysis of Communicating Processes (JHR), pp. 257–268.
POPLPOPL-1979-ReitmanA #approach #axiom #source code
Certifying Information Flow Properties of Programs: An Axiomatic Approach (RPR, GRA), pp. 283–290.
POPLPOPL-1978-Kosinki #semantics #source code
A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs (PRK), pp. 214–221.
POPLPOPL-1978-Rosen #agile #analysis #monad
Monoids for Rapid Data Flow Analysis (BKR), pp. 47–59.
POPLPOPL-1977-Barth #algorithm #analysis #interprocedural
An Interprocedural Data Flow Analysis Algorithm (JMB), pp. 119–131.
SOSPSOSP-1977-ArvindGP #monitoring
Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.
POPLPOPL-1976-Kosinski #programming #semantics
Mathematical Semantics and Data Flow Programming (PRK), pp. 175–184.
ICSEICSE-1976-FosdickO #detection #interprocedural
The Detection of Anomalous Interprocedural Data Flow (LDF, LJO), pp. 624–628.
SOSPSOSP-J-1975-Denning76
A Lattice Model of Secure Information Flow (DED), pp. 236–243.
POPLPOPL-1975-Kennedy #analysis
Node Listings Applied to Data Flow Analysis (KK), pp. 10–21.

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.