Essays about: "abstract program models"
Showing result 1 - 5 of 17 essays containing the words abstract program models.
-
1. An Empirical Study on Using Codex for Automated Program Repair
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : This thesis explores the potential of Codex, a pre-trained Large Language Model (LLM), for Automated Program Repair (APR) by assessing its performance on the Defects4J benchmark that includes real-world Java bugs. The study aims to provide a comprehensive understanding of Codex’s capabilities and limitations in generating syntactically and semantically equivalent patches for defects, as well as evaluating its ability to handle defects with different levels of importance and complexity. READ MORE
-
2. Validating Side Channel models in RISC-V using Model-Based Testing
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Microarchitecture’s optimizations have increased the performance but lowered the security. Speculative execution is one of the optimizations that was thought to be secure, but it is exploitable to leak information. READ MORE
-
3. Extracting scalable program models for TLA model checking
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number of systems and program verification tools for dealing with temporal logic have been developed. READ MORE
-
4. Comparison of supervised machine learning models forpredicting TV-ratings
University essay from KTH/Hälsoinformatik och logistikAbstract : Abstract Manual prediction of TV-ratings to use for program and advertisement placement can be costly if they are wrong, as well as time-consuming. This thesis evaluates different supervised machine learning models to see if the process of predicting TV-ratings can be automated with better accuracy than the manual process. READ MORE
-
5. Synthesis of GPU Programs from High-Level Models
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Modern graphics processing units (GPUs) provide high-performance general purpose computation abilities. They have massive parallel architectures that are suitable for executing parallel algorithms and operations. They are also throughput-oriented devices that are optimized to achieve high throughput for stream processing. READ MORE