Stem pointer$ (all stems)

191 papers:

PLDI-2015-KangHMGZV #c #memory management

A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.

ICEIS-v2-2015-AizebojeP #approach #pointer #using

An Approach to using a Laser Pointer as a Mouse (JA, TP), pp. 543–552.

OOPSLA-2015-AlvesGDLGRP #ambiguity #pointer #runtime

Runtime pointer disambiguation (PA, FG, JD, AL, TG, FR, FMQP), pp. 589–606.

ESEC-FSE-2015-FuLB #analysis #automation #memory dump #memory management #pointer

Automatically deriving pointer reference expressions from binary code for memory dump analysis (YF, ZL, DB), pp. 614–624.

CGO-2015-NagarajG #analysis #approximate #mining #pointer #using

Approximating flow-sensitive pointer analysis using frequent itemset mining (VN, RG), pp. 225–234.

DATE-2014-ParkYLL #graph #memory management #representation

Accelerating graph computation with racetrack memory and pointer-assisted graph representation (EP, SY, SL, HL), pp. 1–4.

PLDI-2014-XiaoZZZ #persistent #pointer

Persistent pointer information (XX, QZ, JZ, CZ), p. 48.

SAS-2014-MadsenM #analysis #data flow #pointer #reachability

Sparse Dataflow Analysis with Pointers and Reachability (MM, AM), pp. 201–218.

SAS-2014-YeSX #analysis #pointer

Region-Based Selective Flow-Sensitive Pointer Analysis (SY, YS, JX), pp. 319–336.

ICGT-2014-JansenGN #execution #generative #induction #pointer #source code #symbolic computation

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.

ICGT-2014-JansenN #generative #graph #pointer #source code #summary

Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.

CGO-2014-NagarakatteMZ #named #pointer

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking (SN, MMKM, SZ), p. 175.

OSDI-2014-KuznetsovSPCSS

Code-Pointer Integrity (VK, LS, MP, GC, RS, DS), pp. 147–163.

IJCAR-2014-StroderGBFFHS #memory management #pointer #proving #safety #source code #termination

Proving Termination and Memory Safety for Programs with Pointer Arithmetic (TS, JG, MB, FF, CF, JH, PSK), pp. 208–223.

DRR-2013-YouSADT13a #image #ontology #pointer #retrieval #robust #segmentation #towards #visual notation

A robust pointer segmentation in biomedical images toward building a visual ontology for biomedical article retrieval (DY, MSS, SA, DDF, GRT).

FoSSaCS-2013-HofmannRS #morphism #pointer #source code

Pure Pointer Programs and Tree Isomorphism (MH, RR, US), pp. 321–336.

SCAM-2013-BiallasOCH #analysis #named #pointer

PtrTracker: Pragmatic pointer analysis (SB, MCO, FC, RH), pp. 69–73.

SEKE-2013-LiuWL #analysis #detection #named #online #performance #pointer

ELCD: an efficient online cycle detection technique for pointer analysis (FL, LW, BL), pp. 606–611.

ISMM-2013-LiCK #analysis #graph #pointer #precise #scalability

Precise and scalable context-sensitive pointer analysis via value flow graph (LL, CC, NK), pp. 85–96.

SAS-2012-KhedkerMR #analysis #pointer

Liveness-Based Pointer Analysis (UPK, AM, PSR), pp. 265–282.

FM-2012-GiorginoS #algorithm #correctness #pointer

Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction (MG, MS), pp. 202–216.

CHI-2012-HenneckeMB #how #interactive #pointer

How screen transitions influence touch and pointer interaction across angled display arrangements (FH, WM, AB), pp. 209–212.

ECOOP-2012-DeD #analysis #java #pointer #scalability

Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates (AD, DD), pp. 665–687.

FSE-2012-FarzanMRS #concurrent #predict #source code

Predicting null-pointer dereferences in concurrent programs (AF, PM, NR, FS), p. 47.

IJCAR-2012-BoerBR #automation #pointer #recursion #source code #verification

Automated Verification of Recursive Programs with Pointers (FSdB, MMB, JR), pp. 149–163.

ISSTA-2012-CaballeroGMN #detection #named #pointer

Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities (JC, GG, MM, AN), pp. 133–143.

