Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Jared Roesch"'
Autor:
Timothy Sherwood, Ben Hardekopf, Jared Roesch, Lawton Nichols, Joseph McMahan, Michael Christensen
Publikováno v:
Theoretical Computer Science. 851:39-61
Building a trustworthy life-critical embedded system requires deep reasoning about the potential effects that sequences of machine instructions can have on full system operation. Rather than trying to analyze complete binaries and the countless ways
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::139b789eca112dd1eb88a2d8706a1942
https://doi.org/10.1016/j.tcs.2020.09.039
https://doi.org/10.1016/j.tcs.2020.09.039
Publikováno v:
IEEE Micro. 40:103-111
This article presents LastLayer, an open-source tool that enables hardware and software continuous integration and simulation. Compared to traditional testing approaches based on the register transfer level abstraction, LastLayer provides a mechanism
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf6346b0e4c3e4cbaabcae84789bf59e
https://doi.org/10.1109/mm.2020.2997610
https://doi.org/10.1109/mm.2020.2997610
Autor:
Eddie Yan, Josh Fromm, Luis Vega, Arvind Krishnamurthy, Thierry Moreau, Carlos Guestrin, Jared Roesch, Lianmin Zheng, Luis Ceze, Tianqi Chen, Ziheng Jiang
Publikováno v:
IEEE Micro. 39:8-16
This article describes the Versatile Tensor Accelerator (VTA), a programmable DL architecture designed to be extensible in the face of evolving workloads. VTA achieves “flexible specialization” via a parameterizable architecture, two-level Instru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::692bee53c42fe3254ab8fa610d77bc51
https://doi.org/10.1109/mm.2019.2928962
https://doi.org/10.1109/mm.2019.2928962
Publikováno v:
Proceedings of the VLDB Endowment. 11:1482-1495
Deciding the equivalence of SQL queries is a fundamental problem in data management. As prior work has mainly focused on studying the theoretical limitations of the problem, very few implementations for checking such equivalences exist. In this paper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d4dc2211d4a4fea181d0c2f6a5d77e4
https://doi.org/10.14778/3236187.3236200
https://doi.org/10.14778/3236187.3236200
Autor:
Lawton Nichols, Ben Hardekopf, Sung-Yee Guo, Jared Roesch, Joseph McMahan, Timothy Sherwood, Michael Christensen
Publikováno v:
IEEE Micro. 38:107-115
We propose an architecture controlled by a thin computational layer designed to tightly correspond with the lambda calculus, drawing on principles of functional programming to bring the assembly much closer to myriad reasoning frameworks and specific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65964e3093060a0c5d793be5b818afff
https://doi.org/10.1109/mm.2018.032271067
https://doi.org/10.1109/mm.2018.032271067
Publikováno v:
Proceedings of the ACM on Programming Languages. 1:1-29
We describe the metaprogramming framework currently used in Lean, an interactive theorem prover based on dependent type theory. This framework extends Lean's object language with an API to some of Lean's internal structures and procedures, and provid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54305f6b4c05ee6c16616c3300e372b0
https://doi.org/10.1145/3110278
https://doi.org/10.1145/3110278
Publikováno v:
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E.
Program state visualizations (PSVs) help programmers understand hidden program state like objects, references, and closures. Unfortunately, existing PSV tools do not support custom language semantics, which educators often use to introduce programmin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c791d2d95c9ab782e238684502eabf8
https://doi.org/10.1145/3358711.3361625
https://doi.org/10.1145/3358711.3361625
Autor:
René Just, Maureen Daum, Emery D. Berger, Jared Roesch, Katharina Reinecke, Eunice Jun, Sarah Chasins
Publikováno v:
UIST
Though statistical analyses are centered on research questions and hypotheses, current statistical analysis tools are not. Users must first translate their hypotheses into specific statistical tests and then perform API calls with functions and param
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::870cf918cb9bad9e2384dddcc99ccc4f
Autor:
Marisa Kirisame, Steven Lyubomirsky, Josh Pollock, Zachary Tatlock, Jared Roesch, Tianqi Chen, Logan Weber
Publikováno v:
MAPL@PLDI
Machine learning powers diverse services in industry including search, translation, recommendation systems, and security. The scale and importance of these models require that they be efficient, expressive, and portable across an array of heterogeneo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b44de702314916e107eb156cc7ce5957
https://doi.org/10.1145/3211346.3211348
https://doi.org/10.1145/3211346.3211348
Publikováno v:
ASE
Language fuzzing is a bug-finding technique for testing compilers and interpreters, its effectiveness depends upon the ability to automatically generate valid programs in the language under test. Despite the proven success of language fuzzing, there
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f76605d89a332b44d6cad6917ef05225
https://doi.org/10.1109/ase.2015.65
https://doi.org/10.1109/ase.2015.65