Author of the publication

MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.

, , , , , , , and . ASPLOS (2), page 473-488. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modelling and simulation of flight dynamics for a gull-wing., , and . ROBIO, page 2181-2186. IEEE, (2016)Research on BER of BPSK signal based on stochastic resonance under Levy noise., , and . CSSE, page 233-237. ACM, (2021)A comprehensive survey on mobile data offloading in heterogeneous network., , , , , and . Wirel. Networks, 25 (2): 573-584 (2019)Dynamic Cosine Method for Normalizing Incidence Angle Effect on C-band Radar Backscattering Coefficient for Maize Canopies Based on NDVI., , , , , , , , , and . Remote. Sens., 13 (15): 2856 (2021)MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications., , , , , , , and . ASPLOS (2), page 473-488. ACM, (2023)Proximity as a Service for the Use Case of Access Enhancement Via Cellular Network-Assisted Mobile Device-to-Device., , , , and . IEEE Access, (2020)Joint Communication and Sensing Design in Coal Mine Safety Monitoring: 3-D Phase Beamforming for RIS-Assisted Wireless Networks., , , , , , and . IEEE Internet Things J., 10 (13): 11306-11315 (July 2023)Joint Communication and Sensing Design for Multihop RIS-Aided Communication Systems in Underground Coal Mines., , , , , , , and . IEEE Internet Things J., 10 (22): 19533-19544 (November 2023)Pragmatic Communication: Bridging Neural Networks for Distributed Agents.. INFOCOM Workshops, page 1-6. IEEE, (2023)Comprehensive high-speed reconciliation for continuous-variable quantum key distribution., , , , , and . Quantum Inf. Process., (2020)