The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase flow-insensitive (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1997 (19) 1998-2002 (20) 2003-2007 (19) 2008-2013 (15) 2020-2022 (2)
Publication types (Num. hits)
article(15) inproceedings(60)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 119 occurrences of 73 keywords

Results
Found 75 publication records. Showing 75 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
56Jaewook Shin, Paul D. Hovland Comparison of two activity analyses for automatic differentiation: context-sensitive flow-insensitive vs. context-insensitive flow-sensitive. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF automatic differentiation, activity analysis
54Rebecca Hasti, Susan Horwitz Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
51Venkatesan T. Chakaravarthy New results on the computability and complexity of points - to analysis. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF flow-insensitive, complexity, pointer analysis, undecidability, flow-sensitive
46Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof Estimating the Impact of Scalable Pointer Analysis on Optimization. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher A schema for interprocedural modification side-effect analysis with pointer aliasing. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
41Donglin Liang, Mary Jean Harrold Efficient Points-to Analysis for Whole-Program Analysis. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Aliasing analysis, points-to graph, pointer analysis
41Prakash Prabhu, Priti Shankar Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Subhajit Roy 0001, Y. N. Srikant Improving flow-insensitive solutions for non-separable dataflow problems. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compilers, compiler optimizations, dataflow analysis
40Paolo Tonella Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets. Search on Bibsonomy CSMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Subhajit Roy 0001, Y. N. Srikant Partial Flow Sensitivity. Search on Bibsonomy HiPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compilers, compiler optimizations, dataflow analysis, points-to analysis
33Niklas Broberg, David Sands 0001 Flow-sensitive semantics for dynamic information flow policies. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF information flow control, declassification, security type system
33Stephen Adams 0001, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Ana L. Milanova, Atanas Rountev, Barbara G. Ryder Parameterized object sensitivity for points-to and side-effect analyses for Java. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Michael Hind, Anthony Pioli Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Dror E. Maydan, Saman P. Amarasinghe, Monica S. Lam Array Data-Flow Analysis and its Use in Array Privatization. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Susan Horwitz Precise Flow-Insensitive May-Alias Analysis is NP-Hard. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF static analysis, pointer analysis, dataflow analysis, alias analysis
28Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken Flow-insensitive type qualifiers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF const, taint, security, static analysis, constraints, types, Type qualifiers
26Sean Zhang, Barbara G. Ryder, William Landi Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF C
24Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav On the complexity of partially-flow-sensitive alias analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF flow-insensitive, Alias analysis, flow-sensitive
24David W. Binkley, Susan Horwitz, Thomas W. Reps Program Integration for Languages with Procedure Calls. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF flow-insensitive summary information, semantics-based program integration, program slicing, data-flow analysis, data dependence, control dependence, program dependence graph
24Ana L. Milanova, Atanas Rountev, Barbara G. Ryder Parameterized object sensitivity for points-to analysis for Java. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF def-use analysis, side-effect analysis, Static analysis, context sensitivity, points-to analysis, class analysis
24Manuvir Das Unification-based pointer analysis with directional assignments. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Michael G. Burke An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Cecilia Manzino, Alberto Pardo Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. Search on Bibsonomy LSFA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi Interprocedural pointer alias analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF pointer aliasing, program analysis, interprocedural analysis
22Keith D. Cooper, Ken Kennedy Fast Interprocedural Alias Analysis. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
21Atanas Rountev, Barbara G. Ryder, William Landi Data-Flow Analysis of Program Fragments. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Jianwen Zhu Symbolic pointer analysis. Search on Bibsonomy ICCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Sebastian Hunt, David Sands 0001 On flow-sensitive security types. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static analysis, type systems, information flow, non-interference, flow-sensitivity
18Solène Mirliaz, David Pichardie A Flow-Insensitive-Complete Program Representation. Search on Bibsonomy VMCAI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Lukas Rytz, Nada Amin, Martin Odersky A flow-insensitive, modular effect system for purity. Search on Bibsonomy FTfJP@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
18Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan 0001, Manu Sridharan The Flow-Insensitive Precision of Andersen's Analysis in Practice. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
18Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum Flow insensitive points-to sets. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum Flow Insensitive Points-To Sets. Search on Bibsonomy SCAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. Search on Bibsonomy SAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
18Marc Shapiro 0002, Susan Horwitz Fast and Accurate Flow-Insensitive Points-To Analysis. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
18Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing. Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reverse engineering, C++, C++, program understanding, polymorphism, slicing, points-to analysis, flow analysis
18Michael G. Burke, Paul R. Carini, Jong-Deok Choi, Michael Hind Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. Search on Bibsonomy LCPC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
18Shibin Hu Comment on Cooper and Kennedy's Flow-Insensitive Interprocedural Summary Information Computation Algorithm. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
18Keith D. Cooper, Ken Kennedy Efficient computation of flow-insensitive interprocedural summary information - a correction. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
18Keith D. Cooper, Ken Kennedy Efficient computation of flow insensitive interprocedural summary information. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
17Donglin Liang, Maikel Pennings, Mary Jean Harrold Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. Search on Bibsonomy PASTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Hai Jiang 0003, Vipin Chaudhary Thread Migration/Checkpointing for Type-Unsafe C Programs. Search on Bibsonomy HiPC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Nevin Heintze, Olivier Tardieu Demand-Driven Pointer Analysis. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF C
17Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo Points-to Analysis for Program Understanding. Search on Bibsonomy WPC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng 0002, Zhaoqing Zhang Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF pointer analysis, alias analysis
17Eric Bodden Efficient hybrid typestate analysis by determining continuation-equivalent states. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF typestate analysis, static analysis, runtime monitoring
17Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken Flow-Sensitive Type Qualifiers. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF effect inference, constraints, types, locking, alias analysis, linux kernel, type qualifiers, restrict, flow-sensitivity
14Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
14Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley Securing web applications with static and dynamic information flow tracking. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, static analysis, web applications, pattern matching, dynamic analysis, SQL injection, cross-site scripting
14Vineet Kahlon Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF steensgaard partitioning, summarization, divide and conquer, context-sensitive analysis, demand-driven analysis
14Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh Applying flow-sensitive CQUAL to verify MINIX authorization check placement. Search on Bibsonomy PLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF CQUAL, static analysis, type qualifiers, MINIX
14Jianwen Zhu Towards scalable flow and context sensitive pointer analysis. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF high-level synthesis, binary decision diagrams, pointer analysis
14Darren C. Atkinson, William G. Griswold Effective Whole-Program Analysis in the Presence of Pointers. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF C
14He Zhu, Ian Watson A Full Program Control Flow Representation for Real Programs. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
14Jong-Deok Choi, Michael G. Burke, Paul R. Carini Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
12Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards Flexible pointer analysis using assign-fetch graphs. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF summary-based analysis, static analysis, pointer analysis
12Eric Bodden, Laurie J. Hendren, Ondrej Lhoták A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
12Lei Wang, Xikun Sun Escape analysis for synchronization removal. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF synchronization removal, java, optimization, escape analysis
12Constantino G. Ribeiro, Marcelo Cintra Quantifying Uncertainty in Points-To Relations. Search on Bibsonomy LCPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Sigmund Cherem, Radu Rugina Region analysis and transformation for Java programs. Search on Bibsonomy ISMM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program transformations, pointer analysis, region-based memory management
12Bruno Blanchet Escape analysis for JavaTM: Theory and practice. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF stack allocation, synchronization elimination, Java, optimization, static analysis
12Venkatesan T. Chakaravarthy, Susan Horwitz On the non-approximability of points-to analysis. Search on Bibsonomy Acta Informatica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Keith D. Cooper, Ken Kennedy Interprocedural Side-Effect Analysis in Linear Time. Search on Bibsonomy PLDI The full citation details ... 1988 DBLP  DOI  BibTeX  RDF FORTRAN
12Keith D. Cooper, Ken Kennedy Interprocedural side-effect analysis in linear time (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
10Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
10Xin Zheng, Radu Rugina Demand-driven alias analysis for C. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CFL reachability, pointer analysis, alias analysis, memory disambiguation, demand-driven analysis
10Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst Inference of Reference Immutability. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
10Jingbo Zhang, Rongcai Zhao, Jianmin Pang Parameter and Return-value Analysis of Binary Executables. Search on Bibsonomy COMPSAC (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
10Chris Lattner, Andrew Lenharth, Vikram S. Adve Making context-sensitive points-to analysis with heap cloning practical for the real world. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF field-sensitive, static analysis, pointer analysis, context-sensitive, recursive data structure, interprocedural
10Michael C. Martin, V. Benjamin Livshits, Monica S. Lam Finding application errors and security flaws using PQL: a program query language. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF resource leaks, web applications, pattern matching, SQL injection, bug finding, program traces
10Matthew Q. Beers, Christian H. Stork, Michael Franz Efficiently Verifiable Escape Analysis. Search on Bibsonomy ECOOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss Type-Based Alias Analysis. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Bjarne Steensgaard Points-to Analysis by Type Inference of Programs with Structures and Unions. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF interprocedural program analysis, non-standard types, constraint solving, points-to analysis, C programs
10Baowen Xu PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Pascal
Displaying result #1 - #75 of 75 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license