Login / Signup
Hasan Mohsin
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Java Bytecode
Industrial Environment
Constraint Language
Gpu Implementation
Top Venues
ICST
Proc. ACM Program. Lang.
AAMAS
</>
Publications
</>
Bastien Lecoeur
,
Hasan Mohsin
,
Alastair F. Donaldson
Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs.
Proc. ACM Program. Lang.
7 (PLDI) (2023)
Alastair F. Donaldson
,
Ben Clayton
,
Ryan Harrison
,
Hasan Mohsin
,
David Neto
,
Vasyl Teliman
,
Hana Watson
Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages.
ICST
(2023)
Adam Dejl
,
Peter He
,
Pranav Mangal
,
Hasan Mohsin
,
Bogdan Surdu
,
Eduard Voinea
,
Emanuele Albini
,
Piyawat Lertvittayakumjorn
,
Antonio Rago
,
Francesca Toni
Argflow: A Toolkit for Deep Argumentative Explanations for Neural Networks.
AAMAS
(2021)