Log inSign up
Log inSign up
Shaurya Gomber
49 posts
@s_gomber

Shaurya Gomber

@s_gomber
CS PhD student at UIUC @siebelschool | Interested in program analysis and automated reasoning
sgomber.github.io
Joined April 2018
268 Following
208 Followers
RepliesRepliesRepostsRepostsMediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·US TIDA·Ads Info·© 2026 X Corp.
  • @s_gomber
    Shaurya Gomber
    @s_gomber
    Jun 19
    A legit false (fire) alarm in the middle of the PLDI static analysis sessions. Some jokes just write themselves. #PLDI2026
  • @s_gomber
    Shaurya Gomber
    @s_gomber
    Jun 15
    Will be at PLDI in Boulder, CO this week to present this work. Also looking forward to the other talks and discussions. Feel free to reach out if you are around and would like to chat! Talk details: pldi26.sigplan.org/details/pldi-2… #PLDI2026
    @s_gomber
    Shaurya Gomber
    @s_gomber
    Apr 16
    Excited to share that our paper titled "Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation" has been accepted at PLDI 2026! #PLDI2026 Huge thanks to my collaborators @debangshuban18 and @ggn_dp_sngh! Details in 🧵 [1/N]
  • @s_gomber
    Shaurya Gomber
    @s_gomber
    Apr 16
    Excited to share that our paper titled "Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation" has been accepted at PLDI 2026! #PLDI2026 Huge thanks to my collaborators @debangshuban18 and @ggn_dp_sngh! Details in 🧵 [1/N]
    2
  • @s_gomber
    Shaurya Gomber
    @s_gomber
    Feb 17
    Really nice work! Leveraging LLM’s general ability to reason about code execution and and then generating reusable rewrite rules to make the process reliable by grounding it with traditional compiler techniques; best of both worlds and the way to go!
    @singhasAvaljot
    Avaljot Singh
    @singhasAvaljot
    Feb 16
    There’s a lot of discussion around using LLMs to generate compiler code via prompting, but this on-the-fly approach can be unreliable and brittle. We propose 𝐑𝐮𝐥𝐞𝐅𝐥𝐨𝐰, a more reliable way to use LLMs for optimizing data-analysis programs (e.g, Pandas). (1/5)
    2
  • @s_gomber
    Shaurya Gomber
    @s_gomber
    Jan 20, 2025
    Excited and honored to share that my MS Thesis on "Neural Abstract Interpretation" has been awarded the 2024 David J. Kuck Outstanding Master’s Thesis Award at UIUC 🏆🎉! Thesis Link: ideals.illinois.edu/items/131524 Nice start to the year🤞
    5