Guy Frankel

According to our database, Guy Frankel authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Debugging into Existence with Program Synthesis.

Guy Frankel, Shay Segal, Hila Peleg

Proceedings of the 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, 2025

Syntax-Guided Synthesis with Counterexample-Guided E-graphs: A Work-in-Progress Report.

Guy Frankel, Rudi Schneider, Michel Steuwer, Elizabeth Polgreen

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Unlocking Hardware Verification with Oracle Guided Synthesis.

Leiqi Ye, Yixuan Li, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2023

Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales.

Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely

Proceedings of the Model-Driven Engineering and Software Development, 2023

Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems.

Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023