Hridesh Rajan

Affiliations: 
Computer Science Iowa State University, Ames, IA, United States 
Area:
Computer Science
Google:
"Hridesh Rajan"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Long Y, Rajan H. (2016) A Type-and-effect system for asynchronous, typed events Modularity 2016 - Proceedings of the 15th International Conference On Modularity. 42-53
Long Y, Bagherzadeh M, Upadhyaya G, et al. (2016) On ordering problems in message passing software Modularity 2016 - Proceedings of the 15th International Conference On Modularity. 54-65
Long Y, Liu YD, Rajan H. (2015) Intensional effect polymorphism Leibniz International Proceedings in Informatics, Lipics. 37: 346-370
Upadhyaya G, Rajan H. (2015) Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 840-859
Nguyen HA, Dyer R, Nguyen TN, et al. (2015) Consensus-based mining of API preconditions in big code Splash Companion 2015 - Companion Proceedings of the 2015 Acm Sigplan International Conference On Systems, Programming, Languages and Applications: Software For Humanity. 5-6
Dyer R, Rajan H, Nguyen TN, et al. (2015) Demonstrating programming language feature mining using boa Splash Companion 2015 - Companion Proceedings of the 2015 Acm Sigplan International Conference On Systems, Programming, Languages and Applications: Software For Humanity. 13-14
Dyer R, Nguyen HA, Rajan H, et al. (2015) Boa: Ultra-large-scale software repository and source-code mining Acm Transactions On Software Engineering and Methodology. 25
Bagherzadeh M, Dyer R, Fernando RD, et al. (2015) Modular reasoning in the presence of event subtyping Acm International Conference Proceeding Series. 16: 117-132
Bagherzadeh M, Rajan H. (2015) Panini: A concurrent programming model for solving pervasive and oblivious interference Acm International Conference Proceeding Series. 16: 93-108
Rajan H, Nguyen TN, Leavens GT, et al. (2015) Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence Proceedings - International Conference On Software Engineering. 2: 579-582
See more...