EDBT 2026 Demo / reviewers in the wild / expert
Mukesh Sharma
dblp:25/355
· DBLP profile ↗
4ranked-venue papers
1as first author
1since 2021 · last 2022
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2 · 1 first-authorArtificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021Theory of computation · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 94% Processor architecture and microarchitecture · 6% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › hardware verification and test › hardware verification
assertion-based verification |
0.1 | 1 | 2008 | Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008 |
Electronic design automation › hardware verification and test
formal verification |
0.1 | 1 | 2008 | Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008 |
Electronic design automation
hardware verification and test |
0.1 | 1 | 2008 | Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008 |
Electronic design automation › hardware verification and test
processor verification |
0.1 | 1 | 2008 | Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008 |
Electronic design automation › hardware verification and test › hardware verification
property checking |
0.1 | 1 | 2008 | Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008 |
Processor architecture and microarchitecture › multithreading
chip multithreading |
0.0 | 1 | 2008 | Assertion-based verification of a 32 thread SPARCTM CMT microprocessor · DAC 2008 |
Methods — techniques the papers use, named apart from their topics
simulation-based verification · 0.1formal verification · 0.1assertion checking · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Transformer Networks for Non-Intrusive Speech Quality PredictionabstractThis paper presents the details of our speech quality prediction system submitted to the Conferencing Speech-2022 challenge.The challenge involved the task of non-intrusive speech quality assessment intended for online conferencing applications.We propose two approaches for speech quality prediction in this work.The first approach uses a combination of deep convolutional neural network (CNN) and LSTM neural network with Kullback-Leibler (KL) loss function and cross entropy (CE) loss function for estimating the mean opinion scores (MOS).Our second approach uses transformer based encoder network before applying attention pooling.We observe that our proposed second method gives significant improvements compared to our first method as well as on the baselines provided by the challenge organizers with respect to Pearson Correlation Coefficient (PCC) and Spearman Rank Correlation Coefficient (SRCC) along with reductions in root mean square error (RMSE).The model is also seen to generalize for unseen data resources on the evaluation dataset. M. K. Jayesh, Mukesh Sharma, Praneeth Vonteddu, M. Ali Basha Shaik, Sriram Ganapathy |
INTERSPEECH | 2 |
| 2008 | Assertion-based verification of a 32 thread SPARCTM CMT microprocessorabstractExhaustive property checking, design defect isolation and functional coverage measurement are some of the key challenges of design verification. This paper describes how an assertion based approach successfully addressed these challenges for the verification of an enterprise class chip-multi-threaded (CMT) SPARC™ microprocessor. Methodology and experiences are discussed and recommendations are made on how to incorporate this into the design verification process. Experience with using assertion checks for formal verification as well as simulation based verification is presented, which is part of over 100 person year design verification effort. Babu Turumella, Mukesh Sharma |
DAC | 2 |
| 1999 | A Low-Power, High-Speed Implementation of a PowerPC(tm) Microprocessor Vector ExtensionabstractThe AltiVec/sup TM/ technology is an extension to the PowerPC architecture/sup TM/ which provides new computational and storage operations for handling vectors of various data lengths and data types. The first implementation using this technology is a low-cost, low-power processor based on the acclaimed PowerPC 750/sup TM/ microprocessor. This paper describes the microarchitecture and design of the vector arithmetic unit of this implementation. Martin S. Schmookler, Michael Putrino, Anh Mather, Jon Tyler, Huy Van Nguyen, Charles Roth, Mukesh Sharma, Mydung N. Pham, Jeff Lent |
IEEE Symposium on Computer Arithmetic | 7 |
| 1993 | Decremental Scattering for Data Transport Between Host and Hypercube NodesabstractThere are many parallel signal processing algorithms that are I/O bound. For such algorithms, fast data and program diStribution is very important. In this paper we study a new strategy for data: distribuUonfiom host to MIMD hypercube nodes. This strategy, based on scatteeng on hypercubes of decremental dimensions, perform much better than other strategies known today. It optimizes both the host and node utilization and also exploits the possible overlap in data sent i o different nodes. Mukesh Sharma, Meghanad D. Wagh |
ICPP (2) | 1 |