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

SPLASH 2020	Committee Member in External Review Committee within the OOPSLA-track Sponsorship Chair in Organizing Committee
ICSE 2020	Session Chair of P27-Applications (part of Paper Presentations) Author of BCFA: Bespoke Control Flow Analysis for CFA at Scale within the Technical Papers-track Programme Committee in Program Committee within the Technical Papers-track Committee Member in Program Committee within the Demonstrations-track
ESEC/FSE 2018	Committee Member in Program Committee within the Demonstrations-track Author of On Accelerating Source Code Analysis At Massive Scale within the Journal-First-track
SPLASH 2017	Committee 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 2016	Programme Committee in Program Committee within the OOPSLA Artifacts-track
SPLASH 2015	Author 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