JF Bastien

Computer Science · Physical Sciences

5h-index694citations7works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(5), Advanced Malware Detection Techniques(5), Security and Verification in Computing(5), Parallel Computing and Optimization Techniques(2), Formal Methods in Verification(2)

Publications7 total

Bringing the web up to speed with WebAssembly
Communications of the ACM·2018· 36 cited
Bringing the web up to speed with WebAssembly
2017· 491 citedOpen Access
Bringing the web up to speed with WebAssembly
ACM SIGPLAN Notices·2017· 135 cited
Sound Loop Superoptimization for Google Native Client
ACM SIGPLAN Notices·2017· 7 citedOpen Access
Sound Loop Superoptimization for Google Native Client
ACM SIGARCH Computer Architecture News·2017· 5 cited
Sound Loop Superoptimization for Google Native Client
ACM SIGOPS Operating Systems Review·2017· 1 cited
Sound Loop Superoptimization for Google Native Client
2017· 19 cited

Frequent Co-authors

Berkeley Churchill(4), Rahul Sharma(4), Alex Aiken(4), Andreas Haas(3), Andreas Rossberg(3), Derek L. Schuff(3), Ben L. Titzer(3), Michael Holman(3), Dan Gohman(3), Luke Wagner(3), Alon Zakai(3)