Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nikolaj Bjørner
conf.researchr.org general profile
ETAPS 2019 profile
PLDI 2016 profile
PLDI 2021 profile
POPL 2016 profile
POPL 2017 profile
POPL 2020 profile
POPL 2021 profile
SPLASH 2021 profile
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
Share
x
Tue 28 Jun 08:50