ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Journal / Conference

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 3.

Mukherjee, S and Deligiannis, P and Biswas, A and Lal, A (2020) Learning-based controlled concurrency testing. In: Proceedings of the ACM on Programming Languages, 4 (OOPSLA).

Rama, GM and Komondoor, R and Sharma, H (2018) Refinement in object-sensitivity points-to analysis via slicing. In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA).

Ezudheen, P and Neider, D and D'Souza, D and Garg, P and Madhusudan, P (2018) Horn-ice learning for synthesizing invariants and contracts. In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA).

This list was generated on Sat Dec 21 20:01:14 2024 IST.
Powered by EPrints A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India