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 32 for “"Program Transformations"”.
-
Program Transformations for Information Personalization
… partial information can be harnessed in it by program transformations to direct the flow of the interaction, can provide insight into, reveal opportunities for, and define a model for personalized interaction. To evaluate this thesis, a formal modeling methodology is developed for personalizing …
-
Enabling modern concurrency through program transformations
… developers really need. We claim that concurrent programming deserves first-class citizenship in empirical research and tool support. In this dissertation, we study the use, misuse, and underuse of concurrency constructs for C#. Based on our large-scale empirical studies, we found two main …
-
Specifying and verifying program transformations with PTRANS
… tools for compiler design and verification. Program correctness for compiled languages depends fundamentally on compiler correctness, and compiler optimizations are usually not formally verified due to the effort involved. This is particularly true for optimizations on parallel programs, …
-
Program Transformations for Vulnerability Detection in Binary Executable Files
… and detection have been developed for high-level programming languages but little research has been carried out to detect vulnerability in binary executable codes. This remains a major challenge that must be addressed in the computer science community. This is important given that the first point …
-
Supporting Software Development Tools with An Awareness of Transparent Program Transformations
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engendered a widespread practice of changing the bytecode directly, without modifying the maintained version of the source …
-
Effectiveness of program transformations and compilers for directive-based GPU programming models
… contemporary scientific applications. However, programming GPUs using languages like C for CUDA or OpenCL requires relatively high investment of time and the resulting programs are often fine-tuned to perform well only on a particular device. The alternative is to program in a conventional and …
-
Security on demand
… systematic, general purpose security-oriented program transformations. We describe a catalog of security-oriented program transformations; so far the catalog contains thirty seven transformations. These security-oriented program transformations improve the traditional approaches of security …
-
Flexible Computation of the Well-Founded Semantics of Normal Logic Programs
… this dissertation a framework based on a set of program transformations is presented that generalizes all major computation approaches for the well-founded semantics using a common data structure and provides a common language to describe their evaluation strategy. This rewriting system gives the …
-
Towards a change-oriented programming environment
… development. Nevertheless, the traditional programming environments and toolkits treat changes as a by-product of software evolution. First, most of the tools do not offer direct access to the history of code changes and do not allow to browse or manipulate these changes. Second, different …
-
Toward automatic programming
Programming, the act of creating and changing software source code, should be a collaborative process between humans and computers. This dissertation shows a general approach and two techniques that bring us closer to this goal. The general approach is inspired by human programmers: they learn how …
-
Accuracy-aware optimization of approximate programs
… This dissertation presents a foundation of program optimization systems that expose and profitably exploit tradeoffs between the accuracy of the results that the program produces and the time and energy required to produce those results. These systems apply accuracy-aware program …
-
A Systematic Approach to Delivering Instruction-Level Parallelism in EPIC Systems
… achieving the next level of ILP, more sweeping program transformations are called for, but the compiler is today hard pressed to deliver stable transformations with current techniques. High-performance compilation of nonnumeric codes for EPIC chafes against programming style and control flow …
-
Reasoning about effectful programs and evaluation order
Program transformations have various applications, such as in compiler optimizations. These transformations are often effect-dependent: replacing one program with another relies on some restriction on the side-effects of subprograms. For example, we cannot eliminate a dead computation that raises …
-
An API for dynamic partial evaluation under DynamoRIO
… static optimization systems in the pursuit of program transformations. However, dynamic optimization systems are limited by the fact that any time spent in analysis or transformation is included in the running time of the program; thus any transformations must not only improve the performance …
-
Verified Scheduling Via High-Level Scheduling Rewrites
… it is also able to schedule a family of useful program transformations beyond what is reachable in Halide.
-
Concordia parallel C : design and implementation
… C Compiler (CPCC). The Concordia Parallel Programming Environment (CPPE) is a novel parallel programing environment supporting virtual-architecture parallel programming paradigm, program and library development, simulated execution, syntax/semantics/performance debugging, and simulation of …
-
Iterative Schedule Optimization for Parallelization in the Polyhedron Model
… that have the ability to automatically optimize programs for a specific target hardware can be highly useful in this context. Iterative (or search-based) compilation requires little or no prior knowledge and can adapt more easily to concrete programs and target hardware than static cost models …
-
Hybrid eager and lazy evaluation for efficient compilation of Haskell
… and its realization in Eager Haskell. From the programmer's perspective, Eager Haskell is simply another implementation of Haskell with the same clean equational semantics. Iteration can be expressed using tail recursion, without the need to resort to program annotations. Under hybrid …
Page 1 of 2