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
Research interests:Programming Languages, Concurrent Programming, Program Analysis, Mining Software Repositories, Blockchain

Contributions

SPLASH 2021 Sponsorship Co-Chair in Organizing Committee
ECOOP and ISSTA 2021 Committee Member in Program Committee within the Doctoral Symposium-track
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