Search results for "pointers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Byron Cook, Daniel Kroening, Natasha Sharygina	Accurate Theorem Proving for Program Verification.	ISoLA	2004	DBLP DOI BibTeX RDF
15	Bernhard Wess, Thomas Zeitlhofer	On the Phase Coupling Problem Between Data Memory Layout Generation and Address Pointer Assignment.	SCOPES	2004	DBLP DOI BibTeX RDF
15	Edya Ladan-Mozes, Nir Shavit	An Optimistic Approach to Lock-Free FIFO Queues.	DISC	2004	DBLP DOI BibTeX RDF
15	Atul Singh, Miguel Castro 0001, Peter Druschel, Antony I. T. Rowstron	Defending against eclipse attacks on overlay networks.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
15	Po-Jen Chuang, Shien-Da Chang, Tun-Hao Chao	An Enhanced Caching Strategy for Location Tracking in PCS Networks.	EUC	2004	DBLP DOI BibTeX RDF
15	Changwoo Pyo, Byungchul Bae, Taejin Kim, Gyungho Lee	Run-time Detection of Buffer Overflow Attacks without Explicit Sensor Data Objects.	ITCC (1)	2004	DBLP DOI BibTeX RDF
15	Radu Rugina, Martin C. Rinard	Pointer analysis for structured parallel programs.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Pointer analysis
15	Uday S. Reddy, Hongseok Yang	Correctness of Data Representations Involving Heap Data Structures.	ESOP	2003	DBLP DOI BibTeX RDF
15	Masamichi Takagi, Kei Hiraki	Compression in Data Caches with Compressible Field Isolation for Recursive Data Structures.	Euro-Par	2003	DBLP DOI BibTeX RDF
15	Voicu Popescu, Elisha Sacks, Gleb Bahmutov	The ModelCamera: a Hand-Held Device for Interactive Modeling.	3DIM	2003	DBLP DOI BibTeX RDF
15	Suan Hsi Yong, Susan Horwitz	Protecting C programs from attacks via invalid pointer dereferences.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	security, static analysis, instrumentation, buffer overrun
15	Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi	Checking and inferring local non-aliasing.	PLDI	2003	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity
15	Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer	CCured in the real world.	PLDI	2003	DBLP DOI BibTeX RDF	compatibility with library code, run-time type information, C, type safety, memory safety
15	John Field, Deepak Goyal, G. Ramalingam, Eran Yahav	Typestate Verification: Abstraction Techniques and Complexity Results.	SAS	2003	DBLP DOI BibTeX RDF
15	Souradyuti Paul, Bart Preneel	Analysis of Non-fortuitous Predictive States of the RC4 Keystream Generator.	INDOCRYPT	2003	DBLP DOI BibTeX RDF
15	Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa	Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report.	ISSS	2002	DBLP DOI BibTeX RDF
15	Panagiotis D. Michailidis, Konstantinos G. Margaritis	A Performance Study of Load Balancing Strategies for Approximate String Matching on an MPI Heterogeneous System Environment.	PVM/MPI	2002	DBLP DOI BibTeX RDF
15	Riccardo Pucella	Towards a formalization for COM part i: the primitive calculus.	OOPSLA	2002	DBLP DOI BibTeX RDF	components, interfaces, type system, formalism, calculus, COM
15	Tong Chen 0010, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew	An Empirical Study on the Granularity of Pointer Analysis in C Programs.	LCPC	2002	DBLP DOI BibTeX RDF
15	Brad A. Myers, Choon Hong Peck, Jeffrey Nichols 0001, Dave Kong, Robert C. Miller	Interacting at a Distance Using Semantic Snarfing.	UbiComp	2001	DBLP DOI BibTeX RDF
15	Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers	Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization.	PASTE	2001	DBLP DOI BibTeX RDF	calpa, dynamic analysis, program understanding, program optimization, points-to analysis, alias analysis, program instrumentation
15	Kihong Kim, Sang Kyun Cha, Keunjoo Kwon	Optimizing Multidimensional Index Trees for Main Memory Access.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
15	Martin Hirzel, Amer Diwan, Antony L. Hosking	On the Usefulness of Liveness for Garbage Collection and Leak Detection.	ECOOP	2001	DBLP DOI BibTeX RDF
15	David Tarditi	Compact Garbage Collection Tables.	ISMM	2000	DBLP DOI BibTeX RDF	Java
15	Giuliano Antoniol, Gerardo Casazza, Ettore Merlo	Identification of Lower-Level Artifacts.	IWPC	2000	DBLP DOI BibTeX RDF
15	Jun Rao, Kenneth A. Ross	Making B+-Trees Cache Conscious in Main Memory.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
15	Eng Huat Ng, Stu Wade, Claude Ghaoui	Web Page Reuse Techniques: A Dynamic Referential Navigational Guide.	EUROMICRO	2000	DBLP DOI BibTeX RDF
15	Roch H. Glitho, Bertrand E. Lenou, Samuel Pierre	Handling Subscription in a Mobile Agent-Based Service Environment for Internet Telephony: Swapping Agents.	MATA	2000	DBLP DOI BibTeX RDF
15	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
15	Jaakko Järvi	C++ Function Object Binders Made Easy.	GCSE	1999	DBLP DOI BibTeX RDF
15	Radu Rugina, Martin C. Rinard	Pointer Analysis for Multithreaded Programs.	PLDI	1999	DBLP DOI BibTeX RDF
15	Radu Rugina, Martin C. Rinard	Automatic Parallelization of Divide and Conquer Algorithms.	PPoPP	1999	DBLP DOI BibTeX RDF
15	Sébastien Lapierre, Ettore Merlo, Gilles Savard, Giuliano Antoniol, Roberto Fiutem, Paolo Tonella	Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees.	ICSM	1999	DBLP DOI BibTeX RDF	execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation
15	Bryan Black, Bohuslav Rychlik, John Paul Shen	The Block-Based Trace Cache.	ISCA	1999	DBLP DOI BibTeX RDF
15	Norbert Blum	On Parsing LL-Languages.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
15	Joseph Gil, Alon Itai	The Complexity of Type Analysis of Object Oriented Programs.	ECOOP	1998	DBLP DOI BibTeX RDF
15	Anissa Zergaïnoh, Pierre Duhamel, Jean Pierre Vidal	Efficient Implementation Methodology of Fast FIR Filtering Algorithms on DSP.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
15	Qiang Liu, Zhaoqing Zhang, Xiaomei Ji	Eliminating two kinds of data flow inaccuracy in the presence of pointer aliasing.	APDC	1997	DBLP DOI BibTeX RDF
15	Liuxi Yang, Josep Torrellas	Speeding up the Memory Hierarchy in Flat COMA Multiprocessors.	HPCA	1997	DBLP DOI BibTeX RDF	cache-only memory architectures, cache coherence protocols, cache hierarchies, scalable shared-memory multiprocessors
15	Manuel V. Hermenegildo	Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming.	Euro-Par	1997	DBLP DOI BibTeX RDF	Pointer Aliasing Analysis, Task Granularity Control, Abstract Interpretation, Automatic Parallelization, Speculation, Global Analysis, Irregular Computations
15	Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach	Automatic Verification of Pointer Programs using Monadic Second-Order Logic.	PLDI	1997	DBLP DOI BibTeX RDF	Pascal
15	Keith D. Cooper, John Lu	Register Promotion in C Programs.	PLDI	1997	DBLP DOI BibTeX RDF	C
15	Kenjiro Taura, Akinori Yonezawa	An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines.	PPoPP	1997	DBLP DOI BibTeX RDF	Concurrent C
15	Yunseok Rhee, Joonwon Lee	A Scalable Cache Coherent Architecture for Large-Scale Mesh-Connected Multiprocessors.	ISPAN	1997	DBLP DOI BibTeX RDF	mesh-interconnect, directory-based protocol, multiprocessor, wormhole routing, cache coherence, dimension ordered routing
15	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
15	Craig S. Freedman, Josef Burger, David J. DeWitt	SPIFFI-A Scalable Parallel File System for the Intel Paragon.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	scalability, file system, high performance, Parallel I/O, massively parallel processor
15	James A. Hendler	Intelligent Agents: Where AI Meets Information Technology.	IEEE Expert	1996	DBLP DOI BibTeX RDF
15	Pascal Fradet, Ronan Caugne, Daniel Le Métayer	Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.	ESOP	1996	DBLP DOI BibTeX RDF
15	Hans-Juergen Boehm	Simple Garbage-Collector-Safety.	PLDI	1996	DBLP DOI BibTeX RDF
15	Nils Klarlund, Michael I. Schwartzbach	Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract).	CAAP	1994	DBLP DOI BibTeX RDF
15	Nils Klarlund, Michael I. Schwartzbach	Graph Types.	POPL	1993	DBLP DOI BibTeX RDF
15	Hans-Juergen Boehm	Space efficient conservative garbage collection (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
15	Hans-Juergen Boehm	Space Efficient Conservative Garbage Collection.	PLDI	1993	DBLP DOI BibTeX RDF	C, SPARC, Cedar
15	William Landi, Barbara G. Ryder	A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)	Best of PLDI	1992	DBLP DOI BibTeX RDF
15	William Landi, Barbara G. Ryder	A Safe Approximate Algorithm for Interprocedural Pointer Aliasing.	PLDI	1992	DBLP DOI BibTeX RDF	C
15	Igor Durdanovic	A Fast Garbage Collection Algorithm for WAM-Based Prolog.	CSL	1990	DBLP DOI BibTeX RDF
15	Jiri Soukup	Organized C: A Unified Method of Handling Data in CAD Algorithms and Databases.	DAC	1990	DBLP DOI BibTeX RDF	C++
15	Anita L. Chow, Andres Rudmik	The Design of a Data Flow Analyzer.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
15	Juraj Steiner	Axiomatic Semantics of Indirect Addressing.	MFCS	1981	DBLP DOI BibTeX RDF
15	Norihisa Suzuki	Analysis of Pointer Rotation.	POPL	1980	DBLP DOI BibTeX RDF
15	Daniel G. Bobrow, Douglas W. Clark	Compact Encodings of List Structure.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
15	Lee A. Hollaar	Specialized Merge Processor Networks for Combined Sorted Lists.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	backend processors, binary tree networks, computer system architecture, full text retrieval systems, inverted file databases, nonnumeric processing, pipelined networks, sorted list merging
8	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
8	Fritz Henglein	Optimizing relational algebra operations using generic equivalence discriminators and lazy products.	PEPM	2010	DBLP DOI BibTeX RDF	cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy
8	Martin T. Vechev, Eran Yahav, Greta Yorsh	PHALANX: parallel checking of expressive heap assertions.	ISMM	2010	DBLP DOI BibTeX RDF	parallel garbage collector, virtual machine, ownership
8	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
8	Aquinas Hobor, Robert Dockins, Andrew W. Appel	A theory of indirection via approximation.	POPL	2010	DBLP DOI BibTeX RDF	indirection theory, step-indexed models
8	Christopher Foster, Liz Burd, Andrew Hatch	Exploring concepts collaboratively: considering how Wii interact.	AVI	2010	DBLP DOI BibTeX RDF
8	Katherine Isbister, Mary Flanagan, Chelsea Hash	Designing games for learning: insights from conversations with designers.	CHI	2010	DBLP DOI BibTeX RDF	appreciation system, games and education, games for learning, design patterns, game design, design practice
8	Chen Tian 0002, Min Feng 0001, Rajiv Gupta 0001	Supporting speculative parallelization in the presence of dynamic data structures.	PLDI	2010	DBLP DOI BibTeX RDF	multicore processors, speculative parallelization
8	Pierre Fraigniaud	Provenance for database transformations.	ICDT	2010	DBLP DOI BibTeX RDF
8	James A. Clause, Alessandro Orso	LEAKPOINT: pinpointing the causes of memory leaks.	ICSE (1)	2010	DBLP DOI BibTeX RDF	leak detection, dynamic tainting
8	Dan Gibson, David A. Wood 0001	Forwardflow: a scalable core for power-constrained CMPs.	ISCA	2010	DBLP DOI BibTeX RDF	scalable core, chip multiprocessor (cmp), power
8	Stuart E. Schechter, Gabriel H. Loh, Karin Strauss, Doug Burger	Use ECP, not ECC, for hard failures in resistive memories.	ISCA	2010	DBLP DOI BibTeX RDF	hard failures, resistive memories, memory, error correction, phase change memory
8	Ruirui C. Huang, Daniel Y. Deng, G. Edward Suh	Orthrus: efficient software integrity protection on multi-cores.	ASPLOS	2010	DBLP DOI BibTeX RDF	replication-aware architecture, software diversity and redundancy, software security, multi-core architecture, memory protection
8	Pentti Kanerva	Hyperdimensional Computing: An Introduction to Computing in Distributed Representation with High-Dimensional Random Vectors.	Cogn. Comput.	2009	DBLP DOI BibTeX RDF	Holographic reduced representation, Holistic record, Holistic mapping, Random indexing, Cognitive code, von Neumann architecture
8	Tao Ju	Fixing Geometric Errors on Polygonal Models: A Survey.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model repair, intersections, gaps, polygonal models, holes
8	Peter G. Neumann	Risks to the public.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF
8	Peter G. Neumann	Risks to the public.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF
8	Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	A low-level memory model and an accompanying reachability predicate.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
8	Leonora Bianchi, Marco Dorigo, Luca Maria Gambardella, Walter J. Gutjahr	A survey on metaheuristics for stochastic combinatorial optimization.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Optimization, Probability, Uncertainty, Approximations, Sampling, Noise, Metaheuristics, Stochasticity
8	Pranith D. Kumar, Anchal Nema, Rajeev Kumar	Hybrid analysis of executables to detect security vulnerabilities: security vulnerabilities.	ISEC	2009	DBLP DOI BibTeX RDF	hybrid analysis, instrumentation, slicing, security vulnerabilities, memory errors
8	Margarita Chli, Andrew J. Davison	Automatically and efficiently inferring the hierarchical structure of visual maps.	ICRA	2009	DBLP DOI BibTeX RDF
8	Emilio J. González-Galván, Ambrocio Loredo-Flores, Luis A. Raygoza, J. Jesus Palos, Steven B. Skaar	Precise and robust large-shape reproduction using uncalibrated vision.	ICRA	2009	DBLP DOI BibTeX RDF
8	Paolo Ferragina, Igor Nitto, Rossano Venturini	On the bit-complexity of Lempel-Ziv compression.	SODA	2009	DBLP DOI BibTeX RDF
8	Yinan Li, Bingsheng He, Qiong Luo 0001, Ke Yi 0001	Tree Indexing on Flash Disks.	ICDE	2009	DBLP DOI BibTeX RDF
8	Junko Ichino, Kazuhiro Takeuchi, Hitoshi Isahara	Improvement of Member's Concentration during Discussion.	HCI (8)	2009	DBLP DOI BibTeX RDF	face-to-face meeting support, concentration on discussion, awareness, single display groupware (SDG), pen-based
8	Dimitris Grammenos, Yannis Georgalis, Nikolaos Partarakis, Xenophon Zabulis, Thomas Sarmis, Sokratis Kartakis, Panagiotis Tourlakis, Antonis A. Argyros, Constantine Stephanidis	Rapid Prototyping of an AmI-Augmented Office Environment Demonstrator.	HCI (3)	2009	DBLP DOI BibTeX RDF
8	Hans-Juergen Boehm, Mike Spertus	Garbage collection in the next C++ standard.	ISMM	2009	DBLP DOI BibTeX RDF	C++, garbage collection
8	Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt	Precise garbage collection for C.	ISMM	2009	DBLP DOI BibTeX RDF	garbage collection, precise, conservative, c programming language, accurate
8	Holger Gast	Reasoning about Memory Layouts.	FM	2009	DBLP DOI BibTeX RDF
8	Li-Pin Chang, Chen-Hui Hsu	Soft lists: a native index structure for NOR-flash-based embedded devices.	ASP-DAC	2009	DBLP DOI BibTeX RDF
8	Yves Younan, Frank Piessens, Wouter Joosen	Protecting Global and Static Variables from Buffer Overflow Attacks.	ARES	2009	DBLP DOI BibTeX RDF
8	Samir Ammenouche, Sid Ahmed Ali Touati, William Jalby	On Instruction-Level Method for Reducing Cache Penalties in Embedded VLIW Processors.	HPCC	2009	DBLP DOI BibTeX RDF
8	Junghee Lim, Akash Lal, Thomas W. Reps	Symbolic Analysis via Semantic Reinterpretation.	SPIN	2009	DBLP DOI BibTeX RDF
8	Francisco Elizalde, Luis Enrique Sucar, Julieta Noguez 0001, Alberto Reyes	Generating Explanations Based on Markov Decision Processes.	MICAI	2009	DBLP DOI BibTeX RDF
8	Marc Dacier, Van-Hau Pham, Olivier Thonnard	The WOMBAT Attack Attribution Method: Some Results.	ICISS	2009	DBLP DOI BibTeX RDF
8	Tuukka Ahoniemi, Ville Karavirta	Analyzing the use of a rubric-based grading tool.	ITiCSE	2009	DBLP DOI BibTeX RDF	mass courses, programming, assessment, grading, rubrics
8	Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta	Runtime Verification of C Memory Safety.	RV	2009	DBLP DOI BibTeX RDF
8	Anthony Allevato, Stephen H. Edwards, Manuel A. Pérez-Quiñones	Dereferee: exploring pointer mismanagement in student code.	SIGCSE	2009	DBLP DOI BibTeX RDF	null dereference, pointer checking, smart pointer, tdd, test-first coding, test-driven development, memory leak, dynamic memory management, programming assignment, dangling pointer