Reposted by Saieda Ali Zada
Aug 13-15; FinTech hackathon @#UDEL @udelaware.bsky.social
* Upskilling
* Advancing FinTech Science
* Building connections
Stay tuned for results & updates 🥳
Case studies from #BoFA #JPMC #SallieMae #BestEgg #Mooves #AdaptiveConnections #Venderly #Saimeera #Perpay sites.udel.edu/darse/hen-st...
* Upskilling
* Advancing FinTech Science
* Building connections
Stay tuned for results & updates 🥳
Case studies from #BoFA #JPMC #SallieMae #BestEgg #Mooves #AdaptiveConnections #Venderly #Saimeera #Perpay sites.udel.edu/darse/hen-st...
August 12, 2025 at 1:03 AM
Aug 13-15; FinTech hackathon @#UDEL @udelaware.bsky.social
* Upskilling
* Advancing FinTech Science
* Building connections
Stay tuned for results & updates 🥳
Case studies from #BoFA #JPMC #SallieMae #BestEgg #Mooves #AdaptiveConnections #Venderly #Saimeera #Perpay sites.udel.edu/darse/hen-st...
* Upskilling
* Advancing FinTech Science
* Building connections
Stay tuned for results & updates 🥳
Case studies from #BoFA #JPMC #SallieMae #BestEgg #Mooves #AdaptiveConnections #Venderly #Saimeera #Perpay sites.udel.edu/darse/hen-st...
Excited to share our paper on validation & verification testsuite for compiler implementations using LLMs. We introduced a dual-LLM system for evaluating various LLMs performance in our paper.
Huge thanks to everyone in our team for their dedication, interest, and contribution!
Huge thanks to everyone in our team for their dedication, interest, and contribution!
#LLM4VV
Check out our *new* paper (under review) - exploring LLMs for building validation & verification test suites (currently focusing on directives)! So much to learn & experiment. Insane at the pace, #LLMs are evolving!
www.arxiv.org/abs/2507.21447
www.linkedin.com/posts/activi...
Check out our *new* paper (under review) - exploring LLMs for building validation & verification test suites (currently focusing on directives)! So much to learn & experiment. Insane at the pace, #LLMs are evolving!
www.arxiv.org/abs/2507.21447
www.linkedin.com/posts/activi...
🥁 LLM4VV - in our series of publications on exploring the use of #LLMs for building validation & verification (V&V) testsuite to stress test compiler implementations (currently focusing on… | ...
🥁 LLM4VV - in our series of publications on exploring the use of #LLMs for building validation & verification (V&V) testsuite to stress test compiler implementations (currently focusing on #directives...
www.linkedin.com
August 7, 2025 at 2:20 AM
Excited to share our paper on validation & verification testsuite for compiler implementations using LLMs. We introduced a dual-LLM system for evaluating various LLMs performance in our paper.
Huge thanks to everyone in our team for their dedication, interest, and contribution!
Huge thanks to everyone in our team for their dedication, interest, and contribution!
As highlights of CGO/PPoPP/HPCA/CC 2025, I had a chance participate in various workshops focused on LLM, compilers, and parallel computing and connecting with researchers. A special thanks to the organizers and participants of the conference and @sunitachandra.bsky.social & UD for their support 😊!
Wanna to know what makes a conference more fun? Hanging out with my students 🤩 We were at CGO/PPoPP/HPCA/CC 2025 together!
@saieda.bsky.social Zahra Temori and Zach Sollenberger (undergrad researchers #HPC #ML #LLM) had participated in the FastCode Challenge program!! What an opportunity!
@saieda.bsky.social Zahra Temori and Zach Sollenberger (undergrad researchers #HPC #ML #LLM) had participated in the FastCode Challenge program!! What an opportunity!
March 13, 2025 at 5:16 AM
As highlights of CGO/PPoPP/HPCA/CC 2025, I had a chance participate in various workshops focused on LLM, compilers, and parallel computing and connecting with researchers. A special thanks to the organizers and participants of the conference and @sunitachandra.bsky.social & UD for their support 😊!