Manuvir Das

15 papers and 735 indexed citations i.

Manuvir Das has authored 15 papers that have received a total of 735 indexed citations. This includes 12 papers in Software, 10 papers in Artificial Intelligence and 6 papers in Information Systems. The topics of these papers are Software Testing and Debugging Techniques (12 papers), Logic, programming, and type systems (6 papers) and Software Engineering Research (6 papers). Manuvir Das is often cited by papers focused on Software Testing and Debugging Techniques (12 papers), Logic, programming, and type systems (6 papers) and Software Engineering Research (6 papers) and collaborates with scholars based in United States, United Kingdom and Finland. Manuvir Das's co-authors include Manuel Fähndrich, Jakob Rehof, Stephen Adams, James R. Larus and Thomas Reps and has published in prestigious journals such as IEEE Software and ACM SIGPLAN Notices