Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dewey, Kyle
41  Ergebnisse:
Personensuche X
?
1

Modeling the Effect of Vegetation Coverage on Unmanned Aeri..:

Baur, Jasper ; Dewey, Kyle ; Steinberg, Gabriel.
Remote Sensing.  16 (2024)  12 - p. 2046 , 2024
Link: https://doi.org/10.3390/..
 
?
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

Algorithms and data structures in Python: an overview:

Dewey, Kyle - [First edition] . , 2022
Link: https://learning.oreilly..
 
?
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

Towards a Systems Programming Language Designed for Hierarc..:

, In: 2021 IEEE 8th International Conference on Space Mission Challenges for Information Technology (SMC-IT),
McClelland, Brian ; Tellier, Daniel ; Millman, Meyer... - p. 23-30 , 2021
Link: https://doi.org/10.1109/..
 
?
7

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

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),
Dewey, Kyle ; Hairapetian, Shant ; Gavrilov, Miroslav - p. 51-62 , 2020
Link: https://doi.org/10.1109/..
 
?
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

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..
 
?
10

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

Evaluating Test Suite Effectiveness and Assessing Student C..:

, In: Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education,
Dewey, Kyle ; Conrad, Phillip ; Craig, Michelle. - p. 317-322 , 2017
Link: https://dl.acm.org/doi/1..
 
?
12

Automated data structure generation : refuting common wi..:

, In: Proceedings of the 37th International Conference on Software Engineering - Volume 1,
Dewey, Kyle ; Nichols, Lawton ; Hardekopf, Ben - p. 32-43 , 2015
Link: https://dl.acm.org/doi/1..
 
?
13

A parallel abstract interpreter for JavaScript:

, In: Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization,
Dewey, Kyle ; Kashyap, Vineeth ; Hardekopf, Ben - p. 34-45 , 2015
Link: https://dl.acm.org/doi/1..
 
?
14

Fuzzing the rust typechecker using CLP:

, In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering,
Dewey, Kyle ; Roesch, Jared ; Hardekopf, Ben - p. 482-493 , 2015
Link: https://dl.acm.org/doi/1..
 
?
15

Language fuzzing using constraint logic programming:

, In: Proceedings of the 29th ACM/IEEE international conference on Automated software engineering,
Dewey, Kyle ; Roesch, Jared ; Hardekopf, Ben - p. 725-730 , 2014
Link: https://dl.acm.org/doi/1..
 
1-15