Activities¶
Presentations¶
Tutorial: Robustness Verification
[2024]
Topic: Robustness Verification of Neural Networks using WraLU
Venue: the 35th Australasian Database Conference (ADC'24)
Location: Gold Coast, Australia
Date: Tuesday, December 16, 2024 at 16:30 AEST (UTC+10)
ReLU Hull Approximation Workshop
[2024]
Topic: ReLU Hull Approximation
Venue: the Workshop Formal Methods in Australia and New Zealand (2024)
Location: University of Queensland, St Lucia, Australia
Date: May 30, 2024 at 15:30-16:00
FPench Community Meeting
[2024]
Topic: ReLU Hull Approximation
Venue: the FPench Community Monthly Meeting
Date: May 2, 2024 at 9:00-10:00 AM Pacific time
Community Work¶
PAKDD 2026 Program Committee
[2026]
Served as a program committee member for the 30th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2026).
Knowledge-Based Systems Journal Reviewer
[2025]
Served as a reviewer for the journal Knowledge-Based Systems.
SPLASH'25 Artifact Evaluation
[2025]
Served as a committee member in the artifact evaluation committee within the SPLASH OOPSLA artifacts-track for the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'25).
PLDI'24 Artifact Evaluation
[2024]
Served as a committee member in the artifact evaluation committee within the research artifacts-track for the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'24).
Tutoring¶
CSSE7160 Tutor - Semester 2, 2024
[2024]
Course: Concurrency: Theory and Practice (CSSE7160)
Location: University of Queensland, St Lucia, Brisbane, Australia
Instructor: A/Prof. Guangdong Bai
CSSE7160 Tutor - Semester 2, 2023
[2023]
Course: Concurrency: Theory and Practice (CSSE7160)
Location: University of Queensland, St Lucia, Brisbane, Australia
Instructor: A/Prof. Guangdong Bai