A. Lal

发表

Shuvendu K. Lahiri, A. Lal, S. Qadeer, 2012 .

Matthew J. Parkinson, A. Lal, U. Agarwal, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Akash Lal, Shaz Qadeer, A. Lal, 2014, SIGSOFT FSE.

Shuvendu K. Lahiri, Akash Lal, Shaz Qadeer, 2012, CAV.

Akash Lal, Kaushik Rajan, Malavika Samak, 2017, SOSP.

Thomas W. Reps, Akash Lal, Aditya V. Thakur, 2010, CAV.

Tayssir Touili, Thomas W. Reps, Akash Lal, 2008, TACAS.

Thomas W. Reps, Akash Lal, Nicholas Kidd, 2007, FSTTCS.

Tayssir Touili, Thomas W. Reps, Akash Lal, 2007, SAS.

Thomas Reps, Akash Lal, Nicholas Kidd, 2007 .

Thomas Reps, Akash Lal, Nicholas Kidd, 2007 .

Thomas W. Reps, Akash Lal, A. Lal, 2006, CAV.

Thomas Reps, Tayssir Touili, Akash Lal, 2006 .

Thomas W. Reps, Gogul Balakrishnan, Akash Lal, 2005, CAV.

Akash Lal, Suvam Mukherjee, Pantazis Deligiannis, 2020, Proc. ACM Program. Lang..

Aseem Rastogi, Deepak Garg, Hamed Nemati, 2019, EuroSys.

William R. Harris, Sriram K. Rajamani, Akash Lal, 2010, SAS.

Zvonimir Rakamaric, Akash Lal, Michael Emmi, 2015, TACAS.

Sanjit A. Seshia, Sriram K. Rajamani, Akash Lal, 2016, PLDI.

Aseem Rastogi, Akash Lal, Suvam Mukherjee, 2020, 2021 Formal Methods in Computer Aided Design (FMCAD).

Cheng Huang, Wolfram Schulte, Alastair F. Donaldson, 2016, FAST.

Aseem Rastogi, A. Lal, Pantazis Deligiannis, 2023, ArXiv.

A. Lal, S. Qadeer, Pantazis Deligiannis, 2021, SoCC.

Akash Lal, Shaz Qadeer, Pantazis Deligiannis, 2020, ArXiv.

Akash Lal, Ankush Desai, Shaz Qadeer, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).

A. Lal, Pantazis Deligiannis, Chris Lovett, 2023 .

Constantin Enea, Akash Lal, Jyothi Vedurada, 2021, Proc. ACM Program. Lang..

Mohamed Faouzi Atig, Ahmed Bouajjani, Akash Lal, 2012, CAV.

Shuvendu K. Lahiri, Chetan Bansal, Akash Lal, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).

Shuvendu K. Lahiri, Yi Li, Akash Lal, 2015, CAV.

Zvonimir Pavlinovic, Rahul Sharma, Akash Lal, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

Chi-Hua Chen, Thomas W. Reps, Gogul Balakrishnan, 2005, CAV.

Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen, 2015, Lecture Notes in Computer Science.

Aditya Kanade, Rahul Kumar, Akash Lal, 2014, MSR 2014.

Sorav Bansal, Akash Lal, Sandeep Bindal, 2012, ISSTA.

Shuvendu K. Lahiri, Akash Lal, Saurabh Joshi, 2012, POPL '12.

Thomas W. Reps, Akash Lal, Junghee Lim, 2009, International Journal on Software Tools for Technology Transfer.