ผลงานตีพิมพ์

หน้าเว็บถาวรสำหรับผลงานทุกชิ้น ได้แก่ คู่มือบรรณาธิการฉบับเต็มเมื่อมี และระเบียนบรรณานุกรมที่ตรวจสอบกับแหล่งข้อมูลแล้วสำหรับสิ่งพิมพ์ที่ตรวจพบใหม่

ผลงานตีพิมพ์ 1 รายการ

Where Quality Breaks in Compressed Short-Text Generation: Staged Bottleneck Localization

จุดที่คุณภาพลดลงในการสร้างข้อความสั้นแบบบีบอัด: การระบุคอขวดเป็นลำดับขั้น

เหตุผลที่เรื่องนี้สำคัญผลลัพธ์นี้ทำให้การวินิจฉัยคอขวดของโคเดกนำไปจัดลำดับงานได้จริง กล่าวคือ ควรปรับปรุงโคเดกก่อน แล้วจึงเปรียบเทียบการสร้างในปริภูมิโทเค็นกับปริภูมิรหัส และควรเชื่อว่าตัวชี้วัดตัวแทนในปริภูมิแฝงที่ดีขึ้นสะท้อนคุณภาพจริงก็ต่อเมื่อข้อความหลังถอดรหัสดีขึ้นด้วย

ระเบียบวิธีการวินิจฉัยFRUCT 39การประชุมวิชาการหลัก

ผลงานตีพิมพ์อื่น

ผลงานตีพิมพ์ 1 รายการ

Inspectable Control for Structure-Preserving Software Regeneration

การควบคุมที่ตรวจสอบได้สำหรับการสร้างซอฟต์แวร์ขึ้นใหม่โดยคงโครงสร้าง

เหตุผลที่เรื่องนี้สำคัญผลลัพธ์แสดงภาวะแลกเปลี่ยนระหว่างเสถียรภาพกับความยืดหยุ่นที่วัดได้ในการแก้ไขโค้ดแบบควบคุมและการสร้างโปรแกรมขึ้นใหม่เฉพาะส่วน นี่เป็นหลักฐานเบื้องต้นว่าชั้นควบคุมในปริภูมิแฝงสามารถตรวจสอบได้ มิใช่ข้อพิสูจน์ความสมมูลเชิงความหมายหรือความถูกต้องเชิงการทำงาน

วิธีควบคุมในปริภูมิแฝงFSE Companion '26โปสเตอร์ประกอบ

ดูประวัติผู้เขียนบน Google Scholar