Jonas Jensen -

Registered user since Fri 11 May 2018

Name:Jonas Jensen

Bio:

I work for Semmle, leading the work on C/C++ analysis. I got my PhD at the IT University of Copenhagen, working on separation logic.

Affiliation:Semmle

Personal website: https://jbj.github.io/research/

Research interests:Static analysis, C++, formal software verification

Contributions

2023

PPDP

Author of 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler? within the PPDP 2023-track

2018

PLDI

Presenter of Declarative Program Analysis with QL within the PLDI Tutorials-track