Zobrazeno 1 - 10
of 510
pro vyhledávání: '"Gordon, Colin"'
Autor:
Gordon, Colin S., Matskevich, Sergey
Publikováno v:
Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! '23)
Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However, this only validates truth of a formal claim, which may have been mis
Externí odkaz:
http://arxiv.org/abs/2310.03885
Autor:
Gordon, Colin S., Yun, Chaewon
We describe a new concrete approach to giving predictable error locations for sequential (flow-sensitive) effect systems. Prior implementations of sequential effect systems rely on either computing a bottom-up effect and comparing it to a declaration
Externí odkaz:
http://arxiv.org/abs/2307.15777
Autor:
Kuru, Ismail, Gordon, Colin S.
Operating system kernels employ virtual memory subsystems, which use a CPU's memory management units (MMUs) to virtualize the addresses of memory regions Operating systems manipulate these virtualized memory mappings to isolate untrusted processes, r
Externí odkaz:
http://arxiv.org/abs/2307.14471
Autor:
Shabani, Sara, Darlington, Thomas P., Gordon, Colin, Wu, Wenjing, Yanev, Emanuil, Hone, James, Zhu, Xiaoyang, Dreyer, Cyrus E., Schuck, P. James, Pasupathy, Abhay N.
The optical properties of transition metal dichalcogenides have previously been modified at the nanoscale by using mechanical and electrical nanostructuring. However, a clear experimental picture relating the local electronic structure with emission
Externí odkaz:
http://arxiv.org/abs/2208.14518
Autor:
Matskevich, Sergey, Gordon, Colin S.
Comments are an important part of the source code and are a primary source of documentation. This has driven interest in using large bodies of comments to train or evaluate tools that consume or produce them -- such as generating oracles or even code
Externí odkaz:
http://arxiv.org/abs/2208.11235
Autor:
Gordon, Colin S., Matskevich, Sergey
Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However, this only validates truth of a formal claim, which may have been mis
Externí odkaz:
http://arxiv.org/abs/2205.07811