Publications2024-07-29T13:30:35+00:00

Publications & Reports

Filter by

Filters
Year

Formal verification of high-level synthesis.

Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson.

Proceedings of the ACM on Programming Languages, Volume 5, Issue OOPSLA, 2021, Article No.: 117, 1–30. 2021

C4: the C compiler concurrency checker.

Matt Windsor, Alastair F. Donaldson, and John Wickerson.

ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2021, 670–673. 2021

Go to Top