Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Jon Howell"'
Autor:
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Publikováno v:
Proceedings of the ACM on Programming Languages, 7 (OOPSLA1)
The Rust programming language provides a powerful type system that checks linearity and borrowing, allowing code to safely manipulate memory without garbage collection and making Rust ideal for developing low-level, high-assurance systems. For such s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1de56667119ea7550a98d291dddc285d
https://doi.org/10.1145/3586037
https://doi.org/10.1145/3586037
Autor:
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
Publikováno v:
Proceedings of the ACM on Programming Languages, 6 (OOPSLA1)
Reasoning about memory aliasing and mutation in software verification is a hard problem. This is especially true for systems using SMT-based automated theorem provers. Memory reasoning in SMT verification typically requires a nontrivial amount of man
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d86c9083717263fc9bd5482f071e105
https://doi.org/10.1145/3527313
https://doi.org/10.1145/3527313
Publikováno v:
HotOS
Linux has become the de-facto operating system of our age, but its vulnerabilities are a constant threat to service availability, user privacy, and data integrity. While one might scrap Linux and start over, the cost of that would be prohibitive due
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ed013cbf4274253fd37ae90e518e0fa
https://doi.org/10.1145/3458336.3465277
https://doi.org/10.1145/3458336.3465277
Publikováno v:
ECS Meeting Abstracts. :2439-2439
The concentration of lead in fresh-water samples from the southern shoreline of Lake Michigan was analyzed and compared using two different cell-stands: Controlled Growth Mercury Electrode (CGME) and voltammetry cell stand with disk type gold electro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::adbcfc0802206f754446446788bc1565
https://doi.org/10.1149/ma2022-01512439mtgabs
https://doi.org/10.1149/ma2022-01512439mtgabs
Publikováno v:
ECS Meeting Abstracts. :2443-2443
The accurate determination of hexavalent chromium in environmental matrices such as natural and waste waters is crucial for the safety of both human and wildlife populations. The United States Environmental Protection Agency (U.S.EPA) has put forth S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8410a6ffdbd934cc09fb4d5252efb17a
https://doi.org/10.1149/ma2022-01512443mtgabs
https://doi.org/10.1149/ma2022-01512443mtgabs
Autor:
Robert Hugh Jones, Angela Claire Casbard, Margherita Carucci, Kate Ingarfield-Herbert, Rachel Butler, Sian Morgan, Magdalena Meissner, Catherine Jane Bale, Pavel Bezecny, Sarah Moon, Chris Twelves, Ramachandran Venkitaraman, Simon Waters, Elza De Bruin, Gaia Schiavon, Andrew Foxley, Sacha Jon Howell
Publikováno v:
Journal of Clinical Oncology. 40:1005-1005
1005 Background: Previous results from the Phase 2 FAKTION trial (NCT01992952) showed progression free survival (PFS) in patients with aromatase inhibitor (AI) resistant ER+/HER2− advanced breast cancer was significantly longer with fulvestrant plu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5fba49c3725184d69b38b0126b99475
https://doi.org/10.1200/jco.2022.40.16_suppl.1005
https://doi.org/10.1200/jco.2022.40.16_suppl.1005
Autor:
Jon Howell, Shan Lu
Publikováno v:
ACM Transactions on Storage. 17:1-1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b89fa4de3cebe989662a02694d6bb58d
https://doi.org/10.1145/3479434
https://doi.org/10.1145/3479434
Autor:
Michael L. Roberts, Manos Kapritsos, Bryan Parno, Chris Hawblitzel, Srinath Setty, Jon Howell, Jacob R. Lorch, Brian Zill
Publikováno v:
Communications of the ACM. 60:83-92
Distributed systems are notorious for harboring subtle bugs. Verification can, in principle, eliminate these bugs, but it has historically been difficult to apply at full-program scale, much less distributed system scale. We describe a methodology fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c01ad58af6e95ac2cc6b8bbaca8b92d0
https://doi.org/10.1145/3068608
https://doi.org/10.1145/3068608
Publikováno v:
Proceedings of the IEEE Symposium on Security and Privacy
IEEE Symposium on Security and Privacy
IEEE Symposium on Security and Privacy
To instill greater confidence in computations outsourced to the cloud, clients should be able to verify the correctness of the results returned. To this end, we introduce Pinocchio, a built system for efficiently verifying general computations while
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff2f3f22986287f3ee74bd52f5c48e1d
https://doi.org/10.1145/2856449
https://doi.org/10.1145/2856449
Autor:
Paul Ellenbogen, Franziska Roesner, Raymond Cheng, Arvind Krishnamurthy, Thomas Anderson, Jon Howell, William D. Scott
Publikováno v:
SoCC
Web applications are a frequent target of successful attacks. In most web frameworks, the damage is amplified by the fact that application code is responsible for security enforcement. In this paper, we design and evaluate Radiatus, a shared-nothing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b465b3c3e9caf8398fab480776db0d0
https://doi.org/10.1145/2987550.2987571
https://doi.org/10.1145/2987550.2987571