Search results for "heap"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll 0001	Juggrnaut: using graph grammars for abstracting unbounded heap structures.	Formal Methods Syst. Des.	2015	DBLP DOI BibTeX RDF
15	Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani	A Framework For Efficient Modular Heap Analysis.	Found. Trends Program. Lang.	2015	DBLP DOI BibTeX RDF
15	Xu Lu 0003, Zhenhua Duan, Cong Tian	Extending PPTL for Verifying Heap Evolution Properties.	CoRR	2015	DBLP BibTeX RDF
15	Gabriel Istrate, Cosmin Bonchis	Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley's process.	CoRR	2015	DBLP BibTeX RDF
15	Daniel Shea	Solving the Subset Sum Problem with Heap-Ordered Subset Trees.	CoRR	2015	DBLP BibTeX RDF
15	Youngjun Hwang, Kyeongcheol Yang, Kyungwhoon Cheun	Low-latency low-complexity heap-based extended min-sum algorithms for non-binary low-density parity-check codes.	IET Commun.	2015	DBLP DOI BibTeX RDF
15	Pratyay Kuila, Prasanta K. Jana	Heap and parameter-based load balanced clustering algorithms for wireless sensor networks.	Int. J. Commun. Networks Distributed Syst.	2015	DBLP DOI BibTeX RDF
15	Taeho Hwang, Jaemin Jung, Youjip Won	HEAPO: Heap-Based Persistent Object Store.	ACM Trans. Storage	2015	DBLP DOI BibTeX RDF
15	Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot	Model checking recursive programs interacting via the heap.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
15	Shirish Singh, Praveen Kumar	CFS performance improvement using Binomial Heap.	ICACCI	2015	DBLP DOI BibTeX RDF
15	Qiang Zeng 0001, Mingyi Zhao, Peng Liu 0005	HeapTherapy: An Efficient End-to-End Solution against Heap Buffer Overflows.	DSN	2015	DBLP DOI BibTeX RDF
15	Artyom M. Grigoryan	Fast heap transform-based QR-decomposition of real and complex matrices: algorithms and codes.	MOBMU	2015	DBLP DOI BibTeX RDF
15	Felix Winterstein, Kermin Fleming, Hsin-Jung Yang, Samuel Bayliss, George A. Constantinides	MATCHUP: Memory Abstractions for Heap Manipulating Programs.	FPGA	2015	DBLP DOI BibTeX RDF
15	Callum Cameron, Jeremy Singer, David Vengerov	The judgment of forseti: economic utility for dynamic heap sizing of multiple runtimes.	ISMM	2015	DBLP DOI BibTeX RDF
15	Gabriel Istrate, Cosmin Bonchis	Partition into Heapable Sequences, Heap Tableaux and a Multiset Extension of Hammersley's Process.	CPM	2015	DBLP DOI BibTeX RDF
15	Cristina David, Daniel Kroening, Matt Lewis	Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs.	ESOP	2015	DBLP DOI BibTeX RDF
15	Michael Cohen	Forensic analysis of windows user space applications through heap allocations.	ISCC	2015	DBLP DOI BibTeX RDF
15	Laurent Houssin	An exension of the heap of pieces model for the Cyclic Jobshop Problem.	CASE	2015	DBLP DOI BibTeX RDF
15	Pietro Braione, Giovanni Denaro, Mauro Pezzè	Symbolic execution of programs with heap inputs.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF
15	Taiguo Qu, Zixing Cai	A Fast Isomap Algorithm Based on Fibonacci Heap.	ICSI (3)	2015	DBLP DOI BibTeX RDF
15	Anshul Garg, Subhajit Roy 0001	Synthesizing Heap Manipulations via Integer Linear Programming.	SAS	2015	DBLP DOI BibTeX RDF
15	Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel	Cache oblivious sparse polynomial factoring using the funnel heap.	PASCO	2015	DBLP DOI BibTeX RDF
15	Debapriyay Mukhopadhyay, Subhas C. Nandy	YAHMD - Yet another heap memory debugger.	ReTIS	2015	DBLP DOI BibTeX RDF
15	Orr Tamir, Adam Morrison 0001, Noam Rinetzky	A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms.	OPODIS	2015	DBLP DOI BibTeX RDF
15	Maria Chroni, Stavros D. Nikolopoulos	Encoding numbers into reducible permutation graphs using heap-ordered trees.	Panhellenic Conference on Informatics	2015	DBLP DOI BibTeX RDF
15	Pietro Ferrara 0001, Peter Müller 0001, Milos Novácek	Automatic Inference of Heap Properties Exploiting Value Domains.	VMCAI	2015	DBLP DOI BibTeX RDF
15	Maryam Mouzarani, Babak Sadeghiyan, Mohammad Zolfaghari	A Smart Fuzzing Method for Detecting Heap-Based Buffer Overflow in Executable Codes.	PRDC	2015	DBLP DOI BibTeX RDF
15	Donghai Tian, Xuanya Li, Mo Chen, Changzhen Hu	iCruiser: An Improved Approach for Concurrent Heap Buffer Overflow Monitoring.	IEICE Trans. Inf. Syst.	2014	DBLP DOI BibTeX RDF
15	Vini Kanvar, Uday P. Khedker	Heap Abstractions for Static Analysis.	CoRR	2014	DBLP BibTeX RDF
15	John Iacono, Özgür Özkan	A Tight Lower Bound for Decrease-Key in the Pure Heap Model.	CoRR	2014	DBLP BibTeX RDF
15	Cristina David, Daniel Kroening, Matt Lewis	Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs.	CoRR	2014	DBLP BibTeX RDF
15	Moshe Y. Vardi	Moore's law and the sand-heap paradox.	Commun. ACM	2014	DBLP DOI BibTeX RDF
15	Haejae Jung	A Simple Array Version of M-Heap.	Int. J. Found. Comput. Sci.	2014	DBLP DOI BibTeX RDF
15	Tobias Nipkow	Skew Heap.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
15	Danijela Petrovic	Verification of Selection and Heap Sort Using Locales.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
15	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez	Conditional termination of loops over heap-allocated data.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
15	Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine	Summary-based inference of quantitative bounds of live heap objects.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
15	Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang	Automatically refining partial specifications for heap-manipulating programs.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
15	Yupeng Wang, Gong Zhang, Zhuqing Jiang, Chengkai Huang, Xueyang Wang, Aidong Men, Bo Yang 0007, Kaifeng Qi	A Novel Routing Algorithm Design of Time Evolving Graph Based on Pairing Heap for MEO Satellite Network.	VTC Fall	2014	DBLP DOI BibTeX RDF
15	Pengcheng Li 0001, Chen Ding 0001, Hao Luo 0007	Modeling heap data growth using average liveness.	ISMM	2014	DBLP DOI BibTeX RDF
15	Shachar Itzhaky, Anindya Banerjee 0001, Neil Immerman, Ori Lahav 0001, Aleksandar Nanevski, Mooly Sagiv	Modular reasoning about heap paths via effectively propositional formulas.	POPL	2014	DBLP DOI BibTeX RDF
15	Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel	Model and Proof Generation for Heap-Manipulating Programs.	ESOP	2014	DBLP DOI BibTeX RDF
15	Artyom M. Grigoryan, Mehdi Hajinoroozi	A novel method of filtration by the discrete heap transforms.	Image Processing: Algorithms and Systems	2014	DBLP DOI BibTeX RDF
15	Callum Cameron, Jeremy Singer	We are all economists now: economic utility for multiple heap sizing.	ICOOOLPS@ECOOP	2014	DBLP DOI BibTeX RDF
15	Yuhui Bai, Syed Zahid Ahmed, Bertrand Granado	Accelerating Heap-Based Priority Queue in Image Coding Application Using Parallel Index-Aware Tree Access.	ARC	2014	DBLP DOI BibTeX RDF
15	Jaehyeok Song, Jonghyuk Song, Jong Kim 0001	Detection of Heap-Spraying Attacks Using String Trace Graph.	WISA	2014	DBLP DOI BibTeX RDF
15	Ruzica Piskac, Thomas Wies, Damien Zufferey	GRASShopper - Complete Heap Verification with Mixed Specifications.	TACAS	2014	DBLP DOI BibTeX RDF
15	Pietro Ferrara 0001	Generic Combination of Heap and Value Analyses in Abstract Interpretation.	VMCAI	2014	DBLP DOI BibTeX RDF
15	Bor-Yuh Evan Chang	Refuting Heap Reachability.	VMCAI	2014	DBLP DOI BibTeX RDF
15	M. Teresa Higuera-Toledano	Building the Java Heap with Bricks in an Embedded Real-Time Environment.	DS-RT	2014	DBLP DOI BibTeX RDF
15	Marc Manuel Johannes Brockschmidt	Termination analysis for imperative programs operating on the heap. (PDF / PS)		2014	RDF
15	Sean Kelley, Edward Aftandilian, Connor Gramazio, Nathan P. Ricci, Sara L. Su, Samuel Z. Guyer	Heapviz: Interactive heap visualization for program understanding and debugging.	Inf. Vis.	2013	DBLP DOI BibTeX RDF
15	Yong-Jun You, Sung-Do Chi, Jae-Ick Kim	HEAP-Based Defense Modeling and Simulation Methodology.	IEICE Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
15	Luciano Lavagno, Mihai T. Lazarescu, Ioannis Papaefstathiou, Andreas Brokalakis, Johan Walters, Bart Kienhuis, Florian Schäfer	HEAP: A Highly Efficient Adaptive multi-Processor framework.	Microprocess. Microsystems	2013	DBLP DOI BibTeX RDF
15	Ke Bai 0002, Aviral Shrivastava	A software-only scheme for managing heap data on limited local memory(LLM) multicore processors.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
15	Lukás Vokrínek	Computing the abelian heap of unpointed stable homotopy classes of maps.	CoRR	2013	DBLP BibTeX RDF
15	Y. C. Tay, Xuanran Zong, Xi He	An equation-based Heap Sizing Rule.	Perform. Evaluation	2013	DBLP DOI BibTeX RDF
15	Patrick P. F. Chan, Lucas Chi Kwong Hui, Siu-Ming Yiu	Heap Graph Based Software Theft Detection.	IEEE Trans. Inf. Forensics Secur.	2013	DBLP DOI BibTeX RDF
15	Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa	Heap space analysis for garbage collected languages.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
15	Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey	A CLP heap solver for test case generation.	Theory Pract. Log. Program.	2013	DBLP DOI BibTeX RDF
15	Holger Bock Axelsen, Robert Glück	Reversible Representation and Manipulation of Constructor Terms in the Heap.	RC	2013	DBLP DOI BibTeX RDF
15	Matej Vitásek, Walter Binder, Matthias Hauswirth	ShadowData: shadowing heap objects in Java.	PASTE	2013	DBLP DOI BibTeX RDF
15	David Robert White, Jeremy Singer, Jonathan M. Aitken, Richard E. Jones	Control theory for principled heap sizing.	ISMM	2013	DBLP DOI BibTeX RDF
15	Martin Aigner 0003, Christoph M. Kirsch	ACDC: towards a universal mutator for benchmarking heap management systems.	ISMM	2013	DBLP DOI BibTeX RDF
15	Ke Bai 0002, Aviral Shrivastava	Automatic and efficient heap data management for limited local memory multicore architectures.	DATE	2013	DBLP DOI BibTeX RDF
15	Yulei Sui, Yue Li 0006, Jingling Xue	Query-directed adaptive heap cloning for optimizing compilers.	CGO	2013	DBLP DOI BibTeX RDF
15	Daniel Sánchez 0001	A Grain in the Heap.	On Fuzziness (2)	2013	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson 0001, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar	Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.	ATVA	2013	DBLP DOI BibTeX RDF
15	Erik Hill, Daniel J. Tracy, Sheldon Brown	GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software.	ICST	2013	DBLP DOI BibTeX RDF
15	Martin Hofmann 0001, Dulma Rodriguez	Automatic Type Inference for Amortised Heap-Space Analysis.	ESOP	2013	DBLP DOI BibTeX RDF
15	Hyun-Joo Yoo, Seong-jeen Kim, Min-soo Jung	Study of Garbage Collection Performance on Dalvik VM Heap Considering Real-Time Response.	ICITCS	2013	DBLP DOI BibTeX RDF
15	Haitao Steve Zhu, Yu David Liu	Heap Decomposition Inference with Linear Programming.	ECOOP	2013	DBLP DOI BibTeX RDF
15	Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan	Thresher: precise refutations for heap reachability.	PLDI	2013	DBLP DOI BibTeX RDF
15	Haggai Eran, Erez Petrank	A study of data structures with a deep heap shape.	MSPC@PLDI	2013	DBLP DOI BibTeX RDF
15	Subhajit Roy 0001	From Concrete Examples to Heap Manipulating Programs.	SAS	2013	DBLP DOI BibTeX RDF
15	Nick Nikiforakis, Frank Piessens, Wouter Joosen	HeapSentry: Kernel-Assisted Protection against Heap Overflows.	DIMVA	2013	DBLP DOI BibTeX RDF
15	Earl T. Barr, Christian Bird, Mark Marron	Collecting a heap of shapes.	ISSTA	2013	DBLP DOI BibTeX RDF
15	Chee Meng Tey, Debin Gao	Defending against Heap Overflow by Using Randomization in Nested Virtual Clusters.	ICICS	2013	DBLP DOI BibTeX RDF
15	Van Lam Le, Ian Welch, Xiaoying Gao, Peter Komisarczuk	Detecting heap-spray attacks in drive-by downloads: Giving attackers a hand.	LCN	2013	DBLP DOI BibTeX RDF
15	Xiaokang Qiu	Automatic techniques for proving correctness of heap-manipulating programs		2013	RDF
15	Ping-fai Chan	Data flow and heap analysis with application to privilege escalation vulnerability scanning and software theft detection.		2013	RDF
15	Marek A. Suchenek	Elementary Yet Precise Worst-Case Analysis of Floyd's Heap-Construction Program.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
15	YoungHan Choi, HyoungChun Kim, DongHoon Lee	Detecting Heap-Spraying Code Injection Attacks in Malicious Web Pages Using Runtime Execution.	IEICE Trans. Commun.	2012	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.	Formal Methods Syst. Des.	2012	DBLP DOI BibTeX RDF
15	Zhenjiang Wang, Chenggang Wu 0002, Pen-Chung Yew, Jianjun Li, Di Xu	On-the-fly structure splitting for heap objects.	ACM Trans. Archit. Code Optim.	2012	DBLP DOI BibTeX RDF
15	Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen	The weak-heap data structure: Variants and applications.	J. Discrete Algorithms	2012	DBLP DOI BibTeX RDF
15	Mohamed A. El-Zawawy	Recognition of Logically Related Regions Based Heap Abstraction	CoRR	2012	DBLP BibTeX RDF
15	Arundhati Walia, Syed I. Ahson	A Novel Advanced Heap Corruption and Security Method	CoRR	2012	DBLP BibTeX RDF
15	Olusegun Folorunso, Olufunke R. Vincent, Oluwatimilehin Salako	An Exploratory Study of Critical Factors Affecting the Efficiency of Sorting Techniques (Shell, Heap and Treap)	CoRR	2012	DBLP BibTeX RDF
15	Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu	Interacting via the Heap in the Presence of Recursion	ICE	2012	DBLP DOI BibTeX RDF
15	Kyungtae Kim, Changwoo Pyo	Securing heap memory by data pointer encoding.	Future Gener. Comput. Syst.	2012	DBLP DOI BibTeX RDF
15	K. Rustan M. Leino, Kuat Yessenov	Stepwise refinement of heap-manipulating code in Chalice.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
15	Supratik Chakraborty	Reasoning about Heap Manipulating Programs using Automata Techniques.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
15	Karthik Mahesh Varadarajan, Ekaterina Potapova, Markus Vincze	Attention driven grasping for clearing a heap of objects.	IROS	2012	DBLP DOI BibTeX RDF
15	Luciano Lavagno, Mihai T. Lazarescu, Ioannis Papaefstathiou, Andreas Brokalakis, Johan Walters, Bart Kienhuis, Florian Schäfer	HEAP: A Highly Efficient Adaptive Multi-processor Framework.	DSD	2012	DBLP DOI BibTeX RDF
15	Ivan Matosevic, Tarek S. Abdelrahman	Efficient bottom-up heap analysis for symbolic path-based data access summaries.	CGO	2012	DBLP DOI BibTeX RDF
15	Mark Marron, Ondrej Lhoták, Anindya Banerjee 0001	Programming Paradigm Driven Heap Analysis.	CC	2012	DBLP DOI BibTeX RDF
15	Donghai Tian, Qiang Zeng 0001, Dinghao Wu, Peng Liu 0005, Changzhen Hu	Kruiser: Semi-synchronized Non-blocking Concurrent Kernel Heap Buffer Overflow Monitoring.	NDSS	2012	DBLP BibTeX RDF
15	Jingsen Chen, Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen	In-place Heap Construction with Optimized Comparisons, Moves, and Cache Misses.	MFCS	2012	DBLP DOI BibTeX RDF
15	Gordon Stewart 0001, Lennart Beringer, Andrew W. Appel	Verified heap theorem prover by paramodulation.	ICFP	2012	DBLP DOI BibTeX RDF