• Publications
  • Influence
Concurrent programming - principles and practice
TLDR
Language Overviews, Programming Notation, Formal Semantics and Program Proofs, Synchronization Techniques, and Implementation: Synchronous Message Passing.
Foundations of Multithreaded, Parallel, and Distributed Programming
TLDR
The Concurrent Computing Landscape, The Essence of Concurrent Programming, and Applications and Programming Styles: A Synopsis of Axiomatic Semantics are presented.
The iPlant Collaborative: Cyberinfrastructure for Plant Biology
TLDR
These workshops teach researchers how to add bioinformatics tools and/or datasets into the iPlant cyberinfrastructure enabling plant scientists to perform complex analyses on large datasets without the need to master the command-line or high-performance computational services.
Binary Obfuscation Using Signals
TLDR
This paper addresses the problem of making it hard to reverse engineering binary programs by making it difficult to disassemble machine code statically by quantifying the degree of obfuscation, stealth of the code, and effects on execution time and code size.
PLTO: A Link-Time Optimizer for the Intel IA-32 Architecture
TLDR
This paper describes PLTO, a link-time instrumentation and optimization tool developed for the Intel IA-32 architecture, and how it addresses problems of this architecture and the resulting performance improvements it is able to achieve.
Concepts and Notations for Concurrent Programming
TLDR
This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs and three general classes of concurrent programming languages are identified and compared.
Disassembly of executable code revisited
TLDR
A hybrid approach is proposed that performs better than existing disassembly algorithms in the sense that it is able to detect situations where the disassembly may be incorrect and limit the extent of such disassembly errors.
An Axiomatic Approach to Information Flow in Programs
TLDR
It is shown that flow rules and correctness rules can be combined to form an even more powerful proof system.
Paradigms for process interaction in distributed programs
TLDR
Several paradigms—examples or models—for process interaction in distributed computations are described, illustrated by solving problems, including parallel sorting, file servers, computing the topology of a network, distributed termination detection, replicated databases, and parallel adaptive quadrature.
An overview of the SR language and implementation
TLDR
The current version of SR is described and an overview of its implementation is given, which shows that by basing SR on a small number of well-integrated concepts, the language has proved easy to learn and use, and it has a reasonably efficient implementation.
...
...