A Condition Known to be Sufficient for Rearrangeability of the Benes Class of Interconnection Networks with 2x2 Switches Is Also Necessary. - Suresh C. Kothari; S. Lakshmivarahan (ICPP, 1983)

Generalized Linear Threshold Scheme. - Suresh C. Kothari (CRYPTO, 1984)

General Algorithms for the Address Calculation of Lexicographically Ordered Tuples. - Suresh C. Kothari; K. V. S. Ramarao (Inf. Process. Lett., 1985)

Multistage Interconnection Networks for Multiprocessor Systems. - Suresh C. Kothari (Adv. Comput., 1987)

Performance Analysis of Multipath Mulistage Interconnection Networks. - Suresh C. Kothari; Anita Jhunjhunwala (SIGMETRICS, 1988)

Completeness Issues for Join Dependencies Derived from the Universal Relation Join Dependency. - Leslie L. Miller; Shashi K. Gadia; Suresh C. Kothari; K. C. Liu (Inf. Process. Lett., 1988)

Performance analysis of multistage interconnection networks with redundant links. - Suresh C. Kothari; G. M. Prabhu; Anita Jhunjhunwala; Robert S. Roberts (Inf. Sci., 1988)

A Multipath Network with Cross Links. - Suresh C. Kothari; G. M. Prabhu; Robert S. Roberts (J. Parallel Distributed Comput., 1988)

The Kappa Network with Fault-Tolerant Destination Tag Algorithm. - Suresh C. Kothari; G. M. Prabhu; Robert S. Roberts (IEEE Trans. Computers, 1988)

Optimal Designs of Linear Flow Systolic Architectures. - Suresh C. Kothari; Heekuck Oh; Ethan Gannet (ICPP (1), 1989)

On Computing the Combinatorial Power of SW-Banyan Networks. - Robert S. Roberts; Suresh C. Kothari (IEEE Trans. Computers, 1989)

Testing arbitrary subhypergraphs for the lossless join property. - Les Miller; John H. Leuchner; Suresh C. Kothari; K. C. Liu (Inf. Sci., 1990)

On Optimal Parallelization of Sorting Networks. - Ethan Gannett; Suresh C. Kothari; Hsu-Chun Yen (Theor. Comput. Sci., 1990)

Probabilistic Information Capacity of Hopfield Associative Memory. - Kesig Lee; Suresh C. Kothari; Dongwan Shin (Complex Syst., 1992)

Neural Networks for Pattern Recognition. - Suresh C. Kothari; Heekuck Oh (Adv. Comput., 1993)

A Memory Constrained Scalability Metric. - Mark A. Fienup; Suresh C. Kothari (ICPP (3), 1994)

Adaptation of the relaxation method for learning in bidirectional associative memory. - Heekuck Oh; Suresh C. Kothari (IEEE Trans. Neural Networks, 1994)

CMP: A Memory-Constrained Scalability Metric. - Mark A. Fienup; Suresh C. Kothari (PP, 1995)

Parallel Implementation of Hydrostatic MM5. - Youngtae Kim; Zaitao Pan; Eugene S. Takle; Suresh C. Kothari (PP, 1997)

ParAgent: A Domain-Specific Semi-automatic Parallelization Tool. - Simanta Mitra; Suresh C. Kothari; Jaekyu Cho; A. Krishnaswarmy (HiPC, 2000)

Space and Time Efficient Parallel Algorithms and Software for EST Clustering. - Anantharaman Kalyanaraman; Srinivas Aluru; Suresh C. Kothari (ICPP, 2002)

Parallel EST Clustering. - Anantharaman Kalyanaraman; Srinivas Aluru; Suresh C. Kothari (IPDPS, 2002)

Space and time efficient parallel algorithms and software for EST clustering. - Anantharaman Kalyanaraman; Srinivas Aluru; Volker Brendel; Suresh C. Kothari (IEEE Trans. Parallel Distributed Syst., 2003)

