กำลังโหลด...
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
การอ้างอิงต่อปี
การอ้างอิงซ้ำกัน
บทความต่อไปนี้รวมอยู่ใน Scholar จำนวน
การอ้างอิงที่รวมเข้าด้วยกัน
ของบทความเหล่านี้จะนับเฉพาะบทความแรกเท่านั้น
การอ้างอิงที่รวมเข้าด้วยกัน
จำนวน "อ้างอิงโดย" นี้รวมถึงการอ้างอิงไปยังบทความต่อไปนี้ใน Scholar บทความที่ทำเครื่องหมาย
*
อาจต่างจากบทความนั้นในโปรไฟล์
เพิ่มผู้เขียนร่วม
ผู้เขียนร่วม
ติดตาม
บทความใหม่โดยผู้เขียนคนนี้
การอ้างอิงใหม่สำหรับผู้เขียนคนนี้
บทความใหม่ที่เกี่ยวข้องกับงานวิจัยของผู้เขียนคนนี้
ที่อยู่อีเมลที่ใช้รับข้อมูลอัปเดต
เสร็จสิ้น
โปรไฟล์ของฉัน
ห้องสมุดของฉัน
เมตริก
การแจ้งเตือน
การตั้งค่า
ลงชื่อเข้าสู่ระบบ
ลงชื่อเข้าสู่ระบบ
รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด
ตั้งแต่ปี 2020
การอ้างอิง
51
51
ดัชนี h
3
3
ดัชนี i10
2
2
0
44
22
2023
2024
2025
4
43
4
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด
ดูทั้งหมด
1 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
Suman Jana
Associate Professor of Computer Science, Columbia University
ยืนยันอีเมลแล้วที่ cs.columbia.edu
Huan Zhang
Assistant Professor at University of Illinois Urbana-Champaign
ยืนยันอีเมลแล้วที่ illinois.edu
Zhouxing Shi
University of California, Los Angeles
ยืนยันอีเมลแล้วที่ cs.ucla.edu
Kexin Pei
Assistant Professor, Computer Science, University of Chicago
ยืนยันอีเมลแล้วที่ cs.uchicago.edu
ติดตาม
Qirui Jin
University of Michigan
ยืนยันอีเมลแล้วที่ umich.edu -
หน้าแรก
Security
Software Engineering
Machine Learning
บทความ
อ้างโดย
การเข้าถึงแบบสาธารณะ
ผู้เขียนร่วม
ชื่อ
จัดเรียง
เรียงตามการอ้างอิง
เรียงตามปี
เรียงตามชื่อ
อ้างโดย
อ้างโดย
ปี
Neural network verification with branch-and-bound for general nonlinearities
Z Shi, Q Jin, Z Kolter, S Jana, CJ Hsieh, H Zhang
arXiv preprint arXiv:2405.21063
, 2024
29
*
2024
Graft: Efficient inference serving for hybrid deep learning with SLO guarantees via DNN re-alignment
J Wu, L Wang, Q Jin, F Liu
IEEE Transactions on Parallel and Distributed Systems 35 (2), 280-296
, 2023
14
2023
Exploiting code symmetries for learning program semantics
K Pei, W Li, Q Jin, S Liu, S Geng, L Cavallaro, J Yang, S Jana
arXiv preprint arXiv:2308.03312
, 2023
8
*
2023
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–3
แสดงเพิ่มเติม
ความเป็นส่วนตัว
ข้อกำหนด
ความช่วยเหลือ
เกี่ยวกับ Scholar
ศูนย์ช่วยเหลือของ Search