Hridesh Rajan

Registered user since Wed 1 Oct 2014

Name: Hridesh Rajan

Bio: Hridesh Rajan is a full professor of Computer Science at Iowa State University, where he has been since 2005. Professor Rajan earned his MS and Ph.D. from the University of Virginia in 2004 and 2005 respectively. Professor Rajan’s recent research and educational activities are aimed at decreasing the barrier to entry to data-driven sciences to broaden participation. His work on the Boa project is aimed at invention and refinement of programming languages and cyberinfrastructures that democratize data-driven science & engineering, including software engineering. His work on the Midwest Big Data Summer School is experimenting with broadly accessible data science curricula. Professor Rajan was the founding general chair of the Midwest Big Data Summer School. Professor Rajan’s research interests also include programming language design and implementation, and software engineering. 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 and other open data sets. Professor Rajan is the director of the Laboratory for Software Design at Iowa State University, director of graduate admissions and recruitment for the Department of Computer Science, Professor-In-Charge of the Data Science education programs at Iowa State University, and chair of the information technology committee for the university. Professor Rajan serves on the steering committee of the Midwest Big Data Hub, a consortium of universities in the Midwest region of the United States focussed on promoting data science activities. Professor Rajan is a recipient of the National Science Foundation CAREER award in 2009, LAS Award for Early Achievement in Research in 2010, a Big-12 Fellowship in 2012. He is a 2018-19 Fulbright U.S. Scholar, a distinguished member of the ACM, and a member of IEEE, and AAAS. He is also the inaugural holder of the Kingland Professorship in the Department of Computer Science.

Country: United States

Affiliation: Iowa State University

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

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

Contributions

PASS 2019Committee Member in Program Committee within the PASS 2019 (CANCELED)-track
BenchWork 2019Author of A Benchmark for Understanding Data Science Software within the BenchWork -track
ASE 2019Committee Member in Program Committee within the Research Papers-track
MSR 2019Author of Boa Meets Python: A Boa Dataset of Data Science Software in Python Language within the MSR 2019 Data Showcase-track
VMIL 2018Committee Member in Steering Committee within the VMIL 2018-track
VMIL 2017Committee Member in Organizing Committee within the VMIL 2017-track
AGERE 2017Committee Member in Program Committee within the AGERE 2017-track
Author of Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency within the AGERE 2017-track
ESEC/FSE 2018Session Chair of WASPI workshop (part of WASPI)
Co-chair in Organizing Committee within the Doctorial Symposium-track
Author of On the Significance of Contract-Based Typestate Specification within the WASPI-track
Committee Member in Organizing Committee within the WASPI-track
Author of Large-Scale Study of Substitutability in the Presence of Effects within the Research Papers-track
Session Chair of Mining (part of Research Papers)
Author of On Accelerating Source Code Analysis At Massive Scale within the Journal-First-track
Author of Introductions, logistics within the Doctorial Symposium-track
Session Chair of Open Discussion: Benchmarks for Program Specification (part of WASPI)
Doctoral Symposium Co-Chair in Organizing Committee
Author of Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions within the WASPI-track
REBLS 2016Committee Member in Program Committee within the REBLS-track
META 2016Committee Member in Program Committee within the Meta 2016-track
VMIL 2016Committee Member in Steering Committee within the VMIL-track
AGERE 2016Programme Committee in Program Committee within the AGERE 2016-track
IWACO 2016Committee Member in Program Committee within the IWACO-track
FOAL 2016Author of Panel - The Future of Advanced Modularity Techniques within the FOAL 2016-track
MASS 2016Author 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
Reflect 2016Programme Committee in Program Committee within the Reflect 2016-track
SPLASH 2017Author of Bridging the Digital Divide in Data Science within the SPLASH-I-track
Author of Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining within the OOPSLA-track
* ICSE 2018 *Author of Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow within the Technical Papers -track
Author of Poster T48: An Algorithm and Tool to Infer Practical Postconditions within the Posters -track
Author of Poster F39: Hybrid Traversal: Efficient Source Code Analysis at Scale within the Posters -track
Author of Collective Program Analysis within the Technical Papers -track
Modularity 2016 Session Chair of Modular Design and Reasoning (part of Research Results)
Author of On Ordering Problems in Message Passing Software within the Research Results-track
Author of A Type-and-Effect System for Asynchronous, Typed Events within the Research Results-track
Committee Member in Program Committee within the Research Results-track
REBLS 2015Committee Member in Program Committee within the REBLS-track
SPLASH 2016Author of First-Class Effect Reflection for Effect-Guided Programming within the OOPSLA-track
GPCE 2015Committee Member in Program Committee within the GPCE-track
SPLASH 2015Author of Demonstrating Programming Language Feature Mining Using Boa within the Demos-track
Author of Consensus-based Mining of API Preconditions in Big Code within the Demos-track
Author of Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine within the OOPSLA-track
Author of Mining Programming Language Usage with Boa within the Tutorials-track
AGERE!Author of An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks within the AGERE!-track
Author of Modular Reasoning in Capsule within the AGERE!-track
ECOOP 2015Author of Intensional Effect Polymorphism within the Research Track-track
GPCE 2013Author of Declarative Visitors to Ease Fine-grained Source Code Mining with Full History on Billions of AST Nodes within the Research Papers-track
SPLASH 2013Committee Member in Program Committee within the OOPSLA-track
Author of Mining Source Code Repositories with Boa within the Demonstrations-track
Author of Panini: a Capsule-oriented Programming Language for Implicitly Concurrent Program Design within the Demonstrations-track
SPLASH 2012Author of Analyzing ultra-large-scale code corpus with boa within the Demos-track
Committee Member in External Reviewers within the OOPSLA Research Papers-track
Author of Boa: analyzing ultra-large-scale code corpus within the Posters-track
Chair in Program Committee within the Doctoral Symposium-track
VMIL 2012Committee Member in Organizers within the VMIL 2012-track