系统软件与软件安全

2023年阅读组会

发布时间：2023-02-09  浏览次数：528

时间主讲人论文题目附件会议/期刊
2024.1.30

万嘉诚

Performance modeling on DaVinci AI core季扬-精读.pptx季扬-精读报告.pdfMICRO 2023
2024.1.30丁伯尧Precise and Scalable Points-to Analysis via Data-Driven Context TunnelingOOPSLA2018 Precise and Scalable Points-to Analysis via Data-Driven.pptxPrecise and Scalable Points-to Analysis via Data-Driven Context Tunneling.pdfOOPLAS 2018
2024.1.30万嘉诚AGO: Boosting Mobile AI Inference Performance by Removing Constraints on Graph OptimizationAGO汇报.pptxAGO精度报告.pdfINFOCOM 2023
2024.1.23

杨天峰

BladeDISC: Optimizing Dynamic Shape Machine Learning Workloads via Compiler ApproachBladeDISC.pptx精读报告.docxPACM 2023
2024.1.23王天宸FLAT: An Optimized Dataflow forMitigating Attention BottlenecksFLAT__An_Optimized_Dataflow_forMitigating_Attention_Bottlenecks.pptx王天宸 精读报告.pdfASPLOS 2023
2024.1.9邓皓苧QuCT: A Framework for Analyzing Quantum Circuit by Extracting Contextual and Topological Features阅读组会分享.pptx邓皓苧精读报告.pdfMICRO 2023
2024.1.2唐富根Who goes first? detecting go concurrency bugs via message reorderingGFUZZ.pptx唐富根精读报告.pdfASPLOS 2022
2023.12.26梁运龙Adaptive query compilation in graph databases精读报告(1).docxAdaptive query compilation in graph databases.pptxDPD 2023
2023.12.19孙策DONGLE: Direct FPGA-Orchestrated NVMe Storage for HLSDONGLE Direct FPGA-Orchestrated NVMe Storage for HLS.pptx精读报告(2).pdfFPGA 2023
2023.12.12徐柴俊Summarizing semantic graphs: a surveyVLDB2019_Summarizing_semantic_graphs——a_survey.pptxVLDB2019_Summarizing_semantic_graphs——a_survey精读报告.pdfVLDB 2019
2023.12.5李清伟
Collecting Cyclic Garbage across Foreign Function Interfaces2023-12-5-李清伟阅读组会精读报告.pdfyamazaki2023collectingcyclicgarbage.pptxPLDI 2023
2023.11.28谭泽霖SELF-RAG: LEARNING TO RETRIEVE, GENERATE, AND CRITIQUE THROUGH SELF-REFLECTION阅读组会RAG.pptxarxiv 2023
2023.11.21胡海蓉Representation Learning of Knowledge Graphs with Hierarchical TypesIJCAI16-RLofKG.pptx精读报告.docxIJCAI 16
2023.11.14黄庄湫Eventful Transformers: Leveraging Temporal Redundancy in Vision TransformersICCV2023_Eventful_Transformers.pptxICVC 2023
2023.11.7陈金宝Static analysis for efficient hybrid information-flow control20231107精读-cjb.pdfcsf2011-hybrid.pptxCFS2011
2023.10.31王顺洪Optimization Techniques for GPU ProgrammingOptimization Techniques for GPU Programming.pdf
2023.10.24陈铭瑜Source Matching and Rewriting for MLIR Using String-Based Automata20232024-精读-cmy.docx
2023.10.17刘硕HAOTuner: A Hardware Adaptive Operator
 Auto-Tuner for Dynamic Shape Tensor Compilers		HaoTuner.pptxTS'23
