Suresh C. Kothari

Publication Activity (10 Years)

Years Active: 1983-2022
Publications (10 Years): 18

Top Topics

Detecting Malicious

Security Vulnerabilities

Software Systems

Top Venues

ICSE (Companion Volume)

Publications

Payas Awadhutkar, Ahmed Tamrawi, Ryan Goluch, Suresh C. Kothari
Control flow equivalence method for establishing sanctity of compiling. Comput. Secur. 115 (2022)
Payas Awadhutkar, Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari
DISCOVER: detecting algorithmic complexity vulnerabilities. ESEC/SIGSOFT FSE (2019)
Derrick Lockwood, Benjamin Holland, Suresh C. Kothari
Mockingbird: a framework for enabling targeted dynamic analysis of Java programs. ICSE (Companion Volume) (2019)
Ahmed Tamrawi, Suresh C. Kothari
Projected control graph for computing relevant program behaviors. Sci. Comput. Program. 163 (2018)
Ahmed Tamrawi, Sharwan Ram, Payas Awadhutkar, Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari
DynaDoc: Automated On-demand Context-Specific Documentation. DySDoc@ICSME (2018)
Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
COMB: computing relevant program behaviors. ICSE (Companion Volume) (2018)
Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews
Modeling lessons from verifying large software systems for safety and security. WSC (2017)
Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari, Nikhil Ranade
Human-on-the-Loop Automation for Detecting Software Side-Channel Vulnerabilities. ICISS (2017)
Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari
Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark. ICST (2017)
Jafar M. Al-Kofahi, Suresh C. Kothari, Christian Kästner
Four languages and lots of macros: analyzing autotools build systems. GPCE (2017)
Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari, Jon Mathews
Interactive visualization toolbox to detect sophisticated android malware. VizSEC (2017)
Ahmed Tamrawi, Suresh C. Kothari
Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities. APSEC (2016)
Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
Human-machine resolution of Invisible Control Flow? ICPC (2016)
Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews
Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. ICSE (Companion Volume) (2016)
Suresh C. Kothari
Software engineering research lab to airplanes, orion and beyond: one professor's journey shaped by industry-university collaboration. SER&IP@ICSE (2016)
Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi
Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. ISSRE Workshops (2016)
Benjamin Holland, Ganesh Ram Santhanam, Payas Awadhutkar, Suresh C. Kothari
Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities. SCAM (2016)
Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration. ICSE (Companion Volume) (2016)
Benjamin Holland, Tom Deering, Suresh C. Kothari, Jon Mathews, Nikhil Ranade
Security Toolbox for Detecting Novel and Sophisticated Android Malware. ICSE (2) (2015)
Tom Deering, Ganesh Ram Santhanam, Suresh C. Kothari
FlowMiner: Automatic Summarization of Library Data-Flow for Malware Analysis. ICISS (2015)
Benjamin Holland, Tom Deering, Suresh C. Kothari, Jon Mathews, Nikhil Ranade
Security Toolbox for Detecting Novel and Sophisticated Android Malware. CoRR (2015)
Suresh C. Kothari, Akshay Deepak, Ahmed Tamrawi, Benjamin Holland, Sandeep Krishnan
A "Human-in-the-loop" approach for resolving complex software anomalies. SMC (2014)
Ahmed Tamrawi, Kang Gui, Suresh C. Kothari
Event-Flow Graphs for Efficient Path-Sensitive Analyses. CoRR (2014)
Tom Deering, Suresh C. Kothari, Jeremias Sauceda, Jon Mathews
Atlas: a new way to explore software, build analysis tools. ICSE Companion (2014)
Suresh C. Kothari
Computational modeling to detect software sabotage: A discussion of technical challenges and a demonstration of innovative technology. ISSRE (Supplemental Proceedings) (2013)
Anantharaman Kalyanaraman, Srinivas Aluru, Volker Brendel, Suresh C. Kothari
Space and time efficient parallel algorithms and software for EST clustering. IEEE Trans. Parallel Distributed Syst. 14 (12) (2003)
Anantharaman Kalyanaraman, Srinivas Aluru, Suresh C. Kothari
Parallel EST Clustering. IPDPS (2002)
Anantharaman Kalyanaraman, Srinivas Aluru, Suresh C. Kothari
Space and Time Efficient Parallel Algorithms and Software for EST Clustering. ICPP (2002)
Simanta Mitra, Suresh C. Kothari, Jaekyu Cho, A. Krishnaswarmy
ParAgent: A Domain-Specific Semi-automatic Parallelization Tool. HiPC (2000)
Youngtae Kim, Zaitao Pan, Eugene S. Takle, Suresh C. Kothari
Parallel Implementation of Hydrostatic MM5. PPSC (1997)
Mark A. Fienup, Suresh C. Kothari
CMP: A Memory-Constrained Scalability Metric. PPSC (1995)
Mark A. Fienup, Suresh C. Kothari
A Memory Constrained Scalability Metric. ICPP (3) (1994)
Heekuck Oh, Suresh C. Kothari
Adaptation of the relaxation method for learning in bidirectional associative memory. IEEE Trans. Neural Networks 5 (4) (1994)
Suresh C. Kothari, Heekuck Oh
Neural Networks for Pattern Recognition. Adv. Comput. 37 (1993)
Kesig Lee, Suresh C. Kothari, Dongwan Shin
Probabilistic Information Capacity of Hopfield Associative Memory. Complex Syst. 6 (1) (1992)
Ethan Gannett, Suresh C. Kothari, Hsu-Chun Yen
On Optimal Parallelization of Sorting Networks. Theor. Comput. Sci. 76 (2-3) (1990)
Les Miller, John H. Leuchner, Suresh C. Kothari, K. C. Liu
Testing arbitrary subhypergraphs for the lossless join property. Inf. Sci. 51 (1) (1990)
Robert S. Roberts, Suresh C. Kothari
On Computing the Combinatorial Power of SW-Banyan Networks. IEEE Trans. Computers 38 (5) (1989)
Suresh C. Kothari, Heekuck Oh, Ethan Gannet
Optimal Designs of Linear Flow Systolic Architectures. ICPP (1) (1989)
Leslie L. Miller, Shashi K. Gadia, Suresh C. Kothari, K. C. Liu
Completeness Issues for Join Dependencies Derived from the Universal Relation Join Dependency. Inf. Process. Lett. 28 (5) (1988)
Suresh C. Kothari, Anita Jhunjhunwala
Performance Analysis of Multipath Mulistage Interconnection Networks. SIGMETRICS (1988)
Suresh C. Kothari, G. M. Prabhu, Robert S. Roberts
The Kappa Network with Fault-Tolerant Destination Tag Algorithm. IEEE Trans. Computers 37 (5) (1988)
Suresh C. Kothari, G. M. Prabhu, Robert S. Roberts
A Multipath Network with Cross Links. J. Parallel Distributed Comput. 5 (2) (1988)
Suresh C. Kothari, G. M. Prabhu, Anita Jhunjhunwala, Robert S. Roberts
Performance analysis of multistage interconnection networks with redundant links. Inf. Sci. 44 (1) (1988)
Ethan Gannett, Suresh C. Kothari, Hsu-Chun Yen
On Optimal Parallelization of Sorting Networks. FSTTCS (1987)
Suresh C. Kothari
Multistage Interconnection Networks for Multiprocessor Systems. Adv. Comput. 26 (1987)
Suresh C. Kothari, K. V. S. Ramarao
General Algorithms for the Address Calculation of Lexicographically Ordered Tuples. Inf. Process. Lett. 21 (3) (1985)
Suresh C. Kothari
Generalized Linear Threshold Scheme. CRYPTO (1984)
Suresh C. Kothari, S. Lakshmivarahan
A Condition Known to be Sufficient for Rearrangeability of the Benes Class of Interconnection Networks with 2x2 Switches Is Also Necessary. ICPP (1983)