Skip to main content
  • Academic Report 2023-24
  • Admissions
  • Donate
  • Student Noticeboard
  • Give a Day to LUMS
  • Campus Health
  • News
  • Events
  • Contact

Lums Logo

learning without borders

Error message

  • Deprecated function: oci_fetch_all(): Passing null to parameter #3 ($offset) of type int is deprecated in Drupal\upm_user_profile\Controller\ProfileController->get_user_publications() (line 151 of modules/custom/upm_user_profile/src/Controller/ProfileController.php). 
    Drupal\upm_user_profile\Controller\ProfileController->get_user_publications('178') (Line: 45)
Drupal\upm_user_profile\Controller\ProfileController->genrate('3361')
call_user_func_array(Array, Array) (Line: 123)
Drupal\Core\EventSubscriber\EarlyRenderingControllerWrapperSubscriber->Drupal\Core\EventSubscriber\{closure}() (Line: 580)
Drupal\Core\Render\Renderer->executeInRenderContext(Object, Object) (Line: 124)
Drupal\Core\EventSubscriber\EarlyRenderingControllerWrapperSubscriber->wrapControllerExecutionInRenderContext(Array, Array) (Line: 97)
Drupal\Core\EventSubscriber\EarlyRenderingControllerWrapperSubscriber->Drupal\Core\EventSubscriber\{closure}() (Line: 169)
Symfony\Component\HttpKernel\HttpKernel->handleRaw(Object, 1) (Line: 81)
Symfony\Component\HttpKernel\HttpKernel->handle(Object, 1, 1) (Line: 58)
Drupal\Core\StackMiddleware\Session->handle(Object, 1, 1) (Line: 48)
Drupal\Core\StackMiddleware\KernelPreHandle->handle(Object, 1, 1) (Line: 191)
Drupal\page_cache\StackMiddleware\PageCache->fetch(Object, 1, 1) (Line: 128)
Drupal\page_cache\StackMiddleware\PageCache->lookup(Object, 1, 1) (Line: 82)
Drupal\page_cache\StackMiddleware\PageCache->handle(Object, 1, 1) (Line: 48)
Drupal\Core\StackMiddleware\ReverseProxyMiddleware->handle(Object, 1, 1) (Line: 51)
Drupal\Core\StackMiddleware\NegotiationMiddleware->handle(Object, 1, 1) (Line: 23)
Stack\StackedHttpKernel->handle(Object, 1, 1) (Line: 718)
Drupal\Core\DrupalKernel->handle(Object) (Line: 19)
  • Deprecated function: oci_fetch_all(): Passing null to parameter #4 ($limit) of type int is deprecated in Drupal\upm_user_profile\Controller\ProfileController->get_user_publications() (line 151 of modules/custom/upm_user_profile/src/Controller/ProfileController.php). 
    Drupal\upm_user_profile\Controller\ProfileController->get_user_publications('178') (Line: 45)
Drupal\upm_user_profile\Controller\ProfileController->genrate('3361')
call_user_func_array(Array, Array) (Line: 123)
Drupal\Core\EventSubscriber\EarlyRenderingControllerWrapperSubscriber->Drupal\Core\EventSubscriber\{closure}() (Line: 580)
Drupal\Core\Render\Renderer->executeInRenderContext(Object, Object) (Line: 124)
Drupal\Core\EventSubscriber\EarlyRenderingControllerWrapperSubscriber->wrapControllerExecutionInRenderContext(Array, Array) (Line: 97)
Drupal\Core\EventSubscriber\EarlyRenderingControllerWrapperSubscriber->Drupal\Core\EventSubscriber\{closure}() (Line: 169)
Symfony\Component\HttpKernel\HttpKernel->handleRaw(Object, 1) (Line: 81)
Symfony\Component\HttpKernel\HttpKernel->handle(Object, 1, 1) (Line: 58)
Drupal\Core\StackMiddleware\Session->handle(Object, 1, 1) (Line: 48)
Drupal\Core\StackMiddleware\KernelPreHandle->handle(Object, 1, 1) (Line: 191)
Drupal\page_cache\StackMiddleware\PageCache->fetch(Object, 1, 1) (Line: 128)
Drupal\page_cache\StackMiddleware\PageCache->lookup(Object, 1, 1) (Line: 82)
Drupal\page_cache\StackMiddleware\PageCache->handle(Object, 1, 1) (Line: 48)
Drupal\Core\StackMiddleware\ReverseProxyMiddleware->handle(Object, 1, 1) (Line: 51)
Drupal\Core\StackMiddleware\NegotiationMiddleware->handle(Object, 1, 1) (Line: 23)
Stack\StackedHttpKernel->handle(Object, 1, 1) (Line: 718)
Drupal\Core\DrupalKernel->handle(Object) (Line: 19)

portal

