All Stories

  1. Making Formulog Fast: An Argument for Unconventional Datalog Evaluation

    Article • Proceedings of the ACM on Programming Languages, October 2024, ACM (Association for Computing Machinery)

    Michael Greenberg, Aaron Bembenek