• Sign in
  • Sign up
conf.researchr.org / Johannes Kinder
  • APLAS 2019 profile
  • PLDI 2019 profile
  • POPL 2018 profile
  • POPL 2022 profile
Johannes Kinder

Registered user since Wed 5 Dec 2018

Name:Johannes Kinder
Country:Germany
Affiliation:LMU Munich
Personal website: https://plai.ifi.lmu.de
X (Twitter): https://x.com/johannes_kinder
GitHub: https://github.com/jkinder
Research interests:Program Analysis, Software Security, Machine Learning

Contributions

2022

PriSC

  • Committee Member in Program Committee within the PriSC 2022-track

2019

APLAS

  • Ordinary PC member in Program Committee within the Research Papers-track

PLDI

  • Author of Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript within the PLDI Research Papers-track

2018

PEPM

  • Author of Checking Cryptographic API Usage with Composable Annotations (Short Paper) within the PEPM 2018-track
Share
xThu 8 May 19:55
using conf.researchr.org (v1.69.0)
Support page
Sign Up