Dipl.-Ing. Viktor PAVLU
Argentinierstraße 8 / 185
fax: (+431) 58801-18598
My current research aims at fast, cycle accurate simulation of explicitly
parallel architectures on AMD64 by JIT binary translation using the open source
LLVM compiler infrastructure.
I am user and contributor to this project. The work that lead to my master's thesis was focused on shape analyses and the extraction of alias information from shape analysis results.
The LLVM Compiler Infrastructure
Open source compiler infrastructure for static and dynamic compilation. Our compiler backend is developed for the LLVM infrastructure. In addition, the LLVM JIT is used in our simulator for binary translation.
Basic Operations on Linked Lists (C++)
Recursive and iterative implementations of the following operations on linked lists: insert, remove, delall, search, append, merge, reverse. The recursive procedures are based on the C procedures found in Rinetzky/Sagiv . The iterative procedures for 'insert' and 'reverse' are based on the procedures found in Sagiv/Reps/Wilhelm .