Junaid Haroon Siddiqui

Cited by

	All	Since 2016
Citations	364	238
h-index	11	9
i10-index	13	9

200820092010201120122013201420152016201720182019202020211 3 7 7 35 18 20 30 24 31 38 42 73 30

Co-authors

Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Muhammad Hamad AlizaiLUMSVerified email at lums.edu.pk
Luca MottolaAssociate Professor, Politecnico di MilanoVerified email at polimi.it
Naveed Anwar BhattiAssistant Professor, Air University, IslamabadVerified email at mail.au.edu.pk
Maryam Abdul GhafoorPh.D. Candidate, Department of Computer Science, LUMS School of Science and EngineeringVerified email at lums.edu.pk
Andrea MaioliPhD Student, Politecnico di MilanoVerified email at polimi.it
Muhammad Zubair MalikResearch Scientist at CMUVerified email at andrew.cmu.edu
Muhammad Suleman MahmoodUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Adriano BrancoLES PUC-RioVerified email at inf.puc-rio.br
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Muhammad Sohaib AyubPhD Scholar (Computer Science), LUMS, LahoreVerified email at lums.edu.pk
Nicolás RosnerUniversity of California Santa BarbaraVerified email at cs.ucsb.edu
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasVerified email at dc.exa.unrc.edu.ar
Marcelo F. FriasProfessor of Computer Science, Instituto Tecnológico de Buenos AiresVerified email at itba.edu.ar
Saad AhmedPostdoctoral Scholar, Electrical and Computer Engineering Department, Northwestern UniversityVerified email at northwestern.edu
Waqas Ur RehmanReserach Associate at Dept. of Computer Science University of SaskatchewanVerified email at usask.ca
Sarmad MakhdoomSoftware EngineerVerified email at sarmad.me
Derek ChiouPartner Architect, Microsoft and Adjunct Associate Professor and Research Scientist, UT AustinVerified email at ece.utexas.edu
Muhammad Faisal IqbalLampro Mellon, LahoreVerified email at utexas.edu
Hassan Ali KhanPhD Student North Carolina State UniversityVerified email at ncsu.edu

Junaid Haroon Siddiqui

LUMS University, Pakistan

Verified email at lums.edu.pk - Homepage

program analysis software verification software testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Scaling symbolic execution using ranged analysis JH Siddiqui, S Khurshid ACM SIGPLAN Notices 47 (10), 523-536, 2012	52	2012
ParSym: Parallel symbolic execution JH Siddiqui, S Khurshid 2010 2nd international conference on software technology and engineering 1 …, 2010	52	2010
PKorat: Parallel generation of structurally complex test inputs JH Siddiqui, S Khurshid 2009 International Conference on Software Testing Verification and …, 2009	34	2009
Constraint-based program debugging using data structure repair MZ Malik, JH Siddiqui, S Khurshid 2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011	27	2011
Ranger: Parallel analysis of alloy models by range partitioning N Rosner, JH Siddiqui, N Aguirre, S Khurshid, MF Frias 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	18	2013
An empirical study of structural constraint solving techniques JH Siddiqui, S Khurshid International Conference on Formal Engineering Methods, 88-106, 2009	17	2009
Intermittent asynchronous peripheral operations A Branco, L Mottola, MH Alizai, JH Siddiqui Proceedings of the 17th Conference on Embedded Networked Sensor Systems, 55-67, 2019	16	2019
Efficient intermittent computing with differential checkpointing S Ahmed, NA Bhatti, MH Alizai, JH Siddiqui, L Mottola Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019	16	2019
Staged symbolic execution JH Siddiqui, S Khurshid Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1339-1346, 2012	15	2012
Ranged model checking D Funes, JH Siddiqui, S Khurshid ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012	12	2012
On intermittence bugs in the battery-less internet of things (WIP paper) A Maioli, L Mottola, MH Alizai, JH Siddiqui Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019	11	2019
The betrayal of constant power× time: Finding the missing joules of transiently-powered computers S Ahmed, A Bakar, NA Bhatti, MH Alizai, JH Siddiqui, L Mottola Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019	11	2019
Optimizing a structural constraint solver for efficient software checking JH Siddiqui, D Marinov, S Khurshid 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009	10	2009
Symbolic execution of Alloy models JH Siddiqui, S Khurshid International Conference on Formal Engineering Methods, 340-355, 2011	8*	2011
Symbolic execution of stored procedures in database management systems MS Mahmood, M Abdul Ghafoor, JH Siddiqui Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016	7	2016
Incremental symbolic execution for automated test suite maintenance S Makhdoom, MA Khan, JH Siddiqui Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	6	2014
Scaling symbolic execution using staged analysis JH Siddiqui, S Khurshid Innovations in Systems and Software Engineering 9 (2), 119-131, 2013	6	2013
Improving systematic constraint-driven analysis using incremental and parallel techniques JH Siddiqui TEXAS UNIV AT AUSTIN, 2012	6	2012
Towards smaller checkpoints for better intermittent computing S Ahmed, MH Alizai, JH Siddiqui, NA Bhatti, L Mottola 2018 17th ACM/IEEE International Conference on Information Processing in …, 2018	5	2018
Battery-less zero-maintenance embedded sensing at the mithræum of circus maximus M Afanasov, NA Bhatti, D Campagna, G Caslini, FM Centonze, K Dolui, ... Proceedings of the 18th Conference on Embedded Networked Sensor Systems, 368-381, 2020	4	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors