• Sign in
  • Sign up
conf.researchr.org / Nikolaj Bjørner
  • ETAPS 2019 profile
  • PLDI 2016 profile
  • PLDI 2021 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • SPLASH 2021 profile
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

Share
xTue 28 Jun 08:50
using conf.researchr.org (v1.56.1)
Support page
Sign Up