Dr. Sandeep K. Shukla

Sandeep K. Shukla
Associate Professor

Electrical and Computer Engineering
Department Virginia Tech

Office: 341 Durham Hall
Mailing Address:
340 Whittemore Hall
Blacksburg VA 24061
Tel: (540) 231-2133
Fax: (540) 231-3362
Email: shukla@vt.edu


Biographical Sketch

Research Interests

Teaching

Recent Publications

Books

  1. Hiren D. Patel and Sandeep K. Shukla, “SystemC Kernel Extensions for Heterogeneous System Modeling: A Framework for Multi-MoC Modeling and Simulation”, Monograph, Kluwer Academic Publishers, Boston, MA, 2004. Pages. 210, Hardbound, ISBN 1-4020-8087-5, Price: 115.00$
  2. Rajesh Gupta, Paul Le Geurnic, Sandeep Shukla, and Pierre Talpin Ed. “Formal Methods and Models for System Design”, Edited Book, Kluwer Academic Publishers, Boston, MA, Pages 400, Hardbound, ISBN 1-4020-8051-4, Price: 130.00$
  3. Sandeep K. Shukla, and R. Iris. Bahar eds. “Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation”, Edited Book, Kluwer Academic Publishers, Boston, MA, Pages 360, Hardbound, ISBN 1-4020-8067-0, Price: 130.00$

Journal Publications

  1. R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi, “ A New Heuristic for Bad Cycle Detection Using BDDs”, Journal of Formal Methods in System Design, Kluwer Academic Publishers. Vol 18, No.2, March 2001. pp131-140 (Impact Factor: 0.688)
  2. F. Doucet, S. Shukla, M. Otsuka, R. Gupta, “BALBOA: An Environment for Dynamic Component Composition for Efficient Co-Design,” Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Volume: 22, Issue: 12, Dec 2003 Pages: 1597 – 1612 (Impact Factor: 0.913)
  3. S. Irani, S. Shukla, R. Gupta, “Online Strategies for Dynamic Power Management in Systems with Multiple Power States”, ACM Transactions on Embedded Computing Systems, Vol 2, Issue 3, August 2003, Pages: 325-346
  4. J. P. Talpin, P. Le Guernic, S. Shukla, F. Doucet, and R. Gupta, Formal Refinement Checking in System Level Designs, Accepted by the Journal Fundamental Informatica, 2004.
  5. S. Irani, S. Shukla, R. Gupta, “Algorithms for Power Management”, Accepted by the Journal of Algorithms, 2004. (Impact Factor: 0.849)
  6. S. Shukla, D. J. Rosenkrantz, S. S. Ravi, “A Simulation and Validation Tool for Self-Stabilizing Systems,” DIMACS Series in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society, Vol. 32 1997. (Impact Factor: 0.593)
  7. S. Shukla, D. J. Rosenkrantz, H. B. Hunt III, R. E. Stearns, “ A HORNSAT Based Approach to the Polynomial Time Decidability of Simulation Relations for Finite State Processes”, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society, Vol. 35, 1997. (Impact Factor: 0.593)
  8. S. Shukla, D. J. Rosenkrantz, H. B. Hunt III, “HORNSAT based Model Checking”, submitted to Formal Methods in System Design. (Impact Factor: 0.688)
  9. S. K. Shukla, Gethin Norman, David Parker and Marta Kwiatkowska, Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking, Submitted for Publication in IEEE Transactions on Computer Aided Design (under 2nd revision) (Impact Factor: 0.913)
  10. D. Bhaduri and S. K. Shukla, NANOLAB: A Tool for Evaluating Reliability of Defect-Tolerant Nano Architectures, Being Revised for Publication in IEEE Transactions on Nanotechnology (under 4th revision). (Impact Factor: 3.176)
  11. D. Bhaduri and S. K. Shukla, NANOPRISM: A Tool for Evaluating Granularity vs. Reliability Trade-offs in Nano Architectures, Submitted to the IEEE Transactions on Dependable and Secure Computing.
  12. Erbes, T, P. Kachroo, S. Shukla, “Stochastic Learning Feedback Hybrid Automata for Dynamic Power Management in Embedded Systems”, submitted to IEEE Transactions on Cybernetics.
  13. G. Norman, D. Parker, M. Kwiatkowska, S. Shukla, R. Gupta, “Formal Methods for Dynamic Power Management”, Invited to International Journal on Formal Aspects of Computing, 2003 (under 2nd revision).
  14. Syed Suhaib, Deepak Mathaikutty, Sandeep Shukla, “XFM: An Incremental Methodology for Building Formal Models”, Invited for a special issue of ACM Transactions on Design Automation Systems. (Impact Factor: 0.475)
  15. H. D. Patel, and S. Shukla, “Towards a Heterogeneous Simulation Kernel for System Level Models: A SystemC Kernel for Synchronous Data Flow Models”, submitted to IEEE Transactions on Computer Aided Design (under 2nd revision). (Impact Factor: 0.913)

Edited Conference Proceedings

  1. S.K. Shukla and J. P. Talpin, Edited Proceedings, First International Workshop on Formal Methods for Globally Asynchronous and Locally Synchronous Designs (FMGALS 2003), Published by INRIA, Rennes, France, September 2003.
  2. Sandeep Shukla and Jean-Pierre Talpin, Edited Proceedings. ‘First ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)’, Published by IEEE Computer Society Press, June 2003,

Chapters in Books

  1. H. D. Patel and S. K. Shukla. “Truly Heterogeneous Modeling with SystemC, Chapter in Formal Models and Methods for System Design”, Ed. Rajesh Gupta et al., Kluwer Academic Publishers, The Netherlands, 2004, pp .85-108
  2. Frederic Doucet, Sandeep Shukla, Rajesh Gupta, “Structural Component Composition for System Level Models”, Chapter in R. Gupta et a. eds. Formal Methods and Models for System Design, Edited Volume, Kluwer Academic Publishers, 2004, pp.59-84
  3. Jean-Pierre Talpin, David Berner, Sandeep Shukla, Paul Le Guernic, Abdoulaye Gamatie, and Rajesh Gupta, “Behavioral Type System for Compositional System Design”, Chapter in R. Gupta et a. eds. Formal Methods and Models for System Design, Edited Volume, Kluwer Academic Publishers, 2004, pp.253-292
  4. H. D. Patel, S. Gupta, S. K. Shukla, and R. Gupta, Design Issues in Embedded Systems, Invited paper to appear in ‘the Hand book of Embedded Systems’, CRC Press, 2005.
  5. H. D. Patel, S. Gupta, S. K. Shukla, and R. Gupta, A survey of networked embedded systems: An introduction, To appear in the Handbook of Information Technology, CRC Press, 2004.
  6. S. Agrawal, S. Shukla, “Scheduling the Scheduler: Efficient Simulation of Synthesizable Design Revisited”, Chapter in Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004.
  7. D. Berner, S. Suhaib, S. Shukla, J. Talpin, “XFM: An incremental Methodology for Building Formal Models”, Chapter in R. Gupta et a. eds. Formal Methods and Models for System Design, Edited Volume, Kluwer Academic Publishers, 2004, pp.325-346 F.
  8. Doucet, R. Gupta, M. Otsuka, P. Schaumont, S. Shukla, “Interoperability as a Design Issue in C++ Based Modeling Environments”, In Proceedings of the 14th International Symposium on System Synthesis (ISSS’01), Montreal, Canada, October 2001, IEEE Computer Society Press, pp 87-92

Peer Reviewed Conferences and Workshop Publications

  1. David Berner, Jean-Pierre Talpin, Sandeep Kumar Shukla, Paul Le Guernic, "Modular Design Through Component Abstraction", In the Proceedings of International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES’04). Washington D.C. USA, September 2004.
  2. Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla, "Extreme Formal Modeling (XFM) for Hardware Models", In the proceedings of the 5th International Workshop on Microprocessor Test and Verification (MTV'04). Austin, Texas, USA, September 2004
  3. Syed Suhaib, Deepak Mathaikutty, Sandeep Shukla, “Property Ordering Effects in an Incremental Formal Modeling Methodology”, to appear in the Proceedings of the IEEE workshop on High Level Design, Validation and Test (HLDVT 04), San Ramon, CA, November, 2004. (Invited for a special issue of ACM Transactions on Design Automation Systems).
  4. H. D. Patel and S. K. Shukla. “Towards A Heterogeneous Simulation Kernel for System Level Models: A SystemC Kernel for Synchronous Data Flow Models”. In Proceedings of Great Lakes Symposium in VLSI (GLSVLSI04), 2004.
  5. M. R. Mousavi, J. P. Talpin, P. Le Guernic, S. Shukla, and T. Baasten, “Modeling and Validation of Globally Asynchronous Designs in a Synchronous Framework”, In the proceedings of Design Automation and Test in Europe (DATE 2004) Conference, February 2004, Paris, IEEE Press. Pp.384-389
  6. H. D. Patel and S. K. Shukla. “Towards A Heterogeneous Simulation Kernel for System Level Models: A SystemC Kernel for Synchronous Data Flow Models”. In Proceedings of International Symposium in VLSI (ISVLSI04), February 2004, IEEE Computer Society Press, 2004. (Short paper)
  7. Radu Cornea, Shivajit Mohapatra, Nikil Dutt, Rajesh Gupta, Ingolf Kreuger, Alex Nicolau, Doug Schmidt, Sandeep Shukla, Nalini Venkatasubramanian, “A Model-Based Approach to System Specification for Distributed Real-time and Embedded Systems”, In the Proceedings of workshop on Model Driven Embedded Systems (MDES 03), San Diego, July 2003.
  8. Radu Cornea, Shivajit Mohapatra, Nikil Dutt, Rajesh Gupta, Alex Nicolau, Sandeep Shukla, Nalini Venkatasubramanian, “Service FORGEA QoS and Power Management Service Based Software Architecture”, SBSE Service Based Software Engineering Workshop, Italy September 2003.
  9. Radu Cornea, Shivajit Mohapatra, Nikil Dutt, Rajesh Gupta, Ingolf Krueger, Alex Nicolau, Doug Schmidt, Sandeep Shukla, Nalini Venkatasubramanian, “A Model Based Approach to System Specification for Distributed Real-Time and Embedded Systems”, In Proceedings of ACM RTAS Workshop on Model-Driven Embedded Systems, May 2003
  10. J. P. Talpin, D. Berner, S. K. Shukla, A. Gamatie, P. L. Guernic and R. Gupta, A behavioral type inference system for Compositional system-on-chip design, Accepted at the IEEE conference on Applications of Concurrency in System Design (ACSD 2004.), Canada, June 2004
  11. Deepak A. Mathaikutty, Hiren D. Patel and S. Shukla. A Functional Programming Framework of Heterogeneous Model of Computation for System Design , In the proceedings of Forum on Design Languages, Lille, France, September 2004.
  12. J. P. Talpin, P. Le Geurnic, S. Shukla, R. Gupta, F. Doucet, “Polychrony for System Level Design”, In the Proceedings of Design Automation and Test Conference (DATE), March, 2003, IEEE Press.
  13. J. P. Talpin, P. Le Geurnic, S. Shukla, R. Gupta, F. Doucet, “Polychrony for Formal Refinement Checking in a System Level Design Methodology”, To appear in the proceedings of the IEEE Conference on Applications of Concurrency in System Design (ACSD), June 2003
  14. D. Bhaduri and S. K. Shukla, “Tools and techniques for Evaluating Reliability Trade-offs for Nano-architectures”, in Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation, Editors S. Shukla et al. (Kluwer Academic Publishers, 2004), pp. 157–212.
  15. D. Bhaduri and S. K. Shukla, “NANOLAB: A Tool for Evaluating Reliability of Defect-Tolerant Nano Architectures”, in the proceedings of IEEE International Symposium on VLSI (ISVLSI 2004), February 2004, IEEE Computer Society Press.
  16. D. Bhaduri and S. K. Shukla, “NANOPRISM: A Tool for Evaluating Granularity vs. Reliability Trade-offs in Nano Architectures”, In proceedings of the Great Lakes Symposium on VLSI (GLSVLSI 04), Boston, MA, ACM Press.
  17. D. Bhaduri and S. K. Shukla, Reliability analysis in the presence of signal noise for nano architectures, In the proceedings of IEEE Conference on Nanotechnology (Munich, Germany, August 2004).
  18. D. Bhaduri and S. K. Shukla, Reliability evaluation of multiplexing based defect-tolerant majority circuits, In the proceedings of IEEE Conference on Nanotechnology (Munich, Germany, August 2004).
  19. D. Bhaduri and S. K. Shukla, Using quantum model of computation for reliability evaluation of defect tolerant nano-architectures,In the proceedings of IEEE Conference on Nanotechnology (Munich, Germany, August 2004).
  20. S. Suhaib, D. A. Mathaikutty, D. Berner, S. Shukla, “Property Ordering Effects in an Incremental Formal Modeling Methodology”, To appear in the proceedings of International Workshop on Logic and Synthesis (IWLS’04), June 2004.