ASE-2011-MacleanIG #animation #correctness #functional #pointer #source code

The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.

ESOP-2011-SotinJ #analysis #interprocedural #pointer #precise #stack

Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.

SCAM-2011-Mehlich #c #memory management #named #validation

CheckPointer — A C Memory Access Validator (MM), pp. 165–172.

SEKE-2011-LiuL #analysis #parallel #petri net #pointer #thread

Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.

CGO-2011-HardekopfL #analysis #pointer

Flow-sensitive pointer analysis for millions of lines of code (BH, CL), pp. 289–298.

ICST-2011-RomanoPA #approach #exception #null #pointer #testing

An Approach for Search Based Testing of Null Pointer Exceptions (DR, MDP, GA), pp. 160–169.

ISSTA-2011-Rubio-GonzalezL #fault #interactive #kernel #linux #pointer

Defective error/pointer interactions in the Linux kernel (CRG, BL), pp. 111–121.

IFM-2010-DiosMP #pointer

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation (JdD, MM, RP), pp. 305–319.

SAC-PL-J-2008-BussBSE10 #analysis #debugging #novel #pointer

A novel analysis space for pointer analysis and its application for bug finding (MB, DB, VCS, SAE), pp. 921–942.

CGO-2010-YuXHFZ #analysis #pointer #scalability

Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code (HY, JX, WH, XF, ZZ), pp. 218–229.

VMCAI-2010-Might #analysis #pointer

Shape Analysis in the Absence of Pointers and Structure (MM), pp. 263–278.

TACAS-2009-VanoverbergheTP #generative #pointer #source code

Test Input Generation for Programs with Pointers (DV, NT, FP), pp. 277–291.

SAS-2009-Simon #analysis #optimisation #pointer #similarity #using

Optimizing Pointer Analysis Using Bisimilarity (LS), pp. 222–237.

SEFM-2009-TatsutaCA #logic #pointer #verification

Completeness of Pointer Program Verification by Separation Logic (MT, WNC, MFAA), pp. 179–188.

POPL-2009-HardekopfL #analysis #pointer

Semi-sparse flow-sensitive pointer analysis (BH, CL), pp. 226–238.

CGO-2009-PereiraB #analysis #pointer

Wave Propagation and Deep Propagation for Pointer Analysis (FMQP, DB), pp. 126–135.

ISSTA-2009-ElkarabliehGL #generative #pointer #precise #reasoning #testing

Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.

LICS-2009-HofmannS #pointer #reachability #source code

Pointer Programs and Undirected Reachability (MH, US), pp. 133–142.

PLDI-2008-Kahlon #alias #analysis #named #pointer #scalability

Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis (VK), pp. 249–259.

SAS-2008-ConwayDNB #analysis #fault #pointer #proving

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.

SAS-2008-PrabhuS #analysis #array #java #pointer #using

Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA (PP, PS), pp. 110–127.

FM-2008-NollR #pointer #thread #verification

Verifying Dynamic Pointer-Manipulating Threads (TN, SR), pp. 84–99.

SAC-2008-BussBSE #analysis #flexibility #graph #pointer #using

Flexible pointer analysis using assign-fetch graphs (MB, DB, VCS, SAE), pp. 234–239.

CSL-2008-HofmannS #pointer #source code

Pure Pointer Programs with Iteration (MH, US), pp. 79–93.

RTA-2008-EchahedP #pointer

A Needed Rewriting Strategy for Data-Structures with Pointers (RE, NP), pp. 63–78.

DATE-2007-ParkPBBKD #architecture #embedded #performance #pointer

Register pointer architecture for efficient embedded processors (JP, SBP, JDB, DBS, CK, WJD), pp. 600–605.

PASTE-2007-HovemeyerP #debugging #null #pointer

Finding more null pointer bugs, but not too many (DH, WP), pp. 9–14.

PLDI-2007-HardekopfL #analysis #performance #pointer

The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code (BH, CL), pp. 290–299.

SAS-2007-HardekopfL #analysis #equivalence #pointer

Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis (BH, CL), pp. 265–280.

SAS-2007-KamilY #analysis #distributed #pointer #source code

Hierarchical Pointer Analysis for Distributed Programs (AK, KAY), pp. 281–297.

