Cindy Rubio-Gonzalez
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Aditya V. Thakuronce
- Patrick J. Chapmanonce
- Raphaël Monatonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Closing and Best Presentation Award | SOAP 2024 | 2024-06-25 |
Thanks to 11 program committee members and to session chairs Luca and Helmut for last minute handling, the conference closes after a full day of papers and… | ||
| Interleaving Static Analysis and LLM Prompting | SOAP 2024 | 2024-06-25 |
A static analyzer (EESI) calls an LLM whenever a function’s error-specification lattice value is bottom, and the LLM output is converted to EESI’s abstract… | ||
| nothing matches | ||