85 results on '"F Donaldson"'
Search Results
2. Validating Database System Isolation Level Implementations with Version Certificate Recovery.
3. Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages.
4. GrayC: Greybox Fuzzing of Compilers and Analysers for C.
5. RustSmith: Random Differential Compiler Testing for Rust.
6. Model Checking Futexes.
7. MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL.
8. Grammar Mutation for Testing Input Parsers (Registered Report).
9. Metamorphic Fuzzing of C++ Libraries.
10. Combining static analysis error traces with dynamic symbolic execution (experience paper).
11. Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools.
12. Test-case reduction and deduplication almost for free with transformation-based compiler testing.
13. C4: the C compiler concurrency checker.
14. Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper).
15. Putting Randomized Compiler Testing into Production (Experience Report).
16. Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour.
17. Slow and Steady: Measuring and Tuning Multicore Interference.
18. Just fuzz it: solving floating-point constraints using coverage-guided fuzzing.
19. One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs.
20. Sparse record and replay with controlled scheduling.
21. GPU Schedulers: How Fair Is Fair Enough?.
22. Cooperative kernels: GPU multitasking for blocking algorithms.
23. Floating-point symbolic execution: a case study in n-version programming.
24. Forward Progress on GPU Concurrency (Invited Talk).
25. Dynamic race detection for C++11.
26. Metamorphic testing for (graphics) compilers.
27. Analysing the program analyser.
28. Portable inter-workgroup barrier synchronisation for GPUs.
29. The Hitchhiker's Guide to Cross-Platform OpenCL Application Development.
30. Automatic Test Case Reduction for OpenCL.
31. Symbooglix: A Symbolic Execution Engine for Boogie Programs.
32. Exposing errors related to weak memory in GPU applications.
33. Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).
34. Overhauling SC atomics in C11 and OpenCL.
35. Performance Evaluation of OpenCL Standard Support (and Beyond).
36. GPU Concurrency: Weak Behaviours and Programming Assumptions.
37. Remote-scope promotion: clarified, rectified, and verified.
38. PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming.
39. Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T).
40. Asynchronous programming, analysis and testing with state machines.
41. Many-core compiler fuzzing.
42. Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels.
43. Concurrency testing using schedule bounding: an empirical study.
44. Engineering a Static Verification Tool for GPU Kernels.
45. KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters.
46. Automatic Verification of Data Race Freedom in Device Drivers.
47. A sound and complete abstraction for reasoning about parallel prefix sums.
48. Metamorphic testing of Android graphics drivers.
49. Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels.
50. Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.