Suresh C. Kothari

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