Dewey, Kyle
41  Ergebnisse:
Personensuche X
?
3

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
 
?
4

Evaluating osteogenic effects associated with the incorpora..:

Dewey, Marley J. ; Timmer, Kyle B. ; Blystone, Ashley..
Journal of Biomedical Materials Research Part A.  112 (2023)  3 - p. 336-347 , 2023
 
?
7

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
 
?
8

Towards a Systems Programming Language Designed for Hierarc..:

, In: 2021 IEEE 8th International Conference on Space Mission Challenges for Information Technology (SMC-IT),
 
?
9

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
 
?
11

76 The Effect of Splinting of Metacarpophalangeal Joints Af..:

Cunningham, Kyle B ; Casey, James C ; Dewey, William S.
Journal of Burn Care & Research.  41 (2020)  Supplement_1 - p. S49-S50 , 2020
 
?
12

T2 Safety of Early Post-operative Range of Motion in Burn P..:

Rizzo, Julie A ; Welsh, Ashley M ; Pruskowski, Kaitlin A...
Journal of Burn Care & Research.  41 (2020)  Supplement_1 - p. S1-S2 , 2020
 
?
 
?
14

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
 
?
15

MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test ..:

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),
 
1-15