XiaoMi-AI文件搜索系统
World File Search Systempopl
cv.pdf div>
旅行获得AAAI奖学金（2020年），Sigplan Pac Travel Grant Popl（2020），Cav学生旅行奖学金（2019），赖斯院长旅行奖（2019年），Wil Siglog/VCLA旅行奖（2019年，2019年，2019年，拒绝），MIT EEC EECS EECS EECS EECS Rising Stars Travel（2018），NSF-CAV/VMW Travel Swirssprips Grange Grange Grange Grange Grange Grants（2018） Summit Travel Grant（2017），LMW-LICS奖学金（2017年，拒绝），CRA-W GRAD队列研究生助学金（2017），ACM SRC（POPL）旅行赠款（2016年），MSR教师峰会旅行赠款（2016）
2025年第1次通话的研究主题列表
本主题旨在开发一种基于高级类型的方法来验证时间属性，即有关事件序列的一类属性，称为痕迹。现实世界中的程序不仅涉及纯计算，还涉及副作用，许多副作用都需要满足某些学科。例如，需要首先打开文件资源，并在关闭它们之前从中读取并写信给它们，并最终应关闭打开的文件。在此示例中，“打开”，“读”，“写”和“关闭”被视为文件上的事件，可以将要满足的文件的纪律描述为有关此类事件痕迹的时间属性。在本主题中，我们研究1）高阶程序的时间验证理论和2）实施验证者以自动化时间验证。参考-T。Sekiyama等。时间验证和答案效应修改。popl'23。-T。Sekiyama等。代数时间效应。popl'25
简历.pdf
1. Anita Buckley、Pavel Chuprikov、Rodrigo Otoni、Robert Soulé、Robert Rand 和 Patrick Eugster (2024)。用于指定量子网络的代数语言。编程语言设计和实现 (PLDI)。2. Anita Buckley、Pavel Chuprikov、Rodrigo Otoni、Robert Rand、Robert Soulé 和 Patrick Eugster (2023)。面向量子网络的代数规范。量子网络和分布式量子计算 (QuNet)。3. Yuxiang Peng、Kesha Hietala、Runzhou Tao、Liyi Li、Robert Rand、Michael Hicks 和 Xiaodi Wu (2023)。Shor 分解算法的正式认证端到端实现。美国国家科学院院刊 (PNAS)。 4. Finn Voichick、Liyi Li、Robert Rand 和 Michael Hicks (2023)。Qunity：一种用于量子和经典计算的统一语言。编程语言原理 (POPL)。5. Giovanni De Micheli、Jie-Hong R. Jiang、Robert Rand、Kaitlin Smith 和 Mathias Soeken (2022)。量子计算和量子技术的进展：设计自动化视角。IEEE 电路与系统新兴和精选主题杂志。6. Kartik Singhal、Kesha Hietala、Sarah Marshall 和 Robert Rand (2022)。Q# 作为量子算法语言。量子物理与逻辑 (QPL)。7. Kesha Hietala、Robert Rand、Shih-Han Hung、Liyi Li 和 Michael Hicks (2021)。证明量子程序正确。交互式定理证明 (ITP)。8. Kesha Hietala、Robert Rand、Shih-Han Hung、Xiaodi Wu 和 Michael Hicks (2021)。量子电路的经过验证的优化器。编程语言原理 (POPL)。9. Robert Rand、Aarthi Sundaram、Kartik Singhal 和 Brad Lackey (2020)。量子程序的 Gottesman 类型。量子物理和逻辑 (QPL)。10. Robert Rand、Kesha Hietala 和 Michael Hicks (2019)。形式验证与量子不确定性。编程语言进步峰会 (SNAPL)。11. Robert Rand、Jennifer Paykin、Dong-Ho Lee 和 Steve Zdancewic (2018)。ReQWIRE：关于可逆量子电路的推理。量子物理和逻辑 (QPL)。 12. Jennifer Paykin、Robert Rand 和 Steve Zdancewic (2017)。QWIRE：量子电路的核心语言。编程语言原理 (POPL)。13. Robert Rand、Jennifer Paykin 和 Steve Zdancewic (2017)。QWIRE 实践：Coq 中量子电路的形式化验证。量子物理与逻辑 (QPL)。
Xiaodi Wu – 马里兰大学计算机科学副教授
PC 成员 ⋄ 第九届量子计算、通信和密码理论会议（TQC 2014）。 ⋄ 第二十届量子信息处理年会（QIP 2017）。 ⋄ 第二十一届量子信息处理年会（QIP 2018）。 ⋄ 与 ICSE 2020 和 ICSE 2021 共同举办的量子软件工程国际研讨会 (Q-SE 2020、Q-SE 2021)。 ⋄ 第十五届量子计算、通信和密码理论会议 (TQC 2020)。 ⋄ 2021 年 IEEE 国际量子计算与工程会议 (QCE 2021)。 ⋄ 第 43 届 ACM SIGPLAN 编程语言设计与实现会议 (PLDI 2022)。 ⋄（领域主席）第 10 届学习表征国际会议（ICLR 2022）。⋄ 量子计算理论实践研讨会 QCTIP 2022。⋄（领域主席）第 36 届神经信息处理系统会议（NeurIPS 2022）。⋄（领域主席）第 40 届机器学习国际会议（ICML 2023）。⋄（领域主席）第 37 届神经信息处理系统会议（NeurIPS 2023）。⋄ 第 51 届 ACM SIGPLAN 编程语言原理研讨会（POPL 2024）。⋄ 第 45 届 ACM SIGPLAN 编程语言设计与实现会议（PLDI 2024）。⋄（领域主席）第 41 届机器学习国际会议（ICML 2024）。 ⋄（领域主席）第 38 届神经信息处理系统会议（NeurIPS 2024）。⋄（高级 PC）第 39 届 AAAI 人工智能会议（AAAI 2025）。⋄ 第 46 届 ACM SIGPLAN 编程语言设计与实现会议（PLDI 2025）。⋄（领域主席）第 42 届机器学习国际会议（ICML 2025）。
年度报告 - 计算机科学.docx
1. 运行时验证：Java 中的动手方法，Christian Colombo 和 Gordon J. Pace，Springer，ISBN 978-3-031-09266-4，2022 年。2. Jacques Vella Critien、Albert Gatt 和 Joshua Ellul。通过 Twitter 情绪和数据量预测比特币价格变化和趋势，载于《金融创新》，第 8 卷。Springer。2022 年 5 月。3. Simon Joseph Aquilina、Fran Casino、Mark Vella、Joshua Ellul 和 Constantinos Patsakis。EtherClue：对以太坊智能合约攻击的数字调查，载于《区块链：研究与应用》，第 2 卷，第 4 期。爱思唯尔。2021 年 12 月。4. Jennifer Bellizzi、Mark Vella、Christian Colombo、Julio César Hernández Castro。使用及时捕获的内存转储应对针对 Android 的隐形攻击。IEEE Access 10：35172-35218 (2022)。5. Axel Curmi、Christian Colombo、Mark Vella。基于 RV-TEE 的可信安全外壳部署：实证评估。J. Object Technol。21(2): 2:1-15 (2022)。6. Yonas Leguesse、Christian Colombo、Mark Vella、Julio C. Hernandez-Castro。PoPL：存在和局部性证明，或如何保护智能手机上的金融交易。IEEE Access 9：168600-168612 (2021)。7. Martin Leucker、Christian Colombo。（担任编辑）。Int. J. Softw. Tools Technol. Transf. 23（2）：155-156（2021）。 8. 内维尔·格雷奇、西菲斯·拉古瓦多斯、伊利亚斯·萨蒂里斯、雅尼斯·斯玛拉格达基斯。 Elipmoc：以太坊智能合约的高级反编译 9. ACM 编程语言 6 (OOPSLA1) 会议记录，2022 年 1-27 日 10. Yannis Smaragdakis、Neville Grech、S Lagouvardos、K Triantafyllou、I Tsatiris