Julian Kranz

  • Citations Per Year
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)
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)
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)
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)
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)
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)
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)
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)
We present a consistent linear response formulation of the density functional based tight-binding method for long-range corrected exchange-correlation functionals (LC-DFTB). Besides a detailed account of derivation and implementation of the method, we also test the new scheme on a variety of systems considered to be problematic for conventional(More)