Search results for "heap"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Stuart Byma, James R. Larus	Detailed heap profiling.	ISMM	2018	DBLP DOI BibTeX RDF
15	Xiaofeng Wu 0002, Kun Suo, Yong Zhao, Jia Rao	A Side-channel Attack on HotSpot Heap Management.	HotCloud	2018	DBLP BibTeX RDF
15	Peter Müller 0001	The Binomial Heap Verification Challenge in Viper.	Principled Software Development	2018	DBLP DOI BibTeX RDF
15	Sean Heelan, Tom Melham, Daniel Kroening	Automatic Heap Layout Manipulation for Exploitation.	USENIX Security Symposium	2018	DBLP BibTeX RDF
15	Moritz Eckert, Antonio Bianchi, Ruoyu Wang 0001, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna	HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security.	USENIX Security Symposium	2018	DBLP BibTeX RDF
15	Junfu Zhang, E. Chengyuan, Aiqun Hu	A Method of Android Application Forensics Based on Heap Memory Analysis.	CSAE	2018	DBLP DOI BibTeX RDF
15	Chan-Udom Apichai, Karman Chan, Yoshimi Suzuki	Classification of Thai Tweets: Mining Treasures from Tweet Heap.	ICSAI	2018	DBLP DOI BibTeX RDF
15	Xuyang Zhou, Meikang Qiu	A K-Anonymous Full Domain Generalization Algorithm Based on Heap Sort.	SmartCom	2018	DBLP DOI BibTeX RDF
15	Jonathan Bell 0001, Luís Pina	CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs.	ECOOP	2018	DBLP DOI BibTeX RDF
15	Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar	Template-Based Verification of Heap-Manipulating Programs.	FMCAD	2018	DBLP DOI BibTeX RDF
15	Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun 0001, Shengchao Qin	Testing heap-based programs with Java StarFinder.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
15	Rijnard van Tonder, Claire Le Goues	Static automated program repair for heap properties.	ICSE	2018	DBLP DOI BibTeX RDF
15	Ye Liu 0003, Shinpei Kato, Masato Edahiro	Is the Heap Manager Important to Many Cores?	ROSS@HPDC	2018	DBLP DOI BibTeX RDF
15	Sean Williams, Latchesar Ionkov, Michael Lang 0003, Jason Lee	Heterogeneous Memory and Arena-Based Heap Allocation.	MCHPC@SC	2018	DBLP DOI BibTeX RDF
15	Mingbo Zhang, Saman A. Zonouz	Use-After-Free Mitigation via Protected Heap Allocation.	DSC	2018	DBLP DOI BibTeX RDF
15	Saman A. Zonouz, Mingbo Zhang, Pengfei Sun, Luis Garcia 0001, Xiruo Liu	Dynamic Memory Protection via Intel SGX-Supported Heap Allocation.	DASC/PiCom/DataCom/CyberSciTech	2018	DBLP DOI BibTeX RDF
15	Jorge Aparicio Rivera, Marcus Lindner, Per Lindgren	Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust.	INDIN	2018	DBLP DOI BibTeX RDF
15	Yuki Machigashira, Akio Nakata	An Improved LLF Scheduling for Reducing Maximum Heap Memory Consumption by Considering Laxity Time.	TASE	2018	DBLP DOI BibTeX RDF
15	N. Sasikaladevi, A. Revathi 0001, N. Mahalakshmi, N. Archana	HEAP- Genus 2 HyperElliptic Curve Based Biometric Audio Template Protection.	ICACDS (1)	2018	DBLP DOI BibTeX RDF
15	Johannes Kloos	Heap-based reasoning about asynchronous programs.		2018	RDF
15	Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis	Heaps don't lie: countering unsoundness with heap snapshots.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
15	Frank Block, Andreas Dewald	Linux memory forensics: Dissecting the user space process heap.	Digit. Investig.	2017	DBLP DOI BibTeX RDF
15	M. Yaghobi Moghaddam, S. Z. Shafaei Tonkaboni, M. Noaparast, Faramarz Doulati Ardejani	A mathematical model to simulate Heap (bio)-leaching process: An exact conceptual model, Homotopy theory and comparative insights with conventional methods.	Int. J. Model. Simul. Sci. Comput.	2017	DBLP DOI BibTeX RDF
15	Wenzhe Zhang, Kai Lu, Xiaoping Wang, Jie Jian	Fast Persistent Heap Based on Non-Volatile Memory.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
15	Felix Winterstein, Kermin Elliott Fleming, Hsin-Jung Yang, George A. Constantinides	Custom Multicache Architectures for Heap Manipulating Programs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2017	DBLP DOI BibTeX RDF
15	Christian Löffeld	The Logarithmic Funnel Heap: A Statistically Self-Similar Priority Queue.	CoRR	2017	DBLP BibTeX RDF
15	Sam Silvestro, Hongyu Liu 0005, Corey Crosser, Zhiqiang Lin, Tongping Liu	FreeGuard: A Faster Secure Heap Allocator.	CoRR	2017	DBLP BibTeX RDF
15	Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei	A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.	CoRR	2017	DBLP BibTeX RDF
15	Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin	Automated Lemma Synthesis in Symbolic-Heap Separation Logic.	CoRR	2017	DBLP BibTeX RDF
15	Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll 0001	Heap Abstraction Beyond Context-Freeness.	CoRR	2017	DBLP BibTeX RDF
15		Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation.	CoRR	2017	DBLP BibTeX RDF
15	Leonid Boytsov	A Simple Derivation of the Heap's Law from the Generalized Zipf's Law.	CoRR	2017	DBLP BibTeX RDF
15	Stephan Brandauer, Tobias Wrigstad	Spencer: Interactive Heap Analysis for the Masses.	CoRR	2017	DBLP BibTeX RDF
15	Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen	Heap Construction - 50 Years Later.	Comput. J.	2017	DBLP DOI BibTeX RDF
15	S. Sarathambekai, K. Umamaheswari	Task Scheduling in Distributed Systems Using Heap Intelligent Discrete Particle Swarm Optimization.	Comput. Intell.	2017	DBLP DOI BibTeX RDF
15	Dusan Repel, Johannes Kinder, Lorenzo Cavallaro	Modular Synthesis of Heap Exploits.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
15	Sam Silvestro, Hongyu Liu 0005, Corey Crosser, Zhiqiang Lin, Tongping Liu	FreeGuard: A Faster Secure Heap Allocator.	CCS	2017	DBLP DOI BibTeX RDF
15	Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf	Quantified Heap Invariants for Object-Oriented Programs.	LPAR	2017	DBLP DOI BibTeX RDF
15	Alberto Magno Muniz Soares, Rafael Timóteo de Sousa Júnior	Forensic Analysis of Android Runtime (ART) Application Heap Objects in Emulated and Real Devices.	ICISSP (Revised Selected Papers)	2017	DBLP DOI BibTeX RDF
15	Alberto Magno Muniz Soares, Rafael Timóteo de Sousa Jr.	A Technique for Extraction and Analysis of Application Heap Objects within Android Runtime (ART).	ICISSP	2017	DBLP DOI BibTeX RDF
15	Vini Kanvar, Uday P. Khedker	"What's in a name?" going beyond allocation site names in heap analysis.	ISMM	2017	DBLP DOI BibTeX RDF
15	Taeho Hwang, Dokeun Lee, Yeonjin Noh, Youjip Won	Designing persistent heap for byte addressable NVRAM.	NVMSA	2017	DBLP DOI BibTeX RDF
15	Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei	A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.	CSF	2017	DBLP DOI BibTeX RDF
15	Maksim Shudrak	WinHeap Explorer: Efficient and Transparent Heap-Based Bug Detection in Machine Code.	QRS	2017	DBLP DOI BibTeX RDF
15	Andrea S. Atzeni, Andrea Marcelli, Francesco Muroni, Giovanni Squillero	HAIT: Heap Analyzer with Input Tracing.	SECRYPT	2017	DBLP DOI BibTeX RDF
15	Nouraldin Jaber, Milind Kulkarni 0001	Data structure-aware heap partitioning.	CC	2017	DBLP BibTeX RDF
15	Zhi Nie, Binbin Lin, Shuai Huang 0001, Naren Ramakrishnan, Wei Fan, Jieping Ye	Pruning Decision Trees via Max-Heap Projection.	SDM	2017	DBLP DOI BibTeX RDF
15	Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll 0001, Florian Zuleger	Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.	ESOP	2017	DBLP DOI BibTeX RDF
15	Xiangkun Jia, Chao Zhang 0008, Purui Su, Yi Yang 0040, Huafeng Huang, Dengguo Feng	Towards Efficient Heap Overflow Discovery.	USENIX Security Symposium	2017	DBLP BibTeX RDF
15	Xiaoguang Wang 0003, Yong Qi, Chi Zhang, Saiyu Qi, Peijian Wang	SecretSafe: A Lightweight Approach against Heap Buffer Over-Read Attack.	COMPSAC (1)	2017	DBLP DOI BibTeX RDF
15	Sahil Verma, Subhajit Roy 0001	Synergistic debug-repair of heap manipulations.	ESEC/SIGSOFT FSE	2017	DBLP DOI BibTeX RDF
15	Maxim A. Babenko, Ignat I. Kolesnichenko, Ivan Smirnov	Cascade Heap: Towards Time-Optimal Extractions.	CSR	2017	DBLP DOI BibTeX RDF
15	Tian Tan 0001, Yue Li 0006, Jingling Xue	Efficient and precise points-to analysis: modeling the heap by merging equivalent automata.	PLDI	2017	DBLP DOI BibTeX RDF
15	Jihyeok Park, Xavier Rival, Sukyoung Ryu	Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction.	SOAP@PLDI	2017	DBLP DOI BibTeX RDF
15	Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè	Combining symbolic execution and search-based testing for programs with complex heap inputs.	ISSTA	2017	DBLP DOI BibTeX RDF
15	Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar	Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).	TACAS (2)	2017	DBLP DOI BibTeX RDF
15	Hasan Kurban, Mehmet M. Dalkilic	A novel approach to optimization of iterative machine learning algorithms: Over heap structure.	IEEE BigData	2017	DBLP DOI BibTeX RDF
15	Mohamed Shaafiee, Rajasvaran Logeswaran	Non-von-neumann heap for better streaming, capturing and storing of raw 8K video data.	ICSIPA	2017	DBLP DOI BibTeX RDF
15	Liang He, Yan Cai 0001, Hong Hu 0004, Purui Su, Zhenkai Liang, Yi Yang 0040, Huafeng Huang, Jia Yan, Xiangkun Jia, Dengguo Feng	Automatically assessing crashes from heap overflows.	ASE	2017	DBLP DOI BibTeX RDF
15	Michael Vollmer 0003, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton	SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.	PPoPP	2017	DBLP DOI BibTeX RDF
15	Stephan Brandauer, Tobias Wrigstad	Spencer: interactive heap analysis for the masses.	MSR	2017	DBLP DOI BibTeX RDF
15	Fabian Nagel, Gavin M. Bierman, Aleksandar Dragojevic, Stratis Viglas	Self-managed collections: Off-heap memory management for scalable query-dominated collections.	EDBT	2017	DBLP DOI BibTeX RDF
15	Taciano Perez	Persistent memory and orthogonal persistence: a persistent heap design and its implementation for the Java virtual machine.		2017	RDF
15	Josselin Feist	Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free. (Analyses de code binaire pour la détection et le déclenchement de use-after-free).		2017	RDF
15	Tian Tan 0001	Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction.		2017	RDF
15	Nouha Sghaier, Julien Perez, Brice Augustin, Abdelhamid Mellouk	Energy-aware probing period dimensioning algorithms for mobile WSN-HEAP.	Int. J. Sens. Networks	2016	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.	Acta Informatica	2016	DBLP DOI BibTeX RDF
15	Giuliano Laccetti, Marco Lapegna, Valeria Mele	A Loosely Coordinated Model for Heap-Based Priority Queues in Multicore Environments.	Int. J. Parallel Program.	2016	DBLP DOI BibTeX RDF
15	Pietro Ferrara 0001	A generic framework for heap and value analyses of object-oriented programming languages.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
15	Paulo Henrique Ribeiro Gabriel, Marcelo Keese Albertini, Antonio Castelo, Rodrigo Fernandes de Mello	Min-heap-based scheduling algorithm: an approximation algorithm for homogeneous and heterogeneous distributed systems.	Int. J. Parallel Emergent Distributed Syst.	2016	DBLP DOI BibTeX RDF
15	Johann Schlamp, Ralph Holz, Quentin Jacquemart, Georg Carle, Ernst W. Biersack	HEAP: Reliable Assessment of BGP Hijacking Attacks.	IEEE J. Sel. Areas Commun.	2016	DBLP DOI BibTeX RDF
15	Adrian Dumitrescu	A Selectable Sloppy Heap.	CoRR	2016	DBLP BibTeX RDF
15	Michael L. Fredman	Comments on Dumitrescu's "A Selectable Sloppy Heap".	CoRR	2016	DBLP BibTeX RDF
15	Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll 0001, Florian Zuleger	Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic.	CoRR	2016	DBLP BibTeX RDF
15	Johann Schlamp, Ralph Holz, Quentin Jacquemart, Georg Carle, Ernst W. Biersack	HEAP: Reliable Assessment of BGP Hijacking Attacks.	CoRR	2016	DBLP BibTeX RDF
15	Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel	Efficient sparse polynomial factoring using the Funnel heap.	CoRR	2016	DBLP BibTeX RDF
15	Vini Kanvar, Uday P. Khedker	Heap Abstractions for Static Analysis.	ACM Comput. Surv.	2016	DBLP DOI BibTeX RDF
15	Maryam Mouzarani, Babak Sadeghiyan, Mohammad Zolfaghari	A smart fuzzing method for detecting heap-based vulnerabilities in executable codes.	Secur. Commun. Networks	2016	DBLP DOI BibTeX RDF
15	Hauke Brinkop, Tobias Nipkow	Pairing Heap.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
15	Karla Saur, Michael W. Hicks, Jeffrey S. Foster	C-strider: type-aware heap traversal for C.	Softw. Pract. Exp.	2016	DBLP DOI BibTeX RDF
15	Quang Loc Le, Jun Sun 0001, Wei-Ngan Chin	Satisfiability Modulo Heap-Based Programs.	CAV (1)	2016	DBLP DOI BibTeX RDF
15	Marco Grandi	Spray: programming with a persistent distributed heap.	SPLASH (Companion Volume)	2016	DBLP DOI BibTeX RDF
15	Kumud Bhandari	Managing persistent heap in NVRAM.	Mobile!@SPLASH	2016	DBLP DOI BibTeX RDF
15	Pavel Jancík, Jan Kofron	Dead variable analysis for multi-threaded heap manipulating programs.	SAC	2016	DBLP DOI BibTeX RDF
15	Pengcheng Li 0001, Hao Luo 0007, Chen Ding 0001	Rethinking a heap hierarchy as a cache hierarchy: a higher-order theory of memory demand (HOTM).	ISMM	2016	DBLP DOI BibTeX RDF
15	Sudhanva Bhat, Sreedath Panat, Arunachalam N	Classification of rice grain varieties arranged in scattered and heap fashion using image processing.	ICMV	2016	DBLP DOI BibTeX RDF
15	James Brotherston, Nikos Gorogiannis, Max I. Kanovich, Reuben Rowe	Model checking for symbolic-heap separation logic with inductive predicates.	POPL	2016	DBLP DOI BibTeX RDF
15	Gregory J. Duck, Roland H. C. Yap	Heap bounds protection with low fat pointers.	CC	2016	DBLP DOI BibTeX RDF
15	Dali Zhu, Ying Li, Na Pang, Weimiao Feng	An Android System Vulnerability Risk Evaluation Method for Heap Overflow.	ES	2016	DBLP DOI BibTeX RDF
15	Huayi Zhou 0002, Xiao Liang 0005, Chuan Zhang 0001, Shunqing Zhang, Xiaohu You 0001	Successive Cancellation Heap Polar Decoding.	GLOBECOM	2016	DBLP DOI BibTeX RDF
15	Pietro Braione, Giovanni Denaro, Mauro Pezzè	JBSE: a symbolic executor for Java programs with complex heap inputs.	SIGSOFT FSE	2016	DBLP DOI BibTeX RDF
15	Ricardo Gómez, Flavius Gruian, Liang Liu 0002	Memory Power Management for Java Processors Using Heap Partitioning and Power Gating.	JTRES	2016	DBLP DOI BibTeX RDF
15	Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar	Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).	TACAS	2016	DBLP DOI BibTeX RDF
15	Lucas McDaniel, Kara L. Nance	Mitigating 0-Days through Heap Techniques - An Empirical Study.	HICSS	2016	DBLP DOI BibTeX RDF
15	Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi	Provably-Secure Remote Memory Attestation for Heap Overflow Protection.	SCN	2016	DBLP DOI BibTeX RDF
15	Marcel Dombrowski, Konstantin Nasartschuk, Kenneth B. Kent, Gerhard W. Dueck, Charlie Gracie	Thread-group based local heap garbage collection in a simulated runtime environment.	CCECE	2016	DBLP DOI BibTeX RDF
15	Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person	Exact Heap Summaries for Symbolic Execution.	VMCAI	2016	DBLP DOI BibTeX RDF
15	Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet	Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free.	SSPREW@ACSAC	2016	DBLP DOI BibTeX RDF
15	Yuhui Bai, Syed Zahid Ahmed, Bertrand Granado	ARC 2014: Towards a Fast FPGA Implementation of a Heap-Based Priority Queue for Image Coding Using a Parallel Index-Aware Tree.	ACM Trans. Reconfigurable Technol. Syst.	2015	DBLP DOI BibTeX RDF
15	Emilio Cariaga, Rubén Martínez, Mauricio Sepúlveda	Estimation of hydraulic parameters under unsaturated flow conditions in heap leaching.	Math. Comput. Simul.	2015	DBLP DOI BibTeX RDF