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 20 of 26 for “"program behavior"”.
-
Synthesizing framework uses from program behavior data
… a new synthesis tool that aims to help programmers use software frameworks by synthesizing source code needed to interact with the framework. Software engineers of today are constantly faced with the task of using or extending large software code bases. This proves to be a challenging …
-
Anomaly Detection Through System and Program Behavior Modeling
… Code-reuse attacks such as return-oriented programming allow intruders to execute mal-intended instruction sequences on a victim machine without injecting external code. Successful exploitation leads to hijacked applications or the download of malicious software (drive-by download attack), …
-
Dynamic datarace detection for object-oriented programs
Multithreaded shared-memory programs are susceptible to dataraces, bugs that may exhibit themselves only in rare circumstances and can have detrimental effects on program behavior. Dataraces are often difficult to debug because they are difficult to reproduce and can affect program behavior in …
-
Specification-enhanced execution
… goal is to provide a framework that allows the programmer to easily shift responsibility for certain aspects of the program execution to the runtime system. We present specification- enhanced execution, a programming and execution model that allows the programmer to describe certain aspects of …
-
Chitra: a visualization system to analyze the dynamics of parallel programs
… in areas such as performance evaluation and program animation. In this thesis, we explore the possibility of using visualization to analyze parallel program dynamics. We have developed a visualization system, Chitra for this purpose. Chitra visualizes program execution sequences collected by …
-
Techniques to improve dynamic cache management with static data classification
… or reuse hints, use static information about how programs access data to manage the memory hierarchy. Static techniques are effective on regular programs, but because they set fixed policies, they are vulnerable to changes in program behavior or available cache space. Instead, most systems rely on …
-
Transparent spilling and refilling of partitioned overlapping register window register organizations with a remote instruction pointer
… also show significant performance degradation if program behavior causes the register window store to overflow. Program behavior makes window overflow of simple overlapping register window organizations unavoidable. Attempts to minimize the impact of overflow by increasing the size of the register …
-
Conformance Testing and Error Explanation for Software Models
… explanation heuristics as a function of the program model. We establish the hardness of error explanation according to one heuristic via an interesting reduction from the well-known hard problem of determining the smallest deterministic finite automaton that is consistent with a given sample …
-
GoTxn: Verifying a Crash-Safe, Concurrent Transaction System
… through the use of machine-checked proofs about program behavior. However, reasoning about concurrency and crashes can be tricky, especially when scaling up to larger systems that must also have good performance. This thesis discusses the verification of GoTxn, the concurrent, crash-safe …
-
Program Anomaly Detection Against Data-Oriented Attacks
… attacks through external monitoring using program anomaly detection techniques. I start with a systematization of current knowledge about exploitation techniques of data-oriented attacks and the applicable defense mechanisms. Then, I address three research problems in program anomaly …
-
Eliminating Dynamic Computation Redundancy
… called Reusable Computation Regions (RCRs), of a program in which reuse is likely to occur. The Compiler-directed Computation Reuse (CCR) approach integrates compiler and architecture techniques to exploit execution behavior of these regions. In this approach, the Instruction Set Architecture …
-
Accurate Low-Cost Methods for Performance Evaluation of Cache Memory Systems
… large trace measurements and for predicting true program behavior. In our method, sampling techniques are applied while collecting the address trace from a workload. This drastically reduces the space and time needed to collect the trace. New simulation techniques are developed to use the sampled …
-
Modeling Recursion with Iteration: Enabling LLVM Loop Optimizations for Recursive Data Structure Traversal
… the original recursive semantics, preserving program behavior while incorporating performance gains. Evaluation across custom microbenchmarks shows that while general recursive traversals suffer a modest overhead, workloads designed to benefit specific loop-focused optimizations achieve up to …
-
Design and Evaluation of a Web-Based Programming Tool to Improve the Introductory Computer Science Experience
… major. There are many reasons for this, but the programming software itself may play a significant role. To address this issue, we have developed Pythy, a web-based programming environment that allows students to write, execute, and test programming assignments from within the familiar interface …
-
Preventing information leaks with policy-agnostic programming
… information leaks, I propose a policy-agnostic programming paradigm that enforces security and privacy policies by construction. I present the implementation of this paradigm in a new language, Jeeves, that automatically enforces information flow policies describing how sensitive values may flow …
-
AbsInt-AI: Language Models for Abstract Interpretation
Static program analysis is a foundational technique in software engineering for reasoning about program behavior. Traditional static analysis algorithms model programs as logical systems with well-defined semantics, enabling strong guarantees such as never missing a bug. However, traditional …
-
Examining the Relationships Between Behavior Policies and Procedures, Teachers' Perceptions of Efficacy and Job Satisfaction, and Children's Social Skills and Challenging Behaviors in Head Start Settings
… experiences without the emotional, social, behavioral, and academic skills necessary for school success; educators, researchers, and policy makers have begun to recognize the importance and interconnectedness of these skills. There is a clear need for comprehensive approaches to support …
-
Design for Security: Measurement, Analysis and Mitigation Techniques
… control to, which is usually a pathological program behavior due to memory corruption attacks. Based on the notion of pointer taintedness, we developed a theorem proving technique to identify potential security vulnerabilities via static source code analysis, and implemented a processor …
-
A Sparse Program Dependence Graph For Object Oriented Programming Languages
The Program Dependence Graph (PDG) has achieved widespread acceptance as a useful tool for software engineering, program analysis, and automated compiler optimizations. This thesis presents the Sparse Object Oriented Program Dependence Graph (SOOPDG), a formalism that contains elements of …
Page 1 of 2