Guy Frankel Website

I am a PhD candidate at the University of Edinburgh in the MLSystems CDT, working on program synthesis under the supervision of Elizabeth Polgreen.

My CV.

• Massively Parallel Mining of Specifications for Hardware Designs
  Leiqi Ye^†, Guy Frankel^†, Jianyi Cheng, Elizabeth Polgreen. CAV 2026. † Equal contribution

• Debugging into Existence with Program Synthesis [link] [paper]
  Guy Frankel^†, Shay Segal^†, and Hila Peleg. VL/HCC 2025. † Equal contribution

• Unlocking Hardware Verification with Oracle Guided Synthesis [link]
  Leiqi Ye, Guy Frankel, Yixuan Li, Jianyi Cheng and Elizabeth Polgreen. FMCAD 2025.

• Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales [link]
  Assaf Marron, Irun R Cohen, Guy Frankel, David Harel, Smadar Szekely. MODELSWARD 2023.

• Emergent regulation of ant foraging frequency through a computationally inexpensive forager movement rule [link]
  Lior Baltiansky^†, Guy Frankel^†, Ofer Feinerman. eLife 2022. † Equal contribution