Abstract: Identifying and eliminating bugs in software systems early in the development process has many advantages. A traditional means of achieving this objective is to do rigorous testing including writing unit tests and end-to-end scenario tests. However, in practice, testing has been found to be inadequate in ensuring software reliability because of its strong dependence on code coverage and the value of test inputs used. Sophisticated program analysis techniques have been designed to address these limitations. These techniques work by analyzing the source code or the program execution and subsequently detect bugs. In this talk, I will present the challenges of scaling analysis techniques to large code bases and present our recent attempts at addressing these challenges.
Brief Bio: Murali Krishna Ramanathan is an Assistant Professor in the Department of Computer Science and Automation at Indian Institute of Science, Bangalore. His research interests broadly span the areas of software engineering, programming languages and scalable system design. Previously, he was a Principal Engineer in the core analysis team at Coverity Inc. building static and dynamic analysis tools for bug detection in industrial codebases. He holds M.S and PhD degrees in Computer Science from Purdue University and a B.E in Computer Science and Engineering from College of Engineering, Guindy, Anna University, Chennai.
Abstract: With the increasing bit rates for communication, chip-package-system level challenges like signal integrity (SI), power integrity (PI) and electromagnetic interference (EMI) play a crucial role in circuit design. RLGC parasitics or S-parameter extraction tools have been used for modeling system level electrical integrity using different flavors of solution methodology: 2D, 2.5D, 3D. However, the complexity of analyzing full systems particularly with Maxwell accuracy presents a time and memory bottleneck. The fast solver algorithms of the last two decades have alleviated the problem to an extent, but the quick turn-around time required for design has been elusive. This seminar will discuss the recent trends in fast simulation and modeling techniques and the emergence of cloud computing as a unique opportunity to enter “simulation-in-a-coffee-break” paradigm.
Brief Bio: Dipanjan Gope, PhD, is Assistant Professor in Electrical Communication Engineering at Indian Institute of Science, Bangalore. His research interests include computational electromagnetics with applications in signal integrity, power integrity, EMI for high speed chip-package-systems, antenna analysis and design, parallel programming for many-core and cloud computing. Dr. Gope is a founding member at Nimbic where he served as Vice President, R&D from 2007-2011. Dr. Gope received his PhD and M.S. degrees in Electrical Engineering from the University of Washington, Seattle and BTech in Electronics and Electrical Communication Engineering from the Indian Institute of Technology, Kharagpur.
Abstract: Diffuse optical tomography has a potential to become an adjunct imaging modality for cancer diagnosis/prognosis. This uses near infra red light between 600 to 1000 nm to probe the tissue and is capable of providing functional images when multi-wavelength data is available. Due to the dominance of scattering, modeling of light propagation in tissue requires use of advanced computational models. One of the main bottlenecks for making diffuse optical imaging a clinical imaging modality is the computational complexity associated with it.
This seminar will give an over view of these computational models, including the recent developments at medical imaging group, SERC. These include automated way of finding the regularization parameter and data-resolution based automated choice of optimizing the minimal required measurements for reconstructing the diffuse optical images. The emphasis of this talk is going to be on open problems and associate challenges in computational aspects of diffuse optical tomography.
Brief Bio: Phaneendra K. Yalavarthy received B.Sc. and M.Sc. degrees in physics from Sri Sathya Sai University, Prasanthi Nilayam, India in 1999 and 2001 respectively. He also obtained a M.Sc. degree in engineering from Indian Institute of Science, Bangalore, India in 2004. He received a Ph.D., working as a U.S. Department of Defense Breast Cancer Predoctoral Fellow, in biomedical computation from Dartmouth College, Hanover, USA in 2007. He worked as a post-doctoral research associate in the Department of Radiation Oncology, School of Medicine, Washington University in St. Louis, USA from 2007-2008. Currently he is working as an assistant professor in Supercomputer Education and Research Centre (SERC), Indian Institute of Science, Bangalore, India. He is a recipient of the Apple Laureate award in the year 2009. He also received Department of Atomic Energy young scientist research award in 2010 and coauthor of the work chosen for ISMRM Merit Award (Summa Cum Laude) in 2012. He serves as an associate editor for Medical Physics, which is an official scientific journal of American Association of Physicists in Medicine (AAPM). His research interests include Computational methods in medical imaging, medical image processing (reconstruction/analysis), physiological signal processing, and diffuse optical tomography.
Abstract: This talk will first give an overview of the science of compact modeling and its importance in integrated circuit design. In this context several related topics e.g., compact modeling methodologies, types of compact models, compact modeling council (CMC), standardisation etc. will be discussed. The talk will then outline the core of indDG compact model for double gate MOSFETs, which is being developed by the speaker's research team over last three years.
Brief Bio: Santanu Mahapatra received the Ph.D. degree from the Ecole Polytechnique Federale de Lausanne, Lausanne, Switzerland, in 2005. He is currently an associate professor with the Department of Electronic Systems Engineering. His research activities are focused on 2D material based MOS transistors, electro-thermal effects in Graphene/CNT and compact modelling of multi-gate MOSFETs.
Abstract: Photoacoustic imaging is a novel imaging techniques combining both optical imaging and ultrasound imaging. A short-pulsed laser source illuminates the tissue to generate sound waves called the photoacoustic waves. These sound waves are used to get high contrast, high resolution deep tissue imaging of various parameters. Photoacoustic imaging like ultrasound imaging a multi-scale multi-depth imaging modality. This talk will give an overview of photoacoustic imaging techniques and their clinical applications such as breast cancer, skin cancer, molecular imaging etc.
Brief Bio: Dr. Manojit Pramanik received his Ph.D. degree (2010) in Biomedical Engineering from Washington University in St. Louis, St. Louis, USA under the tutelage of Dr. Lihong Wang. He joined the Department of Electrical Engineering at Indian Institute of Science (IISc), Bangalore, India as Assistant Professor in July 2012. He obtained his masters (M.Tech.) degree from Department of Instrumentation at Indian Institute of Science, Bangalore in 2004. He did his undergraduate (B.Tech) from the Department of Electrical Engineering at Indian Institute of Technology (IIT), Kharagpur, India in 2002. His industry experiences include two years (2010-12) at General Electric Global Research (GRC), Bangalore, India and one year (2004-05) at Philips Medical System, Bangalore, India. His research interest include development of medical imaging systems, instrumentation for photoacoustic and thermoacoustic imaging systems, development of low-cost ultrasound imaging systems, image reconstruction methods, medical image processing, clinical application areas such as breast cancer imaging, diabetics, molecular imaging, contrast agent development.