The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1997-2008 (18) 2009-2024 (6)
Publication types (Num. hits)
article(3) inproceedings(21)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(3) ISSTA(3) CSF(2) PLDI(2) POPL(2) SAS(2) ARES(1) CGO(1) DMI(1) ESOP(1) HiPC(1) ICDL-EPIROB(1) ISMM(1) ISPAN(1) PEPM(1) WSC(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 72 occurrences of 47 keywords

Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
52Tong Chen 0010, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs. Search on Bibsonomy ISPAN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation
28Prakash 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
26Michael 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
18Ben Hardekopf, Calvin Lin Semi-sparse flow-sensitive pointer analysis. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF pointer analysis, alias analysis
18Heiko Mantel, David Sands 0001, Henning Sudbrock Assumptions and Guarantees for Compositional Noninterference. Search on Bibsonomy CSF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security
18Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst Practical pluggable types for java. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
18Sebastian 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
18Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi Checking and inferring local non-aliasing. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity
18Jeffrey 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
18Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. Search on Bibsonomy ISSTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity
16Luke Hornof, Jacques Noyé Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF C
14Noam 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
12Haofeng Li, Jie Lu 0009, Haining Meng, Liqing Cao, Lian Li 0002, Lin Gao 0002 Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations. Search on Bibsonomy CGO The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
12Hui Yu, Xiaozhong Liu, Yuanzeng Zhan, Shu Gan, Xiaoyuan Deng, Xingkun Wang, Xiaojuan Zhu Research on Surface Debris Flow Sensitivity Evaluation Based on RS and GIS. Search on Bibsonomy DMI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
12Rick O. Gilmore, Florian Raudies, Swapnaa Jayaraman What accounts for developmental shifts in optic flow sensitivity? Search on Bibsonomy ICDL-EPIROB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Subhajit 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
12Michael 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
11Mayur Naik, Jens Palsberg A type system equivalent to a model checker. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, type systems
11Mayur Naik, Jens Palsberg A Type System Equivalent to a Model Checker. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
9Nomair A. Naeem, Ondrej Lhoták Efficient alias set analysis using SSA form. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form
9Lennart Beringer, Martin Hofmann 0001 Secure information flow and program logics. Search on Bibsonomy CSF The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
9Michael Hind, Anthony Pioli Which pointer analysis should I use? Search on Bibsonomy ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF interprocedural pointer analysis, data flow analysis
7Syrine Tlili, Mourad Debbabi Type and Effect Annotations for Safe Memory Access in C. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Type and Effect Analysis, Type Annotations, Memory Safety, C Programming
7Edgar C. Portante, Thomas N. Taxon, James A. Kavicky, Tarek Abdallah, Timothy K. Perkins Linear modeling and simulation of low-voltage electric system for single-point vulnerability assessment of military installation. Search on Bibsonomy WSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (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