Zobrazeno 1 - 10
of 1 531
pro vyhledávání: '"A. Tatlock"'
Autor:
Smith, Gus Henry, Sisco, Zachary D., Techaumnuaiwit, Thanawat, Xia, Jingtao, Canumalla, Vishal, Cheung, Andrew, Tatlock, Zachary, Nandi, Chandrakana, Balkind, Jonathan
EDA toolchains are notoriously unpredictable, incomplete, and error-prone; the generally-accepted remedy has been to re-imagine EDA tasks as compilation problems. However, any compiler framework we apply must be prepared to handle the wide range of E
Externí odkaz:
http://arxiv.org/abs/2404.00786
Text documents, including programs, typically have human-readable semantic structure. Historically, programmatic access to these semantics has required explicit in-document tagging. Especially in systems where the text has an execution semantics, thi
Externí odkaz:
http://arxiv.org/abs/2403.03481
Autor:
Smith, Gus Henry, Kushigian, Ben, Canumalla, Vishal, Cheung, Andrew, Lyubomirsky, Steven, Porncharoenwase, Sorawee, Just, René, Bernstein, Gilbert Louis, Tatlock, Zachary
FPGA technology mapping is the process of implementing a hardware design expressed in high-level HDL (hardware design language) code using the low-level, architecture-specific primitives of the target FPGA. As FPGAs become increasingly heterogeneous,
Externí odkaz:
http://arxiv.org/abs/2401.16526
Autor:
Misback, Edward, Chan, Caleb C., Saiki, Brett, Jun, Eunice, Tatlock, Zachary, Panchekha, Pavel
In recent years, researchers have proposed a number of automated tools to identify and improve floating-point rounding error in mathematical expressions. However, users struggle to effectively apply these tools. In this paper, we work with novices, e
Externí odkaz:
http://arxiv.org/abs/2305.10599
Autor:
Smith, Gus Henry, Kushigian, Ben, Canumalla, Vishal, Cheung, Andrew, Just, René, Tatlock, Zachary
Compiler backends should be automatically generated from hardware design language (HDL) models of the hardware they target. Generating compiler components directly from HDL can provide stronger correctness guarantees, ease development effort, and enc
Externí odkaz:
http://arxiv.org/abs/2305.09580
Autor:
Zhang, Yihong, Wang, Yisu Remy, Flatt, Oliver, Cao, David, Zucker, Philip, Rosenthal, Eli, Tatlock, Zachary, Willsey, Max
We present egglog, a fixpoint reasoning system that unifies Datalog and equality saturation (EqSat). Like Datalog, it supports efficient incremental execution, cooperating analyses, and lattice-based reasoning. Like EqSat, it supports term rewriting,
Externí odkaz:
http://arxiv.org/abs/2304.04332
Autor:
Maggie Tabberer, Nicola Williamson, Sophi Tatlock, Adam Gater, Rebecca Grimes, Chika Akinseye, David Neil, Aoife Mahon-Smith, Linda Nelsen
Publikováno v:
Journal of Patient-Reported Outcomes, Vol 8, Iss 1, Pp 1-14 (2024)
Abstract Background Chronic obstructive pulmonary disease (COPD) and muscle weakness can cause impaired physical function, significantly impacting patients’ health-related quality of life (HRQoL). Loss of muscle strength is usually assessed through
Externí odkaz:
https://doaj.org/article/c9b41cbf936b4a06a8b85fdcffd752d7
Autor:
Cao, David, Kunkel, Rose, Nandi, Chandrakana, Willsey, Max, Tatlock, Zachary, Polikarpova, Nadia
Library learning compresses a given corpus of programs by extracting common structure from the corpus into reusable library functions. Prior work on library learning suffers from two limitations that prevent it from scaling to larger, more complex in
Externí odkaz:
http://arxiv.org/abs/2212.04596
Satisfiability Modulo Theory (SMT) solvers and equality saturation engines must generate proof certificates from e-graph-based congruence closure procedures to enable verification and conflict clause generation. Smaller proof certificates speed up th
Externí odkaz:
http://arxiv.org/abs/2209.03398
Autor:
Huang, Bo-Yuan, Lyubomirsky, Steven, Li, Yi, He, Mike, Smith, Gus Henry, Tambe, Thierry, Gaonkar, Akash, Canumalla, Vishal, Cheung, Andrew, Wei, Gu-Yeon, Gupta, Aarti, Tatlock, Zachary, Malik, Sharad
Ideally, accelerator development should be as easy as software development. Several recent design languages/tools are working toward this goal, but actually testing early designs on real applications end-to-end remains prohibitively difficult due to
Externí odkaz:
http://arxiv.org/abs/2203.00218