Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
people:mtoro [2025/01/09 11:03] – mtoropeople:mtoro [2026/03/24 21:57] (current) – mtoro
Line 15: Line 15:
     * Abstracting Gradual Typing     * Abstracting Gradual Typing
     * Differential Privacy     * Differential Privacy
 +    * Programming using AI (agents, LLMs)
  
 +
 +===== News ======
 +  * I'm on the PC of [[https://icfp25.sigplan.org/|ICFP 2025]]
 +  * I'm on the PC of [[https://pldi25.sigplan.org/|PLDI 2025]]
 +  * {{bib>arquezAl-csf2025|Gradual Sensitivity Typing}} accepted at [[https://csf2025.ieee-security.org/|CSF 2025]]
 +  * {{bib>yeAl-esop2025|Elucidating Type Conversions in SQL Engines}} accepted at [[https://etaps.org/2025/conferences/esop/|ESOP 2025]]