| CARVIEW |
Select Language
HTTP/1.1 200 OK
Connection: keep-alive
Content-Length: 589
Content-Type: text/html
Date: Mon, 29 Dec 2025 12:55:48 GMT
Last-Modified: Sun, 22 Sep 2024 11:37:48 GMT
Server: OpenBSD httpd
Home | mbarbar.net mbarbar.net ‖ home | software | papers |
Mohamad Barbar
Currently I work on the Rel compiler front-end. Previously I worked on flow-sensitive points-to analysis in SVF.
Email: mail@{this domain}