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 |
MGSHSS Academic Advising Unit
MGSHSS Academic Advising Unit (AAU) aims to assist students in identifying and meeting their academic targets. Through proactive communication with students, the unit aims to develop educational plans and success strategies that will help students excel at MGSHSS. By relying on institutional data, the AAU’s goal is to provide students with academic support and resources in the most efficient manner.
Contact Us
MGSHSS Academic Advising Unit is here to help. Reach out and let us know what we can do to help.
Email: undergradadvising.mgshss@lums.edu.pk
Visit Us
MGSHSS Academic Advising
Address
LUMS DHA, Lahore Cantt. 54792,
Lahore, Pakistan
Tel: +92 42 3560 8000 Ext. 8182, 4452