We address the problem of automatically generating invariants with quantified and boolean structure for proving the validity of given assertions or generating pre-conditions under which the assertions are valid. We present three novel algorithms, having different strengths, that combine template and We present three novel algorithms, having different strengths, that combine template and predicate abstraction based formalisms to discover required sophisticated program invariants using SMT solvers. Two of these algorithms use an iterative approach to compute fixed-points one computes a least fixed-point and the other computes a greatest fixed-pointwhile the third algorithm uses a constraint based approach to encode the fixed-point.
Hollinger The expansion of Purdue Computer Science has begun, as the Department has hired three new assistant professors who will begin teaching this fall — Mathias Payer, Dan Goldwasser and Tiark Rompf. He graduated from ETH with a Dr. The topic of his thesis is related to low-level binary translation and security.
After developing a fast binary translation system fastBT he started to analyze different exploit techniques and wondered how binary translation could be used to raise the guard of current systems with TRuE and libdetox as a prototype implementation of the security framework.
Dan Goldwasser was previously a postdoctoral researcher at the University of Maryland in College Park.
He completed his Ph. He is currently working on applying machine learning approaches to natural language processing problems and interested in connecting natural language with real world scenarios, using them to guide natural language understanding. Tiark Rompf was a member of the technical staff for Oracle Labs, prior to being hired at Purdue.
His research interests include applied and fundamental aspects of programming languages and compilers: His focus is on generative programming, which can turn highly generic programs like inter- preters into highly specialized and efficient implementations. In addition, he is interested in bringing theoretical insights into practical use, and also in applying programming language technology to other CS fields such as databases, machine learning, or hardware architecture.
Apr 7, 4:Jun 20, · Tiark Rompf is an Assistant Professor of Computer Science at Purdue University. His work focuses on runtime code generation, advanced compiler technology, and .
CS Moves Forward, Announces Three New Faculty. Writer(s): Jesica E. Hollinger. The expansion of Purdue Computer Science has begun, as the Department has hired three new assistant professors who will begin teaching this fall – Mathias Payer, Dan Goldwasser and Tiark Rompf.
List of computer science publications by James M. Decker. Guannan Wei, James M. Decker, Tiark Rompf: Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl).
Staged meta-programming, new LMS frontend and computation graphs. Tiark Rompf. Indeed, the modifications were far from mechanical, and leveraging the new nature of lifted types, some core parts of LMS have been rethought.
The typeclass pattern. Tiark’s thesis. Researchr. Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors. Tiark Rompf Computer Science. United States Institute for Theatre Technology’s Distinguished Achievement Award in Sound Design and Technology.
Rick Thomas Visual and Performing Arts. United States Institute for Theatre Technology’s Midwest Regional Founders Award.