Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nikolaj Bjørner
conf.researchr.org general profile
ETAPS 2019 profile
NASA Formal Methods 2023 profile
PLDI 2016 profile
PLDI 2021 profile
PLDI 2024 profile
POPL 2016 profile
POPL 2017 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
SPLASH 2021 profile
Registered user since Thu 15 Nov 2018
Name:
Nikolaj Bjørner
Affiliation:
Microsoft Research
Contributions
2024
PLDI
Author of SpEQ: Translation of Sparse Codes using Equivalences within the PLDI Research Papers-track
EGRAPHS
Author of SpEQ: Translation of Sparse Codes using Equivalences within the EGRAPHS 2024-track
2023
NFM
Committee Member in Program Committee within the NFM 2023-track
POPL
Author of Z3 Internals – A guide to principles, art and empirics of programming SMT solvers within the TutorialFest-track
VMCAI
Author of Satisfiability Modulo Custom Theories in Z3 (Tool Paper) within the VMCAI 2023-track
2021
SPLASH
Author of Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints within the SIGPLAN Papers-track
PLDI
Author of Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints within the PLDI-track
VMCAI
Committee Member in Program Committee within the VMCAI-track
2020
Symposium on Practical Aspects of Declarative Languages
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
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
2019
ETAPS
Author of Special Relations for Special Relationships within the Mooly Fest-track
HCVS
Session Chair of IV (part of HCVS)
Committee Member in Program Committee within the HCVS-track
2017
POPL
ERC member in External Review Committee within the POPL-track
CPP
Committee Member in Program Committee within the CPP-track
2016
PLDI
Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track
POPL
Author of Scaling Network Verification using Symmetry and Surgery within the Research Papers-track
Share
x
Thu 21 Nov 12:06
