Search results for "pointers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang	Static data race detection for concurrent programs with asynchronous calls.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	asynchronous programs, static data race detection, bootstrapping, pointer analysis
8	Hongseok Yang	Automatic Verification of Heap-Manipulating Programs Using Separation Logic.	CSR	2009	DBLP DOI BibTeX RDF
8	Jennefer Hart, Josephine Reid	Can an ARG run automatically?	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	entertainment
8	Rolf Hoffmann	The GCA-w Massively Parallel Model.	PaCT	2009	DBLP DOI BibTeX RDF	Massively Parallel Model, Global Cellular Automata, GCA with Write Access, Dynamic Neighborhood, Dynamic Cell Activation, GCA-w Applications, GCA-w Architecture
8	Yutaka Oiwa	Implementation of the memory-safe full ANSI-C compiler.	PLDI	2009	DBLP DOI BibTeX RDF	c language, memory safety
8	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
8	James Newsome, Stephen McCamant, Dawn Song	Measuring channel capacity to distinguish undue influence.	PLAS	2009	DBLP DOI BibTeX RDF	model counting, quantitative information flow, channel capacity
8	Prosenjit Bose, John Howat, Pat Morin	A Distribution-Sensitive Dictionary with Low Space Overhead.	WADS	2009	DBLP DOI BibTeX RDF
8	Valeria V. Krzhizhanovskaya	Simulation of Multiphysics Multiscale Systems, 6th International Workshop.	ICCS (1)	2009	DBLP DOI BibTeX RDF	ICCS, SMMS, Simulation, Modeling, Complex systems, Workshop, Multiscale, Multiphysics
8	Ketan Kulkarni, Edgar Gabriel	Evaluating Algorithms for Shared File Pointer Operations in MPI I/O.	ICCS (1)	2009	DBLP DOI BibTeX RDF
8	Saurabh Sinha, Hina Shah, Carsten Görg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold	Fault localization and repair for Java runtime exceptions.	ISSTA	2009	DBLP DOI BibTeX RDF	null dereference, runtime exceptions, static analysis, fault localization
8	Harmen L. A. van der Spek, Erwin M. Bakker, Harry A. G. Wijshoff	Characterizing the performance penalties induced by irregular code using pointer structures and indirection arrays on the intel core 2 architecture.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	spark00, benchmarking, memory access, irregularity
8	Dominique Duval, Rachid Echahed, Frédéric Prost	A Heterogeneous Pushout Approach to Term-Graph Transformation.	RTA	2009	DBLP DOI BibTeX RDF
8	Kentaro Ishii, Shengdong Zhao, Masahiko Inami, Takeo Igarashi, Michita Imai	Designing Laser Gesture Interface for Robot Control.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	stroke gesture, user interface, human-robot interaction, laser pointer
8	Mark Springett, Mark D. Rice, Alex Carmichael, Richard N. Griffiths	Innovation for an Inclusive Future.	INTERACT (2)	2009	DBLP DOI BibTeX RDF
8	René Hansen, Bent Thomsen	Efficient and Accurate WLAN Positioning with Weighted Graphs.	MOBILIGHT	2009	DBLP DOI BibTeX RDF
8	Theo Kluter, Philip Brisk, Edoardo Charbon, Paolo Ienne	MPSoC Design Using Application-Specific Architecturally Visible Communication.	HiPEAC	2009	DBLP DOI BibTeX RDF
8	Jia Zhang, Hong Pan, Zhenming Yuan	A novel spatial index for case based geographic retrieval.	ICIS	2009	DBLP DOI BibTeX RDF	graphics retrieval, R-Tree, spatial index
8	Josh Berdine	Automatic Verification of Heap Manipulation Using Separation Logic.	SOFSEM	2009	DBLP DOI BibTeX RDF
8	Sibylle B. Fröschle, Graham Steel	Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
8	Zheng Wang 0005, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu	Test Data Generation for Derived Types in C Program.	TASE	2009	DBLP DOI BibTeX RDF
8	Michael D. Bond, Kathryn S. McKinley	Leak pruning.	ASPLOS	2009	DBLP DOI BibTeX RDF	leak tolerance, garbage collection, memory leaks, managed languages
8	Farhana Aleen, Nathan Clark	Commutativity analysis for software parallelization: letting program transformations see the big picture.	ASPLOS	2009	DBLP DOI BibTeX RDF	automatic software parallelization, commutative functions, random interpretation
8	Gabriel Kliot, Erez Petrank, Bjarne Steensgaard	A lock-free, concurrent, and incremental stack scanning for garbage collectors.	VEE	2009	DBLP DOI BibTeX RDF	incremental and concurrent garbage collection, lock-free data structures, stack scanning
8	Michael B. Monagan, Roman Pearce	Parallel sparse polynomial multiplication using heaps.	ISSAC	2009	DBLP DOI BibTeX RDF	parallel, polynomial, multiplication, sparse
8	Ed Zintel	Resources.	IT Prof.	2008	DBLP DOI BibTeX RDF
8	Ed Zintel	Resources.	IT Prof.	2008	DBLP DOI BibTeX RDF
8	Ed Zintel	Resources.	IT Prof.	2008	DBLP DOI BibTeX RDF
8	Karthik Lakshminarayanan, Daniel Adkins, Adrian Perrig, Ion Stoica	Securing user-controlled routing infrastructures.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	security, overlay networks, internet architecture
8	Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi	An analytical study of a structured overlay in the presence of dynamic membership.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	performance analysis, peer-to-peer networks, stochastic systems
8	Axel-Tobias Schreiner, James E. Heliotis	Sudoku: a little lesson in OOP.	ACM SIGCSE Bull.	2008	DBLP DOI BibTeX RDF	model-view-controller pattern, design, sudoku
8	Peter G. Neumann	Risks to the public.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF
8	Peter G. Neumann	Risks to the public.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF
8	Peter G. Neumann	Risks to the public.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF
8	Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis	Semantics-preserving multitask implementation of synchronous programs.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	process communication, optimality, Embedded software, model-based design, preemptive scheduling, synchronous programming, semantical preservation
8	Joc Cing Tay, Cheun Hou Tng, Chee Siong Chan	Environmental effects on the coevolution of pursuit and evasion strategies.	Genet. Program. Evolvable Mach.	2008	DBLP DOI BibTeX RDF	Pursuit and evasion, Chemical Genetic Programming, Competitive coevolution, Game of tag
8	Hideo Joho, Jana Urban, Robert Villa, Joemon M. Jose, C. J. van Rijsbergen	AIR 2006: First International Workshop on Adaptive Information Retrieval.	SIGIR Forum	2008	DBLP DOI BibTeX RDF
8	Gene Novark, Emery D. Berger, Benjamin G. Zorn	Exterminator: Automatically correcting memory errors with high probability.	Commun. ACM	2008	DBLP DOI BibTeX RDF
8	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	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
8	Dawn E. Holmes, Lakhmi C. Jain	Introduction to Bayesian Networks.	Innovations in Bayesian Networks	2008	DBLP DOI BibTeX RDF
8	Leon Moonen, Arie van Deursen, Andy Zaidman, Magiel Bruntink	On the Interplay Between Software Testing and Evolution and its Effect on Program Comprehension.	Software Evolution	2008	DBLP DOI BibTeX RDF
8	Daniel Raible 0001, Henning Fernau	Power Domination in O*(1.7548n) Using Reference Search Trees.	ISAAC	2008	DBLP DOI BibTeX RDF
8	J. J. Garcia-Luna-Aceves, Marc Mosko, Ignacio Solis, Rebecca Braynard, Rumi Ghosh	Context-aware packet switching in ad hoc networks.	PIMRC	2008	DBLP DOI BibTeX RDF
8	M. Teresa Higuera-Toledano	Allowing Cycle References by Introducing Controlled Violations of the Assignment Rules in Real-Time Java.	ISORC	2008	DBLP DOI BibTeX RDF	Garbage Collection, Memory Management, Real-Time Java, Memory Regions
8	Tomoharu Ugawa, Masahiro Yasugi, Taiichi Yuasa	Replication-Based Incremental Compaction.	ISORC	2008	DBLP DOI BibTeX RDF	embedded system, compaction, real-time garbage collection
8	Peter W. O'Hearn	Tutorial on Separation Logic (Invited Tutorial).	CAV	2008	DBLP DOI BibTeX RDF
8	Carlo Bellettini, Julian L. Rrushi	A Product Machine Model for Anomaly Detection of Interposition Attacks on Cyber-Physical Systems.	SEC	2008	DBLP DOI BibTeX RDF
8	Michael D. Bond, Kathryn S. McKinley	Tolerating memory leaks.	OOPSLA	2008	DBLP DOI BibTeX RDF	bug tolerance, memory leaks, managed languages
8	Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards	Flexible pointer analysis using assign-fetch graphs.	SAC	2008	DBLP DOI BibTeX RDF	summary-based analysis, static analysis, pointer analysis
8	Shiro Kawai	Efficient floating-point number handling for dynamically typed scripting languages.	DLS	2008	DBLP DOI BibTeX RDF
8	Wen Fu, Rongcai Zhao, Jianmin Pang, Jingbo Zhang	Recovering Variable-Argument Functions from Binary Executables.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	variable-argument function, reverse compilation, calling convention, instruction pattern, IA-64
8	Xiaoying Wu, Stefanos Souldatos, Dimitri Theodoratos, Theodore Dalamagas 0001, Timos K. Sellis	Efficient evaluation of generalized path pattern queries on XML data.	WWW	2008	DBLP DOI BibTeX RDF	Xpath query evaluation, XML
8	Jiang Li 0010, Junhu Wang	Fast Matching of Twig Patterns.	DEXA	2008	DBLP DOI BibTeX RDF
8	Jianhua He, Kun Yang 0001, Ken Guild	A Dynamic Bandwidth Reservation Scheme for Hybrid IEEE 802.16 Wireless Networks.	ICC	2008	DBLP DOI BibTeX RDF
8	Bor-Yuh Evan Chang, Xavier Rival	Relational inductive shape analysis.	POPL	2008	DBLP DOI BibTeX RDF	symbolic abstract domain, shape analysis, materialization, separation logic, inductive definitions, heap analysis
8	Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
8	Sudipto Guha, Andrew McGregor 0001	Tight Lower Bounds for Multi-pass Stream Computation Via Pass Elimination.	ICALP (1)	2008	DBLP DOI BibTeX RDF
8	Rajkumar Buyya, Chee Shin Yeo, Srikumar Venugopal	Market-Oriented Cloud Computing: Vision, Hype, and Reality for Delivering IT Services as Computing Utilities.	HPCC	2008	DBLP DOI BibTeX RDF
8	Wanlei Zhou 0001, John Casey	Reducing Cache Lookup and Publish Overhead through Locality Awareness in P2P Web Caching.	HPCC	2008	DBLP DOI BibTeX RDF
8	Tonglaga Bao, Michael D. Jones	Model Checking Abstract Components within Concrete Software Environments.	SPIN	2008	DBLP DOI BibTeX RDF
8	Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner	Lisp.	ECOOP Workshops	2008	DBLP DOI BibTeX RDF
8	Erich A. Peterson, Peiyi Tang	Mining frequent sequential patterns with first-occurrence forests.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	frequent patterns, projection database
8	Baoqiang Yan, Philip J. Rhodes	I/O friendly data parallelization for spatial computation.	Mardi Gras Conference	2008	DBLP DOI BibTeX RDF
8	Dino Distefano	Abductive Inference for Reasoning about Heaps.	APLAS	2008	DBLP DOI BibTeX RDF
8	Gérard Boudol	Typing Safe Deallocation.	ESOP	2008	DBLP DOI BibTeX RDF
8	Dibyendu Das 0001, Madhavi Valluri, Michael Wong, Chris Cambly	Speeding up STL Set/Map Usage in C++ Applications.	SIPEW	2008	DBLP DOI BibTeX RDF
8	Rafael Duque, María Luisa Rodríguez 0001, María Visitación Hurtado, Manuel Noguera, Crescencio Bravo	An Architecture to Integrate Automatic Observation Mechanisms for Collaboration Analysis in Groupware.	OTM Workshops	2008	DBLP DOI BibTeX RDF
8	Peter W. O'Hearn	Separation Logic Tutorial.	ICLP	2008	DBLP DOI BibTeX RDF
8	Kinga Dobolyi, Westley Weimer	Changing Java's Semantics for Handling Null Pointer Exceptions.	ISSRE	2008	DBLP DOI BibTeX RDF
8	Ben Breech, Lori L. Pollock, John Cavazos	RUGRAT: Runtime Test Case Generation Using Dynamic Compilers.	ISSRE	2008	DBLP DOI BibTeX RDF
8	Wesley Tansey, Eli Tilevich	Efficient automated marshaling of C++ data structures for MPI applications.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Anthony Danalis, Aaron Brown, Lori L. Pollock, D. Martin Swany	Introducing gravel: An MPI companion library.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Rafael Asenjo, Rosa Castillo, Francisco Corbera, Angeles G. Navarro, Adrian Tineo, Emilio L. Zapata	Parallelizing irregular C codes assisted by interprocedural shape analysis.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Johannes Jendrsczok, Patrick Ediger, Rolf Hoffmann	A scalable configurable architecture for the massively parallel GCA model.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Kei Takeshita, Masahiro Sasabe, Hirotaka Nakano	Mobile P2P Networks for Highly Dynamic Environments.	PerCom	2008	DBLP DOI BibTeX RDF	moble ad hoc network (MANET), local information sharing, clustering, distributed hash table (DHT)
8	Jamie Zigelbaum, Adam Kumpf, Alejandro Vazquez, Hiroshi Ishii 0001	Slurp: tangibility spatiality and an eyedropper.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	slurp, tui, ubiquitous computing, tangible user interface, locative media
8	Vineet Kahlon	Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis.	PLDI	2008	DBLP DOI BibTeX RDF	steensgaard partitioning, summarization, divide and conquer, context-sensitive analysis, demand-driven analysis
8	Michal Wegiel, Chandra Krintz	XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination.	PLDI	2008	DBLP DOI BibTeX RDF	class loading, managed runtimes, type-safe, parallel, synchronization, garbage collection, shared memory, transparent, interprocess communication
8	Kiran Lakhotia, Mark Harman, Phil McMinn	Handling dynamic data structures in search based testing.	GECCO	2008	DBLP DOI BibTeX RDF	symbolic execution, automated test data generation, concolic testing
8	Valeria V. Krzhizhanovskaya, Alfons G. Hoekstra	Simulation of Multiphysics Multiscale Systems, 5th International Workshop.	ICCS (2)	2008	DBLP DOI BibTeX RDF	ICCS, SMMS, Simulation, Modeling, Complex systems, Workshop, Multiscale, Multiphysics
8	Mikael Asplund, Simin Nadjm-Tehrani, Johan Sigholm	Emerging Information Infrastructures: Cooperation in Disasters.	CRITIS	2008	DBLP DOI BibTeX RDF
8	Jun Liu, David Pinelle, Carl Gutwin, Sriram Subramanian	Improving digital handoff in shared tabletop workspaces.	Tabletop	2008	DBLP DOI BibTeX RDF
8	Ryad Ben-El-Kezadri, Farouk Kamoun, Guy Pujolle	XAV: a fast and flexible tracing framework for network simulation.	MSWiM	2008	DBLP DOI BibTeX RDF	on line analysis processing, trace file, XML, database, XQuery, network simulation
8	Manuel Montenegro, Ricardo Pena, Clara Segura	A type system for safe memory management and its proof of correctness.	PPDP	2008	DBLP DOI BibTeX RDF	safe memory deallocation, type systems
8	Stefan Böttcher, Rita Hartel, Christian Heinzemann	Compressing XML Data Streams with DAG+BSBC.	WEBIST (Selected Papers)	2008	DBLP DOI BibTeX RDF
8	Emilie Balland, Pierre-Etienne Moreau	Term-Graph Rewriting Via Explicit Paths.	RTA	2008	DBLP DOI BibTeX RDF
8	Roman Borisyuk, David Chik, Yakov B. Kazanovich	Selective Attention Model of Moving Objects.	ICANN (2)	2008	DBLP DOI BibTeX RDF
8	Martin Habbecke, Leif Kobbelt	Laser brush: a flexible device for 3D reconstruction of indoor scenes.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF
8	Abraham Bernstein	How to learn enough data mining to be dangerous in 60 minutes.	MSR	2008	DBLP DOI BibTeX RDF	mining software repositories
8	Mark S. Schmalz, Lynn Conway	It/cs workshop: multimodal, multimedia courseware for teaching technical concepts in humanistic context.	SIGITE Conference	2008	DBLP DOI BibTeX RDF	performance measurement, courseware, distributed learning
8	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang	Space Invading Systems Code.	LOPSTR	2008	DBLP DOI BibTeX RDF
8	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	An Inference Algorithm for Guaranteeing Safe Destruction.	LOPSTR	2008	DBLP DOI BibTeX RDF	type-based analysis, memory management, type inference
8	Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian	An Extension to Pointer Logic for Verification.	TASE	2008	DBLP DOI BibTeX RDF
8	Arati Baliga, Vinod Ganapathy, Liviu Iftode	Automatic Inference and Enforcement of Kernel Data Structure Invariants.	ACSAC	2008	DBLP DOI BibTeX RDF
8	Michal Wegiel, Chandra Krintz	The mapping collector: virtual memory support for generational, parallel, and concurrent compaction.	ASPLOS	2008	DBLP DOI BibTeX RDF	parallel, concurrent, virtual memory, compaction
8	Leonor Frias, Johannes Singler, Peter Sanders 0001	Single-Pass List Partitioning.	CISIS	2008	DBLP DOI BibTeX RDF
8	O'Neil Delpratt, Rajeev Raman, Naila Rahman	Engineering succinct DOM.	EDBT	2008	DBLP DOI BibTeX RDF
8	Pramod G. Joisha	A principled approach to nondeferred reference-counting garbage collection.	VEE	2008	DBLP DOI BibTeX RDF	static analysis, instrumentation, reference counting
8	Peter G. Neumann	Risks to the public.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF
8	Peter G. Neumann	Risks to the public.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF