Akash Lal
Orcid: 0009-0002-4359-9378
According to our database1,
Akash Lal
authored at least 70 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the 17th Innovations in Software Engineering Conference, 2024
Proceedings of the 14th Conference on Innovative Data Systems Research, 2024
2023
Proc. ACM Program. Lang., October, 2023
Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023
2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proc. ACM Program. Lang., 2021
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices.
Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Proceedings of the Formal Methods in Computer Aided Design, 2021
Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021
2020
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2019
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript).
CoRR, 2019
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2017
CoRR, 2017
Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation.
Comput. Lang. Syst. Struct., 2017
Proceedings of the 26th Symposium on Operating Systems Principles, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
CoRR, 2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
2013
Proceedings of the Fourth Workshop on Tools for Automatic Program Analysis, 2013
Proceedings of the Reachability Problems - 7th International Workshop, 2013
Proceedings of the International Symposium on Software Testing and Analysis, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012
Proceedings of the Static Analysis - 19th International Symposium, 2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Int. J. Softw. Tools Technol. Transf., 2011
2010
Proceedings of the Static Analysis - 17th International Symposium, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Formal Methods Syst. Des., 2009
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Static Analysis, 15th International Symposium, 2008
Proceedings of the Static Analysis, 15th International Symposium, 2008
2007
Proceedings of the Static Analysis, 14th International Symposium, 2007
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007
2006
Proceedings of the Programming Languages and Systems, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004