Learn More
The analysis of executable code requires the reconstruction of instructions from a sequence of bytes (or words) and a specification of their semantics. Most front-ends addressing this problem only support a single architecture, are bound to a specific programming language, or are hard to maintain. In this work, we present a domain specific language (DSL)(More)
Any inspection, analysis or reverse engineering of binaries requires a translation of the program text into an intermediate representation (IR) that conveys the semantics of the program. To this end, we propose a domain specific language called GDSL (Generic Decoder Specification Language) that facilitates the translation from byte streams to instructions(More)
Long-range power-law correlated percolation is investigated using Monte Carlo simulations. We obtain several static and dynamic critical exponents as functions of the Hurst exponent H, which characterizes the degree of spatial correlation among the occupation of sites. In particular, we study the fractal dimension of the largest cluster and the scaling(More)
The static analysis of executable programs has gained importance due to the need to audit larger and larger programs for security vulnerabilities or safety violations. The basis for analyzing executables is the decoding of byte sequences into assembler instructions and giving a semantics to them. We use our domain specific language GDSL that facilitates(More)
Different trends in the temperature dependence of the mobility can be observed in organic semiconductors, which constitutes a serious challenge for theoretical approaches. In this work, we apply an atomistic bottom-up simulation for the calculation of temperature-dependent mobilities of a broad selection of materials, ranging from single crystal to(More)
A linear scaling QM/MM model for studying charge transport in high-mobility molecular semiconductors is presented and applied to an anthracene single crystal and a hexabenzocoronene derivative in its liquid crystalline phase. The model includes both intra- and intermolecular electron-phonon couplings, long-range interactions with the environment, and(More)
We present a scheme for nonadiabatic direct dynamics simulation of Frenkel exciton diffusion in bulk molecular systems. The fluctuations of exciton couplings caused by the molecular motion can crucially influence exciton transport in such materials. This effect can be conveniently taken into account by computing the exciton couplings along molecular(More)
We present a translation scheme from a pure functional domain-specific language (DSL) to C. The over-arching idea of this scheme is to preserve the structure of the input program as much as possible. This includes, among other things, to refrain from inlining user-written functions and to retain variable names as much as possible. We apply this translation(More)
Two-dimensional space-filling bearings are dense packings of disks that can rotate without slip. We consider the entire first family of bearings for loops of four disks and propose a hierarchical construction of their contact network. We provide analytic expressions for the clustering coefficient and degree distribution, revealing bipartite scale-free(More)