• Sign in
  • Sign up
conf.researchr.org / Michael Tautschnig
  • 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
xFri 3 Feb 07:02
using conf.researchr.org (v1.58.0)
Support page
Sign Up