Precise micro-architectural modeling for WCET analysis via AI+SAT. - Abhijeet Banerjee; Sudipta Chattopadhyay 001; Abhik Roychoudhury (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Static Analysis Driven Cache Performance Testing. - Abhijeet Banerjee; Sudipta Chattopadhyay 001; Abhik Roychoudhury (RTSS, 2013)

Static analysis driven performance and energy testing. - Abhijeet Banerjee (SIGSOFT FSE, 2014)

Detecting energy bugs and hotspots in mobile apps. - Abhijeet Banerjee; Lee Kee Chong; Sudipta Chattopadhyay 001; Abhik Roychoudhury (SIGSOFT FSE, 2014)

Energy-aware design patterns for mobile application development (invited talk). - Abhijeet Banerjee; Abhik Roychoudhury (DeMobile@SIGSOFT FSE, 2014)

Debugging energy-efficiency related field failures in mobile apps. - Abhijeet Banerjee; Hai-Feng Guo; Abhik Roychoudhury (MOBILESoft, 2016)

Automated re-factoring of Android apps to enhance energy-efficiency. - Abhijeet Banerjee; Abhik Roychoudhury (MOBILESoft, 2016)

On Testing Embedded Software. - Abhijeet Banerjee; Sudipta Chattopadhyay 001; Abhik Roychoudhury (Adv. Comput., 2016)

Future of Mobile Software for Smartphones and Drones: Energy and Performance. - Abhijeet Banerjee; Abhik Roychoudhury (MOBILESoft@ICSE, 2017)

EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps. - Abhijeet Banerjee; Lee Kee Chong; Clément Ballabriga; Abhik Roychoudhury (IEEE Trans. Software Eng., 2018)