Nikolaj Bjørner -

Registered user since Thu 15 Nov 2018

Name:Nikolaj Bjørner

Affiliation:Microsoft Research

Contributions

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