Zobrazeno 1 - 10
of 860
pro vyhledávání: '"Pierce, Benjamin"'
Suppose we are given two OCaml modules implementing the same signature. How do we check that they are observationally equivalent -- that is, that they behave the same on all inputs? One established technique is to use a property-based testing (PBT) t
Externí odkaz:
http://arxiv.org/abs/2408.14561
Automatically assessing classroom discussion quality is becoming increasingly feasible with the help of new NLP advancements such as large language models (LLMs). In this work, we examine how the assessment performance of 2 LLMs interacts with 3 fact
Externí odkaz:
http://arxiv.org/abs/2406.08680
Autor:
Lee, Benjamin C., Brooks, David, van Benthem, Arthur, Gupta, Udit, Hills, Gage, Liu, Vincent, Pierce, Benjamin, Stewart, Christopher, Strubell, Emma, Wei, Gu-Yeon, Wierman, Adam, Yao, Yuan, Yu, Minlan
Computing is at a moment of profound opportunity. Emerging applications -- such as capable artificial intelligence, immersive virtual realities, and pervasive sensor systems -- drive unprecedented demand for computer. Despite recent advances toward n
Externí odkaz:
http://arxiv.org/abs/2405.13858
Autor:
Cutler, Joseph W., Watson, Christopher, Nkurumeh, Emeka, Hilliard, Phillip, Goldstein, Harrison, Stanford, Caleb, Pierce, Benjamin C.
We propose a rich foundational theory of typed data streams and stream transformers, motivated by two high-level goals: (1) The type of a stream should be able to express complex sequential patterns of events over time. And (2) it should describe the
Externí odkaz:
http://arxiv.org/abs/2307.09553
Rigorous and interactive class discussions that support students to engage in high-level thinking and reasoning are essential to learning and are a central component of most teaching interventions. However, formally assessing discussion quality 'at s
Externí odkaz:
http://arxiv.org/abs/2306.14918
"A generator is a parser of randomness." This perspective on generators for random data structures is well established as folklore in the programming languages community, but it has apparently never been formalized, nor have its consequences been dee
Externí odkaz:
http://arxiv.org/abs/2203.00652
Autor:
Gheorghiu, Nadina, Ebbing, Charles R., Murphy, John P., Pierce, Benjamin T., Haugan, Timothy J.
Publikováno v:
IOP Conf. Ser.: Mater. Sci. Eng. 1241 012054 (2022)
In our previously published work, we have reported colossal magnetoresistance, Andreev oscillations, ferromagnetism, and granular superconductivity in oxygen-implanted carbon fibers, graphite foils, and highly oriented pyrolytic graphite. In this fol
Externí odkaz:
http://arxiv.org/abs/2108.07417
Autor:
Anderson, Sean Noble, Blanco, Roberto, Lampropoulos, Leonidas, Pierce, Benjamin C., Tolmach, Andrew
Publikováno v:
Proceedings of the 2023 IEEE 36th Computer Security Foundations Symposium (CSF)
The term stack safety is used to describe a variety of compiler, run-time, and hardware mechanisms for protecting stack memory. Unlike "the heap," the ISA-level stack does not correspond to a single high-level language concept: different compilers us
Externí odkaz:
http://arxiv.org/abs/2105.00417