Search results for "heap"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Christian Scheideler, Stefan Schmid 0001	A Distributed and Oblivious Heap.	ICALP (2)	2009	DBLP DOI BibTeX RDF
39	Tiancheng Liu, Ying Li 0012, Andrew Schofield, Matt Hogstrom, Kewei Sun, Ying Chen 0004	Partition-based heap memory management in an application server.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF	Java, reliability, memory management, application server
39	Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine	Heap Decomposition for Concurrent Shape Analysis.	SAS	2008	DBLP DOI BibTeX RDF
39	Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti	Verifying Heap-Manipulating Programs in an SMT Framework.	ATVA	2007	DBLP DOI BibTeX RDF
39	Oliver Storz, Adrian Friday, Nigel Davies 0001	Supporting ordering and consistency in a distributed Event Heap for Ubiquitous Computing.	Pers. Ubiquitous Comput.	2006	DBLP DOI BibTeX RDF
39	Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith 0001	Runtime specialization with optimistic heap analysis.	OOPSLA	2005	DBLP DOI BibTeX RDF	program analysis, partial evaluation, dynamic optimization, specialization
39	R. Arona, Edoardo Bonizzoni, Franco Maloberti, Guido Torelli	Heap charge pump optimisation by a tapered architecture.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
39	Adrian Tineo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata	A Novel Approach for Detecting Heap-Based Loop-Carried Dependences.	ICPP	2005	DBLP DOI BibTeX RDF
39	David Aspinall 0001, Adriana B. Compagnoni	Heap-Bounded Assembly Language.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	proof-carrying code, typed assembly language
39	Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Daniel L. Dvorak, Brian Giovannoni, Mark B. Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz	Programming with non-heap memory in the real time specification for Java.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	scoped memory, architecture, programming model
39	Uday S. Reddy, Hongseok Yang	Correctness of Data Representations Involving Heap Data Structures.	ESOP	2003	DBLP DOI BibTeX RDF
39	Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv	Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.	SAS	2003	DBLP DOI BibTeX RDF
39	Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv	Estimating the impact of heap liveness information on space consumption in Java.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	Java, compilers, program analysis, garbage collection, memory management, liveness analysis
39	Matthew L. Seidl, Benjamin G. Zorn	Segregating Heap Objects by Reference Behavior and Lifetime.	ASPLOS	1998	DBLP DOI BibTeX RDF
39	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
39	Li-Jen Mao, Sheau-Dong Lang	Parallel Algorithms for the Degree-Constrained Minimum Spanning Tree Problem Using Nearest-Neighbor Chains and the Heap-Traversal Technique.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	Parallel approximate algorithm, degree-constrained minimum spanning tree, nearest neighbor chain, heap traversal
39	Aviezri S. Fraenkel, Dmitri Zusman	A New Heap Game.	Computers and Games	1998	DBLP DOI BibTeX RDF	multi-heap games, efficient strategy, Wythoff game
32	Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa	Improved replication-based incremental garbage collection for embedded systems.	ISMM	2010	DBLP DOI BibTeX RDF	embedded systems, garbage collection, fragmentation, compaction, real-time garbage collection
32	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
32	Xiaohua Guan, Witawas Srisa-an, ChengHuan Jia	Investigating the effects of using different nursery sizing policies on performance.	ISMM	2009	DBLP DOI BibTeX RDF	multithreaded applications, generational garbage collection
32	Bernhard Haeupler, Siddhartha Sen 0001, Robert Endre Tarjan	Rank-Pairing Heaps.	ESA	2009	DBLP DOI BibTeX RDF
32	Wei Hu 0001, Tianzhou Chen, Qingsong Shi, Feng Sha	Efficient Utilization of Scratch-Pad Memory for Embedded Systems.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
32	Michal Wegiel, Chandra Krintz	Dynamic prediction of collection yield for managed runtimes.	ASPLOS	2009	DBLP DOI BibTeX RDF	reference bits, clustering, parallel, concurrent, operating system, garbage collection, yield prediction
32	Tomoharu Ugawa, Masahiro Yasugi, Taiichi Yuasa	Replication-Based Incremental Compaction.	ISORC	2008	DBLP DOI BibTeX RDF	embedded system, compaction, real-time garbage collection
32	Maruf Ahmed, Sharif M. H. Chowdhury, Masud Hasan	List Heuristic Scheduling Algorithms for Distributed Memory Systems with Improved Time Complexity.	ICDCN	2008	DBLP DOI BibTeX RDF
32	Feng Xian, Witawas Srisa-an, Hong Jiang 0001	Microphase: an approach to proactively invoking garbage collection for improved performance.	OOPSLA	2007	DBLP DOI BibTeX RDF	execution phase, garbage collection
32	Martin Kero, Johan Nordlander, Per Lindgren	A correct and useful incremental copying garbage collector.	ISMM	2007	DBLP DOI BibTeX RDF	incremental copying garbage collection, labeled transition system
32	Curtis Clifton, Gary T. Leavens, James Noble 0001	MAO: Ownership and Effects for More Effective Reasoning About Aspects.	ECOOP	2007	DBLP DOI BibTeX RDF
32	Sigmund Cherem, Radu Rugina	Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.	VMCAI	2007	DBLP DOI BibTeX RDF
32	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Shape Analysis of Single-Parent Heaps.	VMCAI	2007	DBLP DOI BibTeX RDF
32	Quan Phan, Gerda Janssens	Towards Region-Based Memory Management for Mercury Programs.	ICLP	2006	DBLP DOI BibTeX RDF
32	Emery D. Berger, Benjamin G. Zorn	DieHard: probabilistic memory safety for unsafe languages.	PLDI	2006	DBLP DOI BibTeX RDF	DieHard, probabilistic memory safety, replication, randomization, dynamic memory allocation
32	Christopher Gottbrath	S09 - Eliminating parallel application memory bugs with TotalView.	SC	2006	DBLP DOI BibTeX RDF
32	Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham	Combining Shape Analyses by Intersecting Abstractions.	VMCAI	2006	DBLP DOI BibTeX RDF
32	Noam Rinetzky, Jörg Bauer 0001, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	A semantics for procedure local heaps and its abstractions.	POPL	2005	DBLP DOI BibTeX RDF	3-valued logic, static analysis, abstract interpretation, shape analysis
32	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Shape Analysis by Predicate Abstraction.	VMCAI	2005	DBLP DOI BibTeX RDF
32	Stephen M. Blackburn, Antony L. Hosking	Barriers: friend or foe?	ISMM	2004	DBLP DOI BibTeX RDF	java, garbage collection, memory management, write barriers
32	David F. Bacon, Perry Cheng, David Grove	Garbage collection for embedded systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	mark-and-sweep, tracing, fragmentation, compaction
32	Ronald Veldema, Michael Philippsen	Compiler Optimized Remote Method Invocation.	CLUSTER	2003	DBLP DOI BibTeX RDF
32	Reinhard Wilhelm, Tomasz Müldner, Raimund Seidel	Algorithm Explanation: Visualizing Abstract States and Invariants.	Software Visualization	2001	DBLP DOI BibTeX RDF
32	Bernhard Scholz, Johann Blieberger, Thomas Fahringer	Symbolic Pointer Analysis for Detecting Memory Leaks.	PEPM	2000	DBLP DOI BibTeX RDF
32	Jin-Soo Kim, Yarsun Hsu	Memory system behavior of Java programs: methodology and analysis.	SIGMETRICS	2000	DBLP DOI BibTeX RDF	Java
32	Kent Boortz, Dan Sahlin	A Compacting Garbage Collector for Unidirectional Heaps.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
32	Geoffrey G. Xie, Simon S. Lam	An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic.	ICNP	1996	DBLP DOI BibTeX RDF
32	Amer Diwan, David Tarditi, J. Eliot B. Moss	Memory Subsystem Performance of Programs Using Copying Garbage Collection.	POPL	1994	DBLP DOI BibTeX RDF
32	Jingsen Chen	Merging and Splitting Priority Queues and Deques in Parallel.	ISTCS	1992	DBLP DOI BibTeX RDF
32	Svante Carlsson, Jingsen Chen	The Complexity of Heaps.	SODA	1992	DBLP BibTeX RDF
32	Gaston H. Gonnet, J. Ian Munro	Heaps on Heaps.	ICALP	1982	DBLP DOI BibTeX RDF
32	Shuvendu K. Lahiri, Shaz Qadeer	Back to the future: revisiting precise program verification using SMT solvers.	POPL	2008	DBLP DOI BibTeX RDF	heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers
32	Yefim Shuf, Ian M. Steiner	Characterizing a Complex J2EE Workload: A Comprehensive Analysis and Opportunities for Optimizations.	ISPASS	2007	DBLP DOI BibTeX RDF	J2EE workload, Java benchmarks, SPECjvm98, SPECjbb2000, Java 2 Enterprise Edition, SPECjAppServer2004, systems research, software research, cache-to-cache modified data transfers, intelligent thread co-scheduling, Java heap, bursty data cache, Java virtual method calls, optimizations, performance analysis, garbage collection, instruction cache, data prefetching, commercial workload
32	Vinaitheerthan Sundaram, Sandip HomChaudhuri, Sachin Garg, Chandra M. R. Kintala, Saurabh Bagchi	Improving Dependability Using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multi-tasking Embedded Systems.	PRDC	2007	DBLP DOI BibTeX RDF	resource constrained fault-tolerance, embedded systems, software rejuvenation, heap overflow, stack overflow
32	Keun Soo Yim, Jae Don Lee, Jungkeun Park, Jeong-Joon Yoo, Chaeseok Im, Yeonseung Ryu	A Software Reproduction of Virtual Memory for Deeply Embedded Systems.	ICCSA (1)	2006	DBLP DOI BibTeX RDF	memory system and heap management, Embedded system
32	Marius Bozga, Radu Iosif, Yassine Lakhnech	Storeless semantics and alias logic.	PEPM	2003	DBLP DOI BibTeX RDF	heap models, weakest precondition, total correctness
32	Jens Palsberg, S. Krishnaswamy, Minseok Kwon, Di Ma, Qiuyun Shao, Y. Zhang	Experience with Software Watermarking.	ACSAC	2000	DBLP DOI BibTeX RDF	program-transformation attacks, heap-space usage, watermark retrieval time, protection technique, tamperproofing, Java, Java, data structures, security of data, execution times, obfuscation, dynamic data structures, code size, software watermarking, copy protection
32	Michael J. Fischer, Mike Paterson	Fishspear: A Priority Queue Algorithm.	J. ACM	1994	DBLP DOI BibTeX RDF	comparison count, sequential storage, online algorithm, priority queue, running time, complexity analysis, heap
31	Sajal K. Das 0001, Maria Cristina Pinotti, Falguni Sarkar	Optimal and Load Balanced Mapping of Parallel Priority Queues in Hypercubes.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	slope-tree, b-bandwidth slope-heap, load balance, hypercube, priority queue, Hamiltonian path, heap, speed-up
31	Stephen Magill, Ming-Hsien Tsai 0001, Peter Lee 0001, Yih-Kuen Tsay	Automatic numeric abstractions for heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	abstraction, program verification, termination, shape analysis, separation logic
31	Mark Marron, Deepak Kapur, Manuel V. Hermenegildo	Identification of logically related heap regions.	ISMM	2009	DBLP DOI BibTeX RDF	region analysis, shape analysis
31	Kristijan Dragicevic, Daniel Bauer 0001	Optimization techniques for concurrent STM-based implementations: A concurrent binary heap as a case study.	IPDPS	2009	DBLP DOI BibTeX RDF
31	Guanhua He, Chenguang Luo	Heap Memory Requirements Analysis via Separation Logic.	TASE	2009	DBLP DOI BibTeX RDF
31	Xavier Allamigeon, Charles Hymans	Static analysis by abstract interpretation: application to the detection of heap overflows.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
31	Jurriaan Hage, Stefan Holdermans	Heap recycling for lazy languages.	PEPM	2008	DBLP DOI BibTeX RDF	compile-time garbage collection, lazy functional programming, type-based program analysis
31	Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic	Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.	CC	2008	DBLP DOI BibTeX RDF
31	Hideki Hayashi, Daisuke Ito, Masaaki Tanizaki, Kohji Kimura, Hisanori Kajiyama	Dual-heap kNN: k-nearest neighbor search for spatial data retrieval in embedded DBMS.	GIS	2008	DBLP DOI BibTeX RDF	embedded database management, nearest neighbor
31	Prakash Prabhu, Priti Shankar	Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA.	SAS	2008	DBLP DOI BibTeX RDF
31	Edward Aftandilian, Samuel Z. Guyer	GC assertions: using the garbage collector to check heap properties.	MSPC	2008	DBLP DOI BibTeX RDF	garbage collection, memory leaks, managed languages
31	Chris Grzegorczyk, Sunil Soman, Chandra Krintz, Richard Wolski	Isla Vista Heap Sizing: Using Feedback to Avoid Paging.	CGO	2007	DBLP DOI BibTeX RDF
31	Jinseong Jeon, Keoncheol Shin, Hwansoo Han	Layout Transformations for Heap Objects Using Static Access Patterns.	CC	2007	DBLP DOI BibTeX RDF
31	Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu	An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.	VMCAI	2007	DBLP DOI BibTeX RDF
31	Martin Hofmann 0001, Steffen Jost	Type-Based Amortised Heap-Space Analysis.	ESOP	2006	DBLP DOI BibTeX RDF
31	Gogul Balakrishnan, Thomas W. Reps	Recency-Abstraction for Heap-Allocated Storage.	SAS	2006	DBLP DOI BibTeX RDF
31	Alexey Gotsman, Josh Berdine, Byron Cook	Interprocedural Shape Analysis with Separated Heap Abstractions.	SAS	2006	DBLP DOI BibTeX RDF
31	Zhuang Guo, José Nelson Amaral, Duane Szafron, Yang Wang 0006	Utilizing field usage patterns for Java heap space optimization.	CASCON	2006	DBLP DOI BibTeX RDF
31	Jeremy Condit, George C. Necula	Data Slicing: Separating the Heap into Independent Regions.	CC	2005	DBLP DOI BibTeX RDF
31	Zhentao Li, Bruce A. Reed	Heap Building Bounds.	WADS	2005	DBLP DOI BibTeX RDF
31	Mayumi Kato, Chia-Tien Dan Lo	Impact of Java Compressed Heap on Mobile/Wireless Communication.	ITCC (2)	2005	DBLP DOI BibTeX RDF
31	Bor-Yuh Evan Chang, K. Rustan M. Leino	Abstract Interpretation with Alien Expressions and Heap Structures.	VMCAI	2005	DBLP DOI BibTeX RDF
31	Diab Abuaiadh, Yoav Ossia, Erez Petrank, Uri Silbershtein	An efficient parallel heap compaction algorithm.	OOPSLA	2004	DBLP DOI BibTeX RDF	parallel compaction, java, garbage collection, JVM, compaction, parallel garbage collection
31	Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres	No Heap Remote Objects: Leaving Out Garbage Collection at the Server Side.	OTM Workshops	2004	DBLP DOI BibTeX RDF
31	Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field	Partially Disjunctive Heap Abstraction.	SAS	2004	DBLP DOI BibTeX RDF
31	Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu	Optimized Live Heap Bound Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
31	Brad Johanson, Armando Fox	The Event Heap: A Coordination Infrastructure for Interactive Workspaces.	WMCSA	2002	DBLP DOI BibTeX RDF
31	Bart Demoen, Konstantinos Sagonas	Heap Garbage Collection in XSB: Practice and Experience.	PADL	2000	DBLP DOI BibTeX RDF
31	Gerth Stølting Brodal, Maria Cristina Pinotti	Comparator Networks for Binary Heap Construction.	SWAT	1998	DBLP DOI BibTeX RDF
31	Jingsen Chen	A Framework for Constructing Heap-Like Structures In-Place.	ISAAC	1993	DBLP DOI BibTeX RDF
31	Paul F. Dietz	Heap Construction in the Parallel Comparison Tree Model.	SWAT	1992	DBLP DOI BibTeX RDF
31	Ferdinand Hommes	The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine.	ISCA	1982	DBLP BibTeX RDF
31	Mehdi Bahrami, Peyman Arebi	A Binomial Heap Algorithm for Self-Recognition in Exclusive Management on Autonomic Grid Networks.	CICSyN	2010	DBLP DOI BibTeX RDF	Autonomic Grid Networks, Binomial Heap, Self-managing
31	Frances Perry, Limin Jia 0001, David Walker 0001	Expressing heap-shape contracts in linear logic.	GPCE	2006	DBLP DOI BibTeX RDF	heap shape, contracts, linear logic, assertions
31	Adam L. Buchsbaum, Rajamani Sundar, Robert Endre Tarjan	Data Structural Bootstrapping, Linear Path Compression, and Catenable Heap Ordered Double Ended Queues	FOCS	1992	DBLP DOI BibTeX RDF	order preserving path compression, linear path compression, catenable heap ordered double ended queues, catenable mindeques, data structure
31	Goetz Graefe	Heap-Filter Merge Join: A New Algorithm For Joining Medium-Size Inputs.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	heap filter merge join, medium-size inputs, novel algorithm, relational equijoin, merge join, medium-size inputs, hybrid hash join, analytic cost functions, relational databases, database theory
31	Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger	Top of the Heap: Efficient Memory Error Protection for Many Heap Objects.	CoRR	2023	DBLP DOI BibTeX RDF
31	Bin Zhang, Jiongyi Chen, Runhao Li, Chao Feng, Ruilin Li, Chaojing Tang	Automated Exploitable Heap Layout Generation for Heap Overflows Through Manipulation Distance-Guided Fuzzing.	USENIX Security Symposium	2023	DBLP BibTeX RDF
31	Jordy Gennissen, Daniel O'Keeffe	Hack the Heap: Heap Layout Manipulation made Easy.	SP (Workshops)	2022	DBLP DOI BibTeX RDF
31	Sumin Chae, Hongjoo Jin, Moon Chan Park, Dong Hoon Lee 0001	HS-Pilot: Heap Security Evaluation Tool Model Based on Atomic Heap Interaction.	IEEE Access	2020	DBLP DOI BibTeX RDF
31	Johannes Bouché, Lukas Atkinson, Martin Kappes	Shadow-Heap: Preventing Heap-based Memory Corruptions by Metadata Validation.	EICC	2020	DBLP DOI BibTeX RDF
31	Iacovos G. Kolokasis, Anastasios Papagiannis, Polyvios Pratikakis, Angelos Bilas, Foivos S. Zakkak	Say Goodbye to Off-heap Caches! On-heap Caches Using Memory-Mapped I/O.	HotStorage	2020	DBLP BibTeX RDF
31	Zhiyong Jin, Yongfu Chen, Tian Liu, Kai Li, Zhenting Wang, Jiongzhi Zheng	A Novel and Fine-grained Heap Randomization Allocation Strategy for Effectively Alleviating Heap Buffer Overflow Vulnerabilities.	ICMAI	2019	DBLP DOI BibTeX RDF
31	Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis	Shooting from the heap: ultra-scalable static analysis with heap snapshots.	ISSTA	2018	DBLP DOI BibTeX RDF
31	Abhinav Jangda, Mohit Mishra	RandHeap: Heap Randomization for Mitigating Heap Spray Attacks in Virtual Machines.	PST	2017	DBLP DOI BibTeX RDF