External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synthesizing JIT Compilers for In-Kernel DSLs

Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak. Synthesizing JIT Compilers for In-Kernel DSLs. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Volume 12225 of Lecture Notes in Computer Science, pages 564-586, Springer, 2020. [doi]

Authors

Jacob Van Geffen

This author has not been identified. Look up 'Jacob Van Geffen' in Google

Luke Nelson

This author has not been identified. Look up 'Luke Nelson' in Google

Isil Dillig

This author has not been identified. Look up 'Isil Dillig' in Google

Xi Wang

This author has not been identified. Look up 'Xi Wang' in Google

Emina Torlak

This author has not been identified. Look up 'Emina Torlak' in Google
runs on