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:01] – 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]]
  
  
Line 37: Line 44:
 <html> <html>
 <b>ICFP</b><br/> <b>ICFP</b><br/>
-<i>ACM SIGPLAN International Conference on Functional Programming</i><br/>+<i>30th ACM SIGPLAN International Conference on Functional Programming</i><br/>
 Program committee of ICFP papers. Program committee of ICFP papers.
 </html> </html>
Line 51: Line 58:
 <html> <html>
 <b>ICFP</b><br/> <b>ICFP</b><br/>
-<i>27th International Conference on Functional Programming</i><br/>+<i>27th ACM SIGPLAN International Conference on Functional Programming</i><br/>
 Program committee of ICFP papers. Program committee of ICFP papers.
 </html> </html>