Translation Validation | Prof. Supratik Chakraborty | IICT'24

แชร์
ฝัง
  • เผยแพร่เมื่อ 9 ม.ค. 2025

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

  • @mrragava
    @mrragava 2 หลายเดือนก่อน +2

    Great work! Is this open-sourced to the community?

  • @mrragava
    @mrragava 2 หลายเดือนก่อน +2

    Was there an efficacy comparison done in-parity with approaches of pysmtgcc/alive2 ?

ต่อไป
เล่นอัตโนมัติ
DL4Compilers - Turbo-charging compiler optimizations via Deep Learning | IICT 20241:17:07DL4Compilers – Turbo-charging compiler optimizations via Deep Learning | IICT 2024
DL4Compilers - Turbo-charging compiler optimizations via Deep Learning | IICT 2024LLVM Social Bangalore
มุมมอง 336
Optimizations for Object Oriented Programs | Prof. Manas Thakur | IICT'2454:18Optimizations for Object Oriented Programs | Prof. Manas Thakur | IICT'24
Optimizations for Object Oriented Programs | Prof. Manas Thakur | IICT'24LLVM Social Bangalore
มุมมอง 178
Web3 and Program Analysis | Dr. Saurabh Joshi30:23Web3 and Program Analysis | Dr. Saurabh Joshi
Web3 and Program Analysis | Dr. Saurabh JoshiLLVM Social Bangalore
มุมมอง 197
“โดนัท มนัสนันท์” ไหว้ขอสามีมีอีหนูเถอะ!! “หนุ่ม กรรชัย” พร้อมช่วยเหลือ! | 3 แซ่บ (Full) 15 ธ.ค. 6742:36“โดนัท มนัสนันท์” ไหว้ขอสามีมีอีหนูเถอะ!! “หนุ่ม กรรชัย” พร้อมช่วยเหลือ! | 3 แซ่บ (Full) 15 ธ.ค. 67
“โดนัท มนัสนันท์” ไหว้ขอสามีมีอีหนูเถอะ!! “หนุ่ม กรรชัย” พร้อมช่วยเหลือ! | 3 แซ่บ (Full) 15 ธ.ค. 67Polyplus Entertainment
มุมมอง 280K
ไฮไลท์ ฟุตบอล ASEAN MITSUBISHI ELECTRIC CUP 2024 : สิงคโปร์ พบ ไทย09:54ไฮไลท์ ฟุตบอล ASEAN MITSUBISHI ELECTRIC CUP 2024 : สิงคโปร์ พบ ไทย
ไฮไลท์ ฟุตบอล ASEAN MITSUBISHI ELECTRIC CUP 2024 : สิงคโปร์ พบ ไทยTrueVisionsOfficial
มุมมอง 1.2M
ซินเดอเรลล่ากลายเป็นภรรยาของลุงสุดหล่อหลังจากคืนโรแมนติกนั้น ไม่รู้ว่าเธอได้พบกับมหาเศรษฐี1:32:40ซินเดอเรลล่ากลายเป็นภรรยาของลุงสุดหล่อหลังจากคืนโรแมนติกนั้น ไม่รู้ว่าเธอได้พบกับมหาเศรษฐี
ซินเดอเรลล่ากลายเป็นภรรยาของลุงสุดหล่อหลังจากคืนโรแมนติกนั้น ไม่รู้ว่าเธอได้พบกับมหาเศรษฐีShop ละคร
มุมมอง 1.4M
【พากย์ไทย】ฮ่องเต้เมาและหลับไปกับนางใน แต่นางในตั้งท้องมังกรทันที จึงได้รับการแต่งตั้งเป็นพระมเหสี1:07:14【พากย์ไทย】ฮ่องเต้เมาและหลับไปกับนางใน แต่นางในตั้งท้องมังกรทันที จึงได้รับการแต่งตั้งเป็นพระมเหสี
【พากย์ไทย】ฮ่องเต้เมาและหลับไปกับนางใน แต่นางในตั้งท้องมังกรทันที จึงได้รับการแต่งตั้งเป็นพระมเหสีFresh Thailand
มุมมอง 769K
Andrew Kelley Practical Data Oriented Design (DoD)46:40Andrew Kelley Practical Data Oriented Design (DoD)
Andrew Kelley Practical Data Oriented Design (DoD)ChimiChanga
มุมมอง 154K
CoS-SSA: SSA for Context-Sensitive Interprocedural Analysis | Pritam Gharat | IICT'2423:49CoS-SSA: SSA for Context-Sensitive Interprocedural Analysis | Pritam Gharat | IICT'24
CoS-SSA: SSA for Context-Sensitive Interprocedural Analysis | Pritam Gharat | IICT'24LLVM Social Bangalore
มุมมอง 22
Unveiling the Future: A Glimpse into the Emerging Landscape of Quantum Compilers | Tanmay Sarkar23:19Unveiling the Future: A Glimpse into the Emerging Landscape of Quantum Compilers | Tanmay Sarkar
Unveiling the Future: A Glimpse into the Emerging Landscape of Quantum Compilers | Tanmay SarkarLLVM Social Bangalore
มุมมอง 255
Evolution of software architecture with the co-creator of UML (Grady Booch)1:30:43Evolution of software architecture with the co-creator of UML (Grady Booch)
Evolution of software architecture with the co-creator of UML (Grady Booch)The Pragmatic Engineer
มุมมอง 97K
FireDucks: Pandas Accelerator using MLIR | Sourav Saha, Kazuhisa Ishizaka and Ashu Thakur18:46FireDucks: Pandas Accelerator using MLIR | Sourav Saha, Kazuhisa Ishizaka and Ashu Thakur
FireDucks: Pandas Accelerator using MLIR | Sourav Saha, Kazuhisa Ishizaka and Ashu ThakurLLVM Social Bangalore
มุมมอง 258
How do Graphics Cards Work? Exploring GPU Architecture28:30How do Graphics Cards Work? Exploring GPU Architecture
How do Graphics Cards Work? Exploring GPU ArchitectureBranch Education
มุมมอง 2.8M
Think Fast, Talk Smart: Communication Techniques58:20Think Fast, Talk Smart: Communication Techniques
Think Fast, Talk Smart: Communication TechniquesStanford Graduate School of Business
มุมมอง 43M
Prof. Cedric Villani: On Triangles, Gases, Prices and Men - TIFR Public Lecture1:19:56Prof. Cedric Villani: On Triangles, Gases, Prices and Men - TIFR Public Lecture
Prof. Cedric Villani: On Triangles, Gases, Prices and Men - TIFR Public Lecturechaiandwhy
มุมมอง 9K
No-ISA is the Best ISA | Shreeyash Pandey & Rishik Ram Jallarapu | IICT'2419:55No-ISA is the Best ISA | Shreeyash Pandey & Rishik Ram Jallarapu | IICT'24
No-ISA is the Best ISA | Shreeyash Pandey & Rishik Ram Jallarapu | IICT'24LLVM Social Bangalore
มุมมอง 391
Scum Rangers LIVE-021 ขุนให้อ้วน ฟาร์มให้เงียบ2:45:44Scum Rangers LIVE-021 ขุนให้อ้วน ฟาร์มให้เงียบ
Scum Rangers LIVE-021 ขุนให้อ้วน ฟาร์มให้เงียบBay Riffer
มุมมอง 167K
🔴LIVE สด! PGC 2024 ศึกชิงแชมป์โลกพับจี Circuit 3 วันที่ 25:17:45🔴LIVE สด! PGC 2024 ศึกชิงแชมป์โลกพับจี Circuit 3 วันที่ 2
🔴LIVE สด! PGC 2024 ศึกชิงแชมป์โลกพับจี Circuit 3 วันที่ 2PUBG: BATTLEGROUNDS THAILAND
มุมมอง 169K
เจ้าของแทบทรุด บ้านสร้างได้ 3 เดือน พังทรุดตัว เพจดังชี้สาเหตุ ไม่ใช่เกิดจากเสาเข็ม03:47เจ้าของแทบทรุด บ้านสร้างได้ 3 เดือน พังทรุดตัว เพจดังชี้สาเหตุ ไม่ใช่เกิดจากเสาเข็ม
เจ้าของแทบทรุด บ้านสร้างได้ 3 เดือน พังทรุดตัว เพจดังชี้สาเหตุ ไม่ใช่เกิดจากเสาเข็มเรื่องเล่าเช้านี้
มุมมอง 577K
ใครคือฆาตกรตัวจริง ?! EP.11 (ver. คืนคริสมาสต์ สุดสยอง !!!39:39ใครคือฆาตกรตัวจริง ?! EP.11 (ver. คืนคริสมาสต์ สุดสยอง !!!
ใครคือฆาตกรตัวจริง ?! EP.11 (ver. คืนคริสมาสต์ สุดสยอง !!!Sunflowava
มุมมอง 307K
หนูกับเต้ รัก ”พี่อู๋จูน“ นะ58:23หนูกับเต้ รัก ”พี่อู๋จูน“ นะ
หนูกับเต้ รัก ”พี่อู๋จูน“ นะหนูม่วง คำหลู่
มุมมอง 536K
Apko konsa RC Bus Accah laga00:35Apko konsa RC Bus Accah laga
Apko konsa RC Bus Accah lagaRuhul Shorts
มุมมอง 3.6M
ต้าห์อู๋-ออฟโรด ขอฝึกวิชาเซียน จับหมูป่ามือเปล่า | เฮ็ดอย่างเซียนหรั่ง FULL EP.21 | One Playground25:22ต้าห์อู๋-ออฟโรด ขอฝึกวิชาเซียน จับหมูป่ามือเปล่า | เฮ็ดอย่างเซียนหรั่ง FULL EP.21 | One Playground
ต้าห์อู๋-ออฟโรด ขอฝึกวิชาเซียน จับหมูป่ามือเปล่า | เฮ็ดอย่างเซียนหรั่ง FULL EP.21 | One PlaygroundOne Playground
มุมมอง 452K
🔴LIVE โหนกระแส บาร์โฮสสะเทือน!!! "สุนิสา" อาละวาดไล่หลอกเงิน1:50:02🔴LIVE โหนกระแส บาร์โฮสสะเทือน!!! "สุนิสา" อาละวาดไล่หลอกเงิน
🔴LIVE โหนกระแส บาร์โฮสสะเทือน!!! "สุนิสา" อาละวาดไล่หลอกเงินโหนกระแส [Hone-Krasae] official
มุมมอง 1.1M