Search results for "heap"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Damien Doligez, Georges Gonthier	Portable, Unobtrusive Garbage Collection for Multiprocessor Systems.	POPL	1994	DBLP DOI BibTeX RDF
16	William D. Clinger, Lars Thomas Hansen	Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
16	James W. O'Toole Jr., Scott Nettles	Concurrent Replicating Garbage Collection.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
16	John Launchbury	A Natural Semantics for Lazy Evaluation.	POPL	1993	DBLP DOI BibTeX RDF
16	Amos Israeli, Lihu Rappoport	Efficient Wait-Free Implementation of a Concurrent Priority Queue.	WDAG	1993	DBLP DOI BibTeX RDF
16	Hans-Juergen Boehm	Space efficient conservative garbage collection (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
16	Hans-Juergen Boehm	Space Efficient Conservative Garbage Collection.	PLDI	1993	DBLP DOI BibTeX RDF	C, SPARC, Cedar
16	Maria Cristina Pinotti, Geppino Pucci	Parallel Algorithms for Priority Queue Operations.	SWAT	1992	DBLP DOI BibTeX RDF	Parallel Algorithms, Data Structures, Analysis of Algorithms, Heaps
16	Wolfgang Küchlin	PARSAC-2: A Parallel SAC-2 Based on Threads.	AAECC	1990	DBLP DOI BibTeX RDF
16	Rassul Ayani	LR-algorithm: concurrent operations on priority queues.	SPDP	1990	DBLP DOI BibTeX RDF
16	Robert Hieb, R. Kent Dybvig, Carl Bruggeman	Representing Control in the Presence of First-Class Continuations.	PLDI	1990	DBLP DOI BibTeX RDF	SCHEME
16	Michael L. Fredman, Robert Endre Tarjan	Fibonacci heaps and their uses in improved network optimization algorithms.	J. ACM	1987	DBLP DOI BibTeX RDF
16	Olivier Danvy	Memory allocation and higher-order functions.	PLDI	1987	DBLP DOI BibTeX RDF
16	James Brotherston, Max I. Kanovich	Undecidability of Propositional Separation Logic and Its Neighbours.	LICS	2010	DBLP DOI BibTeX RDF	bunched logic, heap models, separation logic, undecidability
16	J. Stanley Warford, Chris Dimpfl	The pep/8 memory tracer: visualizing activation records on the run-time stack.	SIGCSE	2010	DBLP DOI BibTeX RDF	activation record, pep/8, run-time stack, simulation, visualization, virtual machine, memory model, heap, assembly language
16	Guoqing Xu 0001, Matthew Arnold, Nick Mitchell, Atanas Rountev, Gary Sevitsky	Go with the flow: profiling copies to find runtime bloat.	PLDI	2009	DBLP DOI BibTeX RDF	copy graph, memory bloat, profiling, heap analysis
16	Bhuvan Middha, Matthew S. Simpson, Rajeev Barua	MTSS: Multitask stack sharing for embedded systems.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Out-of-memory errors, cactus stack, meshed stack, reliability, data compression, reuse, virtual memory, runtime checks, heap overflow, stack overflow
16	Adriana E. Chis	Automatic detection of memory anti-patterns.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java heap dumps, memory anti-patterns, metrics, memory footprint
16	Bhuvan Middha, Matthew S. Simpson, Rajeev Barua	MTSS: multi task stack sharing for embedded systems.	CASES	2005	DBLP DOI BibTeX RDF	cactus stack, meshed stack, out-of-memory, reliability, reuse, runtime checks, heap overflow, stack overflow
16	Manuel Fähndrich, Robert DeLine	Adoption and Focus: Practical Linear Types for Imperative Programming.	PLDI	2002	DBLP DOI BibTeX RDF	heap aliasing, linear types, region-based memory management
16	Zhong Shao, Andrew W. Appel	Efficient and safe-for-space closure conversion.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	callee-save registers, closure representation, heap-based compilation, space safety, compiler optimization, flow analysis, closure conversion
16	Adam Bakewell, Colin Runciman	A model for comparing the space usage of lazy evaluators.	PPDP	2000	DBLP DOI BibTeX RDF	garbage, heap usage, space leak, functional programming, operational semantics, bisimulation, term-graph rewriting
16	Brian Willard, Ophir Frieder	Autonomous Garbage Collection: Resolving Memory Leaks in Long Running Network Applications.	ICCCN	1998	DBLP DOI BibTeX RDF	heap storage, software performance degeneration, garbage collection, network communications, memory leaks, dynamic memory allocation
16	Zvi Galil	Efficient Algorithms for Finding Maximal Matching in Graphs.	CAAP	1983	DBLP DOI BibTeX RDF	Shmathematics, algorithmic tools, monsters, polygamy, the asexual case, the assignment problem, moonlighting, augmenting path, ET, shrink, The Main Theorem of Botany, The ACM Longest Paper Award, generalized priority queue, d-heap, warm-up, primaldual, sexual discrimination, affirmative action, joint income tax return, data structures, matching, duality, blossoms
15	Dandan Xu, Kai Chen 0012, Miaoqian Lin, Chaoyang Lin, Xiaofeng Wang	AutoPwn: Artifact-Assisted Heap Exploit Generation for CTF PWN Competitions.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
15	Xin Zhang, Jinheng Xie, Yuan Yuan, Michael Bi Mi, Robby T. Tan	HEAP: Unsupervised Object Discovery and Localization with Contrastive Grouping.	AAAI	2024	DBLP DOI BibTeX RDF
15	Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke 0001, Peter Rugg, Brooks Davis, Mark Johnston, Robert M. Norton, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson	Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety.	ASPLOS (2)	2024	DBLP DOI BibTeX RDF
15	Alexandre Moine 0001, Arthur Charguéraud, François Pottier	A High-Level Separation Logic for Heap Space under Garbage Collection.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Yigit Çagatay Kuyu, Fahri Vatansever	Heap-based optimizer embedded with search strategies applied to high-order analog filter designs: a comparative study with up-to-date metaheuristics.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
15	Suhyeon Song, Seonghwan Park, Donghyun Kwon	metaSafer: A Technique to Detect Heap Metadata Corruption in WebAssembly.	IEEE Access	2023	DBLP DOI BibTeX RDF
15	Pavan G. Malghan, Malaya Kumar Hota	An Improved VME Technique via Heap Based Optimization Algorithm and AWIT Method for PLI and MA Noise Elimination in ECG.	IEEE Access	2023	DBLP DOI BibTeX RDF
15	Yu Wang, Yipeng Zhang, Zhoujun Li 0001	AAHEG: Automatic Advanced Heap Exploit Generation Based on Abstract Syntax Tree.	Symmetry	2023	DBLP DOI BibTeX RDF
15	Yuhang Liu, Zixuan Wang, Hao Yuan, Guiquan Zhu, Yongqing Zhang	HEAP: a task adaptive-based explainable deep learning framework for enhancer activity prediction.	Briefings Bioinform.	2023	DBLP DOI BibTeX RDF
15	Deok-Jae Oh, Yaebin Moon, Do Kyu Ham, Tae Jun Ham, Yongjun Park 0001, Jae W. Lee, Jung Ho Ahn, Eojin Lee	MaPHeA: A Framework for Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
15	Xin Zhang, Jinheng Xie, Yuan Yuan, Michael Bi Mi, Robby T. Tan	HEAP: Unsupervised Object Discovery and Localization with Contrastive Grouping.	CoRR	2023	DBLP DOI BibTeX RDF
15	Kiarash Parvizi	An Adaptive Cache-Friendly Priority Queue: Fine-Tuning Heap Efficiency.	CoRR	2023	DBLP DOI BibTeX RDF
15	Paloma Sodhi, S. R. K. Branavan, Ryan McDonald	HeaP: Hierarchical Policies for Web Actions using LLMs.	CoRR	2023	DBLP DOI BibTeX RDF
15	Iyad A. Katib, Mahmoud Ragab	Heap Based Optimization with Deep Quantum Neural Network Based Decision Making on Smart Healthcare Applications.	Comput. Syst. Sci. Eng.	2023	DBLP DOI BibTeX RDF
15	Rizk Masoud Rizk-Allah, Islam M. Eldesoky, Ekram A. Aboali, Sarah M. Nasr	Heap-Based Optimizer Algorithm with Chaotic Search for Nonlinear Programming Problem Global Solution.	Int. J. Comput. Intell. Syst.	2023	DBLP DOI BibTeX RDF
15	Sanaz Tavakoli-Someh, Marina Shimchenko, Erik Österlund, Rodrigo Bruno, Paulo Ferreira 0001, Tobias Wrigstad	Heap Size Adjustment with CPU Control.	MPLR	2023	DBLP DOI BibTeX RDF
15	Haritha Madhav C, Unnikrishnan Cheramangalath	Memory leak detection using Heap Object Flow Graph (HOFG).	ISEC	2023	DBLP DOI BibTeX RDF
15	Sander Borst, Daniel Dadush, Sophie Huiberts, Danish Kashaev	A Nearly Optimal Randomized Algorithm for Explorable Heap Selection.	IPCO	2023	DBLP DOI BibTeX RDF
15	Christian Navasca, Martin Maas 0001, Petros Maniatis, Hyeontaek Lim, Guoqing Harry Xu	Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract.	ISMM	2023	DBLP DOI BibTeX RDF
15	Guillermo Polito, Pablo Tesone, Nahuel Palumbo, Stéphane Ducasse, Jean Privat	Heap Fuzzing: Automatic Garbage Collection Testing with Expert-Guided Random Events.	ICST	2023	DBLP DOI BibTeX RDF
15	Linong Shi, Chuanping Hu, Yan Zhuang, Yan Lu	SdShield: Effectively Ensuring Heap Security via Shadow Page Table.	ICDF2C (2)	2023	DBLP DOI BibTeX RDF
15	Yoochan Lee, Jinhan Kwak, Junesoo Kang, Yuseok Jeon, Byoungyoung Lee	Pspray: Timing Side-Channel based Linux Kernel Heap Exploitation Technique.	USENIX Security Symposium	2023	DBLP BibTeX RDF
15	Runhao Li, Bin Zhang, Jiongyi Chen, Wenfeng Lin, Chao Feng, Chaojing Tang	Towards Automatic and Precise Heap Layout Manipulation for General-Purpose Programs.	NDSS	2023	DBLP BibTeX RDF
15	Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio	Precise Lazy Initialization for Programs with Complex Heap Inputs.	ISSRE	2023	DBLP DOI BibTeX RDF
15	Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee	TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers.	OSDI	2023	DBLP BibTeX RDF
15	Zuzana Jelcicová, Evangelia Kasapaki, Oskar Andersson, Jens Sparsø	A Min-Heap-Based Accelerator for Deterministic On-the-Fly Pruning in Neural Networks.	ISCAS	2023	DBLP DOI BibTeX RDF
15	Ramy Fakhoury, Anastasia Braginsky, Idit Keidar, Yoav Zuriel	Nova: Safe Off-Heap Memory Allocation and Reclamation.	OPODIS	2023	DBLP DOI BibTeX RDF
15	Xiaohe Mo, Yaqun Huang, Chunna Zhao, Mengfan Hu	Shuffled Frog-leaping Algorithm Based on Heap and Fractional Order.	CCIS	2023	DBLP DOI BibTeX RDF
15	B. Naresh Kumar Reddy, K. Sarangam, Sushmita Dandeliya, S. Pavan Sai Naidu, Naveen Kumar P	Accelerating Sorting Performance on FPGA: Combining Quick Sort and Heap Sort through Hybrid Pipelining.	iSES	2023	DBLP DOI BibTeX RDF
15	Haoxin Tu	Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation.	ICSE Companion	2023	DBLP DOI BibTeX RDF
15	Kyung-Seok Lee, Teahyung Lee, Young Ik Eom	Hybrid Local Cache Model for Enhancing Performance and Memory Footprint of Mobile Heap Allocator.	GCCE	2023	DBLP DOI BibTeX RDF
15	Marisa Kirisame, Pranav Shenoy, Pavel Panchekha	Optimal heap limits for reducing browser memory use.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
15	Jean-Marie Madiot, François Pottier	A separation logic for heap space under garbage collection.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
15	Xinming Zhang 0002, Shaochen Wen	Heap-based optimizer based on three new updating strategies.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
15	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
15	Ponna Mahesh Kumar, P. Srinivasa Rao	High Median Utility Itemset Mining for recovering streaming window transaction using novel Modified Heap-based Optimization.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
15	Mohamed Abd Elaziz 0001, Emad M. S. El-Said, Ammar H. Elsheikh, Gamal B. Abdelaziz	Performance prediction of solar still with a high-frequency ultrasound waves atomizer using random vector functional link/heap-based optimizer.	Adv. Eng. Softw.	2022	DBLP DOI BibTeX RDF
15	Chun-Yao Lee, Truong-An Le, Yu-Ting Lin	A Feature Selection Approach Hybrid Grey Wolf and Heap-Based Optimizer Applied in Bearing Fault Diagnosis.	IEEE Access	2022	DBLP DOI BibTeX RDF
15	Abdullah Mohammed Shaheen, Abdallah M. Elsayed, Ehab E. Elattar, Ragab A. El-Sehiemy, Ahmed Rabie Ginidi	An Intelligent Heap-Based Technique With Enhanced Discriminatory Attribute for Large-Scale Combined Heat and Power Economic Dispatch.	IEEE Access	2022	DBLP DOI BibTeX RDF
15	J. Jayapradha, M. Prakash 0003, Youseef Alotaibi, Osamah Ibrahim Khalaf, Saleh Ahmed Alghamdi	Heap Bucketization Anonymity - An Efficient Privacy-Preserving Data Publishing Model for Multiple Sensitive Attributes.	IEEE Access	2022	DBLP DOI BibTeX RDF
15	Hyunji Hong, Seunghoon Woo, Sunghan Park, Jeongwook Lee, Heejo Lee	Circuit: A JavaScript Memory Heap-Based Approach for Precisely Detecting Cryptojacking Websites.	IEEE Access	2022	DBLP DOI BibTeX RDF
15	Abdullah Mohammed Shaheen, Abdullah M. Elsayed, Ahmed Rabie Ginidi, Ragab A. El-Sehiemy, Ehab E. Elattar	Improved Heap-Based Optimizer for DG Allocation in Reconfigured Radial Feeder Distribution Systems.	IEEE Syst. J.	2022	DBLP DOI BibTeX RDF
15	Christofer Fellicious, Stewart Sentanoe, Michael Granitzer, Hans P. Reiser	SmartKex: Machine Learning Assisted SSH Keys Extraction From The Heap Dump.	CoRR	2022	DBLP DOI BibTeX RDF
15	Sander Borst, Daniel Dadush, Sophie Huiberts, Danish Kashaev	A nearly optimal randomized algorithm for explorable heap selection.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jie Liu, Hang An, Jin Li, Hongliang Liang	Detecting Exploit Primitives Automatically for Heap Vulnerabilities on Binary Programs.	CoRR	2022	DBLP DOI BibTeX RDF
15	Marisa Kirisame, Pranav Shenoy, Pavel Panchekha	Optimal Heap Limits for Reducing Browser Memory Use.	CoRR	2022	DBLP DOI BibTeX RDF
15	Henrich Lauko, Lukás Korencik, Petr Rockai	Verification of Programs Sensitive to Heap Layout.	ACM Trans. Softw. Eng. Methodol.	2022	DBLP DOI BibTeX RDF
15	Weifeng Shan, Zenglin Qiao, Ali Asghar Heidari, Wenyong Gui, Huiling Chen 0001, Yuntian Teng, Yingqi Liang, Tianmin Lv	An efficient rotational direction heap-based optimization with orthogonal structure for medical diagnosis.	Comput. Biol. Medicine	2022	DBLP DOI BibTeX RDF
15	Abdullah Mohammed Shaheen, Abdallah M. Elsayed, Ahmed Rabie Ginidi, Ragab A. El-Sehiemy, Ehab E. Elattar	A heap-based algorithm with deeper exploitative feature for optimal allocations of distributed generations with feeder reconfiguration in power distribution networks.	Knowl. Based Syst.	2022	DBLP DOI BibTeX RDF
15	Kexing Zhou, Zizheng Guo, Tsung-Wei Huang, Yibo Lin	Efficient Critical Paths Search Algorithm using Mergeable Heap.	ASP-DAC	2022	DBLP DOI BibTeX RDF
15	Argyris Kokkinis, Dionysios Diamantopoulos, Kostas Siozios	Dynamic Heap Management in High-Level Synthesis for Many-Accelerator Architectures.	FPL	2022	DBLP DOI BibTeX RDF
15	Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari	A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes.	TAP@STAF	2022	DBLP DOI BibTeX RDF
15	William Blair, William K. Robertson, Manuel Egele	MPKAlloc: Efficient Heap Meta-data Integrity Through Hardware Memory Protection Keys.	DIMVA	2022	DBLP DOI BibTeX RDF
15	Chaochao Zhang, Rui Hou 0001	Security Support on Memory Controller for Heap Memory Safety.	TrustCom	2022	DBLP DOI BibTeX RDF
15	Zdravko Gotovac, Stefano Gregori	Quadrature Phasing in Dickson-Pelliconi and Heap Charge Pumps With Improved Performance.	CCECE	2022	DBLP DOI BibTeX RDF
15	Yuanping Yu, Xiangkun Jia, Yuwei Liu, Yanhao Wang, Qian Sang, Chao Zhang, Purui Su	HTFuzz: Heap Operation Sequence Sensitive Fuzzing.	ASE	2022	DBLP DOI BibTeX RDF
15	Jan H. Boockmann, Gerald Lüttgen	Heap Patterns for Memory Graph Visualization.	VISSOFT	2022	DBLP DOI BibTeX RDF
15	Ajinkya Rajput, Kanchi Gopinath	GARUDA: Heap aware symbolic execution.	ICSE-Companion	2022	DBLP DOI BibTeX RDF
15	Paul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz	PKRU-safe: automatically locking down the heap between safe and unsafe languages.	EuroSys	2022	DBLP DOI BibTeX RDF
15	Zheng Dang, Shuibing He, Peiyi Hong, Zhenxin Li, Xuechen Zhang 0001, Xian-He Sun, Gang Chen 0001	NVAlloc: rethinking heap metadata management in persistent memory allocators.	ASPLOS	2022	DBLP DOI BibTeX RDF
15	Brett F. Gutstein	Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety.		2022	RDF
15	Kimball Germane, Jay McCarthy	Newly-single and loving it: improving higher-order must-alias analysis with heap fragments.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
15	Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey	Certifying the synthesis of heap-manipulating programs.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
15	Mingliang Tang, Kamran Esmaeili	Heap Leach Pad Surface Moisture Monitoring Using Drone-Based Aerial Images and Convolutional Neural Networks: A Case Study at the El Gallo Mine, Mexico.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
15	Mohamed A. M. Shaheen, Hany M. Hasanien, Ahmed Al-Durra	Solving of Optimal Power Flow Problem Including Renewable Energy Resources Using HEAP Optimization Algorithm.	IEEE Access	2021	DBLP DOI BibTeX RDF
15	Ahmed Rabie Ginidi, Abdallah M. Elsayed, Abdullah Mohammed Shaheen, Ehab E. Elattar, Ragab A. El-Sehiemy	A Novel Heap-Based Optimizer for Scheduling of Large-Scale Combined Heat and Power Economic Dispatch.	IEEE Access	2021	DBLP DOI BibTeX RDF
15	Salah K. Elsayed, Salah Kamel, Ali Selim, Mahrous Ahmed	An Improved Heap-Based Optimizer for Optimal Reactive Power Dispatch.	IEEE Access	2021	DBLP DOI BibTeX RDF
15	Myung-Hoon Cha, Sangmin Lee 0003, Baik-Song An, Hong-Yeon Kim, Kang-Ho Kim	Fast and secure Global-Heap for memory-centric computing.	J. Supercomput.	2021	DBLP DOI BibTeX RDF
15	Johannes Bouché, Lukas Atkinson, Martin Kappes	ShadowHeap: Memory Safety through Efficient Heap Metadata Validation.	J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.	2021	DBLP DOI BibTeX RDF
15	Sahil Verma, Subhajit Roy 0001	Debug-localize-repair: a symbiotic construction for heap manipulations.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
15	Emanuel Q. Vintila, Philipp Zieris, Julian Horsch	MESH: A Memory-Efficient Safe Heap for C/C++.	CoRR	2021	DBLP BibTeX RDF
15	Zafer Esen, Philipp Rümmer	A Theory of Heap for Constrained Horn Clauses (Extended Technical Report).	CoRR	2021	DBLP BibTeX RDF
15	Artyom M. Grigoryan	Effective Methods of QR-Decompositions of Square Complex Matrices by Fast Discrete Signal-Induced Heap Transforms.	CoRR	2021	DBLP BibTeX RDF
15	Dominic Jud, Simon Kerscher, Martin Wermelinger, Edo Jelavic, Pascal Egli, Philipp Leemann, Gabriel Hottiger, Marco Hutter 0001	HEAP - The autonomous walking excavator.	CoRR	2021	DBLP BibTeX RDF
15	Fan Yin, Rongxing Lu, Yandong Zheng, Jun Shao 0001, Xue Yang 0003, Xiaohu Tang	Achieve Efficient Position-Heap-based Privacy-Preserving Substring-of-Keyword Query over Cloud.	CoRR	2021	DBLP BibTeX RDF
15	Moshe Y. Vardi	The sand-heap paradox of privacy and influence.	Commun. ACM	2021	DBLP DOI BibTeX RDF