|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1277 occurrences of 618 keywords
|
|
|
Results
Found 1598 publication records. Showing 1573 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
Displaying result #701 - #800 of 1573 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|