Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manuel Rigger, Roland Schatz, René Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck. Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model. In Xipeng Shen, James Tuck, Ricardo Bianchini, Vivek Sarkar, editors, Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018, Williamsburg, VA, USA, March 24-28, 2018. pages 377-391, ACM, 2018. [doi]

This author has not been identified. Look up 'Manuel Rigger' in GoogleThis author has not been identified. Look up 'Roland Schatz' in GoogleThis author has not been identified. Look up 'René Mayrhofer' in GoogleThis author has not been identified. It may be one of the following persons:

Matthias Grimmer

Look up 'Matthias Grimmer' in GoogleThis author has not been identified. It may be one of the following persons:

Hanspeter Mössenböck

Look up 'Hanspeter Mössenböck' in Google

runs on WebDSL