Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"Undefined behavior"”.
-
A differential approach to undefined behavior detection
This thesis studies undefined behavior arising in systems programming languages such as C/C++. Undefined behavior bugs lead to unpredictable and subtle systems behavior, and their effects can be further amplified by compiler optimizations. Undefined behavior bugs are present in many systems, …
-
A formal semantics of C with applications
… check for memory safety, races, deadlocks, and undefined behavior are then generated from the semantics. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99.2% of 776 test programs. The semantics is also evaluated against …
-
Funneled Into Prison: Race And Behavior Modification At A Mississippi Alternative School
… exclusionary disciplinary setting focused on behavior modification. Yet how administrators and faculty supervise students’ behavioral achievement in these settings is seldom examined. This research investigates how faculty and administrators define and implement a behavior modification program …
-
An Undergraduate Computer Systems Curriculum Using Rust
… it exposes students to memory safety errors and undefined behavior that can hinder learning. Rust offers comparable performance and control while enforcing memory and thread safety, but the steep learning curve may preclude its use as an instructional language for operating systems education. We …
-
Techniques for Foundational End-to-End Verification of Systems Stacks
… semantics, offer a smooth way of combining undefined behavior and nondeterminism, and enable forward-simulation compiler correctness proofs with nondeterministic languages, whereas previous approaches need to fall back to the much less convenient backward simulations if support for …
-
Low-cost error detection through high-level synthesis
… signature stream that captures the internal behavior of the design at a fine temporal and spatial granularity for comparison with a reference set of signatures generated by high-level simulation to detect bugs. Using H-QED, we demonstrate an improvement in error detection latency (time …
-
Robust and reliable hardware accelerator design through high-level synthesis
… signature stream that captures the internal behavior of the design at a fine temporal and spatial granularity for comparison with a reference set of signatures generated by high-level simulation to detect bugs. Using hybrid hashing, we demonstrate an improvement in error detection latency …