Activities

Served on the artifact evaluation committee for the 38th International Conference on Computer Aided Verification (CAV'26).

Served on the artifact evaluation committee for the 47th IEEE Symposium on Security and Privacy (S&P'26).

Served on the artifact evaluation committee for the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'26).

Served as a reviewer for the FM4Science Workshop at ICLR 2026.

Served as a reviewer for the AIWILD Workshop at ICLR 2026.

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 on the artifact evaluation committee for the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'25).

Served on the artifact evaluation committee for the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'24).

Robustness Verification of Neural Networks using WraLU · the 35th Australasian Database Conference (ADC'24)· Gold Coast, Australia · 16 December, 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