2023.10.10赖民信Ada3D : Exploiting the Spatial Redundancy with Adaptive Inference for Efficient 3D Object Detection阅读组会231010-Ada3D.pptx阅读报告231010-ICCV23Ada3D.docxICCV 23
2023.9.26李永尚A Synthesis Framework for Stitching Surface Code with Superconducting Quantum Devices20230928论文阅读报告-lys.pdfASPLOS 22
2023.9.19龚磊nuPlan: A closed-loop ML-based planning benchmark for autonomous vehicles论文阅读报告-gl.pdf
2023.9.12胡明哲Python: The Full Monty A Tested Semantics for the Python Programming Languagereport.pdfslides.ppt
2023.8.3万嘉诚EinNet: Optimizing Tensor Programs  with Derivation-Based TransformationsEINNet.pptx
2023.7.21彭浩然Verifying Determinism in Sequential Programs阅读组会-Verifying_Determinism_in_Sequential_Programs-彭浩然.pdfICSE 2021
2023.7.14夏迎庆Generating and Characterizing Scenarios for Safety Testing of Autonomous VehiclesGenerating and Characterizing Scenarios for Safety Testing of Autonomous Vehicles.pptxIV 2021
2023.7.7丁伯尧Points-to Analysis using BDDsPoints-to Analysis using BDDs.pptxPLDI 03
2023.6.29胡海蓉
PG-Keys: Keys for Property Graphs		PG-Keys.pptxSIGMOD 21
2023.6.15胡明哲工作介绍：多语言软件的程序分析2023-06-15_阅读组会-工作介绍_HMZ.pptx
2023.6.8龚磊Anomaly Detection in Autonomous Driving龚磊-Anomaly detection in autonomous driving_20230608132148.pdf
2023.6.1谭泽霖ZeroQ: A Novel Shot Quantization FrameworkZeroQ.pptxCVPR 2020
2023.5.25刘硕深度学习编译工作报告刘硕-工作介绍.pptx
2023.5.18王顺洪Graphene: An IR for Optimized Tensor Computations on GPUsHagedorn2023Graphene.pptxASPLOS 2023
2023.5.11陈金宝Spindle: Informed Memory Access Monitoringatc18-spindle-mem-access.pptxATC 2018
2023.5.4赖民信PipeDream: Generalized Pipeline Parallelism for DNN Trainingnarayanan19PipeDream(1).pptxASPLOS
2023.4.27
陈铭瑜量子编译工作介绍cmy-工作介绍.pptx
2023.4.20黄庄湫VELTAIR: Towards High-Performance Multi-tenant Deep Learning Services via Adaptive Compilation and SchedulingASPLOS2022_VELTAIR.pptxASPLOS
2023.4.13翟祎
张量程序调优工作报告工作报告.pptx
2023.4.6黄奕桐面向深度学习的计算调度和内存优化
2023-04-06-工作介绍.pptx
2023.3.30万嘉诚Optimus: An Operator Fusion Framework for Deep Neural NetworksOptimus.pptxTECS
2023.3.23彭浩然GoN2Free工作介绍GoN2Free系统工作介绍.pptx
2023.3.16夏迎庆Standardized Max Logits: A Simple yet Effective Approach for Identifying Unexpected Road Obstacles in Urban-Scene SegmentationICCV2021_SML.pptxICCV 2021
2023.3.9李永尚量子编译工作介绍李永尚工作介绍.pptx
2023.3.2丁伯尧编译运行时系统的整体性介绍2023-3-2 个人工作介绍(1).pptx
2023.2.23黄奕桐TelaMalloc: Efficient On-Chip Memory Allocation for Production Machine Learning Accelerators2023-02-23-TelaMalloc.pptxASPLOS 2023
2023.2.16胡海蓉Modern Techniques for Querying Graph-Structured Relations: Foundations, System Implementations, and Open ChallengesRanked Enumeration of Join Queries with Projections.pptxVLDB
2023.2.9
赖民信Looking Beyond GPUs for DNN Scheduling on Multi-Tenant Clusters阅读组会230208-osdi22mohan.pptxOSDI 22
2023.2.2谭泽霖INFaaS: Automated Model-less Inference ServingIFaaS 谭泽霖 2023春季学期负四周阅读组会精读.pptx
2023.1.12陈金宝An Empirical Study of Blockchain System Vulnerabilities: Modules, Types, and PatternsESEC_FSE2022_blockchain_cve.pptxESEC/FSE 2022
2023.1.5黄庄湫ValueExpert: Exploring Value Patterns in GPU-Accelerated ApplicationsASPLOS2022_ValueExpert.pptxASPLOS 2022


地址：安徽省合肥市蜀山区黄山路443号     电话：0551-63603804         

中国科学技术大学网络信息中心制作维护