ICFP-2007-MarlowYJ #lazy evaluation #performance #pointer #using

Faster laziness using dynamic pointer tagging (SM, ARY, SLPJ), pp. 277–288.

HCI-IPT-2007-KimLLL #flexibility #interactive #pointer

Vision Based Laser Pointer Interaction for Flexible Screens (NWK, SJL, BGL, JJL), pp. 845–853.

ECOOP-2007-VenstermansEB #java #pointer #virtual machine

Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines (KV, LE, KDB), pp. 79–100.

CC-2007-BakerCPV #garbage collection #lazy evaluation #pointer

Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks (JB, AC, FP, JV), pp. 64–79.

RTA-2007-EchahedP #confluence #pointer #strict #term rewriting

Non Strict Confluent Rewrite Systems for Data-Structures with Pointers (RE, NP), pp. 137–152.

ESOP-2006-JiaW #automation #named #pointer #reasoning #source code

ILC: A Foundation for Automated Reasoning About Pointer Programs (LJ, DW), pp. 131–145.

SAS-2006-CalcagnoDOY #abstraction #pointer #reachability

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (CC, DD, PWO, HY), pp. 182–203.

FM-2006-Preoteasa #logic #pointer #recursion #using #verification

Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic (VP), pp. 508–523.

ICGT-2006-EchahedP #pointer

Narrowing Data-Structures with Pointers (RE, NP), pp. 92–106.

CHI-2006-JiangOMS #interactive #pointer #using

Direct pointer: direct manipulation for large-display interaction using handheld cameras (HJ, EO, NM, YS), pp. 1107–1110.

SOFTVIS-2006-HundhausenBF #algorithm #design #pointer #visualisation

Adding procedures and pointers to the ALVIS algorithm visualization software: a preliminary design (CDH, JLB, SF), pp. 155–156.

ICPR-v4-2006-SekoYSMK #metric #pointer

Proposal of recordable pointer: Pointed position measurement by projecting interference concentric circle pattern with a pointing device (YS, YY, YS, JM, HK), pp. 825–828.

POPL-2006-NiS #assembly #embedded #pointer #programming

Certified assembly programming with embedded code pointers (ZN, ZS), pp. 320–333.

POPL-2006-Thielecke #pointer

Frame rules from answer types for code pointers (HT), pp. 309–319.

ASPLOS-2006-SilvaS #analysis #optimisation #pointer #probability

A probabilistic pointer analysis for speculative optimizations (JDS, JGS), pp. 416–425.

CC-2006-TokGL #analysis #data flow #interprocedural #performance #pointer

Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers (TBT, SZG, CL), pp. 17–31.

LCTES-2006-Mine #analysis #c #embedded #pointer #source code

Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics (AM), pp. 54–63.

ASE-2005-GotliebDB #constraints #generative #pointer #testing

Constraint-based test data generation in the presence of stack-directed pointers (AG, TD, BB), pp. 313–316.

DAC-2005-Zhu #analysis #pointer #scalability #towards

Towards scalable flow and context sensitive pointer analysis (JZ), pp. 831–836.

ESOP-2005-LeeYY #analysis #automation #grammarware #pointer #source code #using #verification

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis (OL, HY, KY), pp. 124–140.

PASTE-2005-HovemeyerSP #debugging #null #pointer #static analysis

Evaluating and tuning a static analysis to find null pointer bugs (DH, JS, WP), pp. 13–19.

SCAM-2005-BussEYW #analysis #pointer #text-to-text

Pointer Analysis for Source-to-Source Transformations (MB, SAE, BY, DGW), pp. 139–150.

CHI-2005-PoFB #interactive #pointer

Comparing cursor orientations for mouse, pointer, and pen interaction (BAP, BDF, KSB), pp. 291–300.

PADL-2005-ZhuX #pointer #programming

Safe Programming with Pointers Through Stateful Views (DZ, HX), pp. 83–97.

ICSE-2005-AvotsDLL #analysis #c #pointer #security

Improving software security with a C pointer analysis (DA, MD, VBL, MSL), pp. 332–341.

CGO-2005-GuoBTORA #analysis #low level #pointer

