REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of

Source URL: web.eecs.umich.edu

• Computing
• Programming language implementation
• Parallel computing
• Debugging
• Optimizing compiler
• X86
• Computer engineering

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs

Source URL: qav.comlab.ox.ac.uk

• Parallel computing
• Application programming interfaces
• Computer programming
• Message Passing Interface
• Computing
• Edsger W. Dijkstra
• Deadlock
• NC
• Software engineering
• Model checking

Microsoft PowerPoint - applied period_Dherminder Sharma

Source URL: www.mscef.uni-freiburg.de

Building Consistent Transactions with Inconsistent Replication Irene Zhang Naveen Kr. Sharma Adriana Szekeres Arvind Krishnamurthy Dan R. K. Ports

Source URL: irenezhang.net

H ANSEL: Diagnosing Faults in OpenStack Dhruv Sharma∗ Rishabh Poddar∗ Kshiteej Mahajan

Source URL: rishabhpoddar.com

TO: RS Sharma Chairman, Telecom Regulatory Authority of India CC: Vinod Kotwal Advisor (F&EA), Telecom Regulatory Authority of India

Source URL: blog.mozilla.org

Professor Ashutosh Sharma  Secretary to the Government of India,    Department of Science and Technology    Ashutosh  Sharma  is  the  Secretary,  Department  of  Science  and  Technology, 

Source URL: dst.gov.in

Approximating Fair Queueing on Reconfigurable Switches Naveen Kr. Sharma∗ Ming Liu∗ Abstract

Source URL: homes.cs.washington.edu

1 Bioethical issues concerning the public and private archives. Aarti Sharma LUNAR MISSION ONE

Source URL: my.lunarmissionone.com

Vinay Sharma Director, ni2designs Gireesh M. Scientist, ISRO APPLICATION

Source URL: www.magnitudesigns.com