Nirav Dave

Microsoft Research (United Kingdom) — United Kingdom

Computer Science · Physical Sciences

17h-index863citations37works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Embedded Systems Design Techniques(17), Parallel Computing and Optimization Techniques(16), Distributed systems and fault tolerance(7), Interconnection Networks and Systems(7), Formal Methods in Verification(6)

Publications37 total

ML-CGRA: An Integrated Compilation Framework to Enable Efficient Machine Learning Acceleration on CGRAs
2023· 25 cited
Effectiveness of Proprioceptive Neuromuscular Facilitation Technique along with the Therapeutic Electrical Stimulation Protocol in Subjects with Foot Drop - An Experimental Study
International Journal of Science and Research (IJSR)·2021· 1 citedOpen Access
Fast Protection-Domain Crossing in the CHERI Capability-System Architecture
IEEE Micro·2016· 34 citedOpen Access
Modular Research-Based Composably Trustworthy Mission-Oriented Resilient Clouds (MRC2)
2016· 1 cited
Blueswitch: enabling provably consistent configuration of network switches
2015· 20 cited
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
2015· 257 citedOpen Access
Modular Deductive Verification of Multiprocessor Hardware Designs
Lecture notes in computer science·2015· 32 cited
Music and the Myth of Universality: Sounding Human Rights and Capabilities
Journal of Human Rights Practice·2014· 50 citedOpen Access
Smten with satisfiability-based search
2014· 13 cited
Smten with satisfiability-based search
ACM SIGPLAN Notices·2014· 7 cited
Smten with Satisability-Bas ed Search THREADS 2014
2014
Modular compilation of guarded atomic actions
2013· 5 cited
Enabling Hardware Exploration in Software-Defined Networking: A Flexible, Portable OpenFlow Switch
2013· 24 cited
Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries
Lecture notes in computer science·2013· 9 cited
Automatic generation of hardware/software interfaces
2012· 17 cited
Automatic generation of hardware/software interfaces
ACM SIGPLAN Notices·2012· 5 cited
Automatic generation of hardware/software interfaces
ACM SIGARCH Computer Architecture News·2012· 5 cited
CHERI: a research platform deconflating hardware virtualisation and protection
UCL Discovery (University College London)·2012· 13 cited
Verification of microarchitectural refinements in rule-based systems
2011· 7 cited
A unified model for hardware/software codesign
DSpace@MIT (Massachusetts Institute of Technology)·2011· 4 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Arvind Arvind(14), Myron King(7), Muralidaran Vijayaraghavan(6), Peter G. Neumann(5), Man Cheuk Ng(5), Robert N. M. Watson(4), Jonathan Woodruff(4), Simon W. Moore(4), Jonathan Anderson(4), Kermin Fleming(4), Michael Pellauer(4), Richard Uhler(4), Brooks Davis(3), Ben Laurie(3), Steven J. Murdoch(3), Robert M. Norton(3), Michael Roe(3), G. Raghavan(3), David Chisnall(2), Khilan Gudka(2)