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