会员服务
工具 · 编程语言 ·
2023 年 4 月 11 日
Tracing OCaml Programs
翻译：OCaml程序追踪
Darius Foo,Wei-Ngan Chin
Darius Foo,Wei-Ngan Chin

This presentation will cover a framework for application-level tracing of OCaml programs. We outline a solution to the main technical challenge, which is being able to log typed values with lower overhead and maintenance burden than existing approaches. We then demonstrate the tools we have built around this for visualizing and exploring executions.


翻译：本文将介绍一种用于追踪OCaml程序的应用级追踪框架。我们概述了解决主要技术难题的解决方案，即能够记录类型值，而比现有方法拥有更低的开销和维护负担。然后，我们展示了围绕此建立的用于可视化和探索执行的工具。
0
下载
关闭预览

相关内容

高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
近期必读的六篇AAAI 2021【对抗攻击（Adversarial Attack）】相关论文和代码
专知会员服务
55+阅读 · 2021年2月17日
Python计算导论，560页pdf，Introduction to Computing Using Python
Python计算导论，560页pdf，Introduction to Computing Using Python
专知会员服务
76+阅读 · 2020年5月5日
【O'Reilly AI Conference 2019】使用机器学习和开源工具构建上下文AI助手（Building contextual AI assistants with machine learning and open source tools），Rasa产品经理Tyler Dunn
【O'Reilly AI Conference 2019】使用机器学习和开源工具构建上下文AI助手（Building contextual AI assistants with machine learning and open source tools），Rasa产品经理Tyler Dunn
专知会员服务
18+阅读 · 2019年11月5日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
【论文推荐】最新七篇视觉问答（VQA）相关论文—差别注意力机制、视觉问题推理、视觉对话、数据可视化、记忆增强网络、显式推理
【论文推荐】最新七篇视觉问答（VQA）相关论文—差别注意力机制、视觉问题推理、视觉对话、数据可视化、记忆增强网络、显式推理
专知
17+阅读 · 2018年4月19日
【论文推荐】最新六篇自动问答（QA）相关论文—复杂序列问答、注意力机制、长短时记忆、文本推理、多因素注意力、主动的问答智能体
【论文推荐】最新六篇自动问答（QA）相关论文—复杂序列问答、注意力机制、长短时记忆、文本推理、多因素注意力、主动的问答智能体
专知
18+阅读 · 2018年2月22日
Capsule Networks解析
Capsule Networks解析
机器学习研究会
11+阅读 · 2017年11月12日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
Android系统应用程序权限异常使用分析及检测方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于联烯多样反应性能的核苷衍生物的合成、生物活性和荧光性能研究
国家自然科学基金
0+阅读 · 2012年12月31日
基于GPU性能模型的异构系统优化技术研究
国家自然科学基金
0+阅读 · 2011年12月31日
支持QoS的主动无线传感器网络中间件研究
国家自然科学基金
0+阅读 · 2009年12月31日
组合Web服务的建模与验证
国家自然科学基金
1+阅读 · 2008年12月31日
Convergence Analysis of Mean Shift
Arxiv
0+阅读 · 2023年5月29日
$ω$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
Arxiv
0+阅读 · 2023年5月25日
Metaheuristic planner for cooperative multi-agent wall construction with UAVs
Arxiv
0+阅读 · 2023年5月25日
A Fast Algorithm for Consistency Checking Partially Ordered Time
Arxiv
0+阅读 · 2023年5月25日
The Role of Heterogeneity in Autonomous Perimeter Defense Problems
The Role of Heterogeneity in Autonomous Perimeter Defense Problems
Arxiv
13+阅读 · 2022年2月21日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
工具
编程语言
相关VIP内容
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
近期必读的六篇AAAI 2021【对抗攻击（Adversarial Attack）】相关论文和代码
专知会员服务
55+阅读 · 2021年2月17日
Python计算导论，560页pdf，Introduction to Computing Using Python
Python计算导论，560页pdf，Introduction to Computing Using Python
专知会员服务
76+阅读 · 2020年5月5日
【O'Reilly AI Conference 2019】使用机器学习和开源工具构建上下文AI助手（Building contextual AI assistants with machine learning and open source tools），Rasa产品经理Tyler Dunn
【O'Reilly AI Conference 2019】使用机器学习和开源工具构建上下文AI助手（Building contextual AI assistants with machine learning and open source tools），Rasa产品经理Tyler Dunn
专知会员服务
18+阅读 · 2019年11月5日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
热门VIP内容
相关资讯
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
【论文推荐】最新七篇视觉问答（VQA）相关论文—差别注意力机制、视觉问题推理、视觉对话、数据可视化、记忆增强网络、显式推理
【论文推荐】最新七篇视觉问答（VQA）相关论文—差别注意力机制、视觉问题推理、视觉对话、数据可视化、记忆增强网络、显式推理
专知
17+阅读 · 2018年4月19日
【论文推荐】最新六篇自动问答（QA）相关论文—复杂序列问答、注意力机制、长短时记忆、文本推理、多因素注意力、主动的问答智能体
【论文推荐】最新六篇自动问答（QA）相关论文—复杂序列问答、注意力机制、长短时记忆、文本推理、多因素注意力、主动的问答智能体
专知
18+阅读 · 2018年2月22日
Capsule Networks解析
Capsule Networks解析
机器学习研究会
11+阅读 · 2017年11月12日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
相关论文
Convergence Analysis of Mean Shift
Arxiv
0+阅读 · 2023年5月29日
$ω$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
Arxiv
0+阅读 · 2023年5月25日
Metaheuristic planner for cooperative multi-agent wall construction with UAVs
Arxiv
0+阅读 · 2023年5月25日
A Fast Algorithm for Consistency Checking Partially Ordered Time
Arxiv
0+阅读 · 2023年5月25日
The Role of Heterogeneity in Autonomous Perimeter Defense Problems
The Role of Heterogeneity in Autonomous Perimeter Defense Problems
Arxiv
13+阅读 · 2022年2月21日
相关基金
Android系统应用程序权限异常使用分析及检测方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于联烯多样反应性能的核苷衍生物的合成、生物活性和荧光性能研究
国家自然科学基金
0+阅读 · 2012年12月31日
基于GPU性能模型的异构系统优化技术研究
国家自然科学基金
0+阅读 · 2011年12月31日
支持QoS的主动无线传感器网络中间件研究
国家自然科学基金
0+阅读 · 2009年12月31日
组合Web服务的建模与验证
国家自然科学基金
1+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top