Michael Tautschnig
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Jade Alglave and others (2014) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)
CBMC – C Bounded Model Checker
Daniel Kroening and others (2014) · Lecture notes in computer science · Springer Science+Business Media