编程语言技术沙龙｜第 26 期：自托管依赖类型语言的设计与实现
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【暗网黑客教程】审核下架34次，终于上传成功，你敢学我就敢发，学不会我来教~（暗網怎么进/暗網教程/如何上暗網/手機如何上暗網）
...
SIG-类型系统技术沙龙回顾｜Android 权限的一个类型系统模型
...
SIG-编程语言测试技术沙龙回顾｜数据驱动的编译器测试
...
一百五十行C语言代码实现爱心效果！
...
编程语言技术沙龙｜第 27 期：TensorIR一种自动优化张量程序的语言抽象
...
编程语言Lab活动回顾：与华为冯新宇教授漫谈编程语言的设计和实现
...
SIG-类型系统技术沙龙回顾｜渐进式类型系统如何帮助我们，以及如何在工程中改造Python渐进的类型系统
...
SIG-Runtime技术沙龙回顾｜从JIT编译看Runtime发展
...
SIG-Runtime技术沙龙回顾｜Runtime设计的主要挑战
...
SIG-编程语言测试技术沙龙回顾｜以标准为指导的 JS 引擎一致性测试
...
SIG-程序分析技术沙龙回顾｜基于硬件的程序动态控制流追踪系统
...
编程语言技术沙龙｜第 20 期：异构计算的中间语言、成本模型和代码生成器
...
编程语言技术沙龙 | 第12期：CPython 解释器性能分析与优化
...
编程语言技术沙龙｜第 17 期: 类型检查：时常被忽略的编译器组件
...
SIG-编程语言测试技术沙龙回顾｜编程语言测试技术综述
...
SIG-程序分析技术沙龙回顾｜从参数化到概率化
...
SIG-类型系统技术沙龙回顾｜Rust 类型系统介绍
...
SIG-程序分析技术沙龙回顾｜基于轨迹的调试技术：从传统软件到AI模型开发
...
学C++和不学C++的，学Python和不学Python的都沉默了
...
编程语言技术沙龙 | 第11期 Introduction to Call-by-Push-Value
...
SIG-程序分析技术沙龙回顾｜基于智能状态和源代码插桩的C程序内存安全性动态分析
...
编程语言技术沙龙｜第六期：WebAssembly minus the Web
...
编程语言技术沙龙｜第八期：Geometry of Interaction for Gödel’s System T
...
编程语言技术沙龙｜第四期： Decentralised Finance the Old and New
...
SIG-Runtime技术沙龙回顾｜语言运行时的混合内存支持
...
【2024 ACM 中国图灵大会｜华为论坛】仓颉语言鸿蒙原生应用开发-徐潇
...
编程语言技术沙龙｜第十期：Inferring Pointer Types for Translating C to Safe Rust
...
编程语言技术沙龙｜第五期：Designing Safe, Flexible Linguistic Abstractions for Control Flow
...
1.4 哈尔滨工业大学-程序设计基础
...
SIG-DSL扩展技术沙龙回顾｜沉浸式互动空间需要怎样的特定领域编程模型
...
编程语言技术沙龙｜第一期：A Walk-Through of the Nominal Haskell Package by Jamie Gabbay
...
SIG-程序分析技术沙龙回顾｜基于符号抽象的程序分析
...
SIG-程序分析技术沙龙回顾｜并发程序验证中的约束求解问题
...
编程语言技术沙龙｜第七期：Lua and Pallene
...
SIG-程序分析技术沙龙回顾｜数值程序分析
...
SIG-程序分析技术沙龙回顾｜Symbolic Execution Oriented Constraint Solving
...
SIG-程序分析技术沙龙回顾｜基于程序分析的软件安全漏洞修复
...
【2024 ACM 中国图灵大会｜华为论坛】力扣鸿蒙应用仓颉语言开发实践-叶海健
...
编程语言技术沙龙｜第 24 期：符号化执行在软件领域的应用及挑战
...
SIG-程序分析技术沙龙回顾｜基于软件分析的智能化开发新型服务及技术介绍