E-LIB Suche - Ergebnisse für: Howell, Jon

1

Counterexample Driven Quantifier Instantiations with Applic..:

Tamir, Orr ; Taube, Marcelo ; McMillan, Kenneth L....
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1878-1904 , 2023

Link: https://doi.org/10.1145/..

2

Leaf: Modularity for Temporary Sharing in Separation Logic:

Hance, Travis ; Howell, Jon ; Padon, Oded.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 31-58 , 2023

Link: https://doi.org/10.1145/..

3

Beyond isolation: OS verification as a foundation for corre..:

, In: Proceedings of the 19th Workshop on Hot Topics in Operating Systems,

Brun, Matthias ; Achermann, Reto ; Chajed, Tej... - p. 158-165 , 2023

Link: https://dl.acm.org/doi/1..

4

Verus: Verifying Rust Programs using Linear Ghost Types:

Lattuada, Andrea ; Hance, Travis ; Cho, Chanhee...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 286-315 , 2023

Link: https://doi.org/10.1145/..

5

Linear types for large-scale systems verification:

Li, Jialin ; Lattuada, Andrea ; Zhou, Yi...
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA1 - p. 1-28 , 2022

Link: https://doi.org/10.1145/..

6

Diversity of Synthetic Approaches to Functionalized Perfluo..:

Bonneaud, Céline ; Howell, Jon ; Bongiovanni, Roberta..
Macromolecules. 54 (2021) 2 - p. 521-550 , 2021

Link: https://doi.org/10.1021/..

7

An incremental path towards a safer OS kernel:

, In: Proceedings of the Workshop on Hot Topics in Operating Systems,

Li, Jialin ; Miller, Samantha ; Zhuo, Danyang... - p. 183-190 , 2021

Link: https://dl.acm.org/doi/1..

8

Introduction to the Special Section on USENIX OSDI 2020:

Lu, Shan ; Howell, Jon
ACM Transactions on Storage. 17 (2021) 3 - p. 1-1 , 2021

Link: https://doi.org/10.1145/..

9

Introduction to the Special Section on USENIX OSDI 2020:

Lu, Shan ; Howell, Jon
ACM Transactions on Storage (TOS). 17 (2021) 3 - p. 1 ff. , 2021

Link: https://dl.acm.org/doi/1..

10

IronFleet : proving safety and liveness of practical dis..:

Hawblitzel, Chris ; Howell, Jon ; Kapritsos, Manos...
Communications of the ACM. 60 (2017) 7 - p. 83-92 , 2017

Link: https://dl.acm.org/doi/1..

11

IronFleet: proving safety and liveness of practical distrib..:

Hawblitzel, Chris ; Howell, Jon ; Kapritsos, Manos...
Communications of the ACM. 60 (2017) 7 - p. 83-92 , 2017

Link: https://doi.org/10.1145/..

12

Pinocchio: nearly practical verifiable computation:

Parno, Bryan ; Howell, Jon ; Gentry, Craig.
Communications of the ACM. 59 (2016) 2 - p. 103-112 , 2016

Link: https://doi.org/10.1145/..

13

Radiatus : a Shared-Nothing Server-Side Web Architecture:

, In: Proceedings of the Seventh ACM Symposium on Cloud Computing,

Cheng, Raymond ; Scott, William ; Ellenbogen, Paul... - p. 237-250 , 2016

Link: https://dl.acm.org/doi/1..

14

Pinocchio : nearly practical verifiable computation:

Parno, Bryan ; Howell, Jon ; Gentry, Craig.
Communications of the ACM. 59 (2016) 2 - p. 103-112 , 2016

Link: https://dl.acm.org/doi/1..

15

Slicer : auto-sharding for datacenter applications:

, In: Proceedings of the 12th USENIX conference on Operating Systems Design and Implementation,

Adya, Atul ; Myers, Daniel ; Howell, Jon... - p. 739-753 , 2016

Link: https://dl.acm.org/doi/1..