https://saswat.padhi.me/blog/2019-09_variadic-macros-in-latex/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/blog/2021-09_usb-autoattach-in-qubes/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/blog/2022-11_librem-wifi-led-in-qubes/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/blog/2023-12_qubes-audio-control/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/blog/2024_01_mermaidjs-setup/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/cap_neurips2020_oasis/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/cav2019_overfitting/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/cav2023_iot/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/cc2019_slicing/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/jura/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/ml4sys_neurips2023_ux_prediction/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/oopsla2018_flashprofile/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/patent2019_syntactic-profiling/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/patent2020_dataset-sampling/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/patent2024_iot-events-verification/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/patent2024_table-identification/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/patent2025_ux-prediction/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/pldi2016_pie/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/pldi2020_hanoi/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/report2018_syguscomp/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/sygus2021_standard/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/syguscomp_loopinvgen/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/publications/thesis2020_phd/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/slides/cav2019_overfitting/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/slides/ml4sys_neurips2023_ux_prediction/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/slides/oopsla2018_flashprofile/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/slides/phd_defense/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/slides/pldi2016_pie/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/slides/syguscomp_loopinvgen/ 2026-03-09T15:27:06-04:00 https://saswat.padhi.me/CV/ https://saswat.padhi.me/blog/ https://saswat.padhi.me/ https://saswat.padhi.me/personal/ https://saswat.padhi.me/publications/ https://saswat.padhi.me/resume/ https://saswat.padhi.me/slides/ https://saswat.padhi.me/updates/ https://saswat.padhi.me/assets/pdf/CV.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/Resume.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/cap_neurips2020_oasis.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/cav2019_overfitting.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/cav2023_iot.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/cc2019_slicing.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/ml4sys_neurips2023_ux_prediction.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/oopsla2018_flashprofile.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/oopsla2018_flashprofile_slides.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/pldi2016_pie.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/pldi2020_hanoi.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/poster_ml4sys_neurips2023_ux_prediction.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/report2018_syguscomp.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/sygus_2.1.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/syguscomp_loopinvgen.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/assets/pdf/thesis2020_phd.pdf 2026-03-09T15:27:04-04:00 https://saswat.padhi.me/slide-notes.html 2026-03-09T15:27:04-04:00