Share this page
    Project Tuva Enhanced Video Player
    Project Tuva Enhanced Video Player
    Share this page E-mail this page Print this page RSS feeds
    Home  > People > Amitabh Srivastava
    Amitabh Srivastava

    Senior Vice President
    Windows Azure
    Microsoft Corporation

    Amitabh Srivastava is a Senior Vice President at Microsoft with responsiblity for Windows Azure, the company's new operating system for the cloud.

    Srivastava joined Microsoft in 1997 as a Senior Researcher and led the Advanced Development Tools group in Microsoft Research that investigated new techniques to build innovative tools and technologies to improve performance and quality of Microsoft software. His vision and energy led to the creation of the Programmer Productivity Research Center (PPRC) in March 1999, which he has led since its inception. Srivastava's PPRC group, now known as Center for Software Excellence (CSE), has produced several tools and technologies that are critical to Microsoft product groups. Srivastava and his team's work was highlighted in the Forbes magazine in May, 2003.

    In January 2001, Srivastava became one of a select few to be named a Distinguished Engineer, now known as Technical Fellow.

    Srivastava joined Windows in December 2003 as Corporate Vice President of the Windows Core OS development to redefine the engineering process for Windows Vista. He was responsible for the development of core operating system components such as the kernel, operating system architecture, definition of development processes, and development of advanced tools to automate the development processes. Srivastava's work in defining the Windows engineering process was discussed in the Wall Street Journal in September, 2005.

    In late 2006, with Dave Cutler he started 'project Red Dog' to build the operating system for the cloud. Project Red Dog was announced as 'Windows Azure' at PDC 2008.

    Before working for Microsoft, Srivastava was the chief technical officer and Vice President of engineering at TracePoint Technology Inc., a spin-off company from Digital Equipment Corp. He joined Digital's Western Research Labs (DEC WRL) in Palo Alto, Calif. in 1991. Srivastava's research on binary code modification at DEC WRL resulted in the creation of TracePoint. He started his career as a researcher at Texas Instruments Inc.'s Research Labs in Dallas, Texas in 1984 after graduating from Pennsylvania State University.

    Srivastava holds 14 patents and has published a variety of papers. His paper on ATOM with Alan Eustace in PLDI 1994 received the Most Influential PLDI Paper Award in June 2005. He is the author of OM, ATOM and SCOOPS software systems, which have resulted in products for Digital Equipment and Texas Instruments on the Alpha and PC platforms. He led the design and development of Vulcan, a second-generation binary transformation system, at Microsoft. Vulcan is the foundation of a wide variety of tools developed at PPRC.

    Srivastava delivered the commencement address titled Fourth and Goal in the College of Engineering graduation ceremonies at Pennsylvania State University, University Park on May 16, 2008. (transcript of the commencement address)

    Srivastava earned a bachelor's degree in Electrical Engineering from the Indian Institute of Technology, Kanpur, India, and a master's degree in Computer Science from Pennsylvania State University, University Park, PA. The Indian Institute of Technology, Kanpur awarded him Distinguished Alumnus Award in 2004. The Pennsylvania State University named him an Outstanding Engineering Alumnus in 2004 and inducted him as an Alumni Fellow in 2009.

    Software Systems

    • Scout (Echelon): Test prioritization system (Windows)
    • Vulcan : A second-generation, binary transformation system for distributed environments (Windows)
    • ATOM : System for building customized Program Analysis Tools (Alpha/Unix)
    • OM : A binary code optimization system (Alpha/Unix)
    • PC OM : An ATOM/OM infrastructure for the Intel x86.
    • SCOOPS: Scheme Object Oriented Programming System.
    • Scheme/L: An integration of Logic and Functional Programming (Lisp Machines)

     

    Selected Papers

    • Amitabh Srivastava and Alan Eustace. Retrospective: ATOM - A System for Building Customized Program Analysis Tools. 20 Years of the ACM/SIGPLAN Conference on Programming Language Design and Implementation (1979-1999): A Selection, 2003
    • Amitabh Srivastava and Jay Thiagarajan. Effectively Prioritizing Tests in Development Environment, International Symposium on Software Testing and Analysis, 2002, to appear.  Also available as Microsoft Research Technical Report MSR-TR-2002-15.
    • Amitabh Srivastava, Andrew Edwards, Hoi, Vo. Vulcan: Binary transformation in distributed environment, Microsoft Research Technical Report, MSR-TR-2001-50, April 2001.
    • Amitabh Srivastava and Alan Eustace. ATOM - A System for Building Customized Program Analysis Tools. Symposium on Programming Language Design and Implementation, 1994, pp 196-205. Also available as WRL Research Report 94/2.
    • Amitabh Srivastava and David Wall. A Practical System for Intermodule Code Optimization at Link-Time. Journal of Programming Languages, vol 1, no 1, pages 1-18, March 1993. Also available as WRL Research Report 92/6.
    • Amitabh Srivastava and David W. Wall. Link-Time Optimization of Address Calculation on a 64-bit Architecture. Symposium on Programming Language Design and Implementation, 1994, pp 49-60. Also available as WRL Research Report 94/2.
    • Alan Eustace and Amitabh Srivastava. ATOM: A Flexible Interface for Building High Performance Program Analysis Tools. USENIX Winter Conference, 1995, pp 303-314.
    • Amitabh Srivastava. Unreachable Procedures in Object-Oriented Programming. ACM Letters on Programming Languages and Systems 1(4): 355-364 (1992). Also available as WRL Research Report 93/4.
    • Jeffrey C. Mogul, Joel F. Bartlett, Robert N. Mayo, Amitabh Srivastava. Performance Implications of Multiple Pointer Sizes. USENIX Winter Conference, 1995, pp 187-200. Also available as WRL Research Report 94/7.
    • Brad Calder, Dirk Grunwald, and Amitabh Srivastava. The Predictability of Branches in Libraries , 28th International Symposium on Microarchitecture, pages 24-34, November 1995, Also available as WRL Research Report 95/6.
    • Amitabh Srivastava, Don Oxley and Aditya Srivastava: An(other) Integration of Logic and Functional Programming. IEEE Symposium on Logic programming 1985, pages 254-260.
    • David Wall, Amitabh Srivastava and Fred Templin: A Note on Hennessy's "Symbolic Debugging of Optimized Code". ACM Transactions of Programming Language and Systems 7(1): 176-181 (1985).
    • Amitabh Srivastava. Recovery of Noncurrent Variables in Source-Level Debugging of Optimized Code, Foundations of Software Technology and Theoretical Computer Science, Sixth Conference Proceedings. Nori, K. V. (ed.). Springer-Verlag (1986): 36-56.
    • Amitabh Srivastava. SCOOPS: Scheme Object Oriented Programming System. Texas Instruments Technical Report. 1986. http://www.cs.cmu.edu/Groups/AI/lang/scheme/oop/scoops/0.html

     

    Selected Talks

     

    Issued Patents

    • US Patent 7,496,904, "Mining dependencies for testing and risk management", issued February 24, 2009.
    • US Patent 7,197,748, "Translation and transformation of heterogeneous programs", issued March 27, 2007.
    • US Patent 7,028,290, "Method and apparatus for prioritizing software tests", issued April 11, 2006.
    • US Patent 6,802,056, "Translation and transformation of heterogeneous programs", issued October 5,2004.
    • US Patent 6,662,356, "Application program interface for transforming heterogeneous programs", issued December 9, 2003.
    • US Patent 6,609,248, "Cross module representation of heterogeneous programs", issued August 19, 2003.
    • US Patent 6,481,008, "Instrumentation and optimization tools for heterogeneous programs ", issued November 12, 2002.
    • US Patent 6,460,178, "Shared library optimization for heterogeneous programs", issued October 1, 2002
    • US Patent 5,999,737, "Link time optimization via dead code elimination, code motion, code partitioning, code grouping, loop analysis with code motion, loop invariant analysis and active variable to register analysis", issued December 7, 1999.
    • US Patent 5,966,539, "Link time optimization with translation to intermediate program and following optimization techniques including program analysis code motion live variable set generation order analysis, dead code elimination and load invariant analysis", issued October 12, 1999.
    • US Patent 5,963,740, "System for monitoring computer system performance", issued October 5, 1999.
    • US Patent 5,732,273, "System for monitoring compute system performance ", issued March 24, 1998.
    • US Patent 5,539,907, "System for monitoring computer system performance ", issued July 23, 1996.
    • US Patent 5,457,799, "Optimizer for program loops ", issued October 10, 1995