Search results for "heap"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Benjamin G. Zorn	Archipelago: trading address space for reliability and security.	ASPLOS	2008	DBLP DOI BibTeX RDF	Archipelago, probabilistic memory safety, randomized algorithms, virtual memory, buffer overflow, dynamic memory allocation, memory errors
16	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
16	Zhuo Yu, Xiaohui Liang, Zhiyu Chen	A Level of Detail Selection Method for Multi-Type Objects Based on The Span of Level Changed.	RAM	2008	DBLP DOI BibTeX RDF
16	Michael J. Geiger, Sally A. McKee, Gary S. Tyson	Specializing Cache Structures for High Performance and Energy Conservation in Embedded Systems.	Trans. High Perform. Embed. Archit. Compil.	2007	DBLP DOI BibTeX RDF
16	Yichen Xie 0001, Alex Aiken	Saturn: A scalable framework for error detection using Boolean satisfiability.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Program analysis, error detection, Boolean satisfiability
16	Torben Amtoft, Anindya Banerjee 0001	Verification condition generation for conditional information flow.	FMSE	2007	DBLP DOI BibTeX RDF	conditional information flow analysis, object invariants, verification condition generation
16	Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer	Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures.	CAV	2007	DBLP DOI BibTeX RDF
16	Sigmund Cherem, Radu Rugina	A Practical Escape and Effect Analysis for Building Lightweight Method Summaries.	CC	2007	DBLP DOI BibTeX RDF
16	Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv	Local Reasoning for Storable Locks and Threads.	APLAS	2007	DBLP DOI BibTeX RDF
16	Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv	Thread-modular shape analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, concurrent programming, shape analysis
16	Angel Dominguez, Nghi Nguyen, Rajeev Barua	Recursive function data allocation to scratch-pad memory.	CASES	2007	DBLP DOI BibTeX RDF	profile dependance, embedded systems, compiler, memory allocation, recursive functions, scratch-pad memory
16	Marcelo d'Amorim, Steven Lauterburg, Darko Marinov	Delta execution for efficient state-space exploration of object-oriented programs.	ISSTA	2007	DBLP DOI BibTeX RDF	delta execution, model checking
16	Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	A Reachability Predicate for Analyzing Low-Level Software.	TACAS	2007	DBLP DOI BibTeX RDF
16	Shane Ryoo, Christopher I. Rodrigues, Wen-mei W. Hwu	Iteration Disambiguation for Parallelism Identification in Time-Sliced Applications.	LCPC	2007	DBLP DOI BibTeX RDF
16	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Automated Verification of Shape, Size and Bag Properties.	ICECCS	2007	DBLP DOI BibTeX RDF
16	Michael B. Monagan, Roman Pearce	Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors.	CASC	2007	DBLP DOI BibTeX RDF
16	Wei Yu 0003, Fangting Sun, Jason E. Fritts	Efficient rate control for JPEG-2000.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
16	Gianni Franceschini, Roberto Grossi	Optimal Implicit Dictionaries over Unbounded Universes.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
16	Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic	Generating object lifetime traces with Merlin.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	object lifetime analysis, trace design, Garbage collection, trace generation
16	Tal Lev-Ami, Neil Immerman, Shmuel Sagiv	Abstraction for Shape Analysis with Fast and Precise Transformers.	CAV	2006	DBLP DOI BibTeX RDF
16	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	CAV	2006	DBLP DOI BibTeX RDF
16	Sunil Soman, Laurent Daynès, Chandra Krintz	Task-aware garbage collection in a multi-tasking virtual machine.	ISMM	2006	DBLP DOI BibTeX RDF	resource reclamation, task-aware garbage collection, java, virtual machine, multi-tasking
16	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
16	Guilin Chen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin	Object duplication for improving reliability.	ASP-DAC	2006	DBLP DOI BibTeX RDF
16	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
16	Ondrej Lhoták, Laurie J. Hendren	Context-Sensitive Points-to Analysis: Is It Worth It?.	CC	2006	DBLP DOI BibTeX RDF
16	Sokhom Pheng, Clark Verbrugge	Dynamic Data Structure Analysis for Java Programs.	ICPC	2006	DBLP DOI BibTeX RDF
16	Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani	A Logic of Reachable Patterns in Linked Data-Structures.	FoSSaCS	2006	DBLP DOI BibTeX RDF
16	Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh	A Practical String Analyzer by the Widening Approach.	APLAS	2006	DBLP DOI BibTeX RDF
16	Rosa Castillo, Adrian Tineo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata	Towards a Versatile Pointer Analysis Framework.	Euro-Par	2006	DBLP DOI BibTeX RDF
16	Quan Phan	Static Memory Management for Logic Programming Languages.	ICLP	2006	DBLP DOI BibTeX RDF
16	Mana Taghdiri, Robert Seater, Daniel Jackson 0001	Lightweight extraction of syntactic specifications.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	modular abstraction, symbolic summary, syntactic specification, symbolic execution
16	Cormac Flanagan, Stephen N. Freund	Dynamic Architecture Extraction.	FATES/RV	2006	DBLP DOI BibTeX RDF
16	Tim Harris 0001, Mark Plesko, Avraham Shinnar, David Tarditi	Optimizing memory transactions.	PLDI	2006	DBLP DOI BibTeX RDF	critical regions, transactional memory, atomicity
16	Manu Sridharan, Rastislav Bodík	Refinement-based context-sensitive points-to analysis for Java.	PLDI	2006	DBLP DOI BibTeX RDF	refinement, points-to analysis, context-sensitive analysis, demand-driven analysis
16	Trishul M. Chilimbi, Ran Shaham	Cache-conscious coallocation of hot data streams.	PLDI	2006	DBLP DOI BibTeX RDF	data profiling, hot data streams, data locality, cache optimization, memory layout, dynamic allocation
16	Gilad Arnold	Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding.	SAS	2006	DBLP DOI BibTeX RDF
16	Huu-Duc Nguyen, Atsushi Ohori	Compiling ML polymorphism with explicit layout bitmap.	PPDP	2006	DBLP DOI BibTeX RDF	type-directed compilation, garbage collection, memory management, polymorphism
16	David A. Naumann	From Coupling Relations to Mated Invariants for Checking Information Flow.	ESORICS	2006	DBLP DOI BibTeX RDF
16	Katherine Barabash, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Yoav Ossia, Avi Owshanko, Erez Petrank	A parallel, incremental, mostly concurrent garbage collector for servers.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Garbage collection, JVM, concurrent garbage collection
16	Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya	Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
16	Feng Xian, Witawas Srisa-an, Hong Jiang 0001	Fortune teller: improving garbage collection performance in server environment using live objects prediction.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	predictive model of garbage collection
16	Yichen Xie 0001, Alexander Aiken	Scalable error detection using boolean satisfiability.	POPL	2005	DBLP DOI BibTeX RDF	program analysis, error detection, boolean satisfiability
16	Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson	Permission accounting in separation logic.	POPL	2005	DBLP DOI BibTeX RDF	concurrency, logic, separation, permissions
16	Gary Lindstrom, Peter C. Mehlitz, Willem Visser	Model Checking Real Time Java Using Java PathFinder.	ATVA	2005	DBLP DOI BibTeX RDF
16	Cristiano Calcagno, Philippa Gardner, Matthew Hague	From Separation Logic to First-Order Logic.	FoSSaCS	2005	DBLP DOI BibTeX RDF
16	Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel	Context-sensitive program analysis as database queries.	PODS	2005	DBLP DOI BibTeX RDF
16	Yi Lu 0003, John Potter	A Type System for Reachability and Acyclicity.	ECOOP	2005	DBLP DOI BibTeX RDF
16	Matthew Hertz, Yi Feng, Emery D. Berger	Garbage collection without paging.	PLDI	2005	DBLP DOI BibTeX RDF	bookmarking collection, generational collection, memory pressure, garbage collection, virtual memory, paging
16	Andreas Podelski, Thomas Wies	Boolean Heaps.	SAS	2005	DBLP DOI BibTeX RDF
16	Noam Rinetzky, Mooly Sagiv, Eran Yahav	Interprocedural Shape Analysis for Cutpoint-Free Programs.	SAS	2005	DBLP DOI BibTeX RDF
16	Shlomit S. Pinter, Steven S. Shultz, Yariv Aridor, Sergey Guenender	Improving Machine Virtualization with 'Hotplug Memory'.	SBAC-PAD	2005	DBLP DOI BibTeX RDF
16	Gansha Wu, Xin Zhou, Guei-Yuan Lueh, Jesse Z. Fang, Peng Guo, Jinzhan Peng, Victor Ying	XAMM: A High-Performance Automatic Memory Management System with Memory-Constrained Designs.	HiPEAC	2005	DBLP DOI BibTeX RDF
16	Alex Garthwaite, David Dice, Derek White	Supporting per-processor local-allocation buffers using lightweight user-level preemption notification.	VEE	2005	DBLP DOI BibTeX RDF	restartable critical sections, locality, memory allocation
16	Peng-Sheng Chen, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq Kuen Lee	Interprocedural Probabilistic Pointer Analysis.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	interprocedural program analysis, optimization, compilers, Multithreading, speculation, points-to analysis
16	Daniel L. Dvorak, William K. Reinholtz	Hard real-time: C++ versus RTSJ.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	real-time, architecture, concurrency, programming model
16	David Detlefs, Christine H. Flood, Steve Heller, Tony Printezis	Garbage-first garbage collection.	ISMM	2004	DBLP DOI BibTeX RDF	concurrent garbrage collection, garbage-first garbage collection, soft real-time garbage collection, garbage collection, parallel garbage collection
16	Sunil Soman, Chandra Krintz, David F. Bacon	Dynamic selection of application-specific garbage collectors.	ISMM	2004	DBLP DOI BibTeX RDF	application-specific collection, dynamic selection, Java, virtual machine, annotation, hot-swapping
16	Zoe C. H. Yu, Francis C. M. Lau 0001, Cho-Li Wang	Exploiting Java Objects Behavior for Memory Management and Optimizations.	APLAS	2004	DBLP DOI BibTeX RDF
16	Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley	Myths and realities: the performance impact of garbage collection.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	semi-space, java, generational, reference counting, mark-sweep
16	Witawas Srisa-an, Chia-Tien Dan Lo, J. Morris Chang	Active Memory Processor: A Hardware Garbage Collector for Real-Time Java Embedded Devices.	IEEE Trans. Mob. Comput.	2003	DBLP DOI BibTeX RDF	active memory, real-time systems, embedded systems, Garbage collection, Java virtual machine
16	Dave Ahmad	The Rising Threat of Vulnerabilities Due to Integer Errors.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF
16	Shuo Chen 0001, Zbigniew Kalbarczyk, Jun Xu 0003, Ravishankar K. Iyer	A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities.	DSN	2003	DBLP DOI BibTeX RDF	data analysis, security vulnerabilities, finite state machine modeling
16	Narendran Sachindran, J. Eliot B. Moss	Mark-copy: fast copying GC with less space overhead.	OOPSLA	2003	DBLP DOI BibTeX RDF	copying collector, generational collector, mark-copy, Java, mark-sweep
16	Hans-Juergen Boehm	Destructors, finalizers, and synchronization.	POPL	2003	DBLP DOI BibTeX RDF	destructor, synchronization, garbage collection, deadlock, thread, finalization
16	Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa	Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.	APLAS	2003	DBLP DOI BibTeX RDF
16	Patrick Lam 0001, Martin C. Rinard	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.	ECOOP	2003	DBLP DOI BibTeX RDF
16	Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard	Ownership types for safe region-based memory management in real-time Java.	PLDI	2003	DBLP DOI BibTeX RDF	real-time, encapsulation, regions, ownership types
16	Pramod Ramarao, Akhilesh Tyagi, Gyungho Lee	Run-Time Support for Detection of Memory Access Violations to Prevent Buffer Overflow Exploits.	ISC	2003	DBLP DOI BibTeX RDF
16	John Field, Deepak Goyal, G. Ramalingam, Eran Yahav	Typestate Verification: Abstraction Techniques and Complexity Results.	SAS	2003	DBLP DOI BibTeX RDF
16	Ravishankar K. Iyer, Shuo Chen 0001, Jun Xu 0003, Zbigniew Kalbarczyk	Security Vulnerabilities - From Data Analysis to Protection Mechanisms.	WORDS Fall	2003	DBLP DOI BibTeX RDF
16	Qing Dai, Jie Wu 0001	Computation of Minimal Uniform Transmission Power in Ad Hoc Wireless Networks.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF	power control, minimum spanning tree, ad hoc wireless network, graph connectivity, transmission power
16	Niv Buchbinder, Erez Petrank	Lower and Upper Bounds on Obtaining History Independence.	CRYPTO	2003	DBLP DOI BibTeX RDF
16	Jun Xu 0003, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Transparent Runtime Randomization for Security.	SRDS	2003	DBLP DOI BibTeX RDF
16	Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen	Segment Order Preserving and Generational Garbage Collection for Prolog.	PADL	2002	DBLP DOI BibTeX RDF
16	Kevin Hammond, Greg Michaelson	Predictable Space Behaviour in FSM-Hume.	IFL	2002	DBLP DOI BibTeX RDF
16	Darko Stefanovic, Matthew Hertz, Stephen M. Blackburn, Kathryn S. McKinley, J. Eliot B. Moss	Older-first garbage collection in practice: evaluation in Java Virtual Machine.	MSP/ISMM	2002	DBLP DOI BibTeX RDF
16	Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste	Copying Garbage Collection for the WAM: To Mark or Not to Mark?	ICLP	2002	DBLP DOI BibTeX RDF
16	Stephen M. Blackburn, Richard E. Jones, Kathryn S. McKinley, J. Eliot B. Moss	Beltway: Getting Around Garbage Collection Gridlock.	PLDI	2002	DBLP DOI BibTeX RDF	beltway, copying collection, generational collection, Java
16	Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko	A Parallel, Incremental and Concurrent GC for Servers.	PLDI	2002	DBLP DOI BibTeX RDF	Java, garbage collection, JVM, concurrent garbage collection, weak ordering, incremental garbage collection
16	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
16	Andy J. Wellings, Alan Burns 0001	Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java.	IEEE Real Time Technology and Applications Symposium	2002	DBLP DOI BibTeX RDF
16	Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu	Automatic Accurate Live Memory Analysis for Garbage-Collected Languages.	LCTES/OM	2001	DBLP DOI BibTeX RDF
16	Ted Herman, Imran A. Pirwani	A Composite Stabilizing Data Structure.	WSS	2001	DBLP DOI BibTeX RDF
16	Jyrki Katajainen, Bjarke Buur Mortensen	Experiences with the Design and Implementation of Space-Efficient Deques.	WAE	2001	DBLP DOI BibTeX RDF
16	Peter W. O'Hearn, John C. Reynolds, Hongseok Yang	Local Reasoning about Programs that Alter Data Structures.	CSL	2001	DBLP DOI BibTeX RDF
16	Martin Hofmann 0001	A Type System for Bounded Space and Functional In-Place Update--Extended Abstract.	ESOP	2000	DBLP DOI BibTeX RDF
16	John Iacono	Improved Upper Bounds for Pairing Heaps.	SWAT	2000	DBLP DOI BibTeX RDF
16	Emery D. Berger, Kathryn S. McKinley, Robert D. Blumofe, Paul R. Wilson 0001	Hoard: A Scalable Memory Allocator for Multithreaded Applications.	ASPLOS	2000	DBLP DOI BibTeX RDF
16	Michael L. Fredman	A Priority Queue Transform.	WAE	1999	DBLP BibTeX RDF
16	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm	Solving Shape-Analysis Problems in Languages with Destructive Updating.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	destructive updating, shape graphs, static analysis, abstract interpretation, shape analysis, pointer analysis, dataflow analysis, alias analysis
16	Julian Dolby, Andrew A. Chien	An Evaluation of Automatic Object Inline Allocation Techniques.	OOPSLA	1998	DBLP DOI BibTeX RDF
16	Ole Agesen, David Detlefs, J. Eliot B. Moss	Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines.	PLDI	1998	DBLP DOI BibTeX RDF	Java
16	Alan Roberts, Antonios Symvonis	On-Line Matching Routing on Trees.	LATIN	1998	DBLP DOI BibTeX RDF
16	Mark Harman, Yoga Sivagurunathan, Sebastian Danicic	Analysis of Dynamic Memory Access Using Amorphous Slicing.	ICSM	1998	DBLP DOI BibTeX RDF
16	David Cronk, Matthew Haines, Piyush Mehrotra	Thread Migration in the Presence of Pointers.	HICSS (1)	1997	DBLP DOI BibTeX RDF
16	Manuel Serrano, Marc Feeley	Storage Use Analysis and its Applications.	ICFP	1996	DBLP DOI BibTeX RDF
16	Markus Mohnen	Efficient Compile-Time Garbage Collection for Arbitrary Data Structures	PLILP	1995	DBLP DOI BibTeX RDF
16	Danny Z. Chen, Xiaobo Hu 0001	Fast and Efficient Operations on Parallel Priority Queues.	ISAAC	1994	DBLP DOI BibTeX RDF
16	Diab Abuaiadh, Jeffrey H. Kingston	Are Fibonacci Heaps Optimal?	ISAAC	1994	DBLP DOI BibTeX RDF