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
Personal website: http://www.cs.iastate.edu/~hridesh
Research interests: Modularity, Modular Reasoning, Programming Languages, Software Engineering
- Session Chair of session Modular Design and Reasoning
- Committee Member in Program Committee for REBLS 2016
- Author of Panel - The Future of Advanced Modularity Techniques within the FOAL 2016-track in FOAL 2016
- Committee Member in Program Committee for REBLS 2015
- Author of On Ordering Problems in Message Passing Software within the Research Results-track in Modularity 2016
- Author of A Type-and-Effect System for Asynchronous, Typed Events within the Research Results-track in Modularity 2016
- Author of Demonstrating Programming Language Feature Mining Using Boa within the Demos-track in SPLASH 2015
- Committee Member in Program Committee for GPCE 2015
- Author of Intensional Effect Polymorphism within the Research Track-track in ECOOP 2015
- Programme Committee in Program Committee for AGERE 2016 AGERE!
- Committee Member in Steering Committee for VMIL 2016
- Committee Member in Program Committee for META 2016
- Co-chair in Organizing Committee for Modularity 2017 Invited Talks
- Committee Member in Program Committee for IWACO
- Author of Consensus-based Mining of API Preconditions in Big Code within the Demos-track in SPLASH 2015
- Author of Session VII: Panel - Modularity Across the System Stack: Challenges and Opportunities (*Note: this panel session could be extended until 17:45) within the MASS 2016-track in MASS 2016
- Programme Committee in Program Committee for Reflect 2016
- Committee Member in Program Committee for Modularity 2016 Research Results
- Author of An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks within the AGERE!-track in AGERE!
- Author of Modular Reasoning in Capsule within the AGERE!-track in AGERE!
- Author of Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine within the OOPSLA-track in SPLASH 2015
- Author of Mining Programming Language Usage with Boa within the Tutorials-track in SPLASH 2015