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 Sun Apr 21 01:11:22 2024 IST.