Recent News:
Guaranteeing bug-free software for critical embedded systems
Souping up hardware sim speed (2010 Annual Report)
New Computing Simulation Tool Nets Best Paper Award for Virginia Tech’s Shukla and Colleagues
Virginia Tech’s Shukla Invited to Frontiers of Engineering Symposium
Virginia Tech's Shukla Received Humboldt Foundation Award
Resilient, Sustainable Infrastructures (2009 Annual Report)
Creating a visual environment for safety-critical embedded software (2009 Annual Report)
Safety-critical embedded software: correct by construction? (2008 Annual Report)
Nano electronics bring mega design challenges (2008 Annual Report)
Embedded computers research by Virginia Tech's Shukla attracts national attention
Researchers from Virginia Tech and beyond meet to advance nanocomputing
New Defect-Tolerant Architectures Needed For Rampant Unreliability in Nanotechnology
Office: 341 Durham
Mailing Address: 302 Whittemore (0111)
Virginia Tech
Blacksburg, VA 24061
Tel: (540) 231-2133
Fax: (540) 231-3362
vt.edu Email: shukla
Affiliated Research Group
Center for Embedded Systems for Critical Applications (CESCA)
Title: Associate Professor
Education:
Ph.D., State University of New York at Albany, 1997
M.S., State University of New York at Albany, 1995
B.E., Jadavpur University, Calcutta, India, 1991
Teaching Interests:
Formal methods, System level design for hardware, software, and embedded systems, Network application design, Formal verification, Stochastic methods in embedded systems design, Embedded software engineering, System synthesis
Research Interests:
Formal methods, System level design languages and frameworks, Component based and platform based design, System level power management, Formal verification and its use in system design, Concurrency analysis, Embedded systems design and co-design, Software engineering for embedded aystems, Distributed object technology and its application in embedded systems design, Networked embedded systems, Self-stabilization and fault-tolerant distributed systems
Textbooks Published
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Ahuja, Sumit, Lakshminarayana, Avinash, Shukla, Sandeep K.
(Springer) 2012
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Singh, Gaurav, Shukla, Sandeep K.
(Springer) 2010
Synthesis of Embedded Software
Editors: Shukla, Sandeep K.; Talpin, Jean-Pierre
(Springer) 2010
Fundamental
Problems in Computing - Essays in Honor of Professor Daniel J. Rosenkrantz
Editors: Ravi, S.S.; Shukla, Sandeep K.
(Springer Netherlands) 2009
Metamodeling-Driven
IP Reuse for SoC Integration and Microprocessor Design
Authors: Mathaikutty, Deepak A.; Shukla, Sandeep
Copyright 2009
Ingredients
for Successful System Level Design Methodology
Authors: Patel, Hiren D., Shukla, Sandeep Kumar (Springer), 2008
SystemC Kernel Extensions for Heterogeneous System Modeling: A Framework for Multi-MoC Modeling & Simulation
Authors: Patel, Hiren D., Shukla, Sandeep Kumar
(Kluwer Academic (Springer) Publishers), 2004, E-Book
Formal Methods and Models for System Design: A System Level Perspective
Authors: Gupta, R.; Le Guernic, P.; Shukla, S.K.; Talpin, J.-P. (Eds.)
(Kluwer Academic (Springer) Publishers), 2004, E-Book
Nano, Quantum and Molecular Computing Implications to High Level Design and Validation
Authors: Shukla, Sandeep Kumar; Bahar, R. Iris (Eds.)
(Kluwer Academic (Springer) Publishers), 2004, E-Book