Nikolaj Bjørner
where else to find them
bluesky:nikolajbjorner.bsky.social
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2022–2026
all 6 in the filters
on a stage with
all 27 in the filters
who talks about the same things
- Ekaterina Zhuchko3 talks
- Ian Erik Varatalu2 talks
- Margus Veanes6 talks
- Maryam Mehri Dehnavi5 talks
- Max Willsey12 talks
- Lars Birkedal35 talks
| title | conference | date |
|---|---|---|
| EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination | PLDI 2026 | 2026-06-15 |
Introduces Extended Regular Expressions with Quantifiers (EREQ) that translate wMSO to a regex-like formalism via a linear-time translation and eliminate… | ||
| SpEQ: Translation of Sparse Codes using Equivalences | EGRAPHS 2024 | 2024-06-24 |
SpEQ is a tool (PLDI 2024) that detects when code matches small reference C implementations by translating LLVM IR into e-graphs, adding memory-version returns… | ||
| SpEQ: Translation of Sparse Codes using Equivalences | EGRAPHS 2024 | 2024-06-24 |
SpEQ detects sparse-data semantics via equivalence checks that prove a CSR-style loop is equivalent to a dense reference, then uses e-graphs (equality… | ||
| SpEQ: Translation of Sparse Codes using Equivalences | PLDI 2024 | 2024-06-24 |
SpEQ detects implicit sparse storage, symbolically reconstructs a dense semantics, and uses an equivalence check plus lightweight runtime guards to guarantee… | ||
| CHISEL: An optical slice of the wide-area network | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
CHISEL dynamically carves optical slices across a cloud WAN, implemented as a MILP-based allocator that maps slice requests to contiguous spectrum and… | ||
| OneWAN is better than two: Unifying a split WAN architecture | NSDI 2023 | 2023-04-17 |
Presents a deployed architecture that merges SWAN and CORE into ONEWAN to carry Internet and inter‑datacenter traffic under a single software‑defined… | ||
| Satisfiability Modulo Custom Theories in Z3 (Tool Paper) | VMCAI 2023 | 2023-01-15 |
Z3 adds user-propagators: an API to register ground terms and attach callbacks (fixed, equality, instantiate, final) written in C++/Python that can emit… | ||
| Differential Cost Analysis with Simultaneous Potentials and Anti-potentials | PLDI 2022 | 2022-06-13 |
A prototype automatically synthesizes simultaneous potentials and anti-potentials as polynomial templates, translates the universal polynomial constraints via… | ||
| Decentralized cloud wide-area network traffic engineering with BLASTSHIELD | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
BLASTSHIELD decentralizes Microsoft’s WAN by slicing the network and running independent slice controllers that program only local path segments (via MPLS) and… | ||
| nothing matches | ||