[PLMW@PLDI24] Letting users do the undecidable: lessons from program synthesis

แชร์
ฝัง
  • เผยแพร่เมื่อ 16 ต.ค. 2024

ความคิดเห็น •

ต่อไป
เล่นอัตโนมัติ
[PLMW@PLDI24] Thoughts on the interplay between corporate, government, and university R&D1:09:21[PLMW@PLDI24] Thoughts on the interplay between corporate, government, and university R&D
[PLMW@PLDI24] Thoughts on the interplay between corporate, government, and university R&DACM SIGPLAN
มุมมอง 441
[PLMW@PLDI24] A Tour of Program Optimization36:49[PLMW@PLDI24] A Tour of Program Optimization
[PLMW@PLDI24] A Tour of Program OptimizationACM SIGPLAN
มุมมอง 718
[PLMW@PLDI24] Uncertainty and my scientific journey40:37[PLMW@PLDI24] Uncertainty and my scientific journey
[PLMW@PLDI24] Uncertainty and my scientific journeyACM SIGPLAN
มุมมอง 606
ถ่ายทอดสดฟุตบอลถ้วยพระราชทาน คิงส์คัพ ครั้งที่ 50 l ชิงที่ 3 l TAJIKISTAN v PHILIPPINE2:09:05ถ่ายทอดสดฟุตบอลถ้วยพระราชทาน คิงส์คัพ ครั้งที่ 50 l ชิงที่ 3 l TAJIKISTAN v PHILIPPINE
ถ่ายทอดสดฟุตบอลถ้วยพระราชทาน คิงส์คัพ ครั้งที่ 50 l ชิงที่ 3 l TAJIKISTAN v PHILIPPINEช้างศึก - ฟุตบอลทีมชาติไทย
มุมมอง 724K
Useful phone hack for parents! 📱🩷00:54Useful phone hack for parents! 📱🩷
Useful phone hack for parents! 📱🩷TheSoul Music Family
มุมมอง 1.4M
“อาร์ต พศุตม์” เกือบเอี่ยวแต่รอดมาได้ | แฉฮอต 202424:37“อาร์ต พศุตม์” เกือบเอี่ยวแต่รอดมาได้ | แฉฮอต 2024
“อาร์ต พศุตม์” เกือบเอี่ยวแต่รอดมาได้ | แฉฮอต 2024วันบันเทิง oneบันเทิง
มุมมอง 294K
หนังตะลุงน้องเดียว ลูกทุ่งวัฒนธรรม ตอน มุกฮาขำขันทำประกันศพ1:12:50หนังตะลุงน้องเดียว ลูกทุ่งวัฒนธรรม ตอน มุกฮาขำขันทำประกันศพ
หนังตะลุงน้องเดียว ลูกทุ่งวัฒนธรรม ตอน มุกฮาขำขันทำประกันศพลูกทุ่งวัฒนธรรม Channel
มุมมอง 113K
[PLDI24] Descend: A Safe GPU Systems Programming Language19:39[PLDI24] Descend: A Safe GPU Systems Programming Language
[PLDI24] Descend: A Safe GPU Systems Programming LanguageACM SIGPLAN
มุมมอง 327
MLCB 2024: Sergey Ovchinnikov (MIT) Decomposing protein and genomic language models to understand...56:09MLCB 2024: Sergey Ovchinnikov (MIT) Decomposing protein and genomic language models to understand...
MLCB 2024: Sergey Ovchinnikov (MIT) Decomposing protein and genomic language models to understand...Machine Learning in Computational Biology
มุมมอง 403
Contracts, Revisited58:58Contracts, Revisited
Contracts, RevisitedRust Formal Methods IG
มุมมอง 239
NLP Workshop Week #2 | F2458:02NLP Workshop Week #2 | F24
NLP Workshop Week #2 | F24The AI Society @ ASU
มุมมอง 25
State of API Security 2024: Insights from Analyzing 1 Million Domains28:23State of API Security 2024: Insights from Analyzing 1 Million Domains
State of API Security 2024: Insights from Analyzing 1 Million DomainsBsides Seattle
มุมมอง 88
[PLDI24] Compilation of Modular and General Sparse Workspaces18:11[PLDI24] Compilation of Modular and General Sparse Workspaces
[PLDI24] Compilation of Modular and General Sparse WorkspacesACM SIGPLAN
มุมมอง 198
ZX and Machine Learning14:23ZX and Machine Learning
ZX and Machine LearningZX-calculus
มุมมอง 217
HubSpot User Group Cologne | A Dummies Guide on HubSpot Development48:38HubSpot User Group Cologne | A Dummies Guide on HubSpot Development
HubSpot User Group Cologne | A Dummies Guide on HubSpot Developmentmade2GROW
มุมมอง 323
龟兔赛跑：好可爱的小乌龟#short #angel #clown01:00龟兔赛跑：好可爱的小乌龟#short #angel #clown
龟兔赛跑：好可爱的小乌龟#short #angel #clownSuper Beauty team
มุมมอง 18M
Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shorts00:19Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shorts
Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shortsCool Items Official
มุมมอง 23M
1 คืน ตำนานสวนน้ำโบราณ!! ตกดึกมีคนหอมแก้มกันแหละเธอ ฮาๆ!! (Part.2/2)42:161 คืน ตำนานสวนน้ำโบราณ!! ตกดึกมีคนหอมแก้มกันแหละเธอ ฮาๆ!! (Part.2/2)
1 คืน ตำนานสวนน้ำโบราณ!! ตกดึกมีคนหอมแก้มกันแหละเธอ ฮาๆ!! (Part.2/2)OAUJUN HI-END
มุมมอง 1.6M
น้องๆ พี่เจอผี 2 หัว!!00:44น้องๆ พี่เจอผี 2 หัว!!
น้องๆ พี่เจอผี 2 หัว!!EE
มุมมอง 173K
🔴ฟุตบอลแชมป์กีฬา 7HD แชมเปียน คัพ 2024 สนาม 3 วันที่ 16 ต.ค. 25679:09:00🔴ฟุตบอลแชมป์กีฬา 7HD แชมเปียน คัพ 2024 สนาม 3 วันที่ 16 ต.ค. 2567
🔴ฟุตบอลแชมป์กีฬา 7HD แชมเปียน คัพ 2024 สนาม 3 วันที่ 16 ต.ค. 2567Ch7HD
มุมมอง 238K
Lisa Gets Ready for the Victoria’s Secret Fashion Show | Last Looks | Vogue05:42Lisa Gets Ready for the Victoria’s Secret Fashion Show | Last Looks | Vogue
Lisa Gets Ready for the Victoria’s Secret Fashion Show | Last Looks | VogueVogue
มุมมอง 993K
แข่งขายโรตี 1 วัน!! ใครขายมากสุดชนะ!!40:40แข่งขายโรตี 1 วัน!! ใครขายมากสุดชนะ!!
แข่งขายโรตี 1 วัน!! ใครขายมากสุดชนะ!!My Mate Nate
มุมมอง 1.1M
🔴 Live ถ่ายทอดสดหวย งวดประจำวันที่ 16 ตุลาคม 2567 สลากกินแบ่งรัฐบาล | ข่าวช่อง81:59:16🔴 Live ถ่ายทอดสดหวย งวดประจำวันที่ 16 ตุลาคม 2567 สลากกินแบ่งรัฐบาล | ข่าวช่อง8
🔴 Live ถ่ายทอดสดหวย งวดประจำวันที่ 16 ตุลาคม 2567 สลากกินแบ่งรัฐบาล | ข่าวช่อง8ข่าวช่อง8
มุมมอง 724K