I joined the group of Dr Daniel Kroening as a postdoctoral research assistant in January 2011. I obtained my PhD from Vienna University of Technology in early 2011 under the supervision of Helmut Veith. I did my undergraduate studies at Technische Unversität München.
Numeric Bounds Analysis with Conflict−Driven Learning
Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig
In TACAS. 2012.
Soundness of Data Flow Analyses for Weak Memory Models
Jade Alglave‚ Daniel Kroening‚ John Lugton‚ Vincent Nimal and Michael Tautschnig
In Proceedings of Programming Languages and Systems − 9th Asian Symposium (APLAS 2011). Vol. 7078 of Lecture Notes in Computer Science. Pages 272−288. Springer. December, 2011.
Making Software Verification Tools Really Work
Jade Alglave‚ Alastair Donaldson‚ Daniel Kroening and Michael Tautschnig
In Proceedings of 9th Automated Technology for Verification and Analysis (ATVA 2011). Vol. 6996 of Lecture Notes in Computer Science. Pages 28−42. Springer. October, 2011.