Hridesh Rajan

Registered user since Wed 1 Oct 2014

Name: Hridesh Rajan

Bio: Hridesh Rajan is an associate professor of computer science at Iowa State University, where he works at the intersection of software engineering and programming languages. He leads two research projects: Panini, whose goals are to enable modular reasoning about concurrent programs, and Boa that was established in Summer 2012 as an end-to-end infrastructure for analyzing large-scale software repositories.

Country: United States

Affiliation: Iowa State University, USA

Personal website: http://www.cs.iastate.edu/~hridesh

Research interests: Modularity, Modular Reasoning, Programming Languages, Software Engineering

Contributions

REBLS 2015 Committee Member in Program Committee within the REBLS-track
GPCE 2015 Committee Member in Program Committee within the GPCE-track
SPLASH 2015 Demonstrating Programming Language Feature Mining Using Boa
Consensus-based Mining of API Preconditions in Big Code
Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine
Mining Programming Language Usage with Boa
Show activities from other conferences

SPLASH 2015-profile
View general profile