George Petrou

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 2

Top Topics

Relational Queries

Query Optimizer

Programming Course

Top Venues

Proc. ACM Program. Lang.

Publications

Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Alejandro Granados, Luc Marechal, Alastair Barrow, George Petrou, Christine Norton, Fernando Bello
Relax and Tighten - A Haptics-based Approach to Simulate Sphincter Tone Assessment. AsiaHaptics (2016)