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 8 of 8 for “"programming patterns"”.
-
Detecting and Combining Programming Patterns
This thesis explores detecting patterns in the most general interface to computers: source and assembly program code. Because writing computer programs correctly is so difficult, there is a large assortment of software engineering techniques devoted to making this process easier and more efficient. …
-
Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns
… of bugs, reducing space overhead, and 3) apply programming idioms to static analyses, improving scalability and precision. We demonstrate the effectiveness of three approaches using data race bugs, memory safety bugs, and permission check bugs, respectively. First, we leverage the commodity …
-
A semantic deconstruction of session types
… extends the session types theory to some common programming patterns which are not typically addressed in the session types literature, and aims at setting the ground for further improvements.
-
Towards automatic migration of sequential kernels : Numba to PyKokkos
… architectures, familiarity with parallel programming, and getting across a steep learning curve. Recent work on PyKokkos has bridged this gap considerably by bringing HPC to Python. While PyKokkos provides remarkable performance, switching to it is non-trivial as PyKokkos follows a …
-
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. Programming quantum computers requires awareness of entanglement, the phenomenon in which measurement outcomes of qubits are …
-
Programming language design for service-oriented systems
… more commonplace and popular. Service-oriented programming provides a natural way to model and manage many types of systems and allows software development teams to achieve operational flexibility, scalability, and reliability in a cost-effective manner. In particular, it has been used quite …
-
Strip-Miner: Automatic Bug Detection in Large Software Code with Low False Positive Rate
… analysis and frequent itemset mining to find programming patterns where a deviation from these patterns is considered as a potential bug. In the second phase, we use the extracted dependencies to build dependency chains between program elements in a programming pattern and a lack of such a …
-
An effect system and language for deterministic-by-default parallel programming
… code, determinism by default simplifies parallel programming. This thesis makes several broad contributions to the state of the art in programming languages and effect systems. First, it presents a comprehensive research agenda for achieving determinism by default in parallel languages with …