BibSLEIGH — data flow tag

data flow

data flow

Tag #data flow

674 papers:

POPL-2020-BourkeBP #compilation #semantics: Mechanized semantics and verified compilation for a dataflow synchronous language with reset (TB, LB, MP), p. 29.
ICSA-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.
ICSA-2019-TumaSB #analysis #design: Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis (KT, RS, MB), pp. 191–200.
SANER-2019-PupoNENRB #information management #machine learning #named: GUARDIAML: Machine Learning-Assisted Dynamic Information Flow Control (ALSP, JN, KE, AN, CDR, EGB), pp. 624–628.
FM-2019-IroftiD #consistency #modelling: Local Consistency Check in Synchronous Dataflow Models (DI, PD), pp. 389–405.
FM-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.
Haskell-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.
ICML-2019-GoldfeldBGMNKP #network: Estimating Information Flow in Deep Neural Networks (ZG, EvdB, KHG, IM, NN, BK, YP), pp. 2299–2308.
KDD-2019-Zang0S0W: Uncovering Pattern Formation of Information Flow (CZ, PC0, CS, WZ0, FW0), pp. 1691–1699.
MoDELS-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.
PLDI-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.
POPL-2019-Kavvos: Modalities, cohesion, and information flow (GAK), p. 29.
POPL-2019-ParkerVH #multi #named #security #web: LWeb: information flow security for multi-tier web applications (JP, NV, MH0), p. 30.
POPL-2019-SpathAB #analysis #automaton #using: Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems (JS, KA0, EB), p. 29.
POPL-2019-VassenaRGRS #information management: From fine- to coarse-grained dynamic information flow control and back (MV, AR, DG0, VR, DS), p. 31.
SAS-2019-Cousot #analysis #semantics: Syntactic and Semantic Soundness of Structural Dataflow Analysis (PC), pp. 96–117.
ASPLOS-2019-GaoYPHK #named #scalability: TANGRAM: Optimized Coarse-Grained Dataflow for Scalable NN Accelerators (MG, XY, JP, MH, CK), pp. 807–820.
ASPLOS-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.
FASE-2019-DubrulleGKLL: A Data Flow Model with Frequency Arithmetic (PD, CG, NK, AL, SL), pp. 369–385.
ICST-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.
ECSA-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.
FM-2018-AmericoAM #algebra #approach #reasoning: An Algebraic Approach for Reasoning About Information Flow (AA, MSA, AM), pp. 55–72.
FM-2018-FernandesDM #perspective #privacy: Processing Text for Privacy: An Information Flow Perspective (NF, MD, AM), pp. 3–21.
OOPSLA-2018-AlpernasFFRSSW #information management #using: Secure serverless computing using dynamic information flow control (KA, CF, SF, LR, MS, TS, KW), p. 26.
POPL-2018-ChatterjeeCP #alias #analysis #reachability: Optimal Dyck reachability for data-dependence and alias analysis (KC, BC, AP), p. 30.
PPDP-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.
ASPLOS-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.
ASPLOS-2018-KwonSK #configuration management #flexibility #named: MAERI: Enabling Flexible Dataflow Mapping over DNN Accelerators via Reconfigurable Interconnects (HK, AS, TK), pp. 461–475.
CC-2018-PathadeK #analysis: Computing partially path-sensitive MFP solutions in data flow analyses (KP, UPK), pp. 37–47.
CGO-2018-DavisSO #graph #metaprogramming: Transforming loop chains via macro dataflow graphs (ECD, MMS, CO), pp. 265–277.
TAP-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.
VMCAI-2018-BiondiEHLMQ #approximate #scalability #source code: Scalable Approximation of Quantitative Information Flow in Programs (FB, MAE, AH, AL, KSM, JQ), pp. 71–93.
VMCAI-2018-PrabawaALC #composition #logic #verification: A Logical System for Modular Information Flow Verification (AP, MFAA, BL, WNC), pp. 430–451.
ICPC-2017-AzadmaneshHV #comprehension #independence #tool support: Language-independent information flow tracking engine for program comprehension tools (MRA, MH, MLVdV), pp. 346–355.
SEFM-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.
SEFM-2017-GreinerMB #component #composition #security #verification: Modular Verification of Information Flow Security in Component-Based Systems (SG, MM, BB), pp. 300–315.
SEFM-2017-WiikB #automation #network #specification #verification: Specification and Automated Verification of Dynamic Dataflow Networks (JW, PB), pp. 136–151.
KDD-2017-MaMXLGSZ #semistructured data: Unsupervised Discovery of Drug Side-Effects from Heterogeneous Data Sources (FM, CM, HX, QL0, JG0, LS, AZ), pp. 967–976.
OOPSLA-2017-SpathAB #alias #analysis #named #performance #precise: IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.
POPL-2017-AssafNSTT #semantics #static analysis: Hypercollecting semantics and its application to static analysis of information flow (MA, DAN, JS, ET, FT), pp. 874–887.
POPL-2017-ZhangS #analysis #linear #reachability: Context-sensitive data-dependence analysis via linear conjunctive language reachability (QZ, ZS), pp. 344–358.
ASE-2017-MathisASBZ #detection: Detecting information flow by mutating input data (BM, VA, EOS, MB, AZ), pp. 263–273.
SLE-2017-SmitsV #analysis #declarative #named #specification: FlowSpec: declarative dataflow analysis specification (JS, EV), pp. 221–231.
ASPLOS-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.
CC-2017-TownsendKE #functional #pipes and filters #source code: From functional programs to pipelined dataflow circuits (RT, MAK, SAE), pp. 76–86.
ICST-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.
TAP-2017-BaranyS #analysis #c #hybrid: Hybrid Information Flow Analysis for Real-World C Code (GB, JS), pp. 23–40.
WICSA-2016-Seifermann #analysis #architecture: Architectural Data Flow Analysis (SS), pp. 270–271.
FM-2016-KawamotoBL #estimation #hybrid #statistics: Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow (YK0, FB, AL), pp. 406–425.
CIKM-2016-GuoXYHLLGC #machine learning #process: Ease the Process of Machine Learning with Dataflow (TG, JX0, XY, JH, PL, ZL, JG, XC), pp. 2437–2440.
PLATEAU-2016-Salvaneschi #question #what: What do we really know about data flow languages? (GS), pp. 30–31.
AdaEurope-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.
PLDI-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.
PLDI-2016-YangHASFC #information management #precise: Precise, dynamic information flow for database-backed applications (JY0, TH, THA, ASL, CF, SC), pp. 631–647.
QAPL-2016-DugganY: Parameterized Dataflow (Extended Abstract) (DD, JY), pp. 63–81.
ASE-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.
ASPLOS-2016-YoonSCC #named #predict: PIFT: Predictive Information-Flow Tracking (MKY, NS, YC, MC), pp. 713–725.
CC-2016-MurphyJMC #automation #dependence #performance: Performance implications of transient loop-carried data dependences in automatically parallelized loops (NM, TMJ0, RDM, SC), pp. 23–33.
VLDB-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.
SCAM-2015-ChochlovEB #feature model #using: Using changeset descriptions as a data source to assist feature location (MC, ME, JB), pp. 51–60.
FM-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.
ICFP-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.
HCI-UC-2015-SandersCDJ: GT Journey: The Importance of Accessible Rich Data Sources to Enable Innovation (MS, RJC, BD, SJ), pp. 82–91.
CAiSE-2015-KopkeE #design #equivalence: Equivalence Transformations for the Design of Interorganizational Data-Flow (JK, JE), pp. 367–381.
CIKM-2015-KantereOKS #query #semistructured data: Query Relaxation across Heterogeneous Data Sources (VK, GO, AK, TKS), pp. 473–482.
SEKE-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.
OOPSLA-2015-BastaniAA #android #verification: Interactively verifying absence of explicit information flows in Android apps (OB, SA, AA), pp. 299–315.
LOPSTR-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.
PADL-2015-FowlerDG: Reactive Single-Page Applications with Dynamic Dataflow (SF, LD, AG), pp. 58–73.
POPL-2015-LourencoC: Dependent Information Flow Types (LL, LC), pp. 317–328.
POPL-2015-TangWZXZM #analysis: Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks (HT, XW, LZ, BX, LZ, HM), pp. 83–95.
QAPL-2015-KawamotoG: Quantitative Information Flow for Scheduler-Dependent Systems (YK, TGW), pp. 48–62.
SAS-2015-RapoportLT #analysis #correlation #precise: Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.
ASE-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.
ASE-2015-ShermanD #analysis #performance #precise: Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T) (ES, MBD), pp. 608–618.
ICSE-v1-2015-DenaroMPV #object-oriented #testing: Dynamic Data Flow Testing of Object Oriented Systems (GD, AM, MP, MV), pp. 947–958.
ICSE-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.
SAC-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.
SAC-2015-JakobsW #analysis #proving #source code: Programs from proofs of predicated dataflow analyses (MCJ, HW), pp. 1729–1736.
SAC-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.
SAC-2015-ThionLB #data access #relational: Tuple-based access control: a provenance-based information flow control for relational data (RT, FL, MBGT), pp. 2165–2170.
GPCE-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.
ASPLOS-2015-ZhangWSM #design #hardware #information management #security: A Hardware Design Language for Timing-Sensitive Information-Flow Security (DZ, YW, GES, ACM), pp. 503–516.
CASE-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.
DAC-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.
DATE-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.
DATE-2015-LeleMB #case study: FP-scheduling for mode-controlled dataflow: a case study (AL, OM, KvB), pp. 1257–1260.
PDP-2015-AliAP #graph #parametricity #realtime: Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs (HIA, BA, LMP), pp. 701–710.
PDP-2015-DiavastosST #manycore #named #performance: TFluxSCC: Exploiting Performance on Future Many-Core Systems through Data-Flow (AD, GS, PT), pp. 190–198.
PDP-2015-LundKETLHF #execution #network #platform #process: Execution of Dataflow Process Networks on OpenCL Platforms (WL, SK, JE, LT, JL, JH, UF), pp. 618–625.
PDP-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.
FoSSaCS-2015-AbadiMP #difference: Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.
ISSTA-2015-ClappAA #mining #named #specification: Modelgen: mining explicit information flow specifications from concrete executions (LC, SA, AA), pp. 129–140.
LICS-2015-McIverMR #markov #modelling #monad: Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow (AM, CM, TMR), pp. 597–608.
LICS-2015-Smith: Recent Developments in Quantitative Information Flow (GS), pp. 23–31.
HT-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.
SIGMOD-2014-0001SW #named #source code: BabbleFlow: a translator for analytic data flow programs (PJ, AS, KW), pp. 713–716.
SIGMOD-2014-IstvanWA #big data: Histograms as a side effect of data movement for big data (ZI, LW, GA), pp. 1567–1578.
SIGMOD-2014-RekatsinasDS: Characterizing and selecting fresh data sources (TR, XLD, DS), pp. 919–930.
SIGMOD-2014-RheinlanderBKHSL #optimisation: Versatile optimization of UDF-heavy data flows with sofa (AR, MB, AK, AH, TS, UL), pp. 685–688.
VLDB-2015-BuBJCC14 #graph #named: Pregelix: Big(ger) Graph Analytics on a Dataflow Engine (YB, VRB, JJ, MJC, TC), pp. 161–172.
EDM-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.
LATA-2014-SeidlK #analysis #interprocedural #xml: Interprocedural Information Flow Analysis of XML Processors (HS, MK), pp. 34–61.
KMIS-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.
SPLC-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.
OOPSLA-2014-BellK #named: Phosphor: illuminating dynamic data flow in commodity jvms (JB, GEK), pp. 83–101.
POPL-2014-AmorimCDDHPPPT #architecture: A verified information-flow architecture (AAdA, NC, AD, DD, CH, DP, BCP, RP, AT), pp. 165–178.
SAS-2014-MadsenM #analysis #pointer #reachability: Sparse Dataflow Analysis with Pointers and Reachability (MM, AM), pp. 201–218.
ASE-2014-LutzD #comparison #difference #interactive #programming #using #visual notation: Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.
ASE-2014-ShenVTADLKZ: Information flows as a permission mechanism (FS, NV, CT, MA, BD, EJL, SYK, LZ), pp. 515–526.
ICSE-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.
SAC-2014-HedinBBS #api #javascript #named: JSFlow: tracking information flow in JavaScript and its APIs (DH, AB, LB, AS), pp. 1663–1671.
GPCE-2014-JarviFH #constraints #multi: Specializing planners for hierarchical multi-way dataflow constraint systems (JJ, GF, MH), pp. 1–10.
CC-2014-TavaresBPR #analysis: Parameterized Construction of Program Representations for Sparse Dataflow Analyses (ALCT, BB, FMQP, FR), pp. 18–39.
DAC-2014-SiyoumGC #analysis: Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources (FS, MG, HC), p. 6.
DATE-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.
DATE-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.
DATE-2014-SalunkheMB #analysis #modelling: Mode-Controlled Dataflow based modeling & analysis of a 4G-LTE receiver (HS, OM, KvB), pp. 1–4.
DATE-2014-SharmaPLAC #composition #energy #performance: Energy efficient data flow transformation for Givens Rotation based QR Decomposition (NS, PRP, ML, PA, FC), pp. 1–4.
DATE-2014-ZhuGBS #graph #scheduling: Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming (XYZ, MG, TB, SS), pp. 1–6.
LCTES-2014-BebelisFG #framework #manycore #parametricity #platform: A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
OSDI-2014-GonzalezXDCFS #distributed #framework #graph #named: GraphX: Graph Processing in a Distributed Dataflow Framework (JEG, RSX, AD, DC, MJF, IS), pp. 599–613.
FASE-2014-CavalcantiG #testing: Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.
ICST-2014-AraujoC #in the large #testing: Data-Flow Testing in the Large (RPAdA, MLC), pp. 81–90.
ICST-2014-DenaroPV #on the #testing: On the Right Objectives of Data Flow Testing (GD, MP, MV), pp. 71–80.
HT-2013-WolffMC #named #using: Storyscope: using theme and setting to guide story enrichment from external data sources (AW, PM, TDC), pp. 79–88.
SIGMOD-2013-SimitsisW0 #framework #named #platform: xPAD: a platform for analytic data flows (AS, KW, PJ), pp. 1109–1112.
SIGMOD-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.
TPDL-2013-ManghiM #analysis: Data Searchery — Preliminary Analysis of Data Sources Interlinking (PM, AM), pp. 458–461.
VLDB-2013-EftekharK #clustering #ranking: Partitioning and Ranking Tagged Data Sources (ME, NK), pp. 229–240.
VLDB-2013-GuptaRM #distributed #query: Ratio Threshold Queries over Distributed Data Sources (RG, KR, MKM), pp. 565–576.
VLDB-2014-SalloumDST13 #online: Online Ordering of Overlapping Data Sources (MS, XLD, DS, VJT), pp. 133–144.
WCRE-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.
SFM-2013-KopfR #analysis #automation: Automation of Quantitative Information-Flow Analysis (BK, AR), pp. 1–28.
Haskell-2013-LippmeierCKR #haskell: Data flow fusion with series expressions in Haskell (BL, MMTC, GK, AR), pp. 93–104.
ICEIS-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.
ICEIS-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.
KDIR-KMIS-2013-Bures #modelling #perspective #research: Modelling of Information Flows in the Business Administration Realm — The Research Perspective (VB), pp. 426–430.
MoDELS-2013-SaadB #analysis: Data-Flow Based Model Analysis and Its Applications (CS, BB), pp. 707–723.
LOPSTR-2013-BeckertBKSSU #object-oriented: Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.
PLDI-2013-ZhangNY #abstraction #analysis #parametricity: Finding optimum abstractions in parametric dataflow analysis (XZ, MN, HY), pp. 365–376.
POPL-2013-FarzanKP #graph #induction: Inductive data flow graphs (AF, ZK, AP), pp. 129–142.
PPDP-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.
ASE-2013-LiRSDC #generative #named #source code: SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ASE-2013-XuHRW #testing: Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.
ESEC-FSE-2013-ClaretRNGB #analysis #using: Bayesian inference using data flow analysis (GC, SKR, AVN, ADG, JB), pp. 92–102.
ICSE-2013-HassanA #multi: Comparing multi-point stride coverage and dataflow coverage (MMH, JHA), pp. 172–181.
SAC-2013-KolbR #abstraction #adaptation #process: Data flow abstractions and adaptations through updatable process views (JK, MR), pp. 1447–1453.
SAC-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.
CC-2013-BhaskaracharyaB #framework #named #visual notation: PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.
CC-2013-WhelanLK #architecture #independence #information management: Architecture-Independent Dynamic Information Flow Tracking (RW, TL, DRK), pp. 144–163.
DAC-2013-BenazouzKHB #evaluation #graph #liveness: Liveness evaluation of a cyclo-static DataFlow graph (MB, AMK, TH, BB), p. 7.
DATE-2013-MalburgFF #analysis #comprehension #design: Tuning dynamic data flow analysis to support design understanding (JM, AF, GF), pp. 1179–1184.
LCTES-2013-BouakazT #graph #scheduling: Buffer minimization in earliest-deadline first scheduling of dataflow graphs (AB, JPT), pp. 133–142.
LCTES-2013-GeunsHB #automation #realtime: Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.
PDP-2013-SuboticSLV #identification #modelling #programming: Identifying Critical Code Sections in Dataflow Programming Models (VS, JCS, JL, MV), pp. 29–37.
PPoPP-2013-WozniakAWKLF #named #programming #scalability: Swift/T: scalable data flow programming for many-task applications (JMW, TGA, MW, DSK, ELL, ITF), pp. 309–310.
PPoPP-2013-YukiFRS #analysis #array #source code: Array dataflow analysis for polyhedral X10 programs (TY, PF, SVR, VS), pp. 23–34.
SOSP-2013-MurrayMIIBA #named: Naiad: a timely dataflow system (DGM, FM, RI, MI, PB, MA), pp. 439–455.
SIGMOD-2012-SimitsisWCD #execution #multi #optimisation: Optimizing analytic data flows for multiple execution engines (AS, KW, MC, UD), pp. 829–840.
VLDB-2012-EwenTKM #performance: Spinning Fast Iterative Data Flows (SE, KT, MK, VM), pp. 1268–1279.
VLDB-2012-HueskePSRBKT #black box #optimisation: Opening the Black Boxes in Data Flow Optimization (FH, MP, MS, AR, RB, AK, KT), pp. 1256–1267.
ICPC-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.
ICPC-2012-YazdanshenasM #component #visualisation: Tracking and visualizing information flow in component-based systems (ARY, LM), pp. 143–152.
SCAM-2012-KargenS #analysis #comprehension #named: InputTracer: A Data-Flow Analysis Tool for Manual Program Comprehension of x86 Binaries (UK, NS), pp. 138–143.
SCAM-2012-ThiagarajanHBR #contract #developer: Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK (HT, JH, JB, R), pp. 132–137.
WCRE-2012-VanciuA #graph: Ownership Object Graphs with Dataflow Edges (RV, MAA), pp. 267–276.
SEFM-2012-VorobyovKS #approach #security: A Low-Overhead, Value-Tracking Approach to Information Flow Security (KV, PK, PS), pp. 367–381.
FLOPS-2012-RoseVS #hybrid #programming language #query: A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
ICFP-2012-StefanRBLMM #concurrent #termination: Addressing covert termination and timing channels in concurrent information flow systems (DS, AR, PB, AL, JCM, DM), pp. 201–214.
ICEIS-v1-2012-Ali #integration #optimisation #query #web: Optimizing Data Integration Queries over Web Data Sources (OPTIQ) (MIA), pp. 163–168.
KDD-2012-LiuA #clustering #web: Stratified k-means clustering over a deep web data source (TL, GA), pp. 1113–1121.
ECMFA-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.
ECOOP-2012-DugganY: Static Sessional Dataflow (DD, JY), pp. 484–508.
LOPSTR-2012-MantelS #analysis #dependence: Types vs. PDGs in Information Flow Analysis (HM, HS), pp. 106–121.
POPL-2012-AustinF #information management #multi: Multiple facets for dynamic information flow (THA, CF), pp. 165–178.
QAPL-2012-YasuokaT #liveness #safety: Quantitative Information Flow as Safety and Liveness Hyperproperties (HY, TT), pp. 77–91.
SAC-2012-BrandnerC #dependence #graph: Copy elimination on data dependence graphs (FB, QC), pp. 1916–1918.
CGO-2012-VankaT #dependence #performance #profiling #using: Efficient and accurate data dependence profiling using software signatures (RV, JT), pp. 186–195.
DAC-2012-ChoiOKH #architecture #graph #manycore: Executing synchronous dataflow graphs on a SPM-based multicore architecture (JC, HO, SK, SH), pp. 664–671.
DAC-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.
DATE-2012-DamavandpeymaSBGC #graph #modelling: Modeling static-order schedules in synchronous dataflow graphs (MD, SS, TB, MG, HC), pp. 775–780.
DATE-2012-FradetGP #named #parametricity: SPDF: A schedulable parametric data-flow MoC (PF, AG, PP), pp. 769–774.
DATE-2012-TheelenKW #model checking: Model checking of Scenario-Aware Dataflow with CADP (BDT, JPK, HW), pp. 653–658.
DATE-2012-ThieleE #analysis #graph #optimisation #performance: Optimizing performance analysis for synchronous dataflow graphs with shared resources (DT, RE), pp. 635–640.
LCTES-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.
LCTES-2012-SbirleaZBCS #platform #programming: Mapping a data-flow programming model onto heterogeneous platforms (ASS, YZ, ZB, JC, VS), pp. 61–70.
PDP-2012-AldinucciADTK #manycore #metaprogramming #parallel: Parallel Patterns + Macro Data Flow for Multi-core Programming (MA, LA, MD, MT, PK), pp. 27–36.
ICST-2012-SiddiquiMK #analysis #constraints #lightweight #theorem proving: Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.
ISSTA-2012-YuL #approach #dependence #named #parallel #profiling: Multi-slicing: a compiler-supported parallel approach to data dependence profiling (HY, ZL), pp. 23–33.
VMCAI-2012-DimitrovaFKRS #model checking: Model Checking Information Flow in Reactive Systems (RD, BF, MK, MNR, HS), pp. 169–185.
CBSE-2011-AbdellatifSRL #automation #component #distributed: Automating information flow control in component-based distributed systems (TA, LS, RR, YL), pp. 73–82.
CBSE-2011-InoueH #analysis #component: A method for data-flow analysis of business components (TI, SH), pp. 51–60.
ICALP-v2-2011-AlvimACP #difference #on the #privacy: On the Relation between Differential Privacy and Quantitative Information Flow (MSA, MEA, KC, CP), pp. 60–76.
SEFM-2011-ParrinoGGF #analysis #bound #satisfiability #verification: A Dataflow Analysis to Improve SAT-Based Bounded Program Verification (BCP, JPG, DG, MFF), pp. 138–154.
Haskell-2011-StefanRMM #flexibility #haskell #information management: Flexible dynamic information flow control in Haskell (DS, AR, JCM, DM), pp. 95–106.
CIKM-2011-WangA #effectiveness #query #web: Effective stratification for low selectivity queries on deep web data sources (FW, GA), pp. 1455–1464.
KMIS-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.
OOPSLA-2011-DemetrescuFR #constraints #imperative #programming: Reactive imperative programming with dataflow constraints (CD, IF, AR), pp. 407–426.
OOPSLA-2011-TrippYFS #effectiveness #named #parallel: HAWKEYE: effective discovery of dataflow impediments to parallelization (OT, GY, JF, MS), pp. 207–224.
PLDI-2011-LiTOKCSH #hardware #named: Caisson: a hardware description language for secure information flow (XL, MT, JO, VK, FTC, TS, BH), pp. 109–120.
SAS-2011-SchrammelJ #source code #verification: Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs (PS, BJ), pp. 233–248.
ESEC-FSE-2011-RamamurthiRS #analysis #graph #probability #using: Probabilistic dataflow analysis using path profiles on structure graphs (AR, SR, YNS), pp. 512–515.
ICSE-2011-HermansPD #diagrams #generative #spreadsheet: Supporting professional spreadsheet users by generating leveled dataflow diagrams (FH, MP, AvD), pp. 451–460.
CC-2011-RodriguezL #analysis #parallel: Actor-Based Parallel Dataflow Analysis (JR, OL), pp. 179–197.
CGO-2011-GreathouseLAB #analysis #distributed #scalability: Highly scalable distributed dataflow analysis (JLG, CL, TMA, VB), pp. 277–288.
DAC-2011-Fey #analysis #multi: Orchestrated multi-level information flow analysis to understand SoCs (GF), pp. 284–285.
DAC-2011-ObergHITSK: Information flow isolation in I2C and USB (JO, WH, AI, MT, TS, RK), pp. 254–259.
DATE-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.
DATE-2011-HausmansBC #graph: Resynchronization of Cyclo-Static Dataflow graphs (JPHMH, MJGB, HC), pp. 1315–1320.
ESOP-2011-DeDN #analysis #source code: Dataflow Analysis for Datarace-Free Programs (AD, DD, RN), pp. 196–215.
ESOP-2011-FournetP #compilation #security: Compiling Information-Flow Security to Minimal Trusted Computing Bases (CF, JP), pp. 216–235.
CSMR-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.
ICPC-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.
SFM-2010-MalacariaH #security: Information Theory and Security: Quantitative Information Flow (PM, JH), pp. 87–134.
Haskell-2010-RamseyDJ #analysis #composition #library #named #reuse: Hoopl: a modular, reusable library for dataflow analysis and transformation (NR, JD, SLPJ), pp. 121–134.
CAiSE-2010-BlancoCMP #modelling #probability: Probabilistic Models to Reconcile Complex Data from Inaccurate Data Sources (LB, VC, PM, PP), pp. 83–97.
CIKM-2010-AzizR #multi #predict #robust #semistructured data: Robust prediction from multiple heterogeneous data sources with partial information (MSA, CKR), pp. 1857–1860.
CIKM-2010-WeberJ: Demographic information flows (IW, AJ), pp. 1521–1524.
KMIS-2010-BrockV #analysis #semantics #using: A Method for Interoperability between Structured Data Sources using Semantic Analysis (DLB, JV), pp. 234–239.
SEKE-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.
POPL-2010-BrobergS #named: Paralocks: role-based information flow control and beyond (NB, DS), pp. 431–444.
SAS-2010-SchrijversM #strict: Strictness Meets Data Flow (TS, AM), pp. 439–454.
FSE-2010-WuLWXLLGGZZ: Language-based replay via data flow cut (MW, FL, XW, ZX, HL, XL, ZG, HG, LZ, ZZ), pp. 197–206.
SAC-2010-TraulsenH #parallel: Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.
ASPLOS-2010-GoodsteinVCGKM #adaptation #analysis #monitoring #parallel: Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring (MLG, EV, SC, PBG, MAK, TCM), pp. 257–270.
DAC-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.
DAC-2010-NovoLFRC #finite #precise: Exploiting finite precision information to guide data-flow mapping (DN, ML, RF, PR, FC), pp. 248–253.
DAC-2010-ObergHITSK #analysis: Theoretical analysis of gate level information flow tracking (JO, WH, AI, MT, TS, RK), pp. 244–247.
DATE-2010-PerezSF #graph #optimisation #relational: Optimizing Data-Flow Graphs with min/max, adding and relational operations (JP, PS, VF), pp. 1361–1364.
OSDI-2010-AttariyanF #analysis #automation #information management: Automating Configuration Troubleshooting with Dynamic Information Flow Analysis (MA, JF), pp. 237–250.
OSDI-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.
ESOP-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.
ESOP-2010-SwamyCC #policy: Enforcing Stateful Authorization and Information Flow Policies in Fine (NS, JC, RC), pp. 529–549.
FoSSaCS-2010-CassezMZ #complexity #security: The Complexity of Synchronous Notions of Information Flow Security (FC, RvdM, CZ), pp. 282–296.
CAV-2010-Malacaria #question #theory and practice: Quantitative Information Flow: From Theory to Practice? (PM), pp. 20–22.
ICTSS-2010-PielGG #component #integration #scalability #testing: Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems (ÉP, AGS, HGG), pp. 79–94.
ISSTA-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.
LICS-2010-AlvimAP #probability: Probabilistic Information Flow (MSA, MEA, CP), pp. 314–321.
SIGMOD-2009-OlstonCS #generative #source code: Generating example data for dataflow programs (CO, SC, US), pp. 245–256.
SIGMOD-2009-PaparizosNSA #query #using #web: Answering web queries using structured data sources (SP, AN, JCS, RA), pp. 1127–1130.
VLDB-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.
FM-2009-HarrisKCJR #bound #process #verification: Verifying Information Flow Control over Unbounded Processes (WRH, NK, SC, SJ, TWR), pp. 773–789.
CAiSE-2009-TrckaAS #anti #fault #workflow: Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (NT, WMPvdA, NS), pp. 425–439.
ICEIS-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.
KDD-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.
SEKE-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.
PEPM-2009-FradeSU #analysis #bidirectional: Bidirectional data-flow analyses, type-systematically (MJF, AS, TU), pp. 141–150.
PLDI-2009-ChughMJL #javascript #staged: Staged information flow for javascript (RC, JAM, RJ, SL), pp. 50–62.
PLDI-2009-LivshitsNRB #named #problem #specification: Merlin: specification inference for explicit information flow problems (VBL, AVN, SKR, AB), pp. 75–86.
PLDI-2009-RoyPBMW #distributed #fine-grained #named: Laminar: practical fine-grained decentralized information flow control (IR, DEP, MDB, KSM, EW), pp. 63–74.
QAPL-2009-MuC #abstraction: An Interval-based Abstraction for Quantifying Information Flow (CM, DC), pp. 119–141.
SAS-2009-XiaFL: Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.
ESEC-FSE-2009-MeiCT #testing: Data flow testing of service choreography (LM, WKC, THT), pp. 151–160.
SAC-2009-KimHJJY #network #scalability #social #visualisation: Visualization of information flows in a very large social network (SGK, HH, KJ, HJ, HYY), pp. 1841–1842.
ASPLOS-2009-TiwariWMMCS: Complete information flow tracking from the gates up (MT, HMGW, BM, SM, FTC, TS), pp. 109–120.
CC-2009-FarooqJ #architecture #scheduling: Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures (MUF, LKJ), pp. 190–203.
CGO-2009-Bronevetsky #message passing #parallel: Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.
DAC-2009-AyalaAB #analysis: Thermal-aware data flow analysis (JLA, DA, PB), pp. 613–614.
DAC-2009-Geilen #graph #reduction: Reduction techniques for synchronous dataflow graphs (MG), pp. 911–916.
DAC-2009-PlishkerSB #effectiveness #scheduling: Mode grouping for more effective generalized scheduling of dynamic dataflow applications (WP, NS, SSB), pp. 923–926.
DATE-2009-Gomez-PradoRCGB #graph #hardware #implementation #optimisation: Optimizing data flow graphs to minimize hardware implementation (DGP, QR, MJC, JG, EB), pp. 117–122.
DATE-2009-PlishkerSB #approach #scheduling: A generalized scheduling approach for dynamic dataflow applications (WP, NS, SSB), pp. 111–116.
HPDC-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.
LCTES-2009-FidgeC #analysis #hardware: Integrating hardware and software information flow analyses (CJF, DC), pp. 157–166.
SOSP-2009-YipWZK #security: Improving application security with data flow assertions (AY, XW, NZ, MFK), pp. 291–304.
FoSSaCS-2009-KuhnrichSSK #analysis #infinity #interprocedural: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.
FoSSaCS-2009-Smith #on the: On the Foundations of Quantitative Information Flow (GS), pp. 288–302.
TestCom-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.
HT-2008-Kleinberg #process #social: Link structures, information flow, and social processes (JMK), pp. 3–4.
HT-2008-Recuero #case study #social: Information flows and social capital in weblogs: a case study in the brazilian blogosphere (RdCR), pp. 97–106.
VLDB-2008-LiFWZ #effectiveness #keyword: An effective and versatile keyword search engine on heterogenous data sources (GL, JF, JW, LZ), pp. 1452–1455.
ITiCSE-2008-ThorntonE #data type #online: A data type to exploit online data sources (MT, SHE), pp. 114–118.
CSMR-2008-Trifu #identification #object-oriented #using: Using Dataflow Information for Concern Identification in Object-Oriented Software Systems (MT), pp. 193–202.
PASTE-2008-LiuM #static analysis: Static analysis for inference of explicit information flow (YL, AM), pp. 50–56.
SCAM-2008-BoogerdM #analysis #on the #profiling #using: On the Use of Data Flow Analysis in Static Profiling (CB, LM), pp. 79–88.
SCAM-2008-StoneSB #analysis #automation #set: Automatic Determination of May/Must Set Usage in Data-Flow Analysis (AS, MS, SB), pp. 153–162.
FM-2008-AmtoftHRRHG #contract #specification: Specification and Checking of Software Contracts for Conditional Information Flow (TA, JH, ER, R, JH, DG), pp. 229–245.
Haskell-2008-RussoCH #haskell #library #security: A library for light-weight information-flow security in haskell (AR, KC, JH), pp. 13–24.
ICFP-2008-FischerK #declarative #source code #testing: Data-flow testing of declarative programs (SF, HK), pp. 201–212.
GT-VMT-2008-KoehlerCPA #configuration management: Reconfiguration of Reo Connectors Triggered by Dataflow (CK, DC, JP, FA).
EDOC-2008-GuermoucheG #composition #towards: Toward Data Flow Oriented Services Composition (NG, CG), pp. 379–385.
ICEIS-AIDSS-2008-SofokleousA #generative #search-based #testing: Dynamic Search-Based Test Data Generation Focused on Data Flow Paths (AAS, ASA), pp. 27–35.
ICEIS-DISI-2008-Savnik #algebra #implementation #query #web: Implementation of Algebra for Querying Web Data Sources (IS), pp. 91–96.
CIKM-2008-Lu #estimation #performance #web: Efficient estimation of the size of text deep web data source (JL), pp. 1485–1486.
KDD-2008-ZhaoWLYC #identification #multi #semistructured data: Identifying biologically relevant genes via multiple heterogeneous data sources (ZZ, JW, HL, JY, YC), pp. 839–847.
ECMDA-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.
PEPM-2008-LamMLW #information management #web: Securing web applications with static and dynamic information flow tracking (MSL, MCM, VBL, JW), pp. 3–12.
PLDI-2008-ChughVJL #analysis #concurrent #detection #source code #using: Dataflow analysis for concurrent programs using datarace detection (RC, JWV, RJ, SL), pp. 316–326.
PLDI-2008-McCamantE #capacity #network: Quantitative information flow as network flow capacity (SM, MDE), pp. 193–205.
POPL-2008-FournetR #encryption #implementation #security: Cryptographically sound implementations for typed information-flow security (CF, TR), pp. 323–335.
SAS-2008-LalR #multi #query #using: Solving Multiple Dataflow Queries Using WPDSs (AL, TWR), pp. 93–109.
FSE-2008-KingJJS #effectiveness: Effective blame for information-flow violations (DK, TJ, SJ, SAS), pp. 250–260.
FSE-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.
ICSE-2008-MeiCT #testing #workflow: Data flow testing of service-oriented workflow applications (LM, WKC, THT), pp. 371–380.
SAC-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.
SAC-2008-RoyS #problem: Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.
SAC-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.
ASPLOS-2008-MysoreMAS #comprehension #visualisation: Understanding and visualizing full systems with data flow tomography (SM, BM, BA, TS), pp. 211–221.
CC-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.
CC-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.
CGO-2008-ThakurG #analysis: Comprehensive path-sensitive data-flow analysis (AVT, RG), pp. 55–63.
DAC-2008-HsuPB #graph #parallel #simulation #thread: Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.
DATE-2008-GhamarianGBS #analysis #graph #parametricity #throughput: Parametric Throughput Analysis of Synchronous Data Flow Graphs (AHG, MG, TB, SS), pp. 116–121.
HPDC-2008-BarkerWH #peer-to-peer: Eliminating the middleman: peer-to-peer dataflow (AB, JBW, JIvH), pp. 55–64.
LCTES-2008-BiernackiCHP #code generation #composition: Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
LCTES-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.
PPoPP-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.
LICS-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.
SIGMOD-2007-HuangN #named #query: K-relevance: a spectrum of relevance for data sources impacting a query (JH, JFN), pp. 163–174.
SIGMOD-2007-QiCS #consistency #named #nondeterminism #query: FICSR: feedback-based inconsistency resolution and query processing on misaligned data sources (YQ, KSC, MLS), pp. 151–162.
SIGMOD-2007-Resende #semistructured data: Handling heterogeneous data sources in a SOA environment with service data objects (SDO) (LR), pp. 895–897.
PASTE-2007-QianXM #alias #analysis #dependence: Interstatement must aliases for data dependence analysis of heap locations (JQ, BX, HM), pp. 17–24.
CHI-2007-TangC: An observational study on information flow during nurses’ shift change (CT, MSTC), pp. 219–228.
HIMI-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.
ICEIS-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.
ECOOP-2007-LinB #domain-specific language #named: DirectFlow: A Domain-Specific Language for Information-Flow Systems (CKL, APB), pp. 299–322.
QAPL-2007-PierroHW #analysis #on the #probability: On Probabilistic Techniques for Data Flow Analysis (ADP, CH, HW), pp. 59–77.
SAS-2007-LerouxS #analysis: Accelerated Data-Flow Analysis (JL, GS), pp. 184–199.
REFSQ-2007-Winkler #empirical: Information Flow Between Requirement Artifacts. Results of an Empirical Study (SW0), pp. 232–246.
ASE-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.
ASE-2007-SantelicesH #monitoring #test coverage: Efficiently monitoring data-flow test coverage (RAS, MJH), pp. 343–352.
SAC-2007-AnGWC #automation #semantics #web: Semantic deep web: automatic attribute extraction from the deep web data sources (YJA, JG, YTW, SAC), pp. 1667–1672.
SAC-2007-LuHC #query #relational #xml: Querying and browsing XML and relational data sources (JJL, CHH, TRC), pp. 489–493.
CC-2007-ScholzB #analysis #composition #framework #using: A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees (BS, JB), pp. 202–217.
COCV-2007-GallardoJM #analysis #on the fly #verification: On-the-Fly Data Flow Analysis Based on Verification Technology (MdMG, CJ, PM), pp. 33–48.
DAC-2007-StuijkBGC #graph #multi #resource management: Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs (SS, TB, MG, HC), pp. 777–782.
DAC-2007-WiggersBS #graph #performance: Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs (MW, MB, GJMS), pp. 658–663.
DATE-2007-CiesielskiAGGB #diagrams #using: Data-flow transformations using Taylor expansion diagrams (MJC, SA, DGP, JG, EB), pp. 455–460.
DATE-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.
SOSP-2007-KrohnYBCKKM #abstraction #standard: Information flow control for standard OS abstractions (MNK, AY, MZB, NC, MFK, EK, RM), pp. 321–334.
TACAS-2007-FarzanM #analysis #concurrent #source code: Causal Dataflow Analysis for Concurrent Programs (AF, PM), pp. 102–116.
VLDB-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.
SEFM-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.
SOFTVIS-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.
SIGIR-2006-SongTLS #personalisation #recommendation: Personalized recommendation driven by information flow (XS, BLT, CYL, MTS), pp. 509–516.
LOPSTR-2006-MantelSK #proving #security #verification: Combining Different Proof Techniques for Verifying Information Flow Security (HM, HS, TK), pp. 94–110.
POPL-2006-AmtoftBB #logic #object-oriented #source code: A logic for information flow in object-oriented programs (TA, SB, AB), pp. 91–102.
SAS-2006-DhurjatiDY #analysis #refinement: Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.
FSE-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.
LDTA-2006-ZengME #domain-specific language #generative: A Domain-Specific Language for Generating Dataflow Analyzers (JZ, CM, SAE), pp. 103–119.
ASPLOS-2006-MercaldiSPPSOE #architecture #scheduling: Instruction scheduling for a tiled dataflow architecture (MM, SS, AP, AP, AS, MO, SJE), pp. 141–150.
CC-2006-LamprechtMS #analysis #model checking: Data-Flow Analysis as Model Checking Within the jABC (ALL, TMS, BS), pp. 101–104.
CC-2006-RountevKM #analysis #interprocedural #library #scalability: Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.
CC-2006-TokGL #analysis #interprocedural #performance #pointer: Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers (TBT, SZG, CL), pp. 17–31.
DAC-2006-HsuRKPB #graph #performance #simulation: Efficient simulation of critical synchronous dataflow graphs (CJH, SR, MYK, JLP, SSB), pp. 893–898.
DAC-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.
OSDI-2006-CastroCH: Securing Software by Enforcing Data-flow Integrity (MC, MC, TLH), pp. 147–160.
OSDI-2006-ZeldovichBKM: Making Information Flow Explicit in HiStar (NZ, SBW, EK, DM), pp. 263–278.
ESOP-2006-CooperK #call-by: Embedding Dynamic Dataflow in a Call-by-Value Language (GHC, SK), pp. 294–308.
CBSE-2005-Rountev #analysis #component: Component-Level Dataflow Analysis (AR), pp. 82–89.
SIGMOD-2005-ZamanS #modelling #multi #query #relational: Modeling and querying multidimensional data sources in Siebel Analytics: a federated relational system (KAZ, DAS), pp. 822–827.
IWPC-2005-DearmanCF #control flow #representation #visual notation: Adding Control-Flow to a Visual Data-Flow Representation (DD, AC, MF), pp. 297–306.
PASTE-2005-HampapuramYD #analysis #simulation: Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.
CEFP-2005-UustaluV #programming: The Essence of Dataflow Programming (TU, VV), pp. 135–167.
SOFTVIS-2005-CoxGR #parallel #source code #visual notation: Adding parallelism to visual data flow programs (PTC, SG, ARC), pp. 135–144.
CAiSE-2005-KittivoravitkulM: Integrating Unnormalised Semi-structured Data Sources (SK, PM), pp. 460–474.
CAiSE-2005-Ram #biology #semantics #towards: Toward Semantic Interoperability of Heterogeneous Biological Data Sources (SR), p. 32.
ICEIS-v1-2005-GarciaGL #relational #xml: An Application to Integrate Relational and XML Data Sources (AFG, RBG, MJGL), pp. 313–319.
CIKM-2005-MetzlerBCMZ #metric #similarity: Similarity measures for tracking information flow (DM, YB, WBC, AM, JZ), pp. 517–524.
CIKM-2005-TheodoratosDKG #query #semantics #using: Semantic querying of tree-structured data sources using partially specified tree patterns (DT, TD, AK, NHG), pp. 712–719.
ICML-2005-LiaoXC: Logistic regression with an auxiliary data source (XL, YX, LC), pp. 505–512.
KDD-2005-MeruguG #distributed #framework #learning #semistructured data: A distributed learning framework for heterogeneous data sources (SM, JG), pp. 208–217.
SEKE-2005-NabliFG #adaptation #algebra #multi #using: Adapting Multidimensional Schemes to Data sources using Algebraic Operators (AN, JF, FG), pp. 713–718.
SIGIR-2005-MetzlerBCMZ #identification: The recap system for identifying information flow (DM, YB, WBC, AM, JZ), p. 678.
POPL-2005-LernerMRC #analysis #automation #proving: Automated soundness proofs for dataflow analyses and transformations via local rules (SL, TDM, ER, CC), pp. 364–377.
SAS-2005-TerauchiA #problem #safety: Secure Information Flow as a Safety Problem (TT, AA), pp. 352–367.
ESEC-FSE-2005-FischerJM: Joining dataflow with predicates (JF, RJ, RM), pp. 227–236.
ICSE-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.
SAC-2005-RummelKT #testing #towards: Towards the prioritization of regression test suites with data flow information (MJR, GMK, AT), pp. 1499–1504.
CC-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.
COCV-J-2005-SalcianuA #analysis #correctness #proving: Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses (AS, KA), pp. 53–68.
DAC-2005-GeilenBS #graph #model checking #requirements: Minimising buffer requirements of synchronous dataflow graphs with model checking (MG, TB, SS), pp. 819–824.
CADE-2005-DufayFM #information management #ml #privacy: Privacy-Sensitive Information Flow with JML (GD, APF, SM), pp. 116–130.
LICS-2005-WashburnW #parametricity #using: Generalizing Parametricity Using Information-flow (GW, SW), pp. 62–71.
TestCom-2005-HongU #dependence #testing: Dependence Testing: Extending Data Flow Testing with Control Dependence (HSH, HU), pp. 23–39.
VMCAI-2005-GenaimS #analysis #bytecode #java: Information Flow Analysis for Java Bytecode (SG, FS), pp. 346–362.
ECDL-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.
VLDB-2004-ZhuR #consistency #probability #scalability: Stochastic Consistency, and Scalable Pull-Based Caching for Erratic Data Sources (SZ, CVR), pp. 192–203.
ICSM-2004-Balmas #graph #named #visualisation: DDFgraph: A Tool for Dynamic Data Flow Graphs Visualization (FB), p. 516.
IFL-2004-Gast #fault #ml: Explaining ML Type Errors by Data Flows (HG), pp. 72–89.
CAiSE-2004-BoydKLMR #integration #named #semistructured data: AutoMed: A BAV Data Integration System for Heterogeneous Data Sources (MB, SK, CL, PM, NR), pp. 82–97.
ICEIS-v1-2004-AlexopoulouKM #agile #architecture #enterprise: Managing Information Flow Dynamics with Agile Enterprise Architectures (NA, PK, DM), pp. 454–459.
ICEIS-v1-2004-Bruijn #integration #semantics: Semantic Integration of Disparate Data Sources in the Cog Project (JdB), pp. 9–14.
ICEIS-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.
ICEIS-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.
ICML-2004-WuD: Improving SVM accuracy by training on auxiliary data sources (PW, TGD).
SAS-2004-AmtoftB #analysis #logic: Information Flow Analysis in Logical Form (TA, AB), pp. 100–115.
SAS-2004-HymansU #dependence #graph #static analysis: Static Analysis of Gated Data Dependence Graphs (CH, EU), pp. 197–211.
SAS-2004-SunBN #composition #constraints #object-oriented: Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language (QS, AB, DAN), pp. 84–99.
SIGAda-2004-ChapmanH #analysis #modelling #safety #security: Enforcing security and safety models with an information flow analysis tool (RC, AH), pp. 39–46.
ASE-2004-MarceauCKR #debugging: Dataflow Language for Scriptable Debugging (GM, GHC, SK, SPR), pp. 218–227.
SAC-2004-GorlaP: Controlling data movement in global computing applications (DG, RP), pp. 1462–1467.
SAC-2004-KehagiasSCM: Information agents cooperating with heterogenous data sources for customer-order management (DK, ALS, KCC, PAM), pp. 52–57.
ASPLOS-2004-SuhLZD #execution #information management: Secure program execution via dynamic information flow tracking (GES, JWL, DZ, SD), pp. 85–96.
CC-2004-ChenLDHY #dependence #optimisation #profiling: Data Dependence Profiling for Speculative Optimizations (TC, JL, XD, WCH, PCY), pp. 57–72.
DATE-v1-2004-GreenE #uml: Integrating the Synchronous Dataflow Model with UML (PG, SE), pp. 736–737.
ESOP-2004-CacheraJPR #logic: Extracting a Data Flow Analyser in Constructive Logic (DC, TPJ, DP, VR), pp. 385–400.
VMCAI-2004-Etessami #analysis #equation #game studies #graph #recursion #using: Analysis of Recursive Game Graphs Using Data Flow Equations (KE), pp. 282–296.
SIGMOD-2003-ChandrasekaranCDFHHKMRS #named: TelegraphCQ: Continuous Dataflow Processing (SC, OC, AD, MJF, JMH, WH, SK, SM, FR, MAS), p. 668.
VLDB-2003-GalanisWJD #distributed #scalability: Locating Data Sources in Large Distributed Systems (LG, YW, SRJ, DJD), pp. 874–885.
VLDB-2003-MadhavanH: Composing Mappings Among Data Sources (JM, AYH), pp. 572–583.
WCRE-2003-AliasB #algorithm #analysis #recognition: Algorithm Recognition based on Demand-Driven Data-flow Analysis (CA, DB), pp. 296–305.
ICALP-2003-AlfaroF #concurrent #game studies: Information Flow in Concurrent Games (LdA, MF), pp. 1038–1053.
SEFM-2003-BossiFPR #refinement #security: Refinement Operators and Information Flow Security (AB, RF, CP, SR), pp. 44–53.
ICEIS-v1-2003-StoimenovD #framework #integration #named: GEONIS — Framework for Gis Interoperability: Integration of Gis Data Sources in Telecom Serbia (LS, SDK), pp. 401–406.
SIGIR-2003-BartlettT: Discovering and structuring information flow among bioinformatics resources (JCB, EGT), pp. 411–412.
SAS-2003-RepsSJ #analysis #automaton #interprocedural: Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis (TWR, SS, SJ), pp. 189–213.
ICSE-2003-HongCLSU #model checking #testing: Data Flow Testing as Model Checking (HSH, SDC, IL, OS, HU), pp. 232–243.
SAC-2003-YangH #classification #image #using: Image Texture Classification Using Datagrams and Characteristic Views (SY, CCH), pp. 22–26.
SAC-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.
DAC-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.
DATE-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.
DATE-2003-KinP #parallel #simulation #thread: Multithreaded Synchronous Data Flow Simulation (JSK, JLP), pp. 11094–11095.
HPCA-2003-ChenDA #branch #dependence #predict: Dynamic Data Dependence Tracking and its Application to Branch Prediction (LC, SD, DHA), pp. 65–76.
ESOP-2003-Laud #analysis #encryption: Handling Encryption in an Analysis for Secure Information Flow (PL), pp. 159–173.
FASE-2003-JinELJ #analysis #composition #network #process: Modular Analysis of Dataflow Process Networks (YJ, RE, CL, JWJ), pp. 184–199.
PASTE-2002-Naumovich #analysis #design pattern #implementation #using: Using the observer design pattern for implementation of data flow analyses (GN), pp. 61–68.
VISSOFT-2002-Francik #algorithm #specification #visualisation: Specifying Algorithm Visualizations in Terms of Data Flow (JF), p. 110–?.
CAiSE-2002-DomenigD #query #semistructured data: Query Explorativeness for Integrated Search in Heterogeneous Data Sources (RD, KRD), pp. 715–718.
CAiSE-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.
ICEIS-2002-AlarconGYG #approach #integration #semistructured data: Data Sources Server: An Approach to Heterogeneous Data Integration (PPA, JG, AY, CG), pp. 3–10.
CIKM-2002-BruzaS #modelling #query: Inferring query models by computing information flow (PB, DS), pp. 260–269.
KDD-2002-Ben-DavidGS #framework #learning: A theoretical framework for learning from a pool of disparate data sources (SBD, JG, RS), pp. 443–449.
AdaEurope-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.
LOPSTR-2002-BossiFPR #proving #security: A Proof System for Information Flow Security (AB, RF, CP, SR), pp. 199–218.
POPL-2002-HondaY: A uniform type structure for secure information flow (KH, NY), pp. 81–92.
POPL-2002-LernerGC #analysis: Composing dataflow analyses and transformations (SL, DG, CC), pp. 270–282.
POPL-2002-PottierS #ml: Information flow inference for ML (FP, VS), pp. 319–330.
SAS-2002-AdamsBDLRSW #analysis #pointer #using: Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.
SAS-2002-Ruf #analysis #precise: Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.
ICSE-2002-RazKS #detection #online #semantics: Semantic anomaly detection in online data sources (OR, PK, MS), pp. 302–312.
CC-2002-Mohnen #analysis #approach: A Graph-Free Approach to Data-Flow Analysis (MM), pp. 46–61.
DAC-2002-OhH #graph #multi #performance #synthesis: Efficient code synthesis from extended dataflow graphs for multimedia applications (HO, SH), pp. 275–280.
LCTES-SCOPES-2002-OhH #multi #performance #synthesis: Fractional rate dataflow model and efficient code synthesis for multimedia applications (HO, SH), pp. 12–17.
VMCAI-2002-FocardiPR #bisimulation #proving #security: Proofs Methods for Bisimulation Based Information Flow Security (RF, CP, SR), pp. 16–31.
ECDL-2001-Mutschke #information retrieval #network #using: Enhancing Information Retrieval in Federated Bibliographic Data Sources Using Author Network Based Stratagems (PM), pp. 287–299.
PODS-2001-MendelzonM #query: Querying Partially Sound and Complete Data Sources (AOM, GAM).
VLDB-2001-ManolescuFK #query #semistructured data #xml: Answering XML Queries on Heterogeneous Data Sources (IM, DF, DK), pp. 241–250.
ICSM-2001-AtkinsonG #analysis #implementation #performance #scalability #source code: Implementation Techniques for Efficient Data-Flow Analysis of Large Programs (DCA, WGG), pp. 52–61.
IWPC-2001-OrsoSH #dependence #pointer: Effects of Pointers on Data Dependences (AO, SS, MJH), pp. 39–49.
PASTE-2001-BallR #interprocedural #named: Bebop: a path-sensitive interprocedural dataflow engine (TB, SKR), pp. 97–103.
SCAM-2001-MaggiS #analysis #bytecode #java #using: Using Data Flow Analysis to Infer Type Information in Java Bytecode (PM, RS), p. 213–?.
FME-2001-Mantel: Information Flow Control and Applications — Bridging a Gap (HM), pp. 153–172.
SVIS-2001-Francik #algorithm #animation #using: Algorithm Animation Using Data Flow Tracing (JF), pp. 73–87.
CAiSE-2001-McBrienP #approach #semantics #xml: A Semantic Approach to Integrating XML and Structured Data Sources (PM, AP), pp. 330–345.
ICEIS-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.
SIGIR-2001-SongB #concept #information management #using: Discovering Information Flow Using a High Dimensional Conceptual Space (DS, PB), pp. 327–333.
ICSE-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.
SAC-2001-StaudtKR #execution #process #semistructured data: Access to heterogeneous data sources for supporting business process execution (MS, JUK, UR), pp. 197–206.
CC-2001-MehoferS #framework #novel #probability: A Novel Probabilistic Data Flow Framework (EM, BS), pp. 37–51.
HPCA-2001-MichaudS #scalability: Data-Flow Prescheduling for Large Instruction Windows in Out-of-Order Processors (PM, AS), pp. 27–36.
HPDC-2001-ThainBSL #approach #grid: The Kangaroo Approach to Data Movement on the Grid (DT, JB, SCS, ML), pp. 325–333.
ESOP-2001-Laud #program analysis #semantics: Semantics and Program Analysis of Computationally Secure Information Flow (PL), pp. 77–91.
ESOP-2001-ZdancewicM #continuation: Secure Information Flow and CPS (SZ, ACM), pp. 46–61.
ADL-2000-Spiridou: A View System for CORBA-Wrapped Data Sources (AS), pp. 228–237.
ECDL-2000-CamposS #documentation #integration #named #semistructured data: ActiveXML: Compound Documents for Integration of Heterogeneous Data Sources (JPC, MJS), pp. 380–384.
SIGMOD-2000-RodriguezR #database #distributed #middleware #named #self: MOCHA: A Self-Extensible Database Middleware System for Distributed Data Sources (MRM, NR), pp. 213–224.
ICALP-2000-HennessyR #resource management #π-calculus: Information Flow vs. Resource Access in the Asynchronous π-Calculus (MH, JR), pp. 415–427.
ICFP-2000-PottierC #for free: Information flow inference for free (FP, SC), pp. 46–57.
CIKM-2000-DomenigD #approach #query #semistructured data: A Query based Approach for Integrating Heterogeneous Data Sources (RD, KRD), pp. 453–460.
AdaEurope-2000-BliebergerBS #ada #analysis #detection #source code: Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs (JB, BB, BS), pp. 225–237.
POPL-2000-MuthD #analysis #complexity #on the: On the Complexity of Flow-Sensitive Dataflow Analyses (RM, SKD), pp. 67–80.
PPDP-2000-HamonP #composition #source code: Modular resetting of synchronous data-flow programs (GH, MP), pp. 289–300.
SAC-2000-BoujarwahSA #analysis #java #source code #testing #using: Testing Java Programs Using Dynamic Data Flow Analysis (ASB, KS, JAD), pp. 725–727.
SAC-2000-OchKO #semistructured data #using: Integrating Heterogeneous Data Sources Using the COIL Mediator Definition Language (CO, RK, RO), pp. 991–1000.
DAC-2000-HorstmannshoffM #code generation #graph #performance: Efficient building block based RTL code generation from synchronous data flow graphs (JH, HM), pp. 552–555.
DAC-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.
DATE-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.
DATE-2000-MurthyB #implementation #memory management #specification: Shared Memory Implementations of Synchronous Dataflow Specifications (PKM, SSB), pp. 404–410.
HPDC-2000-PlaleS #embedded #named #query #scalability #using: dQUOB: Managing Large Data Flows using Dynamic Embedded Queries (BP, KS), pp. 263–270.
ESOP-2000-HondaVY #behaviour #process: Secure Information Flow as Typed Process Behaviour (KH, VTV, NY), pp. 180–199.
ISSTA-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.
VLDB-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.
VLDB-1999-RothOH #cost analysis #matter #modelling: Cost Models DO Matter: Providing Cost Information for Diverse Data Sources in a Federated System (MTR, FÖ, LMH), pp. 599–610.
ICSM-1999-Agrawal #analysis #graph: Simultaneous Demand-Driven Data-Flow and Call Graph Analysis (GA), pp. 453–462.
PASTE-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.
PASTE-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.
PASTE-1999-Steindl #programming: Benefits of a Data Flow-Aware Programming Environment (CS), pp. 105–109.
HCI-CCAD-1999-LinDF #comprehension #diagrams #difference: Strategy differences in data flow diagram comprehension between intermediates and novices (CJL, TCD, YMF), pp. 48–52.
KDD-1999-LeeSM #detection #experience #mining #network: Mining in a Data-Flow Environment: Experience in Network Intrusion Detection (WL, SJS, KWM), pp. 114–124.
TOOLS-EUROPE-1999-Telea #modelling #object-oriented #simulation: Combining Object Orientation and Dataflow Modelling in the Vission Simulation System (ACT), pp. 56–65.
POPL-1999-Myers #named: JFlow: Practical Mostly-Static Information Flow Control (ACM), pp. 228–241.
SAS-1999-Soffa #analysis #named #precise #scalability #tutorial: Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (MLS), pp. 355–356.
ESEC-FSE-1999-RountevRL #analysis: Data-Flow Analysis of Program Fragments (AR, BGR, WL), pp. 235–252.
ICSE-1999-NaumovichAC #analysis #concurrent #java #source code: Data Flow Analysis for Checking Properties of Concurrent Java Programs (GN, GSA, LAC), pp. 399–410.
SAC-1999-LeavensWB #diagrams #semantics #specification: Formal Semantics for SA Style Data Flow Diagram Specification Languages (GTL, TW, ALB), pp. 526–532.
PPoPP-1999-MoonH #analysis #array #automation #evaluation #parallel: Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization (SM, MWH), pp. 84–95.
ESOP-1999-SabelfeldS #source code: A Per Model of Secure Information Flow in Sequential Programs (AS, DS), pp. 40–58.
FoSSaCS-1999-EsparzaK #analysis #approach #interprocedural: An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis (JE, JK), pp. 14–30.
CSMR-1998-YehL #analysis #metric #testing: Software Testability Measurements Derived from Data Flow Analysis (PLY, JCL), pp. 96–103.
PASTE-1998-NaumovichCO #analysis #concurrent #performance #source code: Efficient Composite Data Flow Analysis Applied to Concurrent Programs (GN, LAC, LJO), pp. 51–58.
WCRE-1998-CimitileCL #analysis #incremental #migration: Incremental Migration Strategies: Data Flow Analysis For Wrapping (AC, UdC, ADL), pp. 59–68.
CIKM-1998-ChenR #independence #multi: Integrating Information from Multiple Independently Developed Data Sources (IMAC, DR), pp. 242–250.
PLDI-1998-AmmonsL #analysis: Improving Data-flow Analysis with Path Profiles (GA, JRL), pp. 72–84.
POPL-1998-Schmidt #abstract interpretation #analysis #model checking: Data Flow Analysis is Model Checking of Abstract Interpretations (DAS), pp. 38–48.
POPL-1998-SmithV #concurrent #imperative #multi #thread: Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.
SAS-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.
SAS-1998-Ruthing #analysis #bidirectional: Bidirectional Data Flow Analysis in Code Motion: Myth and Reality (OR), pp. 1–16.
SIGAda-1998-James #ada #distributed #evolution #using: The Evolution of a Distributed dataflow Processing Model Using Ada (SJ), pp. 39–44.
Best-of-PLDI-1998-AmmonsL98a #analysis: Improving data-flow analysis with path profiles (with retrospective) (GA, JRL), pp. 568–582.
FSE-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.
DAC-1998-OhH #design #graph: Rate Optimal VLSI Design from Data Flow Graph (MO, SH), pp. 118–121.
PDP-1998-KacsukP #database #parallel: Dataflow parallel database systems and LOGFLOW (PK, NP), pp. 382–388.
VLDB-1997-HaasKWY #optimisation #query: Optimizing Queries Across Diverse Data Sources (LMH, DK, ELW, JY), pp. 276–285.
VLDB-1997-RothS #architecture #exclamation #legacy: Don’t Scrap It, Wrap It! A Wrapper Architecture for Legacy Data Sources (MTR, PMS), pp. 266–275.
ICFP-1997-Wailly #functional #named #parallel: λ-Flow: A Parallel Functional Synchronous Dataflow Language (GdW), p. 322.
PLDI-1997-Goodwin #analysis #execution #interprocedural: Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.
POPL-1997-Ruf #analysis #clustering #using: Partitioning Dataflow Analyses Using Types (ER), pp. 15–26.
SAS-1997-Tzolovski #abstract interpretation #dependence: Data Dependence as Abstract Interpretations (ST), p. 366.
ASE-1997-HarrisonB #analysis #design #information management: Data Flow Analysis within the ITOC Information System Design Recovery Tool (JVH, AB), p. 227–?.
ESEC-FSE-1997-BodikGS #using: Refining Data Flow Information Using Infeasible Paths (RB, RG, MLS), pp. 361–377.
ASF+SDF-1997-Moonen #analysis #architecture #reverse engineering: A generic architecture for data flow analysis to support reverse engineering (LM), p. 10.
DAC-1997-AdeLP #graph #memory management: Data Memory Minimisation for Synchronous Data Flow Graphs Emulated on DSP-FPGA Targets (MA, RL, JAP), pp. 64–69.
DAC-1997-AgrawalG #behaviour #clustering #embedded: Data-Flow Assisted Behavioral Partitioning for Embedded Systems (SA, RKG), pp. 709–712.
EDTC-1997-GrotkerSM #modelling #named: PCC: a modeling technique for mixed control/data flow systems (TG, RS, HM), pp. 482–486.
PDP-1997-GaberT #optimisation #problem: An optimization of data movement operations: Application to the tree-embedding problem (JG, BT), pp. 127–133.
PPoPP-1997-GuLL #analysis #array #experience #performance: Experience with Efficient Array Data-Flow Analysis for Array Privatization (JG, ZL, GL), pp. 157–167.
SOSP-1997-MyersL #distributed: A Decentralized Model for Information Flow Control (ACM, BL), pp. 129–142.
WPC-1996-DoorleyC #automation #case study #diagrams #experience: Experiences in Automatic Leveling of Data Flow Diagrams (MD, AC), pp. 218–229.
ICALP-1996-Raymond #network #regular expression: Recognizing Regular Expressions by Means of Dataflow Networks (PR), pp. 336–347.
PLDI-1996-Ramalingam #analysis: Data Flow Frequency Analysis (GR), pp. 267–277.
PLDI-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.
SAS-1996-PandeR: Data-Flow-Based Virtual Function Resolution (HDP, BGR), pp. 238–254.
FSE-1996-NaumovichCO #analysis #communication #protocol #using #verification: Verification of Communication Protocols Using Data Flow Analysis (GN, LAC, LJO), pp. 93–105.
ICSE-1996-DuesterwaldGS #integration #testing: A Demand-Driven Analyzer for Data Flow Testing at the Integration Level (ED, RG, MLS), pp. 575–584.
ICSE-1996-DwyerC #architecture #flexibility: A Flexible Architecture for Building Data Flow Analyzers (MBD, LAC), pp. 554–564.
ICSE-1996-Forgacs #analysis #array #testing: An Exact Array Reference Analysis for Data Flow Testing (IF), pp. 565–574.
SAC-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.
DAC-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.
DAC-1996-ParulkarGB #bound #graph: Lower Bounds on Test Resources for Scheduled Data Flow Graphs (IP, SKG, MAB), pp. 143–148.
PDP-1996-WautersELP: Cyclo-Dynamic Dataflow (PW, ME, RL, JAP), pp. 319–326.
TAPSOFT-J-1995-SagivRH96 #analysis #constant #interprocedural #precise: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 131–170.
ESOP-1996-Stolen #network: Assumption/Commitment Rules for Dataflow Networks — With an Emphasis on Completeness (KS), pp. 356–372.
ISSTA-1996-MarxF #approach #pointer #testing: The Path-Wise Approach to Data Flow Testing with Pointer Variables (DISM, PGF), pp. 135–146.
ICDAR-v2-1995-ButlerGST #diagrams #documentation #logic: Analyzing the logical structure of data flow diagrams in software documents (GB, PG, RS, IAT), pp. 575–578.
VLDB-1995-BunemanDHOW #biology #data transformation: A Data Transformation System for Biological Data Sources (PB, SBD, KH, GCO, LW), pp. 158–169.
VLDB-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.
ICSM-1995-GuptaS #testing: Priority based data flow testing (RG, MLS), pp. 348–357.
WCRE-1995-ButlerGST #diagrams: Retrieving Information from Data Flow Diagrams (GB, PG, RS, IAT), pp. 22–29.
WCRE-1995-NewcombM #re-engineering #source code: Reengineering Procedural into Data Flow Programs (PN, PM).
SEKE-1995-CostagliolaLOT #graph #parsing #performance: Efficient Parsing of Data-Flow Graphs (GC, ADL, SO, GT), pp. 226–233.
PEPM-1995-Jensen #analysis #source code: Clock Analysis of Synchronous Dataflow Programs (TPJ), pp. 156–167.
PLDI-1995-AmagbegnonBG #implementation: Implementation of the Data-Flow Synchronous Language SIGNAL (PA, LB, PLG), pp. 163–173.
PLILP-1995-ColussiMM #constraints #logic programming #semantics #source code: A Dataflow Semantics for Constraint Logic Programs (LC, EM, MM), pp. 431–448.
POPL-1995-DuesterwaldGS #interprocedural: Demand-driven Computation of Interprocedural Data Flow (ED, RG, MLS), pp. 37–48.
POPL-1995-RepsHS #analysis #graph #interprocedural #precise #reachability: Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.
SAS-1995-NordinLM #named #prolog: IGOR: A Tool for Developing Prolog Dataflow Analyzers (MN, TL, HM), pp. 420–421.
FSE-1995-HorwitzRS #analysis #interprocedural: Demand Interprocedural Dataflow Analysis (SH, TWR, SS), pp. 104–115.
DAC-1995-ZepterGM #design #generative #graph #using: Digital Receiver Design Using VHDL Generation from Data Flow Graphs (PZ, TG, HM), pp. 228–233.
PDP-1995-Blinowski #memory management #modelling #paradigm: A Shared Memory model based on the Dataflow paradigm (GJB), pp. 68–75.
PDP-1995-Kacsuk #parallel #prolog: Dataflow model for handling cut in the LOGFLOW parallel prolog machine (PK), pp. 60–67.
PDP-1995-StrohschneiderKW #communication #network #scalability: An associative communication network for fine and large grain dataflow (JS, BK, KW), pp. 324–331.
PPoPP-1995-CollardBF #analysis #array #fuzzy: Fuzzy Array Dataflow Analysis (JFC, DB, PF), pp. 92–101.
TAPSOFT-1995-SagivRH #analysis #constant #interprocedural #precise: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 651–665.
ICSM-1994-GuptaS #analysis #framework: A Framework for Partial Data Flow Analysis (RG, MLS), pp. 4–13.
PLDI-1994-HummelHN #data type #dependence #pointer: A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.
PLDI-1994-SabryF #analysis #continuation #question: Is Continuation-Passing Useful for Data Flow Analysis? (AS, MF), pp. 1–12.
PLDI-1994-Wismuller #analysis #debugging #source code #using: Debugging of Globally Optimized Programs Using Data Flow Analysis (RW), pp. 278–289.
POPL-1994-Maslov #analysis #array #dependence #lazy evaluation: Lazy Array Data-Flow Dependence Analysis (VM), pp. 311–325.
TRI-Ada-1994-Thornley #ada #parallel #programming: Integrating Parallel Dataflow Programming with the Ada Tasking Model (JT), pp. 417–428.
FSE-1994-DwyerC #analysis #concurrent #source code #verification: Data Flow Analysis for Verifying Properties of Concurrent Programs (MBD, LAC), pp. 62–75.
FSE-1994-HarroldR #testing: Performing Data Flow Testing on Classes (MJH, GR), pp. 154–163.
SAC-1994-RondogiannisW #hardware #higher-order #implementation: Higher-order dataflow and its implementation on stock hardware (PR, WWW), pp. 431–435.
CC-1994-Binkley #constant #dependence #graph #interprocedural #using: Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model (DB), pp. 374–388.
CC-1994-DuesterwaldGS #clustering #congruence #cost analysis: Reducing the Cost of Data Flow Analysis By Congruence Partitioning (ED, RG, MLS), pp. 357–373.
DAC-1994-LiuSC #clustering #latency: Data Flow Partitioning for Clock Period and Latency Minimization (LTL, MS, CKC), pp. 658–663.
EDAC-1994-ZepterG #generative: Generating Synchronous Timed Descriptions of Digital Receivers from Dynamic Data Flow System Level Configurations (PZ, TG), p. 672.
PDP-1994-Mitschele-Thiel #implementation: A Large-grain Data-flow Language And Its Control-driven Implementation (AMT), pp. 141–148.
ICLP-1994-Kagedal #analysis #prolog: A Dataflow Analysis Method for Ground Prolog (AK), p. 746.
FPCA-1993-Ang #implementation #performance: Efficient Implementation of Sequential Loops in Dataflow Computation (BSA), pp. 169–178.
FPCA-1993-RohNB #clustering #evaluation #generative: Generation and Quantitative Evaluation of Dataflow Clusters (LR, WAN, APWB), pp. 159–168.
HCI-SHI-1993-LauesenH #design #modelling: Dialogue Design Through Modified Dataflow and Data Modelling (SL, MBH), pp. 220–225.
PEPM-1993-Vasell #graph: A Partial Evaluator for Data Flow Graphs (JV), pp. 206–215.
PLDI-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.
POPL-1993-DhamdhereK #analysis #bidirectional #complexity: Complexity of Bidirectional Data Flow Analysis (DMD, UPK), pp. 397–408.
POPL-1993-MaydanAL #analysis #array: Array Data-Flow Analysis and its Use in Array Privatization (DEM, SPA, MSL), pp. 2–15.
FSE-1993-Griswold: Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool (WGG), pp. 42–55.
ICSE-1993-FranklW #comparison #detection #testing: An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques (PGF, EJW), pp. 415–424.
ICSE-1993-HamletGN #array #testing: Exploring Dataflow Testing of Arrays (RGH, BG, BN), pp. 118–129.
ICSE-1993-UralY #modelling #representation: Modeling Software for Accurate Data Flow Representation (HU, BY), pp. 277–286.
SAC-1993-ShenDU #predict: Packet Delay Prediction in Datagram Mesh Systems (ZS, PGD, LU), pp. 539–545.
PPoPP-1993-GrunwaldS #equation #parallel #source code: Data Flow Equations for Explicitly Parallel Programs (DG, HS), pp. 159–168.
ISSTA-1993-ThompsonRC #detection #fault: An Information Flow Model of Fault Detection (MCT, DJR, LAC), pp. 182–192.
ICALP-1992-Debray #analysis #complexity #logic programming #on the #source code: On the Complexity of Dataflow Analysis of Logic Programs (SKD), pp. 509–520.
SEKE-1992-ArndtG #composition #diagrams: Decomposition of Data Flow Diagrams (TA, AG), pp. 560–566.
PLDI-1992-PughW #dependence #using: Eliminating False Data Dependences using the Omega Test (WP, DW), pp. 140–151.
PLDI-1992-TanL #analysis #compilation #logic programming #source code: Compiling Dataflow Analysis of Logic Programs (JT, IPL), pp. 106–115.
CC-1992-SudholtS #analysis #interprocedural #object-oriented #on the: On Interprocedural Data Flow Analysis for Object Oriented Languages (MS, CS), pp. 156–162.
LICS-1992-Stark #calculus #network: A Calculus of Dataflow Networks (EWS), pp. 125–136.
FPCA-1991-ConselD: For a Better Support of Static Data Flow (CC, OD), pp. 496–519.
FPCA-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.
PLDI-1991-MaydanHL #analysis #dependence #performance: Efficient and Exact Data Dependence Analysis (DEM, JLH, MSL), pp. 1–14.
PLILP-1991-HalbwachsRR #generative #performance #source code: Generating Efficient Code From Data-Flow Programs (NH, PR, CR), pp. 207–218.
POPL-1991-ChoiCF #automation #evaluation #graph: Automatic Construction of Sparse Data Flow Evaluation Graphs (JDC, RC, JF), pp. 55–66.
TAV-1991-DuesterwaldS #analysis #concurrent #framework #using: Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework (ED, MLS), pp. 36–48.
TAV-1991-Harrold #optimisation #testing: The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets (MJH), pp. 130–138.
TAV-1991-HorgnaL #c: Data Flow Coverage and the C Language (JRH, SL), pp. 87–97.
TAV-1991-LongC #analysis #concurrent: Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization (DLL, LAC), pp. 21–35.
TAV-1991-OstrandW #analysis #pointer #test coverage #testing: Data Flow-Based Test Adequacy Analysis for Languages with Pointers (TJO, EJW), pp. 74–86.
ICALP-1990-PanangadenSS #network: Stability and Sequentiality in Dataflow Networks (PP, VS, EWS), pp. 308–321.
SEKE-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.
PLILP-1990-SagivFRW #analysis #approach #problem: A Logic-Based Approach to Data Flow Analysis Problem (SS, NF, MR, RW), pp. 277–292.
POPL-1990-MarloweR #algorithm #analysis #hybrid #incremental #performance: An Efficient Hybrid Algorithm for Incremental Data Flow Analysis (TJM, BGR), pp. 184–196.
DAC-1990-ScheichenzuberGLM #behaviour #hardware #synthesis: Global Hardware Synthesis from Behavioral Dataflow Descriptions (JS, WG, UL, SM), pp. 456–461.
NACLP-1990-RoyD #analysis #compilation #optimisation #prolog: The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.
VLDB-1989-Muralikrishna #algorithm #optimisation #query: Optimization and Dataflow Algorithms for Nested Tree Queries (MM), pp. 77–85.
POPL-1989-Jonsson #network: A Fully Abstract Trace Model for Dataflow Networks (BJ), pp. 155–165.
POPL-1989-SagivEFR #analysis #attribute grammar: Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis (SS, OE, NF, MR), pp. 36–48.
ESEC-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.
LICS-1989-RabinovichT: Nets and Data Flow Interpreters (AMR, BAT), pp. 164–174.
TAV-1989-HarroldS #testing: Interprocedual Data Flow Testing (MJH, MLS), pp. 158–167.
SIGMOD-1988-AlexanderC #data-driven #distributed #process: Process And Dataflow Control In Distributed Data-Intensive Systems (WA, GPC), pp. 90–98.
OOPSLA-1988-Alabiso #analysis #design #modelling #object-oriented: Transformation of Data Flow Analysis Models to Object-Oriented Design (BA), pp. 335–354.
PLDI-1988-Callahan #analysis #graph #interprocedural #summary: The Program Summary Graph and Flow-Sensitive Interprocedural Data Flow Analysis (DC), pp. 47–56.
PLDI-1988-JainT #analysis #approach #multi #performance: An Efficient Approach to Data Flow Analysis in a Multi Pass Global Optimizer (SJ, CLT), pp. 154–163.
POPL-1988-CarrollR #analysis #incremental: Incremental Data Flow Analysis via Dominator and Attribute Updates (MDC, BGR), pp. 274–284.
POPL-1988-Debray #analysis #logic programming #performance #source code: Efficient Dataflow Analysis of Logic Programs (SKD), pp. 260–273.
ESOP-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.
JICSCP-1988-Steer88 #diagrams #testing: Testing Data Flow Diagrams with PARLOG (KS), pp. 96–110.
JICSCP-1988-Wu88: An Extended Dataflow Model of FGHC (HW), pp. 1272–1276.
VDME-1987-Jones87b #semantics #using: A Formal Semantics for a DataFlow Machine — Using VDM (KDJ), pp. 331–355.
FPCA-1987-RuggieroS #parallel: Control of parallelism in the Manchester Dataflow Machine (CAR, JS), pp. 1–15.
OOPSLA-1987-GrimshawL #metaprogramming #named #object-oriented: Mentat: An Object-Oriented Macro Data Flow System (ASG, JWSL), pp. 35–47.
OOPSLA-1987-KaiserG #object-oriented #programming: MELDing Data Flow and Object-Oriented Programming (GEK, DG), pp. 254–267.
ESEC-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.
VLDB-1986-DeWittGGHKM #database #named #performance: GAMMA — A High Performance Dataflow Database Machine (DJD, RHG, GG, MLH, KBK, MM), pp. 228–237.
POPL-1986-JonesM #analysis #graph #source code #using: Data Flow Analysis of Applicative Programs Using Minimal Function Graphs (NDJ, AM), pp. 296–306.
STOC-1986-Siegel #aspect-oriented: Aspects of Information Flow in VLSI Circuits (AS), pp. 448–459.
LICS-1986-JonssonMW #deduction #network #synthesis #towards: Towards Deductive Synthesis of Dataflow Networks (BJ, ZM, RJW), pp. 26–37.
FPCA-1985-Plaisted85 #architecture #performance: An Architecture for fast Data Movement in the FFP Machine (DAP), pp. 147–163.
FPCA-1985-SkedzielewskiW85 #graph #optimisation: Data Flow Graph Optimization in IF1 (SKS, MLW), pp. 17–34.
ICSE-1985-BarthGB #architecture #realtime: The Stream Machine: A Data Flow Architecture for Real-Time Applications (PB, SBG, DRB), pp. 103–110.
ICSE-1985-ClarkePRZ #comparison: A Comparison of Data Flow Path Selection Criteria (LAC, AP, DJR, SJZ), pp. 244–251.
ICSE-1985-GirgisW #analysis #testing #using: An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis (MRG, MRW), pp. 313–319.
DAC-1985-AshokCS #modelling #simulation #using: Modeling switch-level simulation using data flow (VA, RLC, PS), pp. 637–644.
DAC-1985-OdawaraTO #diagrams: Diagrammatic function description of microprocessor and data-flow processor (GO, MT, IO), pp. 731–734.
SOSP-1985-Reinhardt #approach #multi: A Data-Flow Approach to Multitasking ob CRAY X-MP Compputers (SKR), pp. 107–114.
LFP-1984-Smolka #logic programming #source code: Making Control and Data Flow in Logic Programs Explicit (GS), pp. 311–322.
SCC-1984-Zadeck #analysis #editing #incremental: Incremental data flow analysis in a structured program editor (FKZ), pp. 132–143.
ICSE-1984-DeMarcoS #modula #named: SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer (TD, AS), pp. 207–213.
ICSE-1984-Forman #algebra #detection: An Algebra for Data Flow Anomaly Detection (IRF), pp. 278–287.
ICSE-1984-Tai #complexity #graph #metric: A Program Complexity Metric Based on Data Flow Information in Control Graphs (KCT), pp. 239–249.
DAC-1984-JhonK #analysis #concurrent #design: Deadlock analysis in the design of data-flow circuits (CSJ, RMK), pp. 705–707.
ILPC-1984-Kacsuk84 #interpreter #parallel #prolog: A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model (PK), pp. 195–205.
SLP-1984-BroughE84 #logic #programming: Dataflow, Flowcharts, and “LUCID”-style Programming in Logic (DRB, MHvE), pp. 252–258.
POPL-1983-AllenKPW #dependence: Conversion of Control Dependence to Data Dependence (JRA, KK, CP, JDW), pp. 177–189.
POPL-1983-Pratt #design #paradigm #programming: Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment (VRP), pp. 1–9.
POPL-1983-Ryder #analysis #incremental: Incremental Data Flow Analysis (BGR), pp. 167–176.
ICALP-1982-Faustini #semantics: An Operational Semantics for Pure Dataflow (AAF), pp. 212–224.
POPL-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.
SCC-1982-ChowR #design: The Design of a Data Flow Analyzer (ALC, AR), pp. 106–113.
ICSE-1982-Babb #data-driven #diagrams #implementation: Data-Driven Implementation of Data Flow Diagrams (RGBI), pp. 309–318.
ICSE-1982-Forman #analysis #composition: Global Data Flow Analysis by Decomposition into Primes (IRF), pp. 386–392.
ICSE-1982-RappsW #analysis #testing: Data Flow Analysis Techniques for Test Data Selection (SR, EJW), pp. 272–278.
ICALP-1981-Sharir #analysis #source code: Data Flow Analysis of Applicative Programs (MS), pp. 98–113.
POPL-1981-Myers #algorithm #interprocedural #precise: A Precise Interprocedural Data Flow Algorithm (EWM), pp. 219–230.
SIGMOD-1980-BoralD #database #design: Design Considerations for Data-flow Database Machines (HB, DJD), pp. 94–104.
POPL-1980-HolleyR #problem: Qualified Data Flow Problems (LHH, BKR), pp. 68–82.
POPL-1980-Weihl #analysis #interprocedural #pointer: Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables (WEW), pp. 83–94.
POPL-1979-Reif #analysis #communication #process: Data Flow Analysis of Communicating Processes (JHR), pp. 257–268.
POPL-1979-ReitmanA #approach #axiom #source code: Certifying Information Flow Properties of Programs: An Axiomatic Approach (RPR, GRA), pp. 283–290.
POPL-1978-Kosinki #semantics #source code: A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs (PRK), pp. 214–221.
POPL-1978-Rosen #agile #analysis #monad: Monoids for Rapid Data Flow Analysis (BKR), pp. 47–59.
POPL-1977-Barth #algorithm #analysis #interprocedural: An Interprocedural Data Flow Analysis Algorithm (JMB), pp. 119–131.
SOSP-1977-ArvindGP #monitoring: Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.
POPL-1976-Kosinski #programming #semantics: Mathematical Semantics and Data Flow Programming (PRK), pp. 175–184.
ICSE-1976-FosdickO #detection #interprocedural: The Detection of Anomalous Interprocedural Data Flow (LDF, LJO), pp. 624–628.
SOSP-J-1975-Denning76: A Lattice Model of Secure Information Flow (DED), pp. 236–243.
POPL-1975-Kennedy #analysis: Node Listings Applied to Data Flow Analysis (KK), pp. 10–21.