paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Time Dilation and Contraction for Programmable Analog Devices with Jaunt

可编程模拟器件的时间膨胀与收缩:Jaunt
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10 · 该论文研究可编程模拟器件的配置缩放与动力学可观测性,属于模拟计算/体系结构方向;与用户的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析等核心方向几乎没有交集。引用 3 inbox
Sara Achour, Martin Rinard
crossref: 2026-09-12

AI 速览

一句话:提出 Jaunt 求解器,通过缩放模拟器件配置值,使计算满足工作范围并保留可观测动力学。

可编程模拟器件适合高效仿真神经形态与细胞形态等动力系统,但现有配置方法未考虑模拟器件的电流/电压工作范围以及数字接口的采样限制,可能导致仿真错误或无法观测动力学。本文提出 Jaunt 求解器,对配置模拟器件的值进行缩放,使模拟计算落在器件工作约束内,同时保留原仿真中可恢复的动力学,并让计算足够缓慢以便通过采样数字输出观测这些动力学。作者在一组生物仿真基准上评估,结果表明:未缩放的配置会违反器件工作范围并产生错误仿真;Jaunt 生成的缩放配置能够遵守工作范围,产生正确且动力学可观测的仿真。

问题
现有可编程模拟器件配置方法忽略器件的电流/电压工作范围和数字接口采样限制,导致动力系统仿真错误或动力学不可观测。
方法
Jaunt 通过缩放配置模拟器件的值,使模拟计算满足器件工作约束、保留可恢复动力学,并放慢执行速度以匹配数字采样观测。
评估
在一组生物仿真基准上比较未缩放配置与 Jaunt 缩放配置,验证后者能避免工作范围违规并产生可观测的正确仿真。
原文摘要(Abstract)

Programmable analog devices are a powerful new computing substrate that are especially appropriate for performing computationally intensive simulations of neuromorphic and cytomorphic models. Current state of the art techniques for configuring analog devices to simulate dynamical systems do not consider the current and voltage operating ranges of analog device components or the sampling limitations of the digital interface of the device. We present Jaunt, a new solver that scales the values that configure the analog device to ensure the resulting analog computation executes within the operating constraints of the device, preserves the recoverable dynamics of the original simulation, and executes slowly enough to observe these dynamics at the sampled digital outputs. Our results show that, on a set of benchmark biological simulations, 1) unscaled configurations produce incorrect simulations because they violate the operating ranges of the device and 2) Jaunt delivers scaled configurations that respect the operating ranges to produce correct simulations with observable dynamics.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot4258,
  title = {Time Dilation and Contraction for Programmable Analog Devices with Jaunt},
  author = {Sara Achour and Martin Rinard},
  booktitle = {ASPLOS},
  year = {2018},
  doi = {10.1145/3173162.3173179}
}