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
SPIN 2021
Amazon Web Services in Programming Committee within the SPIN-track
ISSTA 2020
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2020
Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
VMCAI 2020
PC Member in Program Committee within the VMCAI 2020-track
TACAS 2019
Committee Member in Program Committee within the TACAS 2019-track
DSW 2017
Invited Speaker of Challenges in Analysing Virtualisation Stacks within the DSW 2017-track
Share
x
Fri 3 Feb 07:02