Old Web
English
Sign In
Acemap
>
authorDetail
>
Alex Hixon
Alex Hixon
University of New South Wales
Computer science
Compiler
Programming language
Theoretical computer science
Class implementation file
3
Papers
63
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Computation of highly eccentric EMRIs to characterize background confusion noise in LISA
2019
Aaron Johnson
Alex Osborne
Daniel Oliver
Alex Hixon
Daniel Kennefick
Show All
Source
Cite
Save
Citations (0)
COGENT: Certified Compilation for a Functional Systems Language.
2016
arXiv: Programming Languages
Liam OConnor
Christine Rizkallah
Zilin Chen
Sidney Amani
Japheth Lim
Yutaka Nagashima
Thomas Sewell
Alex Hixon
Gabriele Keller
Toby C. Murray
Gerwin Klein
Show All
Source
Cite
Save
Citations (4)
Cogent: Verifying High-Assurance File System Implementations
2016
ASPLOS | Architectural Support for Programming Languages and Operating Systems
Sidney Amani
Alex Hixon
Zilin Chen
Christine Rizkallah
Peter Chubb
Liam OConnor
Joel Beeren
Yutaka Nagashima
Japheth Lim
Thomas Sewell
Joseph Tuong
Gabriele Keller
Toby C. Murray
Gerwin Klein
Gernot Heiser
Show All
Source
Cite
Save
Citations (59)
1