Biography

Welcome, my name is Philipp Paulweber. I am a post-doc researcher at the Vienna University of Technology (TU Wien Informatics). Currently, I am part of the compilers and languages (CompLang) research unit at the institute of information systems engineering.

Interests

  • Specification Languages (ASMs)
  • Compiler Construction
  • Program Optimizations
  • Software Architecture
  • Computer Architecture
  • Hardware Circuit Design

Education

  • PhD in Computer Science (Dr. techn.)

    2022 University of Vienna (UniVie)

  • MSc in Computer Engineering (Dipl.-Ing.)

    2014 Vienna University of Technology (TU Wien)

  • BSc in Computer Engineering

    2011 Vienna University of Technology (TU Wien)

  • College for Automation Engineering

    2007 Higher Technical School (HTL) Jenbach

Latest Tweets

Recent Publications

Philipp Paulweber (2022). The Evolving of CASM: Modern Compiler Engineering and Empirical Guided Language Design for a Rigorous State-Based Method. PhD Thesis.

Digital Source Abstract View Cite

Philipp Paulweber, Georg Simhandl, Uwe Zdun (2021). Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment. TOSEM.

Digital Printed Source Abstract View Cite

Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun (2021). About the Concolic Execution and Symbolic ASM Function Promotion in CASM. ABZ’21.

Digital Printed Source Abstract View Cite

See all publications