E-LIB Suche - Ergebnisse für: Hardekopf, Ben

1

Proceedings of the 21st ACM/IEEE International Symposium on..:

Dubach, Christophe ; Bruening, Derek ; Hardekopf, Ben , 2023

2

Aliasing Limits on Translating C to Safe Rust:

Emre, Mehmet ; Boyland, Peter ; Parekh, Aesha...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 551-579 , 2023

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

3

PyLSE: a pulse-transfer level language for superconductor e..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Christensen, Michael ; Tzimpragos, Georgios ; Kringen, Harlan... - p. 671-686 , 2022

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

4

Translating C to safer Rust:

Emre, Mehmet ; Schroeder, Ryan ; Dewey, Kyle.
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-29 , 2021

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

5

Translating C to safer Rust:

Emre, Mehmet ; Schroeder, Ryan ; Dewey, Kyle.
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-29 , 2021

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

6

Wire sorts: a language abstraction for safe hardware compos..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Christensen, Michael ; Sherwood, Timothy ; Balkind, Jonathan. - p. 175-189 , 2021

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

7

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/..

8

A Practical, Principled Measure of Fuzzer Appeal: A Prelimi..:

, In: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS),

Gavrilov, Miroslav ; Dewey, Kyle ; Groce, Alex.. - p. 510-517 , 2020

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

9

Structural and Nominal Cross-Language Clone Detection:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Nichols, Lawton ; Emre, Mehmet ; Hardekopf, Ben - p. 247-263 , 2019

Link: https://doi.org/10.1007/..

10

Fixpoint reuse for incremental JavaScript analysis:

, In: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis,

Nichols, Lawton ; Emre, Mehmet ; Hardekopf, Ben - p. 2-7 , 2019

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

11

Bouncer : static program analysis in hardware:

, In: Proceedings of the 46th International Symposium on Computer Architecture,

McMahan, Joseph ; Christensen, Michael ; Dewey, Kyle.. - p. 711-722 , 2019

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

12

Syntax-based Improvements to Plagiarism Detectors and their..:

, In: Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education,

Nichols, Lawton ; Dewey, Kyle ; Emre, Mehmet.. - p. 555-561 , 2019

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

13

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/..

14

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/..

15

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/..