Name Card

Full name Familienname, Vorname
Polgreen, Elizabeth
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ye-2025-Unlocking Hardware Verification with Oracle Guided Synthesis-vor.pdf.jpgYe, Leiqi ; Li, Yixuan ; frankel, guy ; Cheng, Jianyi ; Polgreen, Elizabeth Unlocking Hardware Verification with Oracle Guided SynthesisInproceedings Konferenzbeitrag 2025
2Chen-2025-PolyVer A Compositional Approach for Polyglot System Modeling a...-vor.pdf.jpgChen, Pei-Wei ; Lin, Shaokai ; Godbole, Adwait ; Singh, Ramneet ; Polgreen, Elizabeth ; Lee, Edward ; Seshia, Sanjit PolyVer: A Compositional Approach for Polyglot System Modeling and VerificationInproceedings Konferenzbeitrag 2025