Ina Schaefer
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| QbC: Quantum Correctness by Construction | OOPSLA 2025 | 2025-10-16 |
Presents a method that builds quantum programs from pre/postconditions by applying sound and complete refinement rules over a quantum while language, using… | ||
| X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction(…) | Onward! 2025 | 2025-10-12 |
Proposes generalizing X-by-Construction to non-functional properties, defines six concrete requirements for a property to fit into by-construction workflows… | ||
| QbC: Quantum Correctness by Construction | PLanQC 2024 | 2024-01-20 |
Constructs quantum programs from pre/postconditions using typed holes and a set of refinement rules that reduce holes to initializations, unitaries, sequences… | ||
| nothing matches | ||