E-LIB Suche - Ergebnisse für: Roesch, Jared

1

Safe functional systems through integrity types and verifie..:

Christensen, Michael ; McMahan, Joseph ; Nichols, Lawton...
Theoretical Computer Science. 851 (2021) - p. 39-61 , 2021

Link: https://doi.org/10.1016/..

2

LastLayer: Toward Hardware and Software Continuous Integrat..:

Vega, Luis ; Roesch, Jared ; McMahan, Joseph.
IEEE Micro. 40 (2020) 4 - p. 103-111 , 2020

Link: https://doi.org/10.1109/..

3

Theia: automatically generating correct program state visua..:

, In: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E,

Pollock, Josh ; Roesch, Jared ; Woos, Doug. - p. 46-56 , 2019

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

4

Tea : A High-level Language and Runtime System for Autom..:

, In: Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology,

Jun, Eunice ; Daum, Maureen ; Roesch, Jared... - p. 591-603 , 2019

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

5

A Hardware–Software Blueprint for Flexible Deep Learning Sp..:

Moreau, Thierry ; Chen, Tianqi ; Vega, Luis...
IEEE Micro. 39 (2019) 5 - p. 8-16 , 2019

Link: https://doi.org/10.1109/..

6

Axiomatic foundations and algorithms for deciding semantic ..:

Chu, Shumo ; Murphy, Brendan ; Roesch, Jared..
Proceedings of the VLDB Endowment. 11 (2018) 11 - p. 1482-1495 , 2018

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

7

An Architecture for Analysis:

McMahan, Joseph ; Christensen, Michael ; Nichols, Lawton...
IEEE Micro. 38 (2018) 3 - p. 107-115 , 2018

Link: https://doi.org/10.1109/..

8

Relay: a new IR for machine learning frameworks:

, In: Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages,

Roesch, Jared ; Lyubomirsky, Steven ; Weber, Logan... - p. 58-68 , 2018

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

9

Axiomatic foundations and algorithms for deciding semantic ..:

Chu, Shumo ; Murphy, Brendan ; Roesch, Jared..
Proceedings of the VLDB Endowment. 11 (2018) 11 - p. 1482-1495 , 2018

Link: https://doi.org/10.14778..

10

A metaprogramming framework for formal verification:

Ebner, Gabriel ; Ullrich, Sebastian ; Roesch, Jared..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-29 , 2017

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

11

A metaprogramming framework for formal verification:

Ebner, Gabriel ; Ullrich, Sebastian ; Roesch, Jared..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-29 , 2017

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

12

An Architecture Supporting Formal and Compositional Binary ..:

McMahan, Joseph ; Christensen, Michael ; Nichols, Lawton...
ACM SIGOPS Operating Systems Review. 51 (2017) 2 - p. 177-191 , 2017

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

13

An Architecture Supporting Formal and Compositional Binary ..:

McMahan, Joseph ; Christensen, Michael ; Nichols, Lawton...
ACM SIGARCH Computer Architecture News. 45 (2017) 1 - p. 177-191 , 2017

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

14

An Architecture Supporting Formal and Compositional Binary ..:

McMahan, Joseph ; Christensen, Michael ; Nichols, Lawton...
ACM SIGPLAN Notices. 52 (2017) 4 - p. 177-191 , 2017

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

15

An Architecture Supporting Formal and Compositional Binary ..:

, In: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems,

McMahan, Joseph ; Christensen, Michael ; Nichols, Lawton... - p. 177-191 , 2017

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