Nikolaj Bjørner

Registered user since Thu 15 Nov 2018

Name:Nikolaj Bjørner
Affiliation:Microsoft Research

Contributions

POPL 2023 Author of Z3 Internals – A guide to principles, art and empirics of programming SMT solvers within the TutorialFest-track
SPLASH 2021 Author of Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints within the SIGPLAN Papers-track
PLDI 2021 Author of Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints within the PLDI-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
PADL 2020 Invited Speaker of Invited Talk: Logical Engines for Cloud Configurations within the PADL 2020-track
Author of Panel: Programming with logic for the masses within the PADL 2020-track
VMCAI 2020 Session Chair of Papers 5 (part of VMCAI 2020)
PC Member in Program Committee within the VMCAI 2020-track
Author of Solving LIA* Using Approximations within the VMCAI 2020-track
HCVS 2019 Session Chair of IV (part of HCVS)
Committee Member in Program Committee within the HCVS-track
ETAPS 2019 Author of Special Relations for Special Relationships within the Mooly Fest-track
CPP 2017 Committee Member in Program Committee within the CPP-track
POPL 2017 ERC member in External Review Committee within the POPL-track
PLDI 2016 Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track
POPL 2016 Author of Scaling Network Verification using Symmetry and Surgery within the Research Papers-track