Publications*
My publications are on the following varied problems:
Next Generation Sequencing of Cell-Free DNA for Cancer Detection
Closed-Loop Analyses of Cyber-Physical Systems
Specification Inference and Refinement,
Integrating Software Safety and Product Line Engineering,
Model-based Testing of Hybrid Systems (for example: Simulink/Stateflow Models),
Model-based Testing of Code-Generators/Model-Processors,
Verification of Source Code Transformations,
System-Level Equivalence Checking and
Power-Aware Compilation for Embedded Systems.
I welcome and appreciate any feedback or queries you may have on them.
A request:
If you intend to cite my work, I request you to kindly use both the initial letters ("K" and "C") in my name.
Attributing my work to "..., K. Shashidhar, ... " or "..., Shashidhar, K., ..." instead of "..., K.C. Shashidhar, ..." or "..., Shashidhar, K.C., ..." in your reference is not correct by the naming convention that I identify myself with. Referring to authors by including all the initials in their names is common in humanities, but less so in engineering and science. Thanks!
In International Conferences, Symposia and Workshops (Peer-reviewed)
CLSE: Closed-Loop Symbolic Execution.
Rupak Majumdar, Indranil Saha, K. C. Shashidhar and Zilong Wang.
NASA Formal Methods Symposium (NFM'12), Norfolk, Virginia, USA, April 2012. [DOI][PDF]
Iterative Refinement of Specification for Component Based Embedded Systems.
Muzammil Shahbaz, K. C. Shashidhar and Robert Eschbach.
International Symposium on Software Testing and Analysis (ISSTA'11), Toronto, Canada, July 2011. [PDF]
Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities.
Martin Becker, Soeren Kemmann and K. C. Shashidhar.
1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE'10). Held in conjunction with 14th International Software Product Line Conference (SPLC'10), Jeju Island, South Korea, September 2010; In the proceedings of Software Product Line Conference, Volume 2; pp. 129-136; [PDF]
CoGenTe: A Tool for Code Generator Testing.
A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar and S. Ramesh.
25th IEEE/ACM International Conference on Automated Software Engineering (ASE’10), Antwerp, Belgium, September 2010. [PDF]
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.
Aditya Kanade, Rajeev Alur, Franjo Ivančić, S. Ramesh, Sriram Sankaranarayanan and K. C. Shashidhar.
21st International Conference on Computer Aided Verification (CAV'09), Grenoble, France, July 2009. [DOI][PDF]
Behavior Directed Testing of Auto-code Generators.
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh and K. C. Shashidhar.
6th IEEE International Conference on Software Engineering and Formal Methods (SEFM'08), Cape Town, South Africa, November 2008. [DOI][PDF]
Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models.
Rajeev Alur, Aditya Kanade, S. Ramesh and K. C. Shashidhar.
8th ACM/IEEE International Conference on Embedded Software (EMSOFT'08), Atlanta, GA, USA, October 2008. [PDF]
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.
Ambar Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Kumar Mohalik and K. C. Shashidhar.
20th International Conference on Computer Aided Verification (CAV'08), Princeton, NJ, USA, July 2008. [DOI][PDF]
Verification of Model Processing Tools.
Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar and S. Ramesh.
Safety-Critical Systems Session, SAE World Congress & Exhibition (SAE'08), Detroit, MI, USA, April 2008. Published in Safety-Critical Systems, SAE International, ISBN: 978-0-7680-2015-1. [DOI][PDF]
Automatic Generation of Test-Cases Using Model Checking for SL/SF Models.
Ambar Gadkari, Swarup Kumar Mohalik, K. C. Shashidhar, Anand Yeolekar, J. Suresh and S. Ramesh.
4th International Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'07). Held in conjunction with 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'07), Nashville, TN, USA, October 2007. [PDF]
How to Test Program Generators? A Case Study using flex.
Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar and S. Ramesh.
5th IEEE International Conference on Software Engineering and Formal Methods (SEFM'07), London, UK, September 2007. [DOI][PDF]
Testing Model-Processing Tools for Embedded Systems.
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh and K. C. Shashidhar.
13th IEEE International Real-Time and Embedded Technology and Applications Symposium (RTAS'07), Bellevue, WA, USA, April 2007. [DOI][PDF]
Verification of Source Code Transformations by Program Equivalence Checking.
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor and Gerda Janssens.
14th International Conference on Compiler Construction (CC'05), Edinburgh, UK. In LNCS 3443, pp. 221-236, April 2005. [SpringerLink][PDF]
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code.
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor and Gerda Janssens.
Design, Automation and Test in Europe (DATE'05), Munich, Germany, pp. 1310-1315, March 2005. [DOI][PDF]
Automatic Functional Verification of Memory Oriented Global Source Code Transformations.
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor and Gerda Janssens.
8th IEEE International High Level Design Validation and Test Workshop (HLDVT'03), San Francisco, USA, pp. 31-36, November 2003. [DOI][PDF]
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations.
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor and Gerda Janssens.
1st International Workshop on Compilers Optimization Meets Compiler Verification (COCV'02). Held in conjunction with 5th European Joint Conferences on Theory and Practice of Software (ETAPS'02), Grenoble, France, pp. 71-86, April 2002. [DOI][PDF]
Low Power Design of Turbo Decoder Module with Exploration of Energy-Performance Trade-offs.
K. C. Shashidhar, Arnout Vandecappelle and Francky Catthoor.
2nd International Workshop on Compilers and Operating Systems for Low Power (COLP'01). Held in conjunction with 10th International Conference on Parallel Architectures and Compilation Techniques (PACT'01), Barcelona, Spain, September 2001. [PDF]
In International Journals, Books and Magazines (Peer-reviewed)
Sensitive and specific multi-cancer detection and localization using methylation signatures in cell-free DNA.
M.C. Liu, G.R. Oxnard, E.A. Klein, C. Swanton, M.V. Seiden, Steven R. Cummings, Farnaz Absalan, Gregory Alexander, Brian Allen, Hamed Amini, Alexander M. Aravanis, Siddhartha Bagaria, Leila Bazargan, John F. Beausang, Jennifer Berman, Craig Betts, Alexander Blocker, Joerg Bredno, Robert Calef, Gordon Cann, Jeremy Carter, Christopher Chang, Hemanshi Chawla, Xiaoji Chen, Tom C. Chien, Daniel Civello, Konstantin Davydov, Vasiliki Demas, Mohini Desai, Zhao Dong, Saniya Fayzullina, Alexander P. Fields, Darya Filippova, Peter Freese, Eric T. Fung, Sante Gnerre, Samuel Gross, Meredith Halks-Miller, Megan P. Hall, Anne-Renee Hartman, Chenlu Hou, Earl Hubbell, Nathan Hunkapiller, Karthik Jagadeesh, Arash Jamshidi, Roger Jiang, Byoungsok Jung, TaeHyung Kim, Richard D. Klausner, Kathryn N. Kurtzman, Mark Lee, Wendy Lin, Jafi Lipson, Hai Liu, Qinwen Liu, Margarita Lopatin, Tara Maddala, M. Cyrus Maher, Collin Melton, Andrea Mich, Shivani Nautiyal, Jonathan Newman, Joshua Newman, Virgil Nicula, Cosmos Nicolaou, Ongjen Nikolic, Wenying Pan, Shilpen Patel, Sarah A. Prins, Richard Rava, Neda Ronaghi, Onur Sakarya, Ravi Vijaya Satya, Jan Schellenberger, Eric Scott, Amy J. Sehnert, Rita Shaknovich, Avinash Shanmugam, K. C. Shashidhar, Ling Shen, Archana Shenoy, Seyedmehdi Shojaee, Pranav Singh, Kristan K. Steffen, Susan Tang, Jonathan M. Toung, Anton Valouev, Oliver Venn, Richard T. Williams, Tony Wu, Hui H. Xu, Christopher Yakym, Xiao Yang, Jessica Yecies, Alexander S. Yip, Jack Youngren, Jeanne Yue, Jingyang Zhang, Lily Zhang, Lori (Quan) Zhang, Nan Zhang, Christina Curtis and Donald A. Berry.
Annals of Oncology, 2020. [DOI]
Automatic Test Case Generation from Simulink/Stateflow Models using Model Checking.
Swarup Mohalik, Ambar Gadkari, Anand Yeolekar, K. C. Shashidhar and S. Ramesh.
Journal of Software Testing, Verification and Reliability, Vol. 24, No. 2, pp. 155-180, Wiley, 2014. [DOI][PDF]
Specification Inference using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application.
Muzammil Shahbaz, K. C. Shashidhar and Robert Eschbach.
IEEE Software, Vol. 29, No. 6, pp. 62-69, 2012. [DOI][PDF]
Verification of Model Processing Tools.
Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar and S. Ramesh.
SAE International Journal of Passenger Cars — Electronic and Electrical Systems, Vol. 1, No. 1, pp. 45-52, ISSN No. 1946-4614, 2009. (Reprint of the SAE'08 paper.) [DOI][PDF]
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs.
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor and Gerda Janssens.
Journal of Universal Computer Science (J.UCS), Vol. 9, No. 3, pp. 248-269, 2003. (Revised version of the COCV'02 paper.) [DOI][PDF]
Low-Power Design of Turbo Decoder with Exploration of Energy-Throughput Trade-off.
Arnout Vandecappelle, Bruno Bougard, K. C. Shashidhar and Francky Catthoor.
Compilers and Operating Systems for Low Power, Editors: L. Benini, M. Kandemir and J. Ramanujan, Chapter 10, Kluwer Academic Publishers (ISBN 1-4020-7573-1), pp. 173-191, 2003. (Significantly revised and extended book chapter version of the COLP'01 paper.) [SpringerLink][PDF]
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations.
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor and Gerda Janssens.
Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science, Vol. 65, No. 2, pp. 71-86, 2002. (Reprint of the COCV'02 paper). [DOI][PDF]
Doctoral Dissertation
Efficient Automatic Verification of Loop and Data-flow Transformations by Functional Equivalence Checking.
K. C. Shashidhar.
Department of Computer Science, Katholieke Universiteit Leuven, Belgium. ISBN 978-90-5682-677-2, 231 Pages. [PDF]
Other Presentations to Peers at International Forums
Towards a Symbolic Execution Framework for Cyber-Physical Systems.
K. C. Shashidhar. (Joint work with Rupak Majumdar, Indranil Saha and Zilong Wang)
Invited Talk at the 2nd Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS), co-held with Real-Time Systems Symposium (RTSS), Vienna, Austria, 2011.
CoGenTe for Testing Code Generators: Towards Automatic Generation of Targeted Benchmarks for Evaluation of Testing Tools.
K. C. Shashidhar. (Joint work with Prahladavaradan Sampath, A.C. Rajeev and S. Ramesh )
Workshop on State-Space Exploration for Automated Testing (SSEAT), co-held with International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 2011.
"Look Ma, No Rules, And No Hints Neither!".
K. C. Shashidhar.
Dagstuhl Seminar on Verifying Optimizing Compilers. Germany, August 2005. [Link, Abstract, Slides] [Presentation]
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code.
K. C. Shashidhar.
ACM SIGDA Ph.D. Forum at Design Automation Conference (DAC'05) (peer-reviewed), Anaheim, CA, USA, June 2005. [Poster] [PDF]
Dynamic Single Assignment in Action.
Peter Vanbroekhoven, K. C. Shashidhar, Martin Palkovic, Gerda Janssens, Maurice Bruynooghe and Francky Catthoor.
5th Symposium on Architectures and Compilers for Embedded Systems (ACES'05), Edegem, Belgium, September 2005. [Presentation + Poster]
Ph.D. Summary: Verification of Program Transformations by Program Equivalence Checking.
K. C. Shashidhar.
Symposium on Verification and Validation of Software Systems (VVSS'04) (peer-reviewed), Eindhoven, The Netherlands, November 2004. [Poster] [PDF]
Automatic Verification of Algebraic Transformations.
K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor and Gerda Janssens.
4th Symposium on Program Acceleration by Application-Driven and Architecture-Driven Code Transformations (PA3CT'04), Edegem, Belgium, 2004. [Presentation + Poster] [PDF]
Automatic A Posteriori Verification of Certain Global Source Code Restructuring Transformations.
K. C. Shashidhar.
2nd Symposium on Program Acceleration by Application-Driven and Architecture-Driven Code Transformations (PA3CT'02), Edegem, Belgium, 2002. [Presentation + Poster] [PDF]
*Copyright notice: The documents distributed here have been provided as a means to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all agents copying this information will adhere to the terms and constraints invoked by each author's copyright.
Chikkaputtaiah Shashidhar Kodamballi, Chikkaputtaiah Shashidhar Kodamballi, Chikkaputtaiah Shashidhar Kodamballi, Chikkaputtaiah Shashidhar Kodamballi, Chikkaputtaiah Shashidhar Kodamballi, Chikkaputtaiah Shashidhar Kodamballi, Chikkaputtaiah Shashidhar Kodamballi, Chikkaputtaiah Shashidhar Kodamballi, Chikkaputtaiah Shashidhar Kodamballi