Aziz Zayed

@inproceedings{vandercruysse2026parallel,
  author    = {Van der Cruysse, Jonathan and Zayed, Abd-El-Aziz and
               Peng, Mai Jacob and Dubach, Christophe},
  title     = {Parallel and Customizable Equality Saturation},
  booktitle = {Proceedings of the 35th ACM SIGPLAN International Conference
               on Compiler Construction},
  series    = {CC '26},
  year      = {2026},
  pages     = {94--105},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY, USA},
  doi       = {10.1145/3771775.3786266},
  url       = {https://doi.org/10.1145/3771775.3786266},
  keywords  = {Compiler Infrastructure, E-Graphs, Equality Saturation,
               Program Optimization, Rewrite Systems},
  location  = {Sydney, NSW, Australia},
}

@inproceedings{10.1145/3696443.3708957,
  author    = {Zayed, Abd-El-Aziz and Dubach, Christophe},
  title     = {DialEgg: Dialect-Agnostic MLIR Optimizer using Equality
               Saturation with Egglog},
  year      = {2025},
  isbn      = {9798400712753},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY, USA},
  url       = {https://doi.org/10.1145/3696443.3708957},
  doi       = {10.1145/3696443.3708957},
  booktitle = {Proceedings of the 23rd ACM/IEEE International Symposium
               on Code Generation and Optimization},
  pages     = {271–283},
  numpages  = {13},
  keywords  = {Egg, Egglog, Equality Saturation, MLIR},
  location  = {Las Vegas, NV, USA},
  series    = {CGO '25}
}