会员服务
工具 · 编程语言 ·
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
下载
关闭预览

相关内容

【开放书】设计机器学习系统，Designing Machine Learning Systems
【开放书】设计机器学习系统，Designing Machine Learning Systems
专知会员服务
76+阅读 · 2022年5月17日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
近期必读的六篇AAAI 2021【对抗攻击（Adversarial Attack）】相关论文和代码
专知会员服务
54+阅读 · 2021年2月17日
【2020新书】Bootstrap 4导论第二版，366页pdf，使用Bootstrap 4.5创建强大的Web应用程序
【2020新书】Bootstrap 4导论第二版，366页pdf，使用Bootstrap 4.5创建强大的Web应用程序
专知会员服务
18+阅读 · 2020年9月23日
Python计算导论，560页pdf，Introduction to Computing Using Python
Python计算导论，560页pdf，Introduction to Computing Using Python
专知会员服务
72+阅读 · 2020年5月5日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
【UAI 2019 Tutorials】可处理概率模型：表示、算法、学习和应用（Tractable Probabilistic Models: Representations, Algorithms, Learning, and Applications）
【UAI 2019 Tutorials】可处理概率模型：表示、算法、学习和应用（Tractable Probabilistic Models: Representations, Algorithms, Learning, and Applications）
专知会员服务
17+阅读 · 2019年11月16日
【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
专知会员服务
16+阅读 · 2019年11月5日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
灾难性遗忘问题新视角：迁移-干扰平衡
灾难性遗忘问题新视角：迁移-干扰平衡
CreateAMind
17+阅读 · 2019年7月6日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【论文推荐】最新七篇视觉问答（VQA）相关论文—差别注意力机制、视觉问题推理、视觉对话、数据可视化、记忆增强网络、显式推理
【论文推荐】最新七篇视觉问答（VQA）相关论文—差别注意力机制、视觉问题推理、视觉对话、数据可视化、记忆增强网络、显式推理
专知
17+阅读 · 2018年4月19日
【论文推荐】最新六篇自动问答（QA）相关论文—复杂序列问答、注意力机制、长短时记忆、文本推理、多因素注意力、主动的问答智能体
【论文推荐】最新六篇自动问答（QA）相关论文—复杂序列问答、注意力机制、长短时记忆、文本推理、多因素注意力、主动的问答智能体
专知
18+阅读 · 2018年2月22日
【论文推荐】最新5篇目标跟踪（Object Tracking）相关论文—并行跟踪和验证、光流、自动跟踪、相关滤波集成、CFNet
【论文推荐】最新5篇目标跟踪（Object Tracking）相关论文—并行跟踪和验证、光流、自动跟踪、相关滤波集成、CFNet
专知
25+阅读 · 2018年2月6日
Capsule Networks解析
Capsule Networks解析
机器学习研究会
11+阅读 · 2017年11月12日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
基于生物网络的五味降压散多成分效应整合机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
有机磷农药与黄芪根际微生物多样性及黄芪品质相关性研究
国家自然科学基金
0+阅读 · 2014年12月31日
Android系统应用程序权限异常使用分析及检测方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于联烯多样反应性能的核苷衍生物的合成、生物活性和荧光性能研究
国家自然科学基金
0+阅读 · 2012年12月31日
面向ISM频段无线传感器网络的合作共存与优化技术
国家自然科学基金
0+阅读 · 2012年12月31日
面向MapReduce的网络存储系统优化技术研究
国家自然科学基金
0+阅读 · 2012年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日
List homomorphism problems for signed trees
Arxiv
0+阅读 · 2023年5月27日
Supporting the Careers of Developers with Disabilities: Lessons from Zup Innovation
Arxiv
0+阅读 · 2023年5月26日
Better Batch for Deep Probabilistic Time Series Forecasting
Arxiv
0+阅读 · 2023年5月26日
$ω$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日
UpMax: User partitioning for MaxSAT
Arxiv
0+阅读 · 2023年5月25日
Contextual information integration for stance detection via cross-attention
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内容
【开放书】设计机器学习系统，Designing Machine Learning Systems
【开放书】设计机器学习系统，Designing Machine Learning Systems
专知会员服务
76+阅读 · 2022年5月17日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
近期必读的六篇AAAI 2021【对抗攻击（Adversarial Attack）】相关论文和代码
专知会员服务
54+阅读 · 2021年2月17日
【2020新书】Bootstrap 4导论第二版，366页pdf，使用Bootstrap 4.5创建强大的Web应用程序
【2020新书】Bootstrap 4导论第二版，366页pdf，使用Bootstrap 4.5创建强大的Web应用程序
专知会员服务
18+阅读 · 2020年9月23日
Python计算导论，560页pdf，Introduction to Computing Using Python
Python计算导论，560页pdf，Introduction to Computing Using Python
专知会员服务
72+阅读 · 2020年5月5日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
【UAI 2019 Tutorials】可处理概率模型：表示、算法、学习和应用（Tractable Probabilistic Models: Representations, Algorithms, Learning, and Applications）
【UAI 2019 Tutorials】可处理概率模型：表示、算法、学习和应用（Tractable Probabilistic Models: Representations, Algorithms, Learning, and Applications）
专知会员服务
17+阅读 · 2019年11月16日
【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
专知会员服务
16+阅读 · 2019年11月5日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
灾难性遗忘问题新视角：迁移-干扰平衡
灾难性遗忘问题新视角：迁移-干扰平衡
CreateAMind
17+阅读 · 2019年7月6日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【论文推荐】最新七篇视觉问答（VQA）相关论文—差别注意力机制、视觉问题推理、视觉对话、数据可视化、记忆增强网络、显式推理
【论文推荐】最新七篇视觉问答（VQA）相关论文—差别注意力机制、视觉问题推理、视觉对话、数据可视化、记忆增强网络、显式推理
专知
17+阅读 · 2018年4月19日
【论文推荐】最新六篇自动问答（QA）相关论文—复杂序列问答、注意力机制、长短时记忆、文本推理、多因素注意力、主动的问答智能体
【论文推荐】最新六篇自动问答（QA）相关论文—复杂序列问答、注意力机制、长短时记忆、文本推理、多因素注意力、主动的问答智能体
专知
18+阅读 · 2018年2月22日
【论文推荐】最新5篇目标跟踪（Object Tracking）相关论文—并行跟踪和验证、光流、自动跟踪、相关滤波集成、CFNet
【论文推荐】最新5篇目标跟踪（Object Tracking）相关论文—并行跟踪和验证、光流、自动跟踪、相关滤波集成、CFNet
专知
25+阅读 · 2018年2月6日
Capsule Networks解析
Capsule Networks解析
机器学习研究会
11+阅读 · 2017年11月12日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
相关论文
Convergence Analysis of Mean Shift
Arxiv
0+阅读 · 2023年5月29日
List homomorphism problems for signed trees
Arxiv
0+阅读 · 2023年5月27日
Supporting the Careers of Developers with Disabilities: Lessons from Zup Innovation
Arxiv
0+阅读 · 2023年5月26日
Better Batch for Deep Probabilistic Time Series Forecasting
Arxiv
0+阅读 · 2023年5月26日
$ω$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日
UpMax: User partitioning for MaxSAT
Arxiv
0+阅读 · 2023年5月25日
Contextual information integration for stance detection via cross-attention
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日
相关基金
基于生物网络的五味降压散多成分效应整合机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
有机磷农药与黄芪根际微生物多样性及黄芪品质相关性研究
国家自然科学基金
0+阅读 · 2014年12月31日
Android系统应用程序权限异常使用分析及检测方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于联烯多样反应性能的核苷衍生物的合成、生物活性和荧光性能研究
国家自然科学基金
0+阅读 · 2012年12月31日
面向ISM频段无线传感器网络的合作共存与优化技术
国家自然科学基金
0+阅读 · 2012年12月31日
面向MapReduce的网络存储系统优化技术研究
国家自然科学基金
0+阅读 · 2012年12月31日
基于轻量级虚拟机的全系统程序分析
国家自然科学基金
0+阅读 · 2012年12月31日
基于GPU性能模型的异构系统优化技术研究
国家自然科学基金
0+阅读 · 2011年12月31日
支持QoS的主动无线传感器网络中间件研究
国家自然科学基金
0+阅读 · 2009年12月31日
组合Web服务的建模与验证
国家自然科学基金
1+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top