Shale Xiong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TACAS | ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). | Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael S Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro |
| 2024 | SAS | Verifying Components of Arm | Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro |
| 2023 | PERCOM | Privacy-Preserving Object Detection with Veracruz. | Mathias Brossard, Guilhem Bryant, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Derek Miller, Dominic P. Mulligan, Hugo J. M. Vincent, Shale Xiong, Lei Xu |
| 2020 | ECOOP | Data Consistency in Transactional Storage Systems: A Centralised Semantics. | Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner |
| 2017 | ESOP | Abstract Specifications for Concurrent Maps. | Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner |