Search results for "pointers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Luc Bläser	How can we liberate ourselves from pointers?	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	hierarchical composition, components, interfaces
25	Rachid Echahed, Nicolas Peltier	Non Strict Confluent Rewrite Systems for Data-Structures with Pointers.	RTA	2007	DBLP DOI BibTeX RDF
25	Viorel Preoteasa	Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.	FM	2006	DBLP DOI BibTeX RDF
25	Teck Bok Tok, Samuel Z. Guyer, Calvin Lin	Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.	CC	2006	DBLP DOI BibTeX RDF
25	Christopher D. Hundhausen, Jonathan Lee Brown, Sean Farley	Adding procedures and pointers to the ALVIS algorithm visualization software: a preliminary design.	SOFTVIS	2006	DBLP DOI BibTeX RDF	studio-based algorithms course, algorithm visualization
25	Zhongqiang Wu, Yingzhou Zhang, Baowen Xu	Modular Monadic Slicing in the Presence of Pointers.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
25	Rachid Echahed, Nicolas Peltier	Narrowing Data-Structures with Pointers.	ICGT	2006	DBLP DOI BibTeX RDF
25	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	static race detection, parallelization, Symbolic analysis
25	Ge Zhu, Akhilesh Tyagi	Protection against Indirect Overflow Attacks on Pointers.	IWIA	2004	DBLP DOI BibTeX RDF
25	Christian F. Tschudin, Richard Gold	Network pointers.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
25	Timothy J. Rolfe	Program optimization: enforcement of local access and array access via pointers.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF
25	Ki-Sik Kong, Joon-Min Gil, Youn-Hee Han, Ui-Sung Song, Chong-Sun Hwang	A New Location Caching Scheme Employing Forwarding Pointers in PCS Networks.	ICOIN (2)	2002	DBLP DOI BibTeX RDF
25	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Effects of Pointers on Data Dependences.	IWPC	2001	DBLP DOI BibTeX RDF
25	Amruth N. Kumar	Learning the interaction between pointers and scope in C++.	ITiCSE	2001	DBLP DOI BibTeX RDF
25	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	PLDI	2000	DBLP DOI BibTeX RDF
25	Donglin Liang, Mary Jean Harrold	Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers.	PASTE	1999	DBLP DOI BibTeX RDF	data-flow analysis, alias analysis
25	Ben-Chung Cheng, Wen-mei W. Hwu	An Empirical Study of Function Pointers Using SPEC Benchmarks.	LCPC	1999	DBLP DOI BibTeX RDF
25	Donglin Liang, Mary Jean Harrold	Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion.	ICSM	1999	DBLP DOI BibTeX RDF
25	Christopher Lapkowski, Laurie J. Hendren	Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers.	CC	1998	DBLP DOI BibTeX RDF
25	Wolfram Amme, Eberhard Zehendner	Experiences in Analyzing Data Dependences for Programs with Pointers and Structures.	Euro-Par	1997	DBLP DOI BibTeX RDF
25	Wolfram Amme, Eberhard Zehendner	Efficient Calculation of Data Dependences in Programs with Pointers and Structures.	EUROMICRO	1997	DBLP DOI BibTeX RDF
25	David S. Wise, Joshua Walgenbach	Static and Dynamic Partitioning of Pointers as Links and Threads.	ICFP	1996	DBLP DOI BibTeX RDF	tags, garbage collection, storage management, reference counting
25	Christopher Lapkowski, Laurie J. Hendren	Extended SSA numbering: introducing SSA properties to languages with multi-level pointers.	CASCON	1996	DBLP BibTeX RDF
25	Maryam Emami, Rakesh Ghiya, Laurie J. Hendren	Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers.	PLDI	1994	DBLP DOI BibTeX RDF	C
25	Domenick J. Pinto	Data structures: pointers vs. arrays.when, where and why.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
25	Eric G. Wagner	All recursive types defined using products and sums can be implemented using pointers.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
23	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
23	Lakshmi N. Bairavasundaram, Meenali Rungta, Nitin Agrawal 0001, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift	Analyzing the effects of disk-pointer corruption.	DSN	2008	DBLP DOI BibTeX RDF
23	Xi Wang 0005, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang 0001	Conditional correlation analysis for safe region-based memory management.	PLDI	2008	DBLP DOI BibTeX RDF	conditional correlation, program analysis, memory management, error detection, region
23	Jeff Da Silva, J. Gregory Steffan	A probabilistic pointer analysis for speculative optimizations.	ASPLOS	2006	DBLP DOI BibTeX RDF	speculative optimization, dependence analysis, pointer analysis
23	Takahiro Shinagawa	SegmentShield: Exploiting Segmentation Hardware for Protecting against Buffer Overflow Attacks.	SRDS	2006	DBLP DOI BibTeX RDF
23	Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers	Program Slicing with Dynamic Points-To Sets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Dynamic analysis, program slicing, points-to analysis
23	Suan Hsi Yong, Susan Horwitz	Pointer-Range Analysis.	SAS	2004	DBLP DOI BibTeX RDF
23	JinHo Ahn	Decentralized Inter-agent Message Forwarding Protocols for Mobile Agent Systems.	ICCSA (3)	2004	DBLP DOI BibTeX RDF	Large-scale service oriented computing, forwarding pointer, mobile agent, directory service, message delivery
23	Rolf Hoffmann, Klaus-Peter Völkmann, Wolfgang Heenes	GCA: A Massively Parallel Model.	IPDPS	2003	DBLP DOI BibTeX RDF
23	Micah Adler, Eran Halperin, Richard M. Karp, Vijay V. Vazirani	A stochastic process on the hypercube with applications to peer-to-peer networks.	STOC	2003	DBLP DOI BibTeX RDF	coupon collector, peer to peer, load balancing, hypercube, hash table
23	Hans-Juergen Boehm	Bounding space usage of conservative garbage collectors.	POPL	2002	DBLP DOI BibTeX RDF
23	Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers	Improving program slicing with dynamic points-to data.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	dynamic analysis, program slicing, points-to analysis
23	Rolf Hoffmann, Klaus-Peter Völkmann, Stefan Waldschmidt, Wolfgang Heenes	GCA: Global Cellular Automata. A Flexible Parallel Model.	PaCT	2001	DBLP DOI BibTeX RDF
23	Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss	Age-Based Garbage Collection.	OOPSLA	1999	DBLP DOI BibTeX RDF	generational and copy collection, garbage collection, write barrier, object behavior
23	Xingbin Zhang, Andrew A. Chien	Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations.	PPoPP	1997	DBLP DOI BibTeX RDF
23	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
23	Joseph Hummel, Laurie J. Hendren, Alexandru Nicolau	A General Data Dependence Test for Dynamic, Pointer-Based Data Structures.	PLDI	1994	DBLP DOI BibTeX RDF
23	Nicholas P. Carter, Stephen W. Keckler, William J. Dally	Hardware Support for Fast Capability-based Addressing.	ASPLOS	1994	DBLP DOI BibTeX RDF
23	David J. Lilja, Pen-Chung Yew	Improving Memory Utilization in Cache Coherence Directories.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	memory utilization, cache coherence directories, large-scale shared memorymultiprocessors, software-directed schemes, compile-time memory disambiguation, dynamically tagged directory, high-level sharing information, configurationmanagement, discrete event simulation, compiler optimizations, program compilers, shared memory systems, trace-driven simulations, buffer storage, storage allocation, interprocedural analysis
23	Wilbur D. Hagamen, Paul C. Berry, Kenneth E. Iverson, Jay C. Weber	Processing Natural Language Syntactic and Semantic Mechanisms.	APL	1989	DBLP DOI BibTeX RDF
18	James Coole, John Robert Wernsing, Greg Stitt	A Traversal Cache Framework for FPGA Acceleration of Pointer Data Structures: A Case Study on Barnes-Hut N-body Simulation.	ReConFig	2009	DBLP DOI BibTeX RDF	traversal cache, FPGA, speedup, pointers
18	María-del-Mar Gallardo, Pedro Merino 0001, David Sanán	Model Checking C Programs with Dynamic Memory Allocation.	COMPSAC	2008	DBLP DOI BibTeX RDF	software model checking, pointers, dynamic memory, Model extraction
18	Greg Stitt, Gaurav Chaudhari, James Coole	Traversal caches: a first step towards FPGA acceleration of pointer-based data structures.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	traversal cache, fpga, synthesis, hardware/software partitioning, pointers, cad
18	David Hovemeyer, William W. Pugh	Finding more null pointer bugs, but not too many.	PASTE	2007	DBLP DOI BibTeX RDF	null pointers, Java, static analysis, software quality, bugs, FindBugs, bug patterns
18	Buntarou Shizuki, Takaomi Hisamatsu, Shin Takahashi, Jiro Tanaka	Laser pointer interaction techniques using peripheral areas of screens.	AVI	2006	DBLP DOI BibTeX RDF	computer-based presentation, goal crossing, interaction techniques, pointing, laser pointers
18	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	A logical analysis of aliasing in imperative higher-order functions.	ICFP	2005	DBLP DOI BibTeX RDF	functional programming, typing, aliasing, hoare-logics, ?-calculus, pointers, modalities
18	Anish Muttreja, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha	Hybrid simulation for embedded software energy estimation.	DAC	2005	DBLP DOI BibTeX RDF	energy macromodels, embedded software, pointers analysis, energy estimation, hybrid simulation
18	Brad A. Myers, Robert G. Malkin, Michael Bett, Alex Waibel, Ben Bostwick, Robert C. Miller, Jie Yang 0001, Matthias Denecke, Edgar Seemann, Jie Zhu, Choon Hong Peck, Dave Kong, Jeffrey Nichols 0001, William L. Scherlis	Flexi-Modal and Multi-Machine User Interfaces.	ICMI	2002	DBLP DOI BibTeX RDF	speech recognition, personal digital assistants (PDAs), gesture recognition, handwriting recognition, computer supported collaborative work (CSCW), handhelds, Multi-modal interfaces, gaze tracking, laser pointers
18	Owen L. Astrachan	Concrete teaching: hooks and props as instructional technology.	ITiCSE	1998	DBLP DOI BibTeX RDF	active teaching, Java, C++, active learning, pointers, introductory computer science
18	Mary Jean Harrold, Gregg Rothermel	Separate Computation of Alias Information for Reuse.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	separate analysis, static analysis, reuse, data flow analysis, Aliasing, pointers
18	Michael J. Corinthios	Optimal Parallel and Pipelined Processing Through a New Class of Matrices with Application to Generalized Spectral Analysis.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	general-base matrices, sampling matrices, Poles, algorithm parameters, parallel pipelined processors, memory topology, access uniformity, shuffle complexity, algorithm factorizations, generalized perfect shuffle, Chrestenson generalized Walsh transform, generalized spectral analysis, parallel processing, parallel architectures, computer architecture, pipeline processing, pipelined processing, matrix algebra, pointers, pipelined architecture, zeros, matrices, spans, matrix theory
18	Frank S. de Boer	A Proof System for the Language POOL.	REX Workshop	1990	DBLP DOI BibTeX RDF	partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation
18	Ian J. Davis	Local Correction of Helix(k) Lists.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	helix(k) lists, robust multiply linked list, local correction, damaged, algorithm, data structures, errors, failure, node, pointers, disconnected, list processing
18	Michael L. Fredman, Deborah L. Goldsmith	Three Stacks	FOCS	1988	DBLP DOI BibTeX RDF	lower complexity bounds, upper complexity bounds, three stacks, additional time, additional space, memory, collisions, storage allocation, pointers, linked lists, relocating
18	Bengt Nordstrüm	Assignments and high level data types.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Adress, Mathematical semantics, Assignment, Data types, Pointers
17	Ahmed El-Deeb	What Does the World's Biggest Tech Event Tell Us? Key Pointers from CES 2024.	ACM SIGSOFT Softw. Eng. Notes	2024	DBLP DOI BibTeX RDF
17	Sumit Walia, Cheng Ye, Arkid Bera, Dhruvi Lodhavia, Yatish Turakhia	TALCO: Tiling Genome Sequence Alignment Using Convergence of Traceback Pointers.	HPCA	2024	DBLP DOI BibTeX RDF
17	Brian Wheatman, Randal C. Burns, Aydin Buluç, Helen Xu 0001	CPMA: An Efficient Batch-Parallel Compressed Set Without Pointers.	PPoPP	2024	DBLP DOI BibTeX RDF
17	Guy E. Blelloch, Yuanhao Wei	VERLIB: Concurrent Versioned Pointers.	PPoPP	2024	DBLP DOI BibTeX RDF
17	Jie Zhou 0022, John Criswell, Michael Hicks 0001	Fat Pointers for Temporal Memory Safety of C.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
17	Dongwei Chen, Dong Tong 0001, Chun Yang, Jiangfang Yi, Xu Cheng 0001	FlexPointer: Fast Address Translation Based on Range TLB and Tagged Pointers.	ACM Trans. Archit. Code Optim.	2023	DBLP DOI BibTeX RDF
17	Lendy Mulot, Thomas Howard, Claudio Pacchierotti, Maud Marchal	Improving the Perception of Mid-air Tactile Shapes with Spatio-temporally-modulated Tactile Pointers.	ACM Trans. Appl. Percept.	2023	DBLP DOI BibTeX RDF
17	Chao Lou, Kewei Tu	AMR Parsing with Causal Hierarchical Attention and Pointers.	CoRR	2023	DBLP DOI BibTeX RDF
17	Brian Wheatman, Randal C. Burns, Aydin Buluç, Helen Xu 0001	CPMA: An Efficient Batch-Parallel Compressed Set Without Pointers.	CoRR	2023	DBLP DOI BibTeX RDF
17	Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson 0001	Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objects.	CoRR	2023	DBLP DOI BibTeX RDF
17	Ethan L. Miller, George V. Neville-Neil, Achilles Benetopoulos, Pankaj Mehra, Daniel Bittman	Pointers in Far Memory.	Commun. ACM	2023	DBLP DOI BibTeX RDF
17	Ethan L. Miller, Achilles Benetopoulos, George V. Neville-Neil, Pankaj Mehra, Daniel Bittman	Pointers in Far Memory: A rethink of how data and computations should be organized.	ACM Queue	2023	DBLP DOI BibTeX RDF
17	Michael A. Bender, Alex Conway, Martin Farach-Colton, William Kuszmaul, Guido Tagliavini	Tiny Pointers.	SODA	2023	DBLP DOI BibTeX RDF
17	Daniel Anderson, Guy E. Blelloch, Yuanhao Wei	Smarter Atomic Smart Pointers: Safe and Efficient Concurrent Memory Management (Abstract).	HOPC@SPAA	2023	DBLP DOI BibTeX RDF
17	Xun An, Qihang Zhou, Haichao Du, Zhenyu Song, Xiaoqi Jia	Refining Use-After-Free Defense: Eliminating Dangling Pointers in Registers and Memory.	APSEC	2023	DBLP DOI BibTeX RDF
17	Robert J. Colvin	A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models.	FM	2023	DBLP DOI BibTeX RDF
17	Jinxiong Xia, Houfeng Wang	A Sequence-to-Sequence Approach with Mixed Pointers to Topic Segmentation and Segment Labeling.	KDD	2023	DBLP DOI BibTeX RDF
17	Yang Chen, Jianfeng Jiang, Shoumeng Yan, Hui Xu	Mind Your Enclave Pointers! Detecting Privacy Leaks for SGX Apps via Sparse Taint Analysis.	ISSRE	2023	DBLP DOI BibTeX RDF
17	Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee	TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers.	OSDI	2023	DBLP BibTeX RDF
17	Chao Lou, Kewei Tu	AMR Parsing with Causal Hierarchical Attention and Pointers.	EMNLP	2023	DBLP DOI BibTeX RDF
17	Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang	Applying Hazard Pointers to More Concurrent Data Structures.	SPAA	2023	DBLP DOI BibTeX RDF
17	Lanfranco Lopriore	Cryptographic pointers for fine-grained file access security.	Inf. Secur. J. A Glob. Perspect.	2022	DBLP DOI BibTeX RDF
17	Mohannad Ismail, Andrew Quach, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min	Tightly Seal Your Sensitive Pointers with PACTight.	CoRR	2022	DBLP DOI BibTeX RDF
17	Rasheed Abid, S. Kaisar Alam	Improving Segmentation of Breast Ultrasound Images: Semi Automatic Two Pointers Histogram Splitting Technique.	CoRR	2022	DBLP DOI BibTeX RDF
17	Jie Zhou 0022, John Criswell, Michael Hicks 0001	Fat Pointers for Temporal Memory Safety of C.	CoRR	2022	DBLP DOI BibTeX RDF
17	Yong-Gang Li, Yeh-Ching Chung, Yu Bao, Yi Lu, Shanqing Guo, Guoyuan Lin	KPointer: Keep the code pointers on the stack point to the right code.	Comput. Secur.	2022	DBLP DOI BibTeX RDF
17	Dongwei Chen, Dong Tong 0001, Chun Yang, Jiangfang Yi, Xu Cheng 0001	FlexPointer: Fast Address Translation Based on Range TLB and Tagged Pointers.	PACT	2022	DBLP DOI BibTeX RDF
17	Pierre Misse-Chanabier, Théo Rogliano	Ease Virtual Machine Level Tooling with Language Level Ordinary Object Pointers.	VMIL@SPLASH	2022	DBLP DOI BibTeX RDF
17	Vini Kanvar, Srikanth Tamilselvam, Raghavan Komondoor	Handling Memory Pointers in Communication between Microservices.	ICWS	2022	DBLP DOI BibTeX RDF
17	Mohannad Ismail, Andrew Quach, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min	Tightly Seal Your Sensitive Pointers with PACTight.	USENIX Security Symposium	2022	DBLP BibTeX RDF
17	Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang 0001	FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers.	ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
17	Che-Jui Chang, Shyh-Kang Jeng	Acoustic Anomaly Detection Using Multilayer Neural Networks and Semantic Pointers.	J. Inf. Sci. Eng.	2021	DBLP BibTeX RDF
17	Lluís Gómez, Ali Furkan Biten, Rubèn Pérez Tito, Andrés Mafla, Marçal Rusiñol, Ernest Valveny, Dimosthenis Karatzas	Multimodal grid features and cell pointers for scene text visual question answering.	Pattern Recognit. Lett.	2021	DBLP DOI BibTeX RDF
17	Aaron R. Voelker, Peter Blouw, Xuan Choo, Nicole Sandra-Yaffa Dumont, Terrence C. Stewart, Chris Eliasmith	Simulating and Predicting Dynamical Systems With Spatial Semantic Pointers.	Neural Comput.	2021	DBLP DOI BibTeX RDF
17	Daniil O. Kuts	Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution.	CoRR	2021	DBLP BibTeX RDF
17	Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader 0001, Joshua Sunshine	Gradual Program Analysis for Null Pointers.	CoRR	2021	DBLP BibTeX RDF
17	Michael A. Bender, Alex Conway, Martin Farach-Colton, William Kuszmaul, Guido Tagliavini	Tiny Pointers.	CoRR	2021	DBLP BibTeX RDF
17	Costin Iordache, Stephen M. Fendyke, Mike J. Jones, Robert A. Buckley	Smart Pointers and Shared Memory Synchronisation for Efficient Inter-process Communication in ROS on an Autonomous Vehicle.	CoRR	2021	DBLP BibTeX RDF
17	Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey	Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper).	CAV (1)	2021	DBLP DOI BibTeX RDF