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 |
Mahbub ul Haq Research Centre at LUMS
Postal Address
LUMS
Sector U, DHA
Lahore Cantt, 54792, Pakistan
Office Hours
Mon. to Fri., 8:30 a.m. to 5:00 p.m.