共 50 条
- [1] A Context-Sensitive Memory Model for Verification of C/C plus plus Programs [J]. STATIC ANALYSIS (SAS 2017), 2017, 10422 : 148 - 168
- [2] Model checking C plus plus programs [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (01):
- [3] On Monitoring C/C plus plus Transactional Memory Programs [J]. MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014, 2014, 8934 : 73 - 87
- [4] Validating Optimizations of Concurrent C/C plus plus Programs [J]. PROCEEDINGS OF CGO 2016: THE 14TH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2016, : 216 - 226
- [5] Enhancing Performance Monitoring in C/C plus plus Programs with EDPM: A Domain-Specific Language for Performance Monitoring [J]. EURO-PAR 2023: PARALLEL PROCESSING WORKSHOPS, PT I, EURO-PAR 2023, 2024, 14351 : 110 - 122
- [6] Rejuvenating C plus plus Programs through Demacrofication [J]. 2012 28TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE (ICSM), 2012, : 98 - 107
- [7] Summary of Model Checking C plus plus Programs [J]. 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 461 - 461
- [8] Parallelism in C plus plus Programs Targeting Objects [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATION AND CONTROL (ICAC3), 2017,