Activities

Robustness Verification of Neural Networks using WraLU · the 35th Australasian Database Conference (ADC'24)· Gold Coast, Australia · Tuesday, December 16, 2024 at 16:30 AEST (UTC+10)

ReLU Hull Approximation · the Workshop Formal Methods in Australia and New Zealand (2024)· University of Queensland, St Lucia, Australia · May 30, 2024 at 15:30-16:00

ReLU Hull Approximation · the FPBench Community Monthly Meeting· · May 2, 2024 at 9:00-10:00 AM Pacific time

Served as a reviewer for the journal Transactions on Dependable and Secure Computing.

Served as a program committee member for the 30th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2026).

Served as a reviewer for the journal Knowledge-Based Systems.

Served as a reviewer for the journal Neural Networks.

Served as a committee member in the artifact evaluation committee within the SPLASH OOPSLA artifacts-track for SPLASH'25.

Served as a committee member in the artifact evaluation committee within the research artifacts-track for PLDI'24.