Junaid Haroon Siddiqui

Registered user since Mon 21 Jan 2019

Name:Junaid Haroon Siddiqui

I am an Assistant Professor of Computer Science at Lahore University of Management Sciences, Pakistan, where I am leading the Program Analysis Group for research in using automated analysis for software reliability. My work is funded by Pakistan Planning Commission, Higher Education Commission, and LUMS competitive grants for faculty. I am supervising 5 Ph.D. students and have supervised 12 MS theses and 20 undergraduate projects. Previously, I received Ph.D. from the University of Texas at Austin where I was part of the Software Verification, Validation, and Testing Group.

Affiliation:Lahore University of Management Sciences
Research interests:program analysis, software verification, software testing


ICSE 2022 Committee Member in Program Committee within the DEMO - Demonstrations-track
ISSTA 2020 Committee Member in Program Committee within the Technical Papers-track
Session Chair of BINARY ANALYSIS (part of Technical Papers)
LCTES 2019 Author of On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) within the LCTES 2019-track
Author of The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers within the LCTES 2019-track
Author of Efficient Intermittent Computing with Differential Checkpointing within the LCTES 2019-track
ASE 2019 Committee Member in Program Committee within the Research Papers-track
* ICSE 2018 * Author of Poster W30: Efficiently Finding Minimal Failing Input in MapReduce Programs within the Posters -track
Author of Poster F5: Efficient Iterative Deepening for Bounded Exhaustive Generation of Complex Structures within the Posters -track
SPLASH 2012 Author of Scaling symbolic execution using ranged analysis within the OOPSLA Research Papers-track