キャルちゃん retweeted
JIJ リードソフトウェアエンジニアの石井が、PLDI 2026併設ワークショップ EGRAPHS 2026にて発表を行いました。
e-graph 技術をめぐる幅広い議論に刺激を受け、JijModeling2 における型検査の強化やコンパイルパフォーマンス向上への応用可能性を、引き続き探求してまいります。
📎 JijModeling2について: jij-inc-jijmodeling-tutorial…
#JIJ #JijModeling #EGRAPHS2026 #PLDI2026
1
3
9
830
Sam, are you at PLDI? If yes, when do you leave? I rock up on Friday late afternoon, but not for the conference.
1
1
19
27
Mayank Shrivastava retweeted
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/p…
#PLDI2026
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]
4
9
313
JIJ Lead Software Engineer Hiromi Ishii presented an accepted talk at EGRAPHS 2026, held as part of PLDI 2026.
Inspired by the wide-ranging discussions on e-graph techniques, we will drive forward their application to stronger type checking and improved compilation performance in JijModeling2.
📎 More about JijModeling2 :
jij-inc-jijmodeling-tutorial…
#JIJ #JijModeling #EGRAPHS2026 #PLDI2026
1
2
4
170
JIJ リードソフトウェアエンジニアの石井大海が、PLDI 2026併設ワークショップ EGRAPHS 2026にて発表を行いました。
e-graph 技術をめぐる幅広い議論に刺激を受け、JijModeling2 における型検査の強化やコンパイルパフォーマンス向上への応用可能性を、引き続き探求してまいります。
📎 JijModeling2について: jij-inc-jijmodeling-tutorial…
#JIJ #JijModeling #EGRAPHS2026 #PLDI2026
1
1
198
Beyond the sessions, at #PLDI2026 we've got a full week of social meetups to explore Boulder! This includes hikes in Chautauqua Mon/Tues/Fri, walk to downtown Pearl St for Bands on the Bricks on Wed, and tea at the Dushanbe Tea House on Thu.
🏔️pldi26.sigplan.org/track/pld…
1
2
254
Beautiful summer day in Boston today! Looking forward to PLDI in Boulder, CO tomorrow. If you’re in the area, please say “Hello!” and check out my talk at 5pm (MT). Bring questions - should be fun!
New work! Introduces a parallel RASP variant highly suited for SIMD architectures. I implement a VM bytecode and lower a heapless array language onto it, demonstrating significant speedups over serial evaluation on a massive multitenancy benchmark with millions of concurrent VMs.
6
309
Jun 15
I am giving a talk at ARRAY @ PLDI this week. If anyone is around Boulder for PLDI would love to catch up! see you all there!
5
404
#PLDI2026 is live-streaming participating sessions on YouTube! Catch workshops, keynotes, research talks, and more from the premier PL and programming systems research venue.
📺Tune in at: pldi26.sigplan.org/attending…
1
2
316
PLDI retweeted
Jun 15
The third Programming for the Planet workshop is kicking off at @PLDI now; live stream at youtube.com/watch?v=wqc94hU4… and live blog at bsky.app/profile/propl.dev/p…
1
1
467