Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Tautschnig
conf.researchr.org general profile
ECOOP and ISSTA 2021 profile
ETAPS 2019 profile
ICSE 2020 profile
ISSTA 2020 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2020 profile
Registered user since Fri 2 Jun 2017
Name:
Michael Tautschnig
Affiliation:
Amazon Web Services
Personal website:
http://www.tautschnig.net/
Contributions
2021
SPIN
Amazon Web Services in Programming Committee within the SPIN-track
2020
ISSTA
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE
Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
VMCAI
PC Member in Program Committee within the VMCAI 2020-track
2019
TACAS
Committee Member in Program Committee within the TACAS 2019-track
2017
DSW
Invited Speaker of Challenges in Analysing Virtualisation Stacks within the DSW 2017-track
Share
x
Mon 18 Nov 08:18