Alexander Viand
Alexander Viand
Once we have an easy way of defining CMakeLists.txt for dialects/transforms/etc, we should update the template scripts so that they also generate CMakeLists.txt. This is probably also necessary before we...
We cannot use the existing `add_mlir_{dialect/conversion/transform/analysis}` CMake macros as they assume that source files are organized in a specific pattern, which is different from what we do in HEIR. However,...
Implement techniques from ["Faster homomorphic comparison operations for BGV and BFV"](https://petsymposium.org/popets/2021/popets-2021-0046.php) [^1] Caveat: this approach is only really practical for small plaintext modulus (e.g.,$p = 257$), but that requires advanced...
As some of you might be aware a group of researchers around Prof. Tobias Grosser from the University of Edinburgh/Cambridge University have been using (an earlier version of) our `polynomial`...
Following the test reorganization, this does the same for /lib: `Conversion/SomedialectToOtherdialect` is moved to `Dialect/Somedialect/Conversions/SomedialectToOtherdialect`. EDIT: I've also created a `/lib/Utils/` folder where I put `Conversion/Utils.{h/cpp}`, and the `Graph` and...
@asraa So I ended up giving this a shot after all, and I think for the most part it works out. I came up with the following structure, based on...
The `--convert-tensor-to-scalars` pass introduced in PR #763 currently only handles `tensor.insert` and `tensor.extract` operations, but not other similar tensor operations, such as `tensor.slice`. As part of this, it'd be a...
We should write a tutorial on 1->N type conversion, in the hopes of preventing more people from having to discover all the DialectConversion bugs/todos/fixme's around this the hard way.
Jelle Vos, Mauro Conti, Zekeriya Erkin _Depth-Aware Arithmetization of Common Primitives in Prime Fields._ https://eprint.iacr.org/2024/1200 They consider the "arithmetization" problem (i.e., converting high-level operations to add/mul for arithmetic FHE) from...