Ganesha Upadhyaya

Registered user since Fri 11 Sep 2015

Name: Ganesha Upadhyaya

Bio: I am currently a Research Engineer at Harmony.one, Mountain View, CA. I work on blockchain network, protocol, and smart contract verification. Previously, I was a Senior Staff Researcher at Futurewei Technologies (Huawei R&D), Champaign, IL, where I worked on researching and developing compiler, runtime, and frameworks for Huawei’s mobile, cloud, and IoT solutions. In addition, impactful software engineering research has always been my passion.

Country: United States

Affiliation: Harmony.one

Personal website: http://web.cs.iastate.edu/~ganeshau/

Research interests: Programming Languages, Concurrent Programming, Program Analysis, Mining Software Repositories, Blockchain

Contributions

ICSE 2020Programme Committee in Program Committee within the Technical Papers-track
Committee Member in Program Committee within the Demonstrations-track
ESEC/FSE 2018Committee Member in Program Committee within the Demonstrations-track
Author of On Accelerating Source Code Analysis At Massive Scale within the Journal-First-track
SPLASH 2017Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-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 Collective Program Analysis within the Technical Papers -track
Author of Poster F39: Hybrid Traversal: Efficient Source Code Analysis at Scale within the Posters -track
Modularity 2016 Author of On Ordering Problems in Message Passing Software within the Research Results-track
SPLASH 2016Programme Committee in Program Committee within the OOPSLA Artifacts-track
SPLASH 2015Author of Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine within the OOPSLA-track
AGERE!Author of An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks within the AGERE!-track