Home

  • Explore LUMS

    • About LUMS
    • Office of the Vice Chancellor
    • Office of the Provost
    • Offices at LUMS
    • Rankings and Accreditation
    • News & Events
    • Resources
    • University Advisory Board
    • History
    • Contact Us

  • Admissions

    • Programme Finder
    • Admissions Home
    • Undergraduate Programmes
    • Graduate Programmes
    • Financial Aid and Scholarships
    • National Outreach Programme
    • International Students
    • Why LUMS
    • Apply Now

  • Academics

    • Suleman Dawood School of Business
    • Mushtaq Ahmad Gurmani School of Humanities and Social Sciences
    • Syed Babar Ali School of Science and Engineering
    • Shaikh Ahmad Hassan School of Law
    • Syed Ahsan Ali and Syed Maratib Ali School of Education
    • Executive Education
    • Continuing Education

  • Faculty & Research

    • Faculty Profiles
    • Research and Innovation
    • Centres

  • Alumni

    • Alumni Relations
    • Alumni Benefits
    • VC Alumni Achievement Awards
    • Alumni Annual

  • Donors

    • Giving to LUMS
    • Give a day to LUMS Campaign
    • LUMS Supporters
lums employee profile image
Dr. Junaid Haroon Siddiqui
Associate Professor
Syed Babar Ali School of Science and Engineering
junaid.siddiqui@lums.edu.pk
  • Profile
  • Conferences, Publications and Journal Articles
Title Publication Author Year
Trimmer: An Automated System for Configuration-Based Software Debloating IEEE Transactions on Software Engineering 2022
Discovering the hidden anomalies of intermittent computing International Conference on Embedded Wireless Systems and Networks 2021
Battery-less zero-maintenance embedded sensing at the mithr??um of circus maximus SenSys 2020 - Proceedings of the 2020 18th ACM Conference on Embedded Networked Sensor Systems 2020
Demystifying Energy Consumption Dynamics in Transiently powered Computers ACM Transactions on Embedded Computing Systems 2020
Fast and Energy-Efficient State Checkpointing for Intermittent Computing ACM Transactions on Embedded Computing Systems 2020
Extending symbolic execution for automated testing of stored procedures Software Quality Journal 2020
Intermittent computing with dynamic voltage and frequency scaling International Conference on Embedded Wireless Systems and Networks 2020
Intermittent asynchronous peripheral operations SenSys 2019 - Proceedings of the 17th Conference on Embedded Networked Sensor Systems 2019
On intermittence bugs in the battery-less internet of things (WIP paper) Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) 2019
The betrayal of constant power ?? time: Finding the missing joules of transiently-powered computers Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) 2019
Efficient intermittent computing with differential checkpointing Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) 2019
Poster Abstract: Towards Smaller Checkpoints for Better Intermittent Computing Proceedings - 17th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2018 2018
Poster: Efficient iterative deepening for bounded exhaustive generation of complex structures Proceedings - International Conference on Software Engineering 2018
Poster: Efficiently finding minimal failing input in MapReduce programs Proceedings - International Conference on Software Engineering 2018
Advances in Software Model Checking Advances in Computers 2018
Experience Report: Verifying MPI Java Programs Using Software Model Checking Proceedings - International Symposium on Software Reliability Engineering, ISSRE 2017
Cross Platform Bug Correlation Using Stack Traces Proceedings - 14th International Conference on Frontiers of Information Technology, FIT 2016 2017
Poster Abstract: Incremental checkpointing for interruptible computations Proceedings of the 14th ACM Conference on Embedded Networked Sensor Systems, SenSys 2016 2016
Symbolic execution of stored procedures in database management systems ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering 2016
Effective Partial Order Reduction in Model Checking Database Applications Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016 2016
Verification of MPI Java programs using software model checking Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2016
Incremental symbolic execution for automated test suite maintenance ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering 2014
Ranger: Parallel analysis of alloy models by range partitioning 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings 2013
Scaling symbolic execution using staged analysis Innovations in Systems and Software Engineering 2013
Scaling symbolic execution using ranged analysis Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2012

footer logo

  • parent one

    • Student affairs
    • Academic calendar
    • library
    • pay online

  • Parent Two

    • Financial Statements
    • phone directory
    • emergency services
    • campus mail

  • parent three

    • contact us
    • Directions to LUMS
    • Careers
    • Privacy Policy
lets-talk

DHA, Lahore Cantt. 54792,     
Lahore, Pakistan

Phone: +92 42 3560 8000

  •  
  •  
  •  
  •  
  •  

Subscribe

 

Search for publications, programme, event, people and much more...

X

logo

 

We will get back to you shortly.
CAPTCHA
logo

 

We will get back to you shortly.
CAPTCHA
logo

 

We will get back to you shortly.
CAPTCHA

2024 © Lahore University of Management Sciences. All Rights Reserved.