กำลังโหลด...
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
การอ้างอิงต่อปี
การอ้างอิงซ้ำกัน
บทความต่อไปนี้รวมอยู่ใน Scholar จำนวน
การอ้างอิงที่รวมเข้าด้วยกัน
ของบทความเหล่านี้จะนับเฉพาะบทความแรกเท่านั้น
การอ้างอิงที่รวมเข้าด้วยกัน
จำนวน "อ้างอิงโดย" นี้รวมถึงการอ้างอิงไปยังบทความต่อไปนี้ใน Scholar บทความที่ทำเครื่องหมาย
*
อาจต่างจากบทความนั้นในโปรไฟล์
เพิ่มผู้เขียนร่วม
ผู้เขียนร่วม
ติดตาม
บทความใหม่โดยผู้เขียนคนนี้
การอ้างอิงใหม่สำหรับผู้เขียนคนนี้
บทความใหม่ที่เกี่ยวข้องกับงานวิจัยของผู้เขียนคนนี้
ที่อยู่อีเมลที่ใช้รับข้อมูลอัปเดต
เสร็จสิ้น
โปรไฟล์ของฉัน
ห้องสมุดของฉัน
เมตริก
การแจ้งเตือน
การตั้งค่า
ลงชื่อเข้าสู่ระบบ
ลงชื่อเข้าสู่ระบบ
รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด
ตั้งแต่ปี 2020
การอ้างอิง
2
2
ดัชนี h
1
1
ดัชนี i10
0
0
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด
ดูทั้งหมด
2 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
James Brotherston
Professor of Logic and Computation, University College London
ยืนยันอีเมลแล้วที่ ucl.ac.uk
Tyler Sorensen
Assistant Professor, UC Santa Cruz
ยืนยันอีเมลแล้วที่ ucsc.edu
Alastair Donaldson
Imperial College London
ยืนยันอีเมลแล้วที่ imperial.ac.uk
John Wickerson
Imperial College London
ยืนยันอีเมลแล้วที่ imperial.ac.uk
Lee Smith
Retired
ยืนยันอีเมลแล้วที่ acm.org
ติดตาม
Luke Geeson
University College London
ยืนยันอีเมลแล้วที่ cs.ucl.ac.uk -
หน้าแรก
Compilers
Concurrency Testing
Formal Methods
Languages
บทความ
อ้างโดย
การเข้าถึงแบบสาธารณะ
ผู้เขียนร่วม
ชื่อ
จัดเรียง
เรียงตามการอ้างอิง
เรียงตามปี
เรียงตามชื่อ
อ้างโดย
อ้างโดย
ปี
Compiler Testing with Relaxed Memory Models
L Geeson, L Smith
2024 IEEE/ACM International Symposium on Code Generation and Optimization …
, 2024
1
2024
Weak Memory Demands Model-based Compiler Testing
L Geeson
arXiv preprint arXiv:2401.09474
, 2024
1
2024
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
L Geeson, J Brotherston, W Dijkstra, AF Donaldson, L Smith, T Sorensen, ...
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 442-467
, 2024
2024
Algebraic Effects for Calculating Compilers
LJ Geeson
University of Oxford
, 2017
2017
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–4
แสดงเพิ่มเติม
ความเป็นส่วนตัว
ข้อกำหนด
ความช่วยเหลือ
เกี่ยวกับ Scholar
ศูนย์ช่วยเหลือของ Search