|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 2018 ACM SIGPLAN International Symposium on Memory Management, ISMM 2018, Philadelphia, PA, USA, June 18, 2018, pp. 1-13, 2018, ACM, 978-1-4503-5801-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Xiaofeng Wu 0002, Kun Suo, Yong Zhao, Jia Rao |
A Side-channel Attack on HotSpot Heap Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotCloud ![In: 10th USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2018, Boston, MA, USA, July 9, 2018., 2018, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Peter Müller 0001 |
The Binomial Heap Verification Challenge in Viper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principled Software Development ![In: Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, pp. 203-219, 2018, Springer, 978-3-319-98046-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Sean Heelan, Tom Melham, Daniel Kroening |
Automatic Heap Layout Manipulation for Exploitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018., pp. 763-779, 2018, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018., pp. 99-116, 2018, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Junfu Zhang, E. Chengyuan, Aiqun Hu |
A Method of Android Application Forensics Based on Heap Memory Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSAE ![In: The 2nd International Conference on Computer Science and Application Engineering, CSAE 2018, Hohhot, China, October 22-24, 2018, pp. 186:1-186:5, 2018, ACM, 978-1-4503-6512-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chan-Udom Apichai, Karman Chan, Yoshimi Suzuki |
Classification of Thai Tweets: Mining Treasures from Tweet Heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAI ![In: 5th International Conference on Systems and Informatics, ICSAI 2018, Nanjing, China, November 10-12, 2018, pp. 311-315, 2018, IEEE, 978-1-7281-0120-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Xuyang Zhou, Meikang Qiu |
A K-Anonymous Full Domain Generalization Algorithm Based on Heap Sort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartCom ![In: Smart Computing and Communication - Third International Conference, SmartCom 2018, Tokyo, Japan, December 10-12, 2018, Proceedings, pp. 446-459, 2018, Springer, 978-3-030-05754-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan Bell 0001, Luís Pina |
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands, pp. 17:1-17:31, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-079-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar |
Template-Based Verification of Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 268-269, 2018, ACM, 978-1-4503-5663-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Rijnard van Tonder, Claire Le Goues |
Static automated program repair for heap properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 151-162, 2018, ACM, 978-1-4503-5638-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ye Liu 0003, Shinpei Kato, Masato Edahiro |
Is the Heap Manager Important to Many Cores? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROSS@HPDC ![In: Proceedings of the 8th International Workshop on Runtime and Operating Systems for Supercomputers, ROSS@HPDC 2018, Tempe, AZ, USA, June 12, 2018, pp. 5:1-5:6, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Sean Williams, Latchesar Ionkov, Michael Lang 0003, Jason Lee |
Heterogeneous Memory and Arena-Based Heap Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCHPC@SC ![In: Proceedings of the Workshop on Memory Centric High Performance Computing, MCHPC@SC 2018, Dallas, TX, USA, November 11, 2018, pp. 67-71, 2018, ACM, 978-1-4503-6113-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Mingbo Zhang, Saman A. Zonouz |
Use-After-Free Mitigation via Protected Heap Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSC ![In: IEEE Conference on Dependable and Secure Computing, DSC 2018, Kaohsiung, Taiwan, December 10-13, 2018, pp. 1-8, 2018, IEEE, 978-1-5386-5790-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC/PiCom/DataCom/CyberSciTech ![In: 2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2018, Athens, Greece, August 12-15, 2018, pp. 608-617, 2018, IEEE Computer Society, 978-1-5386-7518-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jorge Aparicio Rivera, Marcus Lindner, Per Lindgren |
Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, July 18-20, 2018, pp. 87-94, 2018, IEEE, 978-1-5386-4829-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Yuki Machigashira, Akio Nakata |
An Improved LLF Scheduling for Reducing Maximum Heap Memory Consumption by Considering Laxity Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018, pp. 144-149, 2018, IEEE Computer Society, 978-1-5386-7305-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACDS (1) ![In: Advances in Computing and Data Sciences - Second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revised Selected Papers, Part I, pp. 312-320, 2018, Springer, 978-981-13-1809-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Johannes Kloos |
Heap-based reasoning about asynchronous programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
15 | Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis |
Heaps don't lie: countering unsoundness with heap snapshots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(OOPSLA), pp. 68:1-68:27, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Frank Block, Andreas Dewald |
Linux memory forensics: Dissecting the user space process heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Investig. ![In: Digit. Investig. 22 Supplement, pp. S66-S75, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Simul. Sci. Comput. ![In: Int. J. Model. Simul. Sci. Comput. 8(1), pp. 1750018:1-1750018:26, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Wenzhe Zhang, Kai Lu, Xiaoping Wang, Jie Jian |
Fast Persistent Heap Based on Non-Volatile Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 100-D(5), pp. 1035-1045, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Felix Winterstein, Kermin Elliott Fleming, Hsin-Jung Yang, George A. Constantinides |
Custom Multicache Architectures for Heap Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(5), pp. 761-774, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Christian Löffeld |
The Logarithmic Funnel Heap: A Statistically Self-Similar Priority Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.10648, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Sam Silvestro, Hongyu Liu 0005, Corey Crosser, Zhiqiang Lin, Tongping Liu |
FreeGuard: A Faster Secure Heap Allocator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.02746, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.10482, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.09635, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll 0001 |
Heap Abstraction Beyond Context-Freeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.03754, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | |
Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.06025, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Leonid Boytsov |
A Simple Derivation of the Heap's Law from the Generalized Zipf's Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.03066, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Stephan Brandauer, Tobias Wrigstad |
Spencer: Interactive Heap Analysis for the Masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.05615, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen |
Heap Construction - 50 Years Later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 60(5), pp. 657-674, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | S. Sarathambekai, K. Umamaheswari |
Task Scheduling in Distributed Systems Using Heap Intelligent Discrete Particle Swarm Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 33(4), pp. 737-770, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Dusan Repel, Johannes Kinder, Lorenzo Cavallaro |
Modular Synthesis of Heap Exploits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 25-35, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Sam Silvestro, Hongyu Liu 0005, Corey Crosser, Zhiqiang Lin, Tongping Liu |
FreeGuard: A Faster Secure Heap Allocator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, pp. 2389-2403, 2017, ACM, 978-1-4503-4946-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf |
Quantified Heap Invariants for Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, pp. 368-384, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISSP (Revised Selected Papers) ![In: Information Systems Security and Privacy - Third International Conference, ICISSP 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers, pp. 130-147, 2017, Springer, 978-3-319-93353-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISSP ![In: Proceedings of the 3rd International Conference on Information Systems Security and Privacy, ICISSP 2017, Porto, Portugal, February 19-21, 2017., pp. 147-156, 2017, SciTePress, 978-989-758-209-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Vini Kanvar, Uday P. Khedker |
"What's in a name?" going beyond allocation site names in heap analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, ISMM 2017, Barcelona, Spain, June 18, 2017, pp. 92-103, 2017, ACM, 978-1-4503-5044-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Taeho Hwang, Dokeun Lee, Yeonjin Noh, Youjip Won |
Designing persistent heap for byte addressable NVRAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NVMSA ![In: IEEE 6th Non-Volatile Memory Systems and Applications Symposium, NVMSA 2017, Hsinchu, Taiwan, August 16-18, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-1768-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017, pp. 22-36, 2017, IEEE Computer Society, 978-1-5386-3217-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Maksim Shudrak |
WinHeap Explorer: Efficient and Transparent Heap-Based Bug Detection in Machine Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017, Prague, Czech Republic, July 25-29, 2017, pp. 94-101, 2017, IEEE, 978-1-5386-0592-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Andrea S. Atzeni, Andrea Marcelli, Francesco Muroni, Giovanni Squillero |
HAIT: Heap Analyzer with Input Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 4: SECRYPT, Madrid, Spain, July 24-26, 2017., pp. 327-334, 2017, SciTePress, 978-989-758-259-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Nouraldin Jaber, Milind Kulkarni 0001 |
Data structure-aware heap partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017, pp. 109-119, 2017, ACM, 978-1-4503-5233-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDM ![In: Proceedings of the 2017 SIAM International Conference on Data Mining, Houston, Texas, USA, April 27-29, 2017., pp. 10-18, 2017, SIAM, 978-1-61197-497-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 611-638, 2017, Springer, 978-3-662-54433-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017., pp. 989-1006, 2017, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1, pp. 628-636, 2017, IEEE Computer Society, 978-1-5386-0367-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Sahil Verma, Subhajit Roy 0001 |
Synergistic debug-repair of heap manipulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pp. 163-173, 2017, ACM, 978-1-4503-5105-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Maxim A. Babenko, Ignat I. Kolesnichenko, Ivan Smirnov |
Cascade Heap: Towards Time-Optimal Extractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings, pp. 62-70, 2017, Springer, 978-3-319-58746-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, pp. 278-291, 2017, ACM, 978-1-4503-4988-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 1-6, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, pp. 90-101, 2017, ACM, 978-1-4503-5076-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II, pp. 365-369, 2017, 978-3-662-54579-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Hasan Kurban, Mehmet M. Dalkilic |
A novel approach to optimization of iterative machine learning algorithms: Over heap structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2017 IEEE International Conference on Big Data (IEEE BigData 2017), Boston, MA, USA, December 11-14, 2017, pp. 102-109, 2017, IEEE Computer Society, 978-1-5386-2715-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSIPA ![In: 2017 IEEE International Conference on Signal and Image Processing Applications, ICSIPA 2017, Kuching, Malaysia, September 12-14, 2017, pp. 469-473, 2017, IEEE, 978-1-5090-5559-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, pp. 274-279, 2017, IEEE Computer Society, 978-1-5386-2684-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017, pp. 283-298, 2017, ACM, 978-1-4503-4493-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Stephan Brandauer, Tobias Wrigstad |
Spencer: interactive heap analysis for the masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 14th International Conference on Mining Software Repositories, MSR 2017, Buenos Aires, Argentina, May 20-28, 2017, pp. 113-123, 2017, IEEE Computer Society, 978-1-5386-1544-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Proceedings of the 20th International Conference on Extending Database Technology, EDBT 2017, Venice, Italy, March 21-24, 2017., pp. 61-71, 2017, OpenProceedings.org, 978-3-89318-073-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
15 | Tian Tan 0001 |
Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
15 | Nouha Sghaier, Julien Perez, Brice Augustin, Abdelhamid Mellouk |
Energy-aware probing period dimensioning algorithms for mobile WSN-HEAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Sens. Networks ![In: Int. J. Sens. Networks 21(4), pp. 252-261, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 53(4), pp. 357-385, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Giuliano Laccetti, Marco Lapegna, Valeria Mele |
A Loosely Coordinated Model for Heap-Based Priority Queues in Multicore Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 44(4), pp. 901-921, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Pietro Ferrara 0001 |
A generic framework for heap and value analyses of object-oriented programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 631, pp. 43-72, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Emergent Distributed Syst. ![In: Int. J. Parallel Emergent Distributed Syst. 31(1), pp. 64-84, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Johann Schlamp, Ralph Holz, Quentin Jacquemart, Georg Carle, Ernst W. Biersack |
HEAP: Reliable Assessment of BGP Hijacking Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 34(6), pp. 1849-1861, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Dumitrescu |
A Selectable Sloppy Heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.07673, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Michael L. Fredman |
Comments on Dumitrescu's "A Selectable Sloppy Heap". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.02953, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.07041, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Johann Schlamp, Ralph Holz, Quentin Jacquemart, Georg Carle, Ernst W. Biersack |
HEAP: Reliable Assessment of BGP Hijacking Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.00096, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel |
Efficient sparse polynomial factoring using the Funnel heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.05403, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Vini Kanvar, Uday P. Khedker |
Heap Abstractions for Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 49(2), pp. 29:1-29:47, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Maryam Mouzarani, Babak Sadeghiyan, Mohammad Zolfaghari |
A smart fuzzing method for detecting heap-based vulnerabilities in executable codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secur. Commun. Networks ![In: Secur. Commun. Networks 9(18), pp. 5098-5115, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Hauke Brinkop, Tobias Nipkow |
Pairing Heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Karla Saur, Michael W. Hicks, Jeffrey S. Foster |
C-strider: type-aware heap traversal for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 46(6), pp. 767-788, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Quang Loc Le, Jun Sun 0001, Wei-Ngan Chin |
Satisfiability Modulo Heap-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pp. 382-404, 2016, Springer, 978-3-319-41527-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Marco Grandi |
Spray: programming with a persistent distributed heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH (Companion Volume) ![In: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016, pp. 21-23, 2016, ACM, 978-1-4503-4437-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Kumud Bhandari |
Managing persistent heap in NVRAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile!@SPLASH ![In: Proceedings of the 1st International Workshop on Mobile Development, Mobile!@SPLASH 2016, Amsterdam, Netherlands, October 31, 2016, pp. 6-8, 2016, ACM, 978-1-4503-4643-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Jancík, Jan Kofron |
Dead variable analysis for multi-threaded heap manipulating programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pp. 1620-1627, 2016, ACM, 978-1-4503-3739-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14 - 14, 2016, pp. 111-121, 2016, ACM, 978-1-4503-4317-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMV ![In: Ninth International Conference on Machine Vision, ICMV 2016, Nice, France, 18-20 November 2016, pp. 1034126, 2016, SPIE, 9781510611313. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 84-96, 2016, ACM, 978-1-4503-3549-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Gregory J. Duck, Roland H. C. Yap |
Heap bounds protection with low fat pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016, pp. 132-142, 2016, ACM, 978-1-4503-4241-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Dali Zhu, Ying Li, Na Pang, Weimiao Feng |
An Android System Vulnerability Risk Evaluation Method for Heap Overflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ES ![In: 4th International Conference on Enterprise Systems, ES 2016, Melbourne, Australia, November 2-3, 2016, pp. 89-96, 2016, IEEE Computer Society, 978-1-5090-3790-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: 2016 IEEE Global Communications Conference, GLOBECOM 2016, Washington, DC, USA, December 4-8, 2016, pp. 1-6, 2016, IEEE, 978-1-5090-1328-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Pietro Braione, Giovanni Denaro, Mauro Pezzè |
JBSE: a symbolic executor for Java programs with complex heap inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, pp. 1018-1022, 2016, ACM, 978-1-4503-4218-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2016, Lugano, Switzerland, August 29 - September 2, 2016, pp. 5:1-5:8, 2016, ACM, 978-1-4503-4800-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 942-945, 2016, Springer, 978-3-662-49673-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Lucas McDaniel, Kara L. Nance |
Mitigating 0-Days through Heap Techniques - An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 49th Hawaii International Conference on System Sciences, HICSS 2016, Koloa, HI, USA, January 5-8, 2016, pp. 5569-5577, 2016, IEEE Computer Society, 978-0-7695-5670-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi |
Provably-Secure Remote Memory Attestation for Heap Overflow Protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCN ![In: Security and Cryptography for Networks - 10th International Conference, SCN 2016, Amalfi, Italy, August 31 - September 2, 2016, Proceedings, pp. 83-103, 2016, Springer, 978-3-319-44617-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: 2016 IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2016, Vancouver, BC, Canada, May 15-18, 2016, pp. 1-6, 2016, IEEE, 978-1-4673-8721-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person |
Exact Heap Summaries for Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 206-225, 2016, Springer, 978-3-662-49121-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPREW@ACSAC ![In: Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, SSPREW@ACSAC 2016, Los Angeles, California, USA, December 5-6, 2016, pp. 2:1-2:12, 2016, ACM, 978-1-4503-4841-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Reconfigurable Technol. Syst. ![In: ACM Trans. Reconfigurable Technol. Syst. 9(1), pp. 8:1-8:16, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 109, pp. 20-31, 2015. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|