Search results for "pointers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Igor B. Smirnov	Raw pointers in application classes of C++ considered harmful.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	dynamic storage, raw pointers, smart pointers, C++, C++, methodology
3	Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens	Test Input Generation for Programs with Pointers.	TACAS	2009	DBLP DOI BibTeX RDF	symbolic execution, pointers, Test input generation
3	Pascal Cuoq, Damien Doligez	Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.	ML	2008	DBLP DOI BibTeX RDF	hash-consing, maximal sharing, weak hashtables, weak pointers, weak references, garbage collection, ocaml
3	Koji Noguchi, Michael B. Dillencourt, Lubomir Bic	Efficient Global Pointers With Spontaneous Process Migration.	PDP	2008	DBLP DOI BibTeX RDF	Global Pointers, Process Migration
3	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
3	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
3	Zakarya Alzamil	Application of Computational Redundancy in Dangling Pointers Detection.	ICSEA	2006	DBLP DOI BibTeX RDF	redundant computation, debugging, memory leaks, dangling pointers
3	Arnaud Gotlieb, Tristan Denmat, Bernard Botella	Constraint-based test data generation in the presence of stack-directed pointers.	ASE	2005	DBLP DOI BibTeX RDF	constraint-based test data generation, stack-directed pointers, constraint satisfaction
3	Ana Milanova, Atanas Rountev, Barbara G. Ryder	Precise Call Graphs for C Programs with Function Pointers.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	function pointers, pointer analysis, call graph
3	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	incremental slicing, debugging, program comprehension, program slicing, Data dependences, pointers, data-flow testing
3	Brad A. Myers, Rishi Bhatnagar, Jeffrey Nichols, Choon Hong Peck, Dave Kong, Robert C. Miller, A. Chris Long	Interacting at a distance: measuring the performance of laser pointers and other devices.	CHI	2002	DBLP DOI BibTeX RDF	user studies, interaction techniques, input devices, handhelds, pebbles, laser pointers, remote interaction, palm pilots
3	Gerald C. Gannod, Betty H. C. Cheng	A Formal Automated Approach for Reverse Engineering Programs with Pointers. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers
3	Richard A. Eyre-Todd	The Detection of Dangling References in C++ Programs.	LOPLAS	1993	DBLP DOI BibTeX RDF	smart pointers, dangling pointers
3	Gerald M. Karam	Computational Improvements in Prolog Applications by Predicate Variable Pointers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	structure-oriented operations, Warren, computational improvements, Prolog applications, predicate variable pointers, clause-oriented operations, uninstantiated variables, built-in predicates, C-Prolog, symbol table dictionary, pseudo-Pascal compiler, computational complexity, data structures, data structures, PROLOG, logical implications, performance benefits
2	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
2	Amruth N. Kumar	Data space animation for learning the semantics of C++ pointers.	SIGCSE	2009	DBLP DOI BibTeX RDF	c++ pointer, data space, visualization, evaluation, animation, effectiveness, explanation, bugs, web-based tutor
2	Mark W. Storer, Kevin M. Greenan, Ethan L. Miller, Kaladhar Voruganti	POTSHARDS - a secure, recoverable, long-term archival storage system.	TOS	2009	DBLP DOI BibTeX RDF	approximate pointers, secret splitting, Archival storage
2	Ting-Yuan Yeh, Tzone I. Wang	A Ratio-Based Update Scheme for Mobile Agent Location Management.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	tracking phase, message delivery phase, update messages, forwarding pointers, mobile agent, location management, network latency
2	Manuel Arenaz, Pedro Amoedo, Juan Touriño	Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers.	Euro-Par	2008	DBLP DOI BibTeX RDF
2	Will Harwood, Ana Cavalcanti, Jim Woodcock	A Theory of Pointers for the UTP.	ICTAC	2008	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
2	Raine Mäkeläinen, Cristiano Di Flora, Tommi Mikkonen	Enhanced integration of Java to symbian OS using smart pointers.	JTRES	2008	DBLP DOI BibTeX RDF	Symbian OS, mobile Java integration, mobile devices programming, J2ME, Java native interface
2	Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh	Construction of concrete verification models from C++.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, C++, pointers, equivalence checking, dynamic memory allocation
2	Andriy Pavlovych, Wolfgang Stürzlinger	Effect of screen configuration and interaction devices in shared display groupware.	HCC	2008	DBLP DOI BibTeX RDF	interactive walls, cscw, tabletops, laser pointers
2	Suhabe Bugrara, Alex Aiken	Verifying the Safety of User Pointer Dereferences.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	user pointers, verification, static analysis, operating system security
2	Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide	Abstracting Pointers for a Verifying Compiler.	SEW	2007	DBLP DOI BibTeX RDF
2	Rachid Echahed, Nicolas Peltier	Non Strict Confluent Rewrite Systems for Data-Structures with Pointers.	RTA	2007	DBLP DOI BibTeX RDF
2	Luc Bläser	How can we liberate ourselves from pointers?	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	hierarchical composition, components, interfaces
2	Kris Venstermans, Lieven Eeckhout, Koen De Bosschere	Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines.	ECOOP	2007	DBLP DOI BibTeX RDF
2	Pramod Chandraiah, Rainer Dömer	Pointer re-coding for creating definitive MPSoC models.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	re-coding, MPSoC, pointers, system specification
2	Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide	Which pointer errors do students make?	SIGCSE	2007	DBLP DOI BibTeX RDF	data structures, C++, CS2, pointers, references, linked list
2	Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev	A specification-based approach to reasoning about pointers.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	heap memory management, pointer specification, reasoning
2	Rachid Echahed, Nicolas Peltier	Narrowing Data-Structures with Pointers.	ICGT	2006	DBLP DOI BibTeX RDF
2	Zhongqiang Wu, Yingzhou Zhang, Baowen Xu	Modular Monadic Slicing in the Presence of Pointers.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	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
2	Daniel Hedin, David Sands	Noninterference in the Presence of Non-Opaque Pointers.	CSFW	2006	DBLP DOI BibTeX RDF
2	Viorel Preoteasa	Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.	FM	2006	DBLP DOI BibTeX RDF
2	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
2	Ana Cavalcanti, Will Harwood, Jim Woodcock	Pointers and Records in the Unifying Theories of Programming.	UTP	2006	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
2	Noritaka Osawa	Aggregate pointers to support large group collaboration using telepointers.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	large group collaboration, aggregation, group awareness, telepointer
2	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
2	Dengping Zhu, Hongwei Xi	Safe Programming with Pointers Through Stateful Views.	PADL	2005	DBLP DOI BibTeX RDF
2	S. Apolloni, M. M. Savino, V. Scocca	An approach to define quality pointers for a quality management system in ISO9000 environment.	ETFA	2005	DBLP DOI BibTeX RDF
2	Maged M. Michael	Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF
2	Darren C. Atkinson	Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures.	APSEC	2004	DBLP DOI BibTeX RDF
2	Ge Zhu, Akhilesh Tyagi	Protection against Indirect Overflow Attacks on Pointers.	IWIA	2004	DBLP DOI BibTeX RDF
2	Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim	Experience with safe manual memory-management in cyclone.	ISMM	2004	DBLP DOI BibTeX RDF	unique pointers, memory management, regions, memory safety, cyclone
2	Achuth Sankar S. Nair, T. Mahalakshmi	Conceptualizing data structures: a pedagogic approach.	SIGCSE Bulletin	2004	DBLP DOI BibTeX RDF	visual representation for RAM, data structures, pointers, memory structure
2	Francisco Corbera, Rafael Asenjo, Emilio L. Zapata	A Framework to Capture Dynamic Data Structures in Pointer-Based Codes.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF	shape graphs, irregular codes, Shape analysis, optimizing compiler, pointers, recursive data structures
2	Christian F. Tschudin, Richard Gold	Network pointers.	Computer Communication Review	2003	DBLP DOI BibTeX RDF
2	Timothy J. Rolfe	Program optimization: enforcement of local access and array access via pointers.	SIGCSE Bulletin	2003	DBLP DOI BibTeX RDF
2	Eric Lecolinet	Multiple pointers: a study and an implementation.	IHM	2003	DBLP DOI BibTeX RDF	UDP/C notation, Ubit toolkit, bi-manual interaction, multiple pointers, multiple screen workspaces, single display groupware, synchronous groupware
2	Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa	Reasoning about Pointers in Refinement Calculus.	APSEC	2003	DBLP DOI BibTeX RDF
2	Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson	Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
2	V. Benjamin Livshits, Monica S. Lam	Tracking pointers with path and context sensitivity for bug detection in C programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws
2	Ana Milanova, Atanas Rountev, Barbara G. Ryder	Precise Call Graph Construction in the Presence of Function Pointers.	SCAM	2002	DBLP DOI BibTeX RDF
2	Changwoo Pyo, Gyungho Lee	Encoding Function Pointers and Memory Arrangement Checking against Buffer Overflow Attack.	ICICS	2002	DBLP DOI BibTeX RDF	program counter, function pointer encoding, memory arrangement checking, buffer overflow attack
2	Luc Moreau	A fault-tolerant directory service for mobile agents based on forwarding pointers.	SAC	2002	DBLP DOI BibTeX RDF	distributed directory service, fault tolerance, mobile agents
2	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	2002	DBLP DOI BibTeX RDF
2	Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew	On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs. (PDF / PS)	ISPAN	2002	DBLP DOI BibTeX RDF	points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation
2	Francisco Corbera, Rafael Asenjo, Emilio L. Zapata	Towards Compiler Optimization of Codes Based on Arrays of Pointers.	LCPC	2002	DBLP DOI BibTeX RDF
2	J. Ramanujam, Satish Krishnamurthy, Jinpyo Hong, Mahmut T. Kandemir	Address Code and Arithmetic Optimizations for Embedded Systems.	VLSI Design	2002	DBLP DOI BibTeX RDF	address arithmetic optimization, array access to scalar access conversion, embedded systems, compiler optimizations, pointers
2	Farn Wang, Karsten Schmidt 0004	Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.	FORTE	2002	DBLP DOI BibTeX RDF	data-structures, Symmetry, symbolic model-checking, pointers
2	Luc Séméria, Koichi Sato, Giovanni De Micheli	Synthesis of hardware models in C with pointers and complex data structures.	IEEE Trans. VLSI Syst.	2001	DBLP DOI BibTeX RDF
2	Amruth N. Kumar	Learning the interaction between pointers and scope in C++.	ITiCSE	2001	DBLP DOI BibTeX RDF
2	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Effects of Pointers on Data Dependences. (PDF / PS)	IWPC	2001	DBLP DOI BibTeX RDF
2	Artour Stoutchinin, José Nelson Amaral, Guang R. Gao, James C. Dehnert, Suneel Jain, Alban Douillet	Speculative Prefetching of Induction Pointers.	CC	2001	DBLP DOI BibTeX RDF
2	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	PLDI	2000	DBLP DOI BibTeX RDF
2	Luc Séméria, Koichi Sato, Giovanni De Micheli	Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C.	DATE	2000	DBLP DOI BibTeX RDF
2	Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth	Checkmate: cornering C++ dynamic memory errors with checked pointers.	SIGCSE	2000	DBLP DOI BibTeX RDF	C++
2	Cheol Ho Park, Jong Hyuk Choi, Kyu Ho Park, Daeyeon Park	An Adaptive Limited Pointers Directory Scheme for Cache Coherence of Scalable Multiprocessors.	Euro-Par	1999	DBLP DOI BibTeX RDF
2	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
2	Donglin Liang, Mary Jean Harrold	Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion. (PDF / PS)	ICSM	1999	DBLP DOI BibTeX RDF
2	C. A. R. Hoare, Jifeng He	A Trace Model for Pointers and Objects.	ECOOP	1999	DBLP DOI BibTeX RDF
2	Ben-Chung Cheng, Wen-mei W. Hwu	An Empirical Study of Function Pointers Using SPEC Benchmarks.	LCPC	1999	DBLP DOI BibTeX RDF
2	Giuliano Antoniol, F. Calzolari, Paolo Tonella	Impact of Function Pointers on the Call Graph.	CSMR	1999	DBLP DOI BibTeX RDF
2	Christopher Lapkowski, Laurie J. Hendren	Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers.	CC	1998	DBLP DOI BibTeX RDF
2	Darren C. Atkinson, William G. Griswold	Effective Whole-Program Analysis in the Presence of Pointers.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	C
2	Wolfram Amme, Eberhard Zehendner	Experiences in Analyzing Data Dependences for Programs with Pointers and Structures.	Euro-Par	1997	DBLP DOI BibTeX RDF
2	David Cronk, Matthew Haines, Piyush Mehrotra	Thread Migration in the Presence of Pointers.	HICSS	1997	DBLP DOI BibTeX RDF
2	Shik Kim, Muyong Hyun, Sangjo Lee	Transparent Treatment of Remote Pointers Using IPC Primitive in RPC Systems.	CANPC	1997	DBLP DOI BibTeX RDF
2	Wolfram Amme, Eberhard Zehendner	Efficient Calculation of Data Dependences in Programs with Pointers and Structures.	EUROMICRO	1997	DBLP DOI BibTeX RDF
2	Kouhei Yamamoto, Shigekazu Inohara, Hajime Miyazawa, Keitaro Uehara, Masahiro Hara, Takashi Masuda	Distributed Persistent Object System with Uniform Representation of Pointers and Its Garbage Collection. (PDF / PS)	HICSS	1996	DBLP DOI BibTeX RDF
2	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
2	Naftaly H. Minsky	Towards Alias-Free Pointers.	ECOOP	1996	DBLP DOI BibTeX RDF	pointer-induced aliasing, hiding, programming with threads, storage management, encapsulation
2	Christopher Lapkowski, Laurie J. Hendren	Extended SSA numbering: introducing SSA properties to languages with multi-level pointers.	CASCON	1996	DBLP DOI BibTeX RDF
2	Masayoshi Aritsugi, Keiichi Teramoto, Guangyi Bai, Akifumi Makinouchi	Several Implementations of Persistent Pointers in a Memory-Mapped I/O Environment	DEXA	1995	DBLP DOI BibTeX RDF
2	M. Esen Tuna, Kamlesh Rath, Steven D. Johnson	Specification and synthesis of bounded indirection.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
2	Hemant D. Pande, William Landi, Barbara G. Ryder	Interprocedural Def-Use Associations for C Systems with Single Level Pointers.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
2	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
2	Alain Deutsch	Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting.	PLDI	1994	DBLP DOI BibTeX RDF
2	Ing-Ray Chen, Sayed Atef Banawan	Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	concurrent maintenance policies, state reduction method, two-dimensional Markov model, one-dimensional Markov model, concurrent data structure maintenance policies, service time per operation, priority allocation functions, binary tree data structure, 1D Markov model, 2D Markov model, performance evaluation, performance analysis, data structures, software maintenance, Markov processes, tree data structures, pointers, closed form expression
2	Alexandre V. Zamulin	Algebraic Modelling of Imperative Languages with Pointers.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
2	Lars Ole Andersen	Binding-Time Analysis and the Taming of C Pointers.	PEPM	1993	DBLP DOI BibTeX RDF	C
2	Ben Lee, Ali R. Hurson, Behrooz Shirazi	A Hybrid Scheme for Processing Data Structures in a Dataflow Environment.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	dataflow environment, maximum inherent parallelism, constant time access, processing overhead, data structures, data structures, asynchronous, storage, pointers, parallelprogramming
2	J. Eliot B. Moss	Working with Persistent Objects: To Swizzle or Not to Swizzle.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	pointer swizzling, database objects, object identifiers, direct memory pointers, database programming language implementations, memory resident data, Mneme persistent object store, software engineering, data structures, data structures, object-oriented databases, object-oriented databases, manipulation, persistent objects, quantitative data, persistent object stores
2	Pierre David	Semantic Analysis for Parallelizing C.	CONPAR	1992	DBLP DOI BibTeX RDF	compilation, types, automatic parallelization, pointers, C language, side effects
2	Bogdan Korel	Automated Software Test Data Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
2	Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson	CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors
2	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
2	Domenick J. Pinto	Data structures: pointers vs. arrays.when, where and why.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF