Search results for "heap"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani	Modular Heap Analysis for Higher-Order Programs.	SAS	2012	DBLP DOI BibTeX RDF
15	Dino Distefano	A Voyage to the Deep-Heap.	SAS	2012	DBLP DOI BibTeX RDF
15	Dongfang Li, Zhenglin Liu, Yizhi Zhao	HeapDefender: A Mechanism of Defending Embedded Systems against Heap Overflow via Hardware.	UIC/ATC	2012	DBLP DOI BibTeX RDF
15	Mohamed A. El-Zawawy	Heap Slicing Using Type Systems.	ICCSA (3)	2012	DBLP DOI BibTeX RDF
15	Yuto Nakashima, Tomohiro I, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda	The Position Heap of a Trie.	SPIRE	2012	DBLP DOI BibTeX RDF
15	Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen	The Weak-Heap Family of Priority Queues in Theory and Praxis.	CATS	2012	DBLP BibTeX RDF
15	Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez	Verified Resource Guarantees for Heap Manipulating Programs.	FASE	2012	DBLP DOI BibTeX RDF
15	Jirí Simácek	Harnessing Forest Automata for Verification of Heap Manipulating Programs. (Vérification de programmes avec structures de données complexes).		2012	RDF
15		Stack/Heap Smashing.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
15	Mario E. Mellado, María P. Casanova, Luis A. Cisternas, Edelmira D. Gálvez	On scalable analytical models for heap leaching.	Comput. Chem. Eng.	2011	DBLP DOI BibTeX RDF
15	Hussein Thompson, Pranay Chaudhuri	An alternative visual analysis of the build heap algorithm.	Inroads	2011	DBLP DOI BibTeX RDF
15	Renjian Li, Ji Wang 0001, Liqian Chen, Wanwei Liu, Dengping Wei	Quantitative analysis for symbolic heap bounds of CPS software.	Comput. Sci. Inf. Syst.	2011	DBLP DOI BibTeX RDF
15	Mohamed A. El-Zawawy	Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis	CoRR	2011	DBLP BibTeX RDF
15	Kiran Kumar Sundararajan, Mita Pal, Soubhik Chakraborty, N. C. Mahanti	K-sort: A new sorting algorithm that beats Heap sort for n <= 70 lakhs!	CoRR	2011	DBLP BibTeX RDF
15	Y. Mohamadi Begum, M. A. Maluk Mohamed	DEEPG: Dual Heap Overlay Resource Discovery Protocol for Mobile Grid.	Scalable Comput. Pract. Exp.	2011	DBLP BibTeX RDF
15	Michael B. Monagan, Roman Pearce	Sparse polynomial division using a heap.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
15	Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar	Forest Automata for Verification of Heap Manipulation.	CAV	2011	DBLP DOI BibTeX RDF
15	Paul Tarau	Integrated symbol table, engine and heap memory management in multi-engine prolog.	ISMM	2011	DBLP DOI BibTeX RDF
15	Sami Serhan, Imad Salah, Heba Saadeh, Hamed Abdel-Haq	Mathematical Model for Distributed Heap Memory Load Balancing.	DICTAP (2)	2011	DBLP DOI BibTeX RDF
15	Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin	Structured Specifications for Better Verification of Heap-Manipulating Programs.	FM	2011	DBLP DOI BibTeX RDF
15	P. Madhusudan, Gennaro Parlato, Xiaokang Qiu	Decidable logics combining heap structures and data.	POPL	2011	DBLP DOI BibTeX RDF
15	Yanyun Liu, Wenquan Feng, Hua Sun, Jia Yin, Zhiyuan Zheng	An Algorithm Design of Inter-satellite Routing Based on Fibonacci Heap.	ISCID (2)	2011	DBLP DOI BibTeX RDF
15	Gene Novark, Emery D. Berger	DieHarder: Securing the Heap.	WOOT	2011	DBLP BibTeX RDF
15	Patrick P. F. Chan, Lucas Chi Kwong Hui, Siu-Ming Yiu	JSBiRTH: Dynamic JavaScript Birthmark Based on the Run-Time Heap.	COMPSAC	2011	DBLP DOI BibTeX RDF
15	Barnali Basak, Sandeep Dasgupta, Amey Karkare	Heap Dependence Analysis for Sequential Programs.	PARCO	2011	DBLP DOI BibTeX RDF
15	Juan Antonio Navarro Pérez, Andrey Rybalchenko	Separation logic + superposition calculus = heap theorem prover.	PLDI	2011	DBLP DOI BibTeX RDF
15	Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv	Precise and compact modular procedure summaries for heap manipulating programs.	PLDI	2011	DBLP DOI BibTeX RDF
15	Qiang Zeng 0001, Dinghao Wu, Peng Liu 0005	Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures.	PLDI	2011	DBLP DOI BibTeX RDF
15	Patrick P. F. Chan, Lucas Chi Kwong Hui, Siu-Ming Yiu	Dynamic Software Birthmark for Java Based on Heap Memory Analysis.	Communications and Multimedia Security	2011	DBLP DOI BibTeX RDF
15	Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn	The Complexity of Abduction for Separated Heap Abstractions.	SAS	2011	DBLP DOI BibTeX RDF
15	Jun Liu 0003, Liang Sun 0001, Jieping Ye	Projection onto A Nonnegative Max-Heap.	NIPS	2011	DBLP BibTeX RDF
15	Saswat Anand, Mary Jean Harrold	Heap cloning: Enabling dynamic symbolic execution of java programs.	ASE	2011	DBLP DOI BibTeX RDF
15	Muhammad Zubair Malik	Dynamic shape analysis of program heap using graph spectra.	ICSE	2011	DBLP DOI BibTeX RDF
15	József Mihalicza, Zoltán Porkoláb, Abel Gabor	Type-preserving heap profiler for C++.	ICSM	2011	DBLP DOI BibTeX RDF
15	Arsenii Rudich	Automatic verification of heap structures with stereotypes.		2011	RDF
15	Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres	No-Heap remote objects for distributed real-time Java.	ACM Trans. Embed. Comput. Syst.	2010	DBLP DOI BibTeX RDF
15	Ioannis K. Paparrizos	A tight bound on the worst-case number of comparisons for Floyd's heap construction algorithm	CoRR	2010	DBLP BibTeX RDF
15	Fu-Hau Hsu, Cheng-Hsien Huang, Chi-Hsien Hsu, Chih-Wen Ou, Li-Han Chen, Ping-Cheng Chiu	HSP: A solution against heap sprays.	J. Syst. Softw.	2010	DBLP DOI BibTeX RDF
15	Eran Yahav, Mooly Sagiv	Verifying safety properties of concurrent heap-manipulating programs.	ACM Trans. Program. Lang. Syst.	2010	DBLP DOI BibTeX RDF
15	Gene Novark, Emery D. Berger	DieHarder: securing the heap.	CCS	2010	DBLP DOI BibTeX RDF
15	Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin	Verifying Heap-Manipulating Programs with Unknown Procedure Calls.	ICFEM	2010	DBLP DOI BibTeX RDF
15	Dulma Rodriguez	A Type System for Amortised Heap-Space Analysis of Object-Oriented Programs.	AlgoSyn	2010	DBLP BibTeX RDF
15	Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv	A dynamic evaluation of the precision of static heap abstractions.	OOPSLA	2010	DBLP DOI BibTeX RDF
15	Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer	What can the GC compute efficiently?: a language for heap assertions at GC time.	OOPSLA	2010	DBLP DOI BibTeX RDF
15	Isil Dillig, Thomas Dillig, Alex Aiken	Symbolic heap abstraction with demand-driven axiomatization of memory invariants.	OOPSLA	2010	DBLP DOI BibTeX RDF
15	Wolfgang Puffitsch, Benedikt Huber, Martin Schoeberl	Worst-Case Analysis of Heap Allocations.	ISoLA (2)	2010	DBLP DOI BibTeX RDF
15	Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine	Structuring the verification of heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
15	Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa	Starvation-free heap size for replication-based incremental compacting garbage collection.	ILC	2010	DBLP DOI BibTeX RDF
15	Peter Trapp, Christian Facchi	Main Memory Stubs to Simulate Heap and Stack Memory Behavior.	Int. CMG Conference	2010	DBLP BibTeX RDF
15	Martin Kero, Pawel Pietrzak, Johan Nordlander	Live Heap Space Bounds for Real-Time Systems.	APLAS	2010	DBLP DOI BibTeX RDF
15	Julien Vanegue	Zero-sized Heap Allocations Vulnerability Analysis.	WOOT	2010	DBLP BibTeX RDF
15	Edward Aftandilian, Sean Kelley, Connor Gramazio, Nathan P. Ricci, Sara L. Su, Samuel Z. Guyer	Heapviz: interactive heap visualization for program understanding and debugging.	SOFTVIS	2010	DBLP DOI BibTeX RDF
15	Colin Myers, David J. Duke	A map of the heap: revealing design abstractions in runtime structures.	SOFTVIS	2010	DBLP DOI BibTeX RDF
15	Ke Bai 0002, Aviral Shrivastava	Heap data management for limited local memory (LLM) multi-core processors.	CODES+ISSS	2010	DBLP DOI BibTeX RDF
15	Bill McCloskey, Thomas W. Reps, Mooly Sagiv	Statically Inferring Complex Heap, Array, and Numeric Invariants.	SAS	2010	DBLP DOI BibTeX RDF
15	Jules Villard, Étienne Lozes, Cristiano Calcagno	Tracking Heaps That Hop with Heap-Hop.	TACAS	2010	DBLP DOI BibTeX RDF
15	Wuu Yang, Huei-Ru Tseng, Rong-Hong Jan	Heap Garbage Collection with Reference Counting.	ICSOFT (2)	2010	DBLP BibTeX RDF
15	Jan Smans, Bart Jacobs 0002, Frank Piessens	Heap-Dependent Expressions in Separation Logic.	FMOODS/FORTE	2010	DBLP DOI BibTeX RDF
15	Francesco Gadaleta, Yves Younan, Wouter Joosen	BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks.	ESSoS	2010	DBLP DOI BibTeX RDF
15	Joonas Tyystjärvi, Tero Säntti, Juha Plosila	Heap access optimizations for a hardware-accelerated Java virtual machine.	SoC	2010	DBLP DOI BibTeX RDF
15	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey	Shape Refinement through Explicit Heap Analysis.	FASE	2010	DBLP DOI BibTeX RDF
15	Xu Xiu	Distributed Computing Systems Using Heap Sort of Multi-layer Sub-tree by Task Match Scheduling Algorithm.	PAAP	2010	DBLP DOI BibTeX RDF
15	Stephen Magill	Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs.		2010	DOI RDF
15	Jonathan Heinen, Thomas Noll 0001, Stefan Rieger	Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures.	TTSS	2009	DBLP DOI BibTeX RDF
15	Yangwoo Roh, JaeSub Kim, Kyu Ho Park	A Phase-Adaptive Garbage Collector Using Dynamic Heap Partitioning and Opportunistic Collection.	IEICE Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF
15	Seongyong Joo, Jang-Wu Jo	Analyzing the Heap Usage of Java Programs.	Software Engineering Research and Practice	2009	DBLP BibTeX RDF
15	David M. Ungar, Sam S. Adams	Hosting an object heap on manycore hardware: an exploration.	DLS	2009	DBLP DOI BibTeX RDF
15	Devesh Tiwari, Sanghoon Lee 0006, James Tuck 0001, Yan Solihin	Memory management thread for heap allocation intensive sequential applications.	MEDEA@PACT	2009	DBLP DOI BibTeX RDF
15	Muneyoshi Suzuki, Katsuya Minami	Concurrent Heap-Based Network Sort Engine - Toward Enabling Massive and High Speed Per-Flow Queuing.	ICC	2009	DBLP DOI BibTeX RDF
15	Paruj Ratanaworabhan, V. Benjamin Livshits, Benjamin G. Zorn	NOZZLE: A Defense Against Heap-spraying Code Injection Attacks.	USENIX Security Symposium	2009	DBLP BibTeX RDF
15	Hongseok Yang	Automatic Verification of Heap-Manipulating Programs Using Separation Logic.	CSR	2009	DBLP DOI BibTeX RDF
15	Rosa Castillo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata	Conflict Analysis for heap-based Data Dependence Detection.	PARCO	2009	DBLP DOI BibTeX RDF
15	Adrian Tineo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata	On the Automatic Detection of Heap-Induced Data Dependencies with Interprocedural Shape Analysis.	ICPP Workshops	2009	DBLP DOI BibTeX RDF
15	Manuel Egele, Peter Wurzinger, Christopher Kruegel, Engin Kirda	Defending Browsers against Drive-by Downloads: Mitigating Heap-Spraying Code Injection Attacks.	DIMVA	2009	DBLP DOI BibTeX RDF	malicious script, shellcode, emulation, Drive-by download
15	Suzette Person, Matthew B. Dwyer	Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs.	NASA Formal Methods	2009	DBLP BibTeX RDF
15	Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr., Jeffrey Overbey, Vikram S. Adve, Ralph E. Johnson	Inferring Method Effect Summaries for Nested Heap Regions.	ASE	2009	DBLP DOI BibTeX RDF
15	Steven P. Reiss	Visualizing the Java heap to detect memory problems.	VISSOFT	2009	DBLP DOI BibTeX RDF
15	Byron Cook, Ashutosh Gupta 0001, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis	Finding heap-bounds for hardware synthesis.	FMCAD	2009	DBLP DOI BibTeX RDF
15	Hwee Pink Tan, Pius W. Q. Lee, Winston Khoon Guan Seah, Zhi Ang Eu	Impact of Power Control in Wireless Sensor Networks Powered by Ambient Energy Harvesting (WSN-HEAP) for Railroad Health Monitoring.	AINA Workshops	2009	DBLP DOI BibTeX RDF
15	Martin Hofmann 0001, Dulma Rodriguez	Efficient Type-Checking for Amortised Heap-Space Analysis.	CSL	2009	DBLP DOI BibTeX RDF	Resource analysis, Semantics, OOP, Type systems
15	Olexiy Gotsman	Logics and analyses for concurrent heap-manipulating programs.		2009	RDF
15	Mario E. Mellado, Luis A. Cisternas	An analytical-numerical method for solving a heap leaching problem of one or more solid reactants from porous pellets.	Comput. Chem. Eng.	2008	DBLP DOI BibTeX RDF
15	Rehan Akbani, Turgay Korkmaz, G. V. S. Raju 0001	HEAP: A packet authentication scheme for mobile ad hoc networks.	Ad Hoc Networks	2008	DBLP DOI BibTeX RDF
15	Anton Salikhmetov	The Heap Lambda Machine	CoRR	2008	DBLP BibTeX RDF
15	Yuji Chiba	Java heap protection for debugging native methods.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
15	Simon Marlow, Tim Harris 0001, Roshan P. James, Simon L. Peyton Jones	Parallel generational-copying garbage collection with a block-structured heap.	ISMM	2008	DBLP DOI BibTeX RDF	parallel garbage collection
15	Ross McIlroy, Peter Dickman, Joe Sventek	Efficient dynamic heap allocation of scratch-pad memory.	ISMM	2008	DBLP DOI BibTeX RDF	on-core memory, concurrency, memory management
15	Mark Daniel, Jake Honoroff, Charlie Miller	Engineering Heap Overflow Exploits with JavaScript.	WOOT	2008	DBLP BibTeX RDF
15	Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin	A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets.	SEFM	2008	DBLP DOI BibTeX RDF
15	Noam Rinetzky	Interprocedural and modular local heap shape analysis		2008	RDF
15	Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm	Logical characterizations of heap abstractions.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	canonical abstraction, Logic, shape analysis, characterization
15	Amey Karkare, Uday P. Khedker, Amitabha Sanyal	Liveness of Heap Data for Functional Programs	CoRR	2007	DBLP BibTeX RDF
15	Amey Karkare, Amitabha Sanyal, Uday P. Khedker	Heap Reference Analysis for Functional Programs	CoRR	2007	DBLP BibTeX RDF
15	Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur	Heap analysis in the presence of collection libraries.	PASTE	2007	DBLP DOI BibTeX RDF	collection library, static analysis, shape analysis
15	Nir Shasha, Sivan Toledo	Storing a Persistent Transactional Object Heap on Flash Memory.	SwSTE	2007	DBLP DOI BibTeX RDF
15	Kenneth L. McMillan	Toward Property-Driven Abstraction for Heap Manipulating Programs.	ATVA	2007	DBLP DOI BibTeX RDF
15	Boris I. Godoy, Julio H. Braslavsky, Juan C. Agüero	A model-based feedback control strategy for heap bioleaching processes.	CDC	2007	DBLP DOI BibTeX RDF
15	Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs 0001, Erik Poll, Sjaak Smetsers	AHA: Amortized Heap Space Usage Analysis.	Trends in Functional Programming	2007	DBLP BibTeX RDF
15	Chris Lattner, Andrew Lenharth, Vikram S. Adve	Making context-sensitive points-to analysis with heap cloning practical for the real world.	PLDI	2007	DBLP DOI BibTeX RDF	field-sensitive, static analysis, pointer analysis, context-sensitive, recursive data structure, interprocedural
15	Maryam Moazeni, Alireza Vahdatpour	HEAP: a hierarchical energy aware protocol for routing and aggregation in sensor networks.	WICON	2007	DBLP DOI BibTeX RDF