Practical and Accurate Low-Level Pointer Analysis (BG, MJB, ST, GO, ER, DIA), pp. 291–302.

CSL-2005-CharatonikGM #bound #model checking #pointer #source code

Bounded Model Checking of Pointer Programs (WC, LG, PM), pp. 397–412.

PASTE-2004-NystromKH #analysis #pointer

Importance of heap specialization in pointer analysis (EMN, HSK, WmWH), pp. 43–48.

PASTE-2004-PearceKH #analysis #c #performance #pointer

Efficient field-sensitive pointer analysis for C (DJP, PHJK, CH), pp. 37–42.

PLDI-2004-WhaleyL #alias #analysis #diagrams #pointer #using

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (JW, MSL), pp. 131–144.

PLDI-2004-ZhuC #analysis #pointer #revisited

Symbolic pointer analysis revisited (JZ, SC), pp. 145–157.

SAS-2004-NystromKH #analysis #bottom-up #pointer #top-down

Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis (EMN, HSK, WmWH), pp. 165–180.

SAS-2004-Venet #analysis #embedded #pointer #scalability #source code

A Scalable Nonuniform Pointer Analysis for Embedded Programs (AV), pp. 149–164.

SAS-2004-YongH #analysis

Pointer-Range Analysis (SHY, SH), pp. 133–148.

ECOOP-2004-HirzelDH #analysis #pointer

Pointer Analysis in the Presence of Dynamic Class Loading (MH, AD, MH), pp. 96–122.

FASE-2003-Kubica #approach #pointer #specification #verification

A Temporal Approach to Specification and Verification of Pointer Data-Structures (MK), pp. 231–245.

SCAM-2003-PearceKH #analysis #detection #difference #online #pointer

Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.

SAS-2003-GuyerL #analysis #pointer

Client-Driven Pointer Analysis (SZG, CL), pp. 214–236.

FME-2003-Abrial #development #pointer

Event Based Sequential Program Development: Application to Constructing a Pointer Program (JRA), pp. 51–74.

AGTIVE-2003-BakewellPR #graph #pointer #reduction #specification

Specifying Pointer Structures by Graph Reduction (AB, DP, CR), pp. 30–44.

SAC-2003-NandaR #analysis #java #parallel #pointer #source code #thread

Pointer Analysis of Multithreaded Java Programs (MGN, SR), pp. 1068–1075.

ESEC-FSE-2003-LivshitsL #c #context-sensitive grammar #debugging #detection #pointer #source code

Tracking pointers with path and context sensitivity for bug detection in C programs (VBL, MSL), pp. 317–326.

ESEC-FSE-2003-YongH #c #pointer #source code

Protecting C programs from attacks via invalid pointer dereferences (SHY, SH), pp. 307–316.

CADE-2003-MehtaN #higher-order #logic #pointer #proving #source code

Proving Pointer Programs in Higher-Order Logic (FM, TN), pp. 121–135.

ASE-2002-VisvanathanG #generative #pointer #testing

Generating Test Data for Functions with Pointer Inputs (SV, NG), p. 149–?.

HT-2002-VitaliFT #implementation

Two implementations of XPointer (FV, FF, CT), pp. 145–146.

SCAM-2002-MilanovaRR #graph #pointer #precise

Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.

SAS-2002-AdamsBDLRSW #analysis #data flow #pointer #using

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.

STOC-2002-BrodalLMTT #pointer

Optimal finger search trees in the pointer machine (GSB, GL, CM, AKT, KT), pp. 583–591.

CHI-2002-MyersBNPKML #distance #performance #pointer

Interacting at a distance: measuring the performance of laser pointers and other devices (BAM, RB, JN, CHP, DK, RCM, ACL), pp. 33–40.

SAC-2002-Moreau #fault tolerance #mobile #pointer

A fault-tolerant directory service for mobile agents based on forwarding pointers (LM), pp. 93–100.

DATE-2001-Zhu01a #analysis #memory management #pointer

Static memory allocation by pointer analysis and coloring (JZ), pp. 785–790.

ITiCSE-2001-Kumar #c++ #interactive #learning #pointer

Learning the interaction between pointers and scope in C++ (ANK), pp. 45–48.

IWPC-2001-OrsoSH #data flow #dependence #pointer