Computational modeling to detect software sabotage: A discussion of technical challenges and a demonstration of innovative technology. - Suresh C. Kothari (ISSRE (Supplemental Proceedings), 2013)

Atlas: a new way to explore software, build analysis tools. - Tom Deering; Suresh C. Kothari; Jeremias Sauceda; Jon Mathews (ICSE Companion, 2014)

A "Human-in-the-loop" approach for resolving complex software anomalies. - Suresh C. Kothari; Akshay Deepak; Ahmed Tamrawi; Benjamin Holland; Sandeep Krishnan (SMC, 2014)

Event-Flow Graphs for Efficient Path-Sensitive Analyses. - Ahmed Tamrawi; Kang Gui; Suresh C. Kothari (CoRR, 2014)

FlowMiner: Automatic Summarization of Library Data-Flow for Malware Analysis. - Tom Deering; Ganesh Ram Santhanam; Suresh C. Kothari (ICISS, 2015)

Security Toolbox for Detecting Novel and Sophisticated Android Malware. - Benjamin Holland; Tom Deering; Suresh C. Kothari; Jon Mathews; Nikhil Ranade (ICSE (2), 2015)

Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities. - Ahmed Tamrawi; Suresh C. Kothari (APSEC, 2016)

Software engineering research lab to airplanes, orion and beyond: one professor's journey shaped by industry-university collaboration. - Suresh C. Kothari (SER&IP@ICSE, 2016)

Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration. - Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICSE (Companion Volume), 2016)

Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. - Suresh C. Kothari; Ahmed Tamrawi; Jeremias Sauceda; Jon Mathews (ICSE (Companion Volume), 2016)

Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. - Suresh C. Kothari; Payas Awadhutkar; Ahmed Tamrawi (ISSRE Workshops, 2016)

Human-machine resolution of Invisible Control Flow? - Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICPC, 2016)

Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities. - Benjamin Holland; Ganesh Ram Santhanam; Payas Awadhutkar; Suresh C. Kothari (SCAM, 2016)

Four languages and lots of macros: analyzing autotools build systems. - Jafar M. Al-Kofahi; Suresh C. Kothari; Christian Kästner (GPCE, 2017)

Human-on-the-Loop Automation for Detecting Software Side-Channel Vulnerabilities. - Ganesh Ram Santhanam; Benjamin Holland; Suresh C. Kothari; Nikhil Ranade (ICISS, 2017)

Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark. - Benjamin Holland; Ganesh Ram Santhanam; Suresh C. Kothari (ICST, 2017)

Interactive visualization toolbox to detect sophisticated android malware. - Ganesh Ram Santhanam; Benjamin Holland; Suresh C. Kothari; Jon Mathews (VizSEC, 2017)

Modeling lessons from verifying large software systems for safety and security. - Suresh C. Kothari; Payas Awadhutkar; Ahmed Tamrawi; Jon Mathews (WSC, 2017)

COMB: computing relevant program behaviors. - Benjamin Holland; Payas Awadhutkar; Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICSE (Companion Volume), 2018)

DynaDoc: Automated On-demand Context-Specific Documentation. - Ahmed Tamrawi; Sharwan Ram; Payas Awadhutkar; Benjamin Holland; Ganesh Ram Santhanam; Suresh C. Kothari (DySDoc@ICSME, 2018)

Projected control graph for computing relevant program behaviors. - Ahmed Tamrawi; Suresh C. Kothari (Sci. Comput. Program., 2018)

Mockingbird: a framework for enabling targeted dynamic analysis of Java programs. - Derrick Lockwood; Benjamin Holland; Suresh C. Kothari (ICSE (Companion Volume), 2019)

DISCOVER: detecting algorithmic complexity vulnerabilities. - Payas Awadhutkar; Ganesh Ram Santhanam; Benjamin Holland; Suresh C. Kothari (ESEC/SIGSOFT FSE, 2019)

Control flow equivalence method for establishing sanctity of compiling. - Payas Awadhutkar; Ahmed Tamrawi; Ryan Goluch; Suresh C. Kothari (Comput. Secur., 2022)