Malte Viering

position Research Assistant
eMail viering [at] dsp.tu-....
office S2 | 02 A307
postal address TU Darmstadt - FB 20
FG Programmierung verteilter Systeme
Hochschulstraße 10
D-64289 Darmstadt
Germany

Research Interests

Programming Languages,   Type Systems,   Distributed Systems,   Compilers,   Statically Safe Distributed Programming

Open Theses and HiWi positions

I am always looking for motivated students and currently I am offering theses, projects and Hiwi positions on the following topics:

Programming Languages and Compiler

  • Compiler and languages extensions for session types in Scala
  • PL support for fault tolerant distributed systems
  • PL support for Intel’s Software Guard Extensions (SGX)
  • Fault tolerant Actor supervision and type based recovery

Type Systems

  • Types for SGX

Distributed Systems

  • Distributed algorithm meet ZooKeeper

Short Bio

I am a PhD student at the DSP-Group. I visited the Mobility Reading Group of Prof Yoshida at the Imperial College in London over the summer 2016. I received my master and bachelor degree in computer science from the Technische Universität Darmstadt. During my computer science degrees I studied two semesters at the Nanyang Technological University in Singapore and got the Deutschlandstipendium.

Publications

Please also take a look at my publication in dblp.

  • M Viering, T Chen, P Eugster, R Hu and L Ziarek; A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems; (accepted ESOP 2018)
  • M Blöcher, M Viering, S Schmid, P Eugster; The Grand CRU Challenge; Workshop: HotConNet 2017
  • TC Chen, M Viering, A Bejleri, L Ziarek, P Eugster; A type theory for robust failure handling in distributed systems; FORTE 2016
  • C Daniel, O Kroemer, M Viering, J Metz, J Peters; Active reward learning with a novel acquisition function; Auton. Robots 2015
  • C Daniel, M Viering, J Metz, O Kroemer, J Peters; Active Reward Learning; RSS 2014