Effects of Pointers on Data Dependences (AO, SS, MJH), pp. 39–49.

PASTE-2001-Hind #analysis #pointer #problem #question

Pointer analysis: haven’t we solved this problem yet? (MH), pp. 54–61.

PLDI-2001-HeintzeT #analysis #pointer

Demand-Driven Pointer Analysis (NH, OT), pp. 24–34.

PLDI-2001-MollerS #logic #pointer

The Pointer Assertion Logic Engine (AM, MIS), pp. 221–231.

PLDI-2001-VivienR #analysis #pointer

Incrementalized Pointer and Escape Analysis (FV, MCR), pp. 35–46.

SAS-2001-DasLFR #impact analysis #optimisation #pointer #scalability

Estimating the Impact of Scalable Pointer Analysis on Optimization (MD, BL, MF, JR), pp. 260–278.

SAS-2001-LiangH #analysis #interprocedural #performance #pointer

Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses (DL, MJH), pp. 279–298.

CHI-2001-OlsenN #interactive #pointer

Laser pointer interaction (DRO, STN), pp. 17–22.

CC-2001-FrankeO #array #compilation #pointer

Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications (BF, MFPO), pp. 69–85.

CC-2001-StoutchininAGDJD #induction #pointer

Speculative Prefetching of Induction Pointers (AS, JNA, GRG, JCD, SJ, AD), pp. 289–303.

PPoPP-2001-SalcianuR #analysis #parallel #pointer #source code #thread

Pointer and escape analysis for multithreaded programs (AS, MCR), pp. 12–23.

DATE-2000-SemeriaSM #behaviour #c #memory management #pointer #synthesis

Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C (LS, KS, GDM), pp. 312–319.

PEPM-2000-ScholzBF #analysis #detection #memory management #pointer

Symbolic Pointer Analysis for Detecting Memory Leaks (BS, JB, TF), pp. 104–113.

PLDI-2000-ChengH #analysis #composition #design #evaluation #implementation #interprocedural #pointer #using

Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation (BCC, WmWH), pp. 57–69.

PLDI-2000-Das #analysis #pointer

Unification-based pointer analysis with directional assignments (MD), pp. 35–46.

PLDI-2000-RuginaR #analysis #array #bound #memory management #pointer

Symbolic bounds analysis of pointers, array indices, and accessed memory regions (RR, MCR), pp. 182–195.

ICPR-v1-2000-ShimizuS #mobile #navigation #pointer #visual notation

Visual Navigation of Uncalibrated Mobile Robots from Uncalibrated Stereo Pointers (YS, JS), pp. 1346–1349.

PPDP-2000-CalcagnoIO #alias #analysis #hoare #logic #pointer #semantics

Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292 (CC, SSI, PWO), pp. 190–201.

ASPLOS-2000-KawahitoKN #effectiveness #hardware #null #pointer

Effective Null Pointer Check Elimination Utilizing Hardware Trap (MK, HK, TN), pp. 139–149.

ISSTA-2000-HindP #analysis #pointer #question

Which pointer analysis should I use? (MH, AP), pp. 113–123.

CSMR-1999-AntoniolCT #graph #pointer

Impact of Function Pointers on the Call Graph (GA, FC, PT), pp. 51–61.

ICSM-1999-LiangH #interprocedural #pointer #recursion #slicing

Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion (DL, MJH), p. 421–?.

PASTE-1999-LiangH #analysis #data flow #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.

PLDI-1999-RuginaR #analysis #parallel #pointer #source code #thread

Pointer Analysis for Multithreaded Programs (RR, MCR), pp. 77–90.

PLDI-1999-YongHR #analysis #pointer #source code

Pointer Analysis for Programs with Structures and Casting (SHY, SH, TWR), pp. 91–103.

STOC-1999-PonzioRV #communication #complexity #pointer

The Communication Complexity of Pointer Chasing: Applications of Entropy and Sampling (SP, JR, SV), pp. 602–611.

FM-v1-1999-Wang #automation #pointer #process #verification

Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes (FW), pp. 328–347.

IFL-1999-JonesME #haskell #pointer

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell (SLPJ, SM, CE), pp. 37–58.

ECOOP-1999-HoareJ #pointer

A Trace Model for Pointers and Objects (CARH, JH), pp. 1–17.

OOPSLA-1999-WhaleyR #analysis #composition #java #pointer #source code

Compositional Pointer and Escape Analysis for Java Programs (JW, MCR), pp. 187–206.

ICSE-1999-YurRL #alias #analysis #incremental #pointer

An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis (JSY, BGR, WL), pp. 442–451.

ESOP-1998-RossS #alias #dependence #pointer

Building a Bridge between Pointer Aliases and Program Dependences (JLR, SS), pp. 221–235.

PASTE-1998-DorRS #analysis #detection #experience #fault #memory management #pointer

Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience) (ND, MR, SS), pp. 27–34.

PASTE-1998-ZhangRL #alias #analysis #pointer

Experiments with Combined Analysis for Pointer Aliasing (SZ, BGR, WL), pp. 11–18.

PLDI-1998-HastiH #analysis #pointer #using

Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis (RH, SH), pp. 97–105.

SAS-1998-HindP #alias #analysis #pointer

Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses (MH, AP), pp. 57–81.

STOC-1998-BuchsbaumKRW #algorithm #linear #verification

Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators (ALB, HK, AR, JW), pp. 279–288.

ICPR-1998-HungYCHF #pointer

Free-hand pointer by use of an active stereo vision system (YPH, YSY, YSC, IBH, CSF), pp. 1244–1246.

POPL-1998-GhiyaH #analysis #pointer

Putting Pointer Analysis to Work (RG, LJH), pp. 121–133.

FSE-1998-AtkinsonG #effectiveness #pointer #program analysis

Effective Whole-Program Analysis in the Presence of Pointers (DCA, WGG), pp. 46–55.

CC-1998-LapkowskiH #multi #pointer

Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers (CL, LJH), pp. 128–143.

ASE-1997-GannodC #approach #automation #pointer #reverse engineering #source code

A Formal Automated Approach for Reverse Engineering Programs with Pointers (GCG, BHCC), pp. 219–226.

PLDI-1997-JensenJKS #automation #higher-order #logic #monad #pointer #source code #using #verification

Automatic Verification of Pointer Programs using Monadic Second-Order Logic (JLJ, MEJ, NK, MIS), pp. 226–236.

SAS-1997-ShapiroH #analysis #pointer #precise

The Effects of the Precision of Pointer Analysis (MS, SH), pp. 16–34.

STOC-1997-NisanB #concurrent #pointer

Pointer Jumping Requires Concurrent Read (NN, ZBY), pp. 549–558.

HCI-SEC-1997-MatsushitaMA #interactive #pointer

Lock-On Pointer: A Foundation for Human-Object Interaction (NM, MM, YA), pp. 193–196.

ICSE-1997-TonellaAFM #analysis #c++ #morphism #pointer #polymorphism #slicing

Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing (PT, GA, RF, EM), pp. 433–443.

PPoPP-1997-ZhangC #communication #optimisation #parallel #pointer

Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations (XZ, AAC), pp. 37–47.

ESOP-1996-FradetCM #algorithm #axiom #detection #fault #pointer #static analysis

Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm (PF, RC, DLM), pp. 125–140.

ICFP-1996-WiseW #clustering #pointer #thread

Static and Dynamic Partitioning of Pointers as Links and Threads (DSW, JW), pp. 42–49.

ECOOP-1996-Minsky #alias #pointer #towards

Towards Alias-Free Pointers (NHM), pp. 189–209.

POPL-1996-GhiyaH #analysis #c #graph #pointer

Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C (RG, LJH), pp. 1–15.

FSE-1996-ZhangRL #alias #analysis #composition #pointer #towards

Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses (SZ, BGR, WL), pp. 81–92.

ISSTA-1996-MarxF #approach #data flow #pointer #testing

The Path-Wise Approach to Data Flow Testing with Pointer Variables (DISM, PGF), pp. 135–146.

PEPM-1995-Deutsch #abstract interpretation #data type #induction #modelling #pointer #semantics

Semantic models and abstract interpretation techniques for inductive data structures and pointers (AD), pp. 226–229.

PLDI-1995-WilsonL #analysis #c #performance #pointer #source code

Efficient Context-Sensitive Pointer Analysis for C Programs (RPW, MSL), p. 1–?.

PLDI-1994-AustinBS #array #detection #fault #performance #pointer

Efficient Detection of All Pointer and Array Access Errors (TMA, SEB, GSS), pp. 290–301.

PLDI-1994-Deutsch #alias #analysis #interprocedural #pointer

Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting (AD), pp. 230–241.

PLDI-1994-EmamiGH #analysis #interprocedural #pointer #points-to

Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers (ME, RG, LJH), pp. 242–256.

PLDI-1994-HummelHN #data flow #data type #dependence #pointer

A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.

PEPM-1993-Andersen #analysis #c #pointer

Binding-Time Analysis and the Taming of C Pointers (LOA), pp. 47–58.

PLDI-1993-LandiRZ #alias #analysis #interprocedural #pointer

Interprocedural Side Effect Analysis With Pointer Aliasing (WL, BGR, SZ), pp. 56–67.

POPL-1993-ChoiBC #alias #interprocedural #performance #pointer

Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects (JDC, MGB, PRC), pp. 232–245.

VLDB-1992-WhiteD #performance #pointer

A Performance Study of Alternative Object Faulting and Pointer Swizzling Strategies (SJW, DJD), pp. 419–431.

PLDI-1992-HendrenHN #abstraction #analysis #data type #imperative #pointer #recursion #source code

Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs (LJH, JH, AN), pp. 249–260.

PLDI-1992-LandiR #algorithm #alias #approximate #interprocedural #pointer

A Safe Approximate Algorithm for Interprocedural Pointer Aliasing (WL, BGR), pp. 235–248.

Best-of-PLDI-1992-LandiR92a #algorithm #alias #approximate #interprocedural #pointer

A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) (WL, BGR), pp. 473–489.

ICALP-1992-ChazelleR #bound #complexity #pointer

Lower Bounds on the Complexity of Simplex Range Reporting on a Pointer Machine (BC, BR), pp. 439–449.

POPL-1991-LandiR #alias #classification #pointer #problem

Pointer-Induced Aliasing: A Problem Classification (WL, BGR), pp. 93–103.

LICS-1991-HungZ #logic #pointer #semantics

Semantics of Pointers, Referencing and Dereferencing with Intensional Logic (HKH, JIZ), pp. 127–136.

TAV-1991-AgrawalDS #pointer #slicing

Dynamic Slicing in the Presence of Unconstrained Pointers (HA, RAD, EHS), pp. 60–73.

TAV-1991-OstrandW #analysis #data flow #pointer #test coverage #testing

Data Flow-Based Test Adequacy Analysis for Languages with Pointers (TJO, EJW), pp. 74–86.

SIGMOD-1990-ShekitaC #evaluation #performance #pointer

A Performance Evaluation of Pointer-Based Joins (EJS, MJC), pp. 300–311.

PLDI-1990-ChaseWZ #analysis #pointer

Analysis of Pointers and Structures (DRC, MNW, FKZ), pp. 296–310.

STOC-1990-Poutre #bound #pointer #problem

Lower Bounds for the Union-Find and the Split-Find Problem on Pointer Machines (JALP), pp. 34–44.

Best-of-PLDI-1990-ChaseWZ90a #analysis #pointer

Analysis of pointers and structures (with retrospective) (DRC, MNW, FKZ), pp. 343–359.

PLDI-1989-HorwitzPR #analysis #dependence #pointer

Dependence Analysis for Pointer Variables (SH, PP, TWR), pp. 28–40.

ICALP-1989-GambosiNT #data type

A Pointer-Free Data Structure for Merging Heaps and Min-Max Heaps (GG, EN, MT), pp. 405–422.

POPL-1981-CartwrightHM #named #pointer

Paths: An Abstract Alternative to Pointers (RC, RH, PM), pp. 14–27.

POPL-1980-Suzuki #analysis #pointer

Analysis of Pointer Rotation (NS), pp. 1–11.

POPL-1980-Weihl #analysis #data flow #interprocedural #pointer

Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables (WEW), pp. 83–94.

DIPL-1976-Earnest #pointer

A note on pointers (CPE), pp. 86–101.