Junaid Haroon Siddiqui

Cited by

	All	Since 2017
Citations	445	300
h-index	12	10
i10-index	13	10

200920102011201220132014201520162017201820192020202120222 7 7 27 18 21 31 24 31 40 37 78 85 29

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Muhammad Hamad AlizaiAssociate Professor of Computer Science, LUMSVerified 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
Saad AhmedPostdoctoral Scholar, Electrical and Computer Engineering Department, Northwestern UniversityVerified email at northwestern.edu
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
Waqas Ur RehmanReserach Associate at Dept. of Computer Science University of SaskatchewanVerified email at usask.ca
Sarmad MakhdoomSoftware EngineerVerified email at sarmad.me
Hashim SharifPhd CandidateVerified email at illinois.edu
Ashish GehaniSRIVerified email at sri.com
Muhammad Faisal IqbalLampro Mellon, LahoreVerified email at utexas.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	59	2012
ParSym: Parallel symbolic execution JH Siddiqui, S Khurshid 2010 2nd international conference on software technology and engineering 1 …, 2010	54	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	31	2011
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	30	2019
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	24	2019
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	21	2013
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	18	2020
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	18	2019
An empirical study of structural constraint solving techniques JH Siddiqui, S Khurshid International Conference on Formal Engineering Methods, 88-106, 2009	16	2009
Staged symbolic execution JH Siddiqui, S Khurshid Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1339-1346, 2012	15	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	13	2019
Ranged model checking D Funes, JH Siddiqui, S Khurshid ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012	12	2012
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	9	2009
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	8	2016
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	7	2018
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
Symbolic execution of Alloy models JH Siddiqui, S Khurshid International Conference on Formal Engineering Methods, 340-355, 2011	6	2011

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

Follow this author

Cited by

Co-authors