共 50 条
- [1] Satisfiability Modulo Heap-Based Programs COMPUTER AIDED VERIFICATION, (CAV 2016), PT I, 2016, 9779 : 382 - 404
- [2] HEAP-BASED IMPLEMENTATION OF THE PROGRAMMING LANGUAGE PASCAL SOFTWARE-PRACTICE & EXPERIENCE, 1979, 9 (02): : 101 - 119
- [4] Towards Heap-Based Memory Corruption Discovery 2021 17TH INTERNATIONAL CONFERENCE ON MOBILITY, SENSING AND NETWORKING (MSN 2021), 2021, : 502 - 511
- [5] BGPQ: A Heap-Based Priority Queue Design for GPUs 50TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, 2021,
- [7] Testing Heap-Based Programs with Java']Java StarFinder PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 268 - 269
- [8] Conflict Analysis for heap-based Data Dependence Detection PARALLEL COMPUTING: FROM MULTICORES AND GPU'S TO PETASCALE, 2010, 19 : 351 - 358
- [9] Shadow-Heap: Preventing Heap-based Memory Corruptions by Metadata Validation EUROPEAN INTERDISCIPLINARY CYBERSECURITY - EICC 2020, 2020,