|
|
Venues (Conferences, Journals, ...)
|
|
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 |
52 | Tong 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](Pics/bibsonomy.png) |
ISPAN ![In: International Symposium on Parallel Architectures, Algorithms and Networks, ISPAN 2002, May 22-24, 2002, Makati City, Metro Manila, Philippines, pp. 251-, 2002, IEEE Computer Society, 0-7695-1579-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation |
28 | Prakash Prabhu, Priti Shankar |
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, pp. 110-127, 2008, Springer, 978-3-540-69163-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Michael Hind, Anthony Pioli |
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 57-81, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ben Hardekopf, Calvin Lin |
Semi-sparse flow-sensitive pointer analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 226-238, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
pointer analysis, alias analysis |
18 | Heiko Mantel, David Sands 0001, Henning Sudbrock |
Assumptions and Guarantees for Compositional Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011, pp. 218-232, 2011, IEEE Computer Society, 978-1-61284-644-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security |
18 | Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst |
Practical pluggable types for java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 201-212, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Sebastian Hunt, David Sands 0001 |
On flow-sensitive security types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 79-90, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
static analysis, type systems, information flow, non-interference, flow-sensitivity |
18 | Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi |
Checking and inferring local non-aliasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 129-140, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity |
18 | Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken |
Flow-Sensitive Type Qualifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 1-12, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
effect inference, constraints, types, locking, alias analysis, linux kernel, type qualifiers, restrict, flow-sensitivity |
18 | Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang |
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998, pp. 21-31, 1998, ACM, 0-89791-971-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity |
16 | Luke Hornof, Jacques Noyé |
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 63-73, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C |
14 | Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav |
On the complexity of partially-flow-sensitive alias analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(3), pp. 13:1-13:28, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
flow-insensitive, Alias analysis, flow-sensitive |
12 | Haofeng 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](Pics/bibsonomy.png) |
CGO ![In: IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024, pp. 296-307, 2024, IEEE, 979-8-3503-9509-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Hui 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](Pics/bibsonomy.png) |
DMI ![In: Digitalization and Management Innovation - Proceedings of DMI 2022, Beijing, China, November 26, 2022., pp. 600-612, 2022, IOS Press, 978-1-64368-378-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rick O. Gilmore, Florian Raudies, Swapnaa Jayaraman |
What accounts for developmental shifts in optic flow sensitivity? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDL-EPIROB ![In: 2015 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics, ICDL-EpiRob, Providence, RI, USA, August 13-16, 2015, pp. 19-25, 2015, IEEE, 978-1-4673-9320-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Subhajit Roy 0001, Y. N. Srikant |
Partial Flow Sensitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2007, 14th International Conference, Goa, India, December 18-21, 2007, Proceedings, pp. 245-256, 2007, Springer, 978-3-540-77219-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compilers, compiler optimizations, dataflow analysis, points-to analysis |
12 | Michael Furr, Jeffrey S. Foster |
Checking type safety of foreign function calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(4), pp. 18:1-18:63, 2008. The full citation details ...](Pics/full.jpeg) |
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 |
11 | Mayur Naik, Jens Palsberg |
A type system equivalent to a model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(5), pp. 29:1-29:24, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model checking, type systems |
11 | Mayur Naik, Jens Palsberg |
A Type System Equivalent to a Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 374-388, 2005, Springer, 3-540-25435-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Nomair A. Naeem, Ondrej Lhoták |
Efficient alias set analysis using SSA form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pp. 79-88, 2009, ACM, 978-1-60558-347-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form |
9 | Lennart Beringer, Martin Hofmann 0001 |
Secure information flow and program logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy, pp. 233-248, 2007, IEEE Computer Society, 0-7695-2819-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Michael Hind, Anthony Pioli |
Which pointer analysis should I use? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 113-123, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
interprocedural pointer analysis, data flow analysis |
7 | Syrine Tlili, Mourad Debbabi |
Type and Effect Annotations for Safe Memory Access in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 302-309, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Type and Effect Analysis, Type Annotations, Memory Safety, C Programming |
7 | Edgar 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](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 1207-1215, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|