Name		Name	Last commit message	Last commit date
imgs		imgs
AkshatKaushik_2020-05-29_WebSVF-InteractiveCodeAnalysis.pptx		AkshatKaushik_2020-05-29_WebSVF-InteractiveCodeAnalysis.pptx
Baodi_2019-02-05_Uncovering.PPTX		Baodi_2019-02-05_Uncovering.PPTX
Baodi_2019-05-02_malware.PPTX		Baodi_2019-05-02_malware.PPTX
Baodi_2019-08-30_Bankbot.pptx		Baodi_2019-08-30_Bankbot.pptx
Baodi_2020-02-21.PPTX		Baodi_2020-02-21.PPTX
ChawSuThwe-KaungPyaeSone_2026-04-09_AccessibilityGUIAgentBenchmark.pdf		ChawSuThwe-KaungPyaeSone_2026-04-09_AccessibilityGUIAgentBenchmark.pdf
Chengpeng Wang_2025_May_28_Neural-Symbolic Static Analysis.pdf		Chengpeng Wang_2025_May_28_Neural-Symbolic Static Analysis.pdf
Dinghua_20200207_CPSFault.pptx		Dinghua_20200207_CPSFault.pptx
FengXU_2022-12-16_Analysis and Verification of Open-Source AI Systems.pptx		FengXU_2022-12-16_Analysis and Verification of Open-Source AI Systems.pptx
Gadi basic user manual-Chinese.pptx		Gadi basic user manual-Chinese.pptx
Guanqin-2020-04-03_Reasoning_tools_using_LLVM_Z3.pptx		Guanqin-2020-04-03_Reasoning_tools_using_LLVM_Z3.pptx
GuanqinZHANG_2022-5-20_VerificationNN.pdf		GuanqinZHANG_2022-5-20_VerificationNN.pdf
GuanqinZHANG_2022-7-29_DNN Robustness study.pdf		GuanqinZHANG_2022-7-29_DNN Robustness study.pdf
GuanqinZHANG_2022_10_21_understanding_the_Robustness_of_Unlearning_models.pdf		GuanqinZHANG_2022_10_21_understanding_the_Robustness_of_Unlearning_models.pdf
GuanqinZHANG_2023-04-30_DNNRobustness_PhD_CA1.pdf		GuanqinZHANG_2023-04-30_DNNRobustness_PhD_CA1.pdf
GuanqinZHANG_2023-12_1_DNNRobustness_verification_BNB.pdf		GuanqinZHANG_2023-12_1_DNNRobustness_verification_BNB.pdf
GuanqinZHANG_2024-8_1_OOPSLA2025_Efficient_Incremental_Verification_of_Neural_Network_Guided_by_Counterexample_Potentiality.pdf		GuanqinZHANG_2024-8_1_OOPSLA2025_Efficient_Incremental_Verification_of_Neural_Network_Guided_by_Counterexample_Potentiality.pdf
GuanqinZHANG_2025-5-1_UNSW_progressReview3.pdf		GuanqinZHANG_2025-5-1_UNSW_progressReview3.pdf
GuanqinZHANG_2025-6-14_ECOOP2025.pdf		GuanqinZHANG_2025-6-14_ECOOP2025.pdf
Gurparteek Singh - CA 1 20211027.pptx		Gurparteek Singh - CA 1 20211027.pptx
GurparteekSingh_20200724_AdversairalAttacks.pptx		GurparteekSingh_20200724_AdversairalAttacks.pptx
GurparteekSingh_20200821_AdversairalAttacks.pptx		GurparteekSingh_20200821_AdversairalAttacks.pptx
GurparteekSngh_2021-May-07_NLPIntroduction.pptx		GurparteekSngh_2021-May-07_NLPIntroduction.pptx
GurparteekSngh_2022-03-03_NLP.pptx		GurparteekSngh_2022-03-03_NLP.pptx
Haoye_2025-04-30 automated program repair.pptx		Haoye_2025-04-30 automated program repair.pptx
Henry_Hua_20200418-code-clone-detection.pptx		Henry_Hua_20200418-code-clone-detection.pptx
Hongxu Chen-2020_10_16_Learning Heterogeneous Information Networks for Link Prediction.pdf		Hongxu Chen-2020_10_16_Learning Heterogeneous Information Networks for Link Prediction.pdf
HsuMyatWin-20190927.pptx		HsuMyatWin-20190927.pptx
HsuMyatWin-20191108.pptx		HsuMyatWin-20191108.pptx
HsuMyatWin-20200103.pptx		HsuMyatWin-20200103.pptx
HsuMyatWin-20200306.pptx		HsuMyatWin-20200306.pptx
HsuMyatWin-20200710.pptx		HsuMyatWin-20200710.pptx
HsuMyatWin-20210604.pptx		HsuMyatWin-20210604.pptx
HsuMyatWin-20210806-Fairness.pptx		HsuMyatWin-20210806-Fairness.pptx
HuaZuo_2019-10-25-Transfer_learning.pptx		HuaZuo_2019-10-25-Transfer_learning.pptx
JiankunSun_2022-June-17_Towards Robust Malware Classification Using a Hybrid Convolutional Framework.pptx		JiankunSun_2022-June-17_Towards Robust Malware Classification Using a Hybrid Convolutional Framework.pptx
JiaweiYang_2025-06-30_Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering.pptx		JiaweiYang_2025-06-30_Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering.pptx
JiaweiYang_2026-06-24_Modular On-Demand Program Slicing for Multi-Threaded Programs.pdf		JiaweiYang_2026-06-24_Modular On-Demand Program Slicing for Multi-Threaded Programs.pdf
Jiawei_2021-07-02_Intro_QC.pptx		Jiawei_2021-07-02_Intro_QC.pptx
Jiawei_2023-10-20_Symbolic_Abstraction.pdf		Jiawei_2023-10-20_Symbolic_Abstraction.pdf
Jiawei_2024-05-03_review.pptx		Jiawei_2024-05-03_review.pptx
Jiawei_Wang-2025-10-18_OOPSLA_Selective_Widening.pptx		Jiawei_Wang-2025-10-18_OOPSLA_Selective_Widening.pptx
JinglingSun_20210910.pptx		JinglingSun_20210910.pptx
JinglingSun_20211126.pptx		JinglingSun_20211126.pptx
Kaijie_2024-01-12_Robustness Certification of Neural Network Based.pdf		Kaijie_2024-01-12_Robustness Certification of Neural Network Based.pdf
Kaijie_Liu_31_Jul_SVFNN__Safety_and_Robustness_Certification_of_Neural_Networks_with_SVF.pdf		Kaijie_Liu_31_Jul_SVFNN__Safety_and_Robustness_Certification_of_Neural_Networks_with_SVF.pdf
Mengxi_2020-0515-Explainable K-limiting Relational Adversarial Attack.pdf		Mengxi_2020-0515-Explainable K-limiting Relational Adversarial Attack.pdf
Mingshan-19-03-29-Sparse IFDS.pptx		Mingshan-19-03-29-Sparse IFDS.pptx
Mingshan-19-06-07-HOPE.pptx		Mingshan-19-06-07-HOPE.pptx
Mohamad-070220_tbhc.odp		Mohamad-070220_tbhc.odp
Mohamad-2019-03-15.pptx		Mohamad-2019-03-15.pptx
Mohamad_2019-02-08_TBAA.pptx		Mohamad_2019-02-08_TBAA.pptx
Mohamad_2021_Oct_15_compacting-points-to-sets-through-object-clustering.pdf		Mohamad_2021_Oct_15_compacting-points-to-sets-through-object-clustering.pdf
Mohamad_2021_Oct_15_hash-consed-points-to-sets.pdf		Mohamad_2021_Oct_15_hash-consed-points-to-sets.pdf
Mohamad_ca1.pdf		Mohamad_ca1.pdf
Nengkun_2021-04-09_Introduction to quantum Hoare logics.pptx		Nengkun_2021-04-09_Introduction to quantum Hoare logics.pptx
PeiXu_2022-April-21_Incremental&ParallelPTA.pptx		PeiXu_2022-April-21_Incremental&ParallelPTA.pptx
PeiXu_2022-Dec-2_ReduceTransitiveRedundancyinCFLReachability.pptx		PeiXu_2022-Dec-2_ReduceTransitiveRedundancyinCFLReachability.pptx
PeiXu_2022-July-1_CFLonSVF&C++FieldSensitiveAliasAnalyze.pptx		PeiXu_2022-July-1_CFLonSVF&C++FieldSensitiveAliasAnalyze.pptx
PeiXu_2023-April-18_CA1_OnlineCycleEliminationForContextFreeLanguageReachability.pptx		PeiXu_2023-April-18_CA1_OnlineCycleEliminationForContextFreeLanguageReachability.pptx
Presentation slides template.pptx		Presentation slides template.pptx
README.md		README.md
Ruijun_2023-11-17_Attack_CLM.pptx		Ruijun_2023-11-17_Attack_CLM.pptx
Ruijun_2024-05-10_Ensuring correctness of code generation through intermediate representation reasoningle.pdf		Ruijun_2024-05-10_Ensuring correctness of code generation through intermediate representation reasoningle.pdf
Ruijun_2024-07-03_Pre-training and fine-tuning llm.pdf		Ruijun_2024-07-03_Pre-training and fine-tuning llm.pdf
Ruijun_2024-09-25_Cross-modal alignment.pdf		Ruijun_2024-09-25_Cross-modal alignment.pdf
Ruijun_2025-01-22_CGP-Tuning.pdf		Ruijun_2025-01-22_CGP-Tuning.pdf
Shuangxiang Kan_2022-04-01_Construction of summary-based call graph in different application scenarios.pptx		Shuangxiang Kan_2022-04-01_Construction of summary-based call graph in different application scenarios.pptx
Shuangxiang Kan_2022-08-12_Computing Specifications for Missing Code.pptx		Shuangxiang Kan_2022-08-12_Computing Specifications for Missing Code.pptx
Shuangxiang Kan_2023-9-4_AnnualReviewUNSW.pptx		Shuangxiang Kan_2023-9-4_AnnualReviewUNSW.pptx
Shuangxiang Kan_2024-5-3_AnnualReview.pptx		Shuangxiang Kan_2024-5-3_AnnualReview.pptx
TIng Zhang_202511-Vulnerability-Management.pdf		TIng Zhang_202511-Vulnerability-Management.pdf
Thazin Aung 2020_09_04_CA1_Presentation.pptx		Thazin Aung 2020_09_04_CA1_Presentation.pptx
Thazin Aung_2019_07_19.pptx		Thazin Aung_2019_07_19.pptx
ThazinAung_2019-11-08_Recommending Assignee_Label for Github Issue through Deep Neural Networks.pptx		ThazinAung_2019-11-08_Recommending Assignee_Label for Github Issue through Deep Neural Networks.pptx
ThazinAung_2020-02-21_Issue Report and source code through deep neural networks.pptx		ThazinAung_2020-02-21_Issue Report and source code through deep neural networks.pptx
Thazin_Aung_2019-08-16_Interactive Traceability Links Visualization using Hierarchical Trace Map.pptx		Thazin_Aung_2019-08-16_Interactive Traceability Links Visualization using Hierarchical Trace Map.pptx
Thazin_Aung_29_05_2020_SLR.pptx		Thazin_Aung_29_05_2020_SLR.pptx
TianyangGuan20200626.key		TianyangGuan20200626.key
TianyangGuan_2020-11-27_IntegratedCodeanalysisPlatformbasedOnSVF.key		TianyangGuan_2020-11-27_IntegratedCodeanalysisPlatformbasedOnSVF.key
TuoLi_20240911_LRMiner_Security24.pptx		TuoLi_20240911_LRMiner_Security24.pptx
Uts Server.pptx		Uts Server.pptx
VishalUniyal_2021_12_10_ASurveyonAttackMethodsonMachineLearningModelsToIncreaseTheEfficiencyInTheDetectionOfFakeNews.pptx		VishalUniyal_2021_12_10_ASurveyonAttackMethodsonMachineLearningModelsToIncreaseTheEfficiencyInTheDetectionOfFakeNews.pptx
VishalUniyal_2022-02-18_AdversarialPropagationDetectionOfFakeNewsOnSocial.pptx		VishalUniyal_2022-02-18_AdversarialPropagationDetectionOfFakeNewsOnSocial.pptx
Weekly Report Update Template.pptx		Weekly Report Update Template.pptx
Weigang_20240216_Testing_Static_Ananlyzer.pptx		Weigang_20240216_Testing_Static_Ananlyzer.pptx
Weigang_20240510_Strengthen_security_through_assertion_enabled_code_generation.pptx		Weigang_20240510_Strengthen_security_through_assertion_enabled_code_generation.pptx
WeimingLi_2026-04-29_HiSA Hierarchical State Abstraction for Scalable GUI Agents.pptx		WeimingLi_2026-04-29_HiSA Hierarchical State Abstraction for Scalable GUI Agents.pptx
WritingResearchPapers--Tom Reps.pptx		WritingResearchPapers--Tom Reps.pptx
Xiao-2021-06-18-PathSensitiveSparseAnalysis.pptx		Xiao-2021-06-18-PathSensitiveSparseAnalysis.pptx
Xiao-2022.6.3-ISSTA22.pdf		Xiao-2022.6.3-ISSTA22.pdf
Xiao_2022.11.18_An Introduction to Abstract Interpretation.pptx		Xiao_2022.11.18_An Introduction to Abstract Interpretation.pptx
Xiao_2023-12-1_PSTA.pptx		Xiao_2023-12-1_PSTA.pptx
Xiao_2024-06-19_Fast Graph Simplification for Path-Sensitive Typestate Analysis.pdf		Xiao_2024-06-19_Fast Graph Simplification for Path-Sensitive Typestate Analysis.pdf
Yahui song_2025-06-25 Future Conditions.pdf		Yahui song_2025-06-25 Future Conditions.pdf
Yanxin - 2019-12-07.pptx		Yanxin - 2019-12-07.pptx
Yanxin - 2019.08.30 - Effects of code obfuscation and deobfuscation .pptx		Yanxin - 2019.08.30 - Effects of code obfuscation and deobfuscation .pptx
Yanxin Zhang_2020_09_18-A Survey of Android Malware Detection Using Machine Learning.pptx		Yanxin Zhang_2020_09_18-A Survey of Android Malware Detection Using Machine Learning.pptx
Yanxin-2019-02-29.pptx		Yanxin-2019-02-29.pptx

Repository files navigation

groupmeeting

Please upload your slides following "YourName_2020-Month-Day_YourTalkTitle.pptx"

About

Software Analysis and Verification Group

15 stars

9 watching

Report repository

Releases

Packages

Contributors