Abu Naser Masud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2011–2022
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CC | On the computation of interprocedural weak control closure. | Abu Naser Masud, Bjrn Lisper |
| 2022 | SAS | Fast and Incremental Computation of Weak Control Closure. | Abu Naser Masud |
| 2020 | SAS | Simple and Efficient Computation of Minimal Weak Control Closure. | Abu Naser Masud |
| 2019 | SCAM | Towards Constructing the SSA form using Reaching Definitions Over Dominance Frontiers. | Abu Naser Masud, Federico Ciccozzi |
| 2015 | PEPM | Static Backward Demand-Driven Slicing. | Bjrn Lisper, Abu Naser Masud, Husni Khanfar |
| 2012 | VMCAI | On the Termination of Integer Loops. | Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud |
| 2011 | VMCAI | More Precise Yet Widely Applicable Cost Analysis. | Elvira Albert, Samir Genaim, Abu Naser Masud |