Static validation of resource management in large Java applications. - Harini Srinivasan; Darrell Reimer; Aaron Kershenbaum; Edith Schonberg; Kavitha Srinivas (ISoLA (Preliminary proceedings), 2004)

SABER: smart analysis based error reduction. - Darrell Reimer; Edith Schonberg; Kavitha Srinivas; Harini Srinivasan; Bowen Alpern; Robert D. Johnson; Aaron Kershenbaum; Larry Koved (ISSTA, 2004)

Validating structural properties of nested objects. - Darrell Reimer; Edith Schonberg; Kavitha Srinivas; Harini Srinivasan; Julian Dolby; Aaron Kershenbaum; Larry Koved (OOPSLA Companion, 2004)

Summarizing application performance from a components perspective. - Kavitha Srinivas; Harini Srinivasan (ESEC/SIGSOFT FSE, 2005)

A View of OWL From the Field: Use-cases and Experiences. - Aaron Kershenbaum; Achille Fokoue; Chintan Patel; Christopher A. Welty; Edith Schonberg; James J. Cimino; Li Ma 002; Kavitha Srinivas; Robert J. Schloss; J. William Murdock (OWLED, 2006)

The Summary Abox: Cutting Ontologies Down to Size. - Achille Fokoue; Aaron Kershenbaum; Li Ma 002; Edith Schonberg; Kavitha Srinivas (ISWC, 2006)

Scalable Semantic Retrieval through Summarization and Refinement. - Julian Dolby; Achille Fokoue; Aditya Kalyanpur; Aaron Kershenbaum; Edith Schonberg; Kavitha Srinivas; Li Ma 002 (AAAI, 2007)

Computing OWL Ontology Decompositions Using Resolution. - Robert Schiaffino; Achille Fokoue; Aditya Kalyanpur; Aaron Kershenbaum; Li Ma 002; Chintan Patel; Edith Schonberg; Kavitha Srinivas (WoMO, 2007)

Scalable Cleanup of Information Extraction Data Using Ontologies. - Julian Dolby; James Fan; Achille Fokoue; Aditya Kalyanpur; Aaron Kershenbaum; Li Ma 002; J. William Murdock; Kavitha Srinivas; Christopher A. Welty (ISWC/ASWC, 2007)

Matching Patient Records to Clinical Trials Using Ontologies. - Chintan Patel; James J. Cimino; Julian Dolby; Achille Fokoue; Aditya Kalyanpur; Aaron Kershenbaum; Li Ma 002; Edith Schonberg; Kavitha Srinivas (ISWC/ASWC, 2007)

Explorations in the use of semantic web technologies for product information management. - Jean-Sébastien Brunner; Li Ma 002; Chen Wang 020; Lei Zhang 007; Daniel C. Wolfson; Yue Pan; Kavitha Srinivas (WWW, 2007)

Simplifying Access to Large-Scale Health Care and Life Sciences Datasets. - Holger Stenzhorn; Kavitha Srinivas; Matthias Samwald; Alan Ruttenberg (ESWC, 2008)

Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases. - Julian Dolby; Achille Fokoue; Aditya Kalyanpur; Li Ma 002; Edith Schonberg; Kavitha Srinivas; Xingzhi Sun 001 (ISWC, 2008)

Ontology Reasoning with Large Data Repositories. - Stijn Heymans; Li Ma 002; Darko Anicic; Zhilei Ma; Nathalie Steinmetz; Yue Pan; Jing Mei; Achille Fokoue; Aditya Kalyanpur; Aaron Kershenbaum; Edith Schonberg; Kavitha Srinivas; et al. (Ontology Management, 2008)

OWL Reasoning in the Real World: Searching for Godot. - Kavitha Srinivas (Description Logics, 2009)

Scalable Matching of Industry Models - a Case Study. - Brian Byrne; Achille Fokoue; Aditya Kalyanpur; Kavitha Srinivas; Min Wang (OM, 2009)

Extracting Enterprise Vocabularies Using Linked Open Data. - Julian Dolby; Achille Fokoue; Aditya Kalyanpur; Edith Schonberg; Kavitha Srinivas (ISWC, 2009)

Scalable highly expressive reasoner (SHER). - Julian Dolby; Achille Fokoue; Aditya Kalyanpur; Edith Schonberg; Kavitha Srinivas (J. Web Semant., 2009)

One Size Does Not Fit All: Customizing Ontology Alignment Using User Feedback. - Songyun Duan; Achille Fokoue; Kavitha Srinivas (ISWC (1), 2010)

A Clustering-Based Approach to Ontology Alignment. - Songyun Duan; Achille Fokoue; Kavitha Srinivas; Brian Byrne (ISWC (1), 2011)

Apples and oranges: a comparison of RDF benchmarks and real RDF datasets. - Songyun Duan; Anastasios Kementsietsidis; Kavitha Srinivas; Octavian Udrea (SIGMOD Conference, 2011)

Helix: online enterprise data analytics. - Oktie Hassanzadeh; Songyun Duan; Achille Fokoue; Anastasios Kementsietsidis; Kavitha Srinivas; Michael Jeffrey Ward (WWW (Companion Volume), 2011)

Instance-Based Matching of Large Ontologies Using Locality-Sensitive Hashing. - Songyun Duan; Achille Fokoue; Oktie Hassanzadeh; Anastasios Kementsietsidis; Kavitha Srinivas; Michael Jeffrey Ward (ISWC (1), 2012)

Promoting Integrated Social and Medical Care through Semantic Integration and Context Visualization. - Weijia Shen; Guotong Xie; Kavitha Srinivas; Anastasios Kementsietsidis; Jason B. Ellis; Thomas Erickson; Kevin McAuliffe; Gang Hu 001; Wen Sun (CSWS, 2013)

Collective ontology alignment. - Jason B. Ellis; Oktie Hassanzadeh; Kavitha Srinivas; Michael Jeffrey Ward (OM, 2013)

Coordinating Social Care and Healthcare using Semantic Web Technologies. - Spyros Kotoulas; Vanessa López; Martin Stephenson; Pierpaolo Tommasi; Weijia Shen; Gang Hu 001; Marco Luca Sbodio; Veli Bicer; Anastasios Kementsietsidis; M. Mustafa Rafique; Jason B. Ellis; Thomas Erickson; et al. (ISWC (Posters & Demos), 2013)

Building an efficient RDF store over a relational database. - Mihaela A. Bornea; Julian Dolby; Anastasios Kementsietsidis; Kavitha Srinivas; Patrick Dantressangle; Octavian Udrea; Bishwaranjan Bhattacharjee (SIGMOD Conference, 2013)

An Offline Optimal SPARQL Query Planning Approach to Evaluate Online Heuristic Planners. - Achille Fokoue; Mihaela A. Bornea; Julian Dolby; Anastasios Kementsietsidis; Kavitha Srinivas (WISE (1), 2014)

A Principled Approach to Bridging the Gap between Graph Data and their Schemas. - Marcelo Arenas; Gonzalo I. Diaz; Achille Fokoue; Anastasios Kementsietsidis; Kavitha Srinivas (Proc. VLDB Endow., 2014)

Exploring Big Data with Helix: Finding Needles in a Big Haystack. - Jason B. Ellis; Achille Fokoue; Oktie Hassanzadeh; Anastasios Kementsietsidis; Kavitha Srinivas; Michael Jeffrey Ward (SIGMOD Rec., 2014)

Understanding a large corpus of web tables through matching with knowledge bases: an empirical study. - Oktie Hassanzadeh; Michael Jeffrey Ward; Mariano Rodriguez-Muro; Kavitha Srinivas (OM, 2015)

SQLGraph: An Efficient Relational-Based Property Graph Store. - Wen Sun; Achille Fokoue; Kavitha Srinivas; Anastasios Kementsietsidis; Gang Hu 001; Guo Tong Xie (SIGMOD Conference, 2015)

Self-Curating Databases. - Mohammad Sadoghi; Kavitha Srinivas; Oktie Hassanzadeh; Yuan-Chi Chang; Mustafa Canim; Achille Fokoue; Yishai A. Feldman (EDBT, 2016)

Extending SPARQL for Data Analytic Tasks. - Julian Dolby; Achille Fokoue; Mariano Rodriguez-Muro; Kavitha Srinivas; Wen Sun (ISWC (2), 2016)

An Executable Specification for SPARQL. - Mihaela A. Bornea; Julian Dolby; Achille Fokoue; Anastasios Kementsietsidis; Kavitha Srinivas; Mandana Vaziri (WISE (2), 2016)

Construction of Enterprise Knowledge Graphs (I). - Boris Villazón-Terrazas; Nuria García-Santa; Yuan Ren 001; Kavitha Srinivas; Mariano Rodriguez-Muro; Panos Alexopoulos; Jeff Z. Pan (Exploiting Linked Data and Knowledge Graphs in Large Organisations, 2017)

Preface. - Marieke van Erp; Medha Atre; Vanessa López; Kavitha Srinivas; Carolina Fortuna (ISWC (P&D/Industry/BlueSky), 2018)

Merging datasets through deep learning. - Kavitha Srinivas; Abraham Gale; Julian Dolby (CoRR, 2018)

Automated Feature Enhancement for Predictive Modeling using External Knowledge. - Sainyam Galhotra; Udayan Khurana; Oktie Hassanzadeh; Kavitha Srinivas; Horst Samulowitz; Miao Qi (ICDM Workshops, 2019)

Answering Binary Causal Questions Through Large-Scale Text Mining: An Evaluation Using Cause-Effect Pairs from Human Experts. - Oktie Hassanzadeh; Debarun Bhattacharjya; Mark Feblowitz; Kavitha Srinivas; Michael Perrone; Shirin Sohrabi; Michael Katz 001 (IJCAI, 2019)

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies. - Maxwell Crouse; Spencer Whitehead; Ibrahim Abdelaziz; Bassem Makni; Cristina Cornelio; Pavan Kapanipathi; Edwin Pell; Kavitha Srinivas; Veronika Thost; Michael Witbrock; Achille Fokoue (CoRR, 2019)

Causal Knowledge Extraction through Large-Scale Text Mining. - Oktie Hassanzadeh; Debarun Bhattacharjya; Mark Feblowitz; Kavitha Srinivas; Michael Perrone; Shirin Sohrabi; Michael Katz 001 (AAAI, 2020)

SemTab 2019: Resources to Benchmark Tabular Data to Knowledge Graph Matching Systems. - Ernesto Jiménez-Ruiz; Oktie Hassanzadeh; Vasilis Efthymiou; Jiaoyan Chen 001; Kavitha Srinivas (ESWC, 2020)

A Demonstration of CodeBreaker: A Machine Interpretable Knowledge Graph for Code. - Ibrahim Abdelaziz; Kavitha Srinivas; Julian Dolby; Jamie P. McCusker (ISWC (Demos/Industry), 2020)

Results of SemTab 2020. - Ernesto Jiménez-Ruiz; Oktie Hassanzadeh; Vasilis Efthymiou; Jiaoyan Chen 001; Kavitha Srinivas; Vincenzo Cutrona (SemTab@ISWC, 2020)

Graph4Code: A Machine Interpretable Knowledge Graph for Code. - Kavitha Srinivas; Ibrahim Abdelaziz; Julian Dolby; Jamie P. McCusker (CoRR, 2020)

Unsupervised Causal Knowledge Extraction from Text using Natural Language Inference (Student Abstract). - Manik Bhandari; Mark Feblowitz; Oktie Hassanzadeh; Kavitha Srinivas; Shirin Sohrabi (AAAI, 2021)

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. - Maxwell Crouse; Ibrahim Abdelaziz; Bassem Makni; Spencer Whitehead; Cristina Cornelio; Pavan Kapanipathi; Kavitha Srinivas; Veronika Thost; Michael Witbrock; Achille Fokoue (AAAI, 2021)

IBM Scenario Planning Advisor: A Neuro-Symbolic ERM Solution. - Mark Feblowitz; Oktie Hassanzadeh; Michael Katz 001; Shirin Sohrabi; Kavitha Srinivas; Octavian Udrea (AAAI, 2021)

A Toolkit for Generating Code Knowledge Graphs. - Ibrahim Abdelaziz; Julian Dolby; Jamie P. McCusker; Kavitha Srinivas (K-CAP, 2021)

Results of SemTab 2021. - Vincenzo Cutrona; Jiaoyan Chen 001; Vasilis Efthymiou; Oktie Hassanzadeh; Ernesto Jiménez-Ruiz; Juan Sequeda; Kavitha Srinivas; Nora Abdelmageed; Madelon Hulsebos; Daniela Oliveira 002; Catia Pesquita (SemTab@ISWC, 2021)

Federated Data Science to Break Down Silos [Vision]. - Essam Mansour 001; Kavitha Srinivas; Katja Hose (SIGMOD Rec., 2021)

Can Machines Read Coding Manuals Yet? - A Benchmark for Building Better Language Models for Code Understanding. - Ibrahim Abdelaziz; Julian Dolby; Jamie P. McCusker; Kavitha Srinivas (AAAI, 2022)

How to Reduce Action Space for Planning Domains? (Student Abstract). - Harsha Kokel; Junkyu Lee 001; Michael Katz 001; Shirin Sohrabi; Kavitha Srinivas (AAAI, 2022)

Semantic Feature Discovery with Code Mining and Semantic Type Detection. - Kavitha Srinivas; Takaaki Tateishi; Daniel Karl I. Weidele; Udayan Khurana; Horst Samulowitz; Toshihiro Takahashi; Dakuo Wang; Lisa Amini (AAAI, 2022)

SPOCK @ Causal News Corpus 2022: Cause-Effect-Signal Span Detection Using Span-Based and Sequence Tagging Models. - Anik Saha; Alex Gittens; Jian Ni; Oktie Hassanzadeh; Bülent Yener; Kavitha Srinivas (CASE@EMNLP, 2022)

Knowledge-Based News Event Analysis and Forecasting Toolkit. - Oktie Hassanzadeh; Parul Awasthy; Ken Barker 002; Onkar Bhardwaj; Debarun Bhattacharjya; Mark Feblowitz; Lee Martie; Jian Ni; Kavitha Srinivas; Lucy Yip (IJCAI, 2022)

Results of SemTab 2022. - Nora Abdelmageed; Jiaoyan Chen 001; Vincenzo Cutrona; Vasilis Efthymiou; Oktie Hassanzadeh; Madelon Hulsebos; Ernesto Jiménez-Ruiz; Juan Sequeda; Kavitha Srinivas (SemTab@ISWC, 2022)

Knowledge-Based News Event Analysis Toolkit. - Oktie Hassanzadeh; Parul Awasthy; Ken Barker 002; Onkar Bhardwaj; Debarun Bhattacharjya; Mark Feblowitz; Aamod Khatiwada; Lee Martie; Steve Fonin Mbouadeu; Jian Ni; Anik Saha; Sola Shirai; et al. (ISWC (Posters/Demos/Industry), 2022)

Knowledge Graph Embeddings for Causal Relation Prediction. - Aamod Khatiwada; Sola Shirai; Kavitha Srinivas; Oktie Hassanzadeh (DL4KG@ISWC, 2022)

Large Scale Generation of Labeled Type Data for Python. - Ibrahim Abdelaziz; Julian Dolby; Kavitha Srinivas (CoRR, 2022)

A Survey on Semantics in Automated Data Science. - Udayan Khurana; Kavitha Srinivas; Horst Samulowitz (CoRR, 2022)

Exploring Code Style Transfer with Neural Networks. - Karl Munson; Anish Savla; Chih-Kai Ting; Serenity Wade; Kiran Kate; Kavitha Srinivas (CoRR, 2022)

A Scalable AutoML Approach Based on Graph Neural Networks. - Mossad Helali; Essam Mansour 001; Ibrahim Abdelaziz; Julian Dolby; Kavitha Srinivas (Proc. VLDB Endow., 2022)

CodeStylist: A System for Performing Code Style Transfer Using Neural Networks. - Chih-Kai Ting; Karl Munson; Serenity Wade; Anish Savla; Kiran Kate; Kavitha Srinivas (AAAI, 2023)

NumJoin: Discovering Numeric Joinable Tables with Semantically Related Columns. - Pranav Subramaniam; Udayan Khurana; Kavitha Srinivas; Horst Samulowitz (CIKM, 2023)

Related Table Search for Numeric data using Large Language Models and Enterprise Knowledge Graphs. - Pranav Subramaniam; Udayan Khurana; Kavitha Srinivas; Horst Samulowitz (EKG-LLM@CIKM, 2023)

SemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code. - Ibrahim Abdelaziz; Julian Dolby; Udayan Khurana; Horst Samulowitz; Kavitha Srinivas (IJCAI, 2023)

Action Space Reduction for Planning Domains. - Harsha Kokel; Junkyu Lee 001; Michael Katz 001; Kavitha Srinivas; Shirin Sohrabi (IJCAI, 2023)

Results of SemTab 2023. - Oktie Hassanzadeh; Nora Abdelmageed; Vasilis Efthymiou; Jiaoyan Chen 001; Vincenzo Cutrona; Madelon Hulsebos; Ernesto Jiménez-Ruiz; Aamod Khatiwada; Keti Korini; Benno Kruit; Juan Sequeda; Kavitha Srinivas (SemTab@ISWC, 2023)

Preface TaDA. - Vasilis Efthymiou; Oktie Hassanzadeh; Ernesto Jiménez-Ruiz; Kavitha Srinivas (VLDB Workshops, 2023)

Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning. - Wenting Zhao; Ibrahim Abdelaziz; Julian Dolby; Kavitha Srinivas; Mossad Helali; Essam Mansour 001 (CoRR, 2023)

A Vision for Semantically Enriched Data Science. - Udayan Khurana; Kavitha Srinivas; Sainyam Galhotra; Horst Samulowitz (CoRR, 2023)

LakeBench: Benchmarks for Data Discovery over Data Lakes. - Kavitha Srinivas; Julian Dolby; Ibrahim Abdelaziz; Oktie Hassanzadeh; Harsha Kokel; Aamod Khatiwada; Tejaswini Pedapati; Subhajit Chaudhury; Horst Samulowitz (CoRR, 2023)

A Cross-Domain Evaluation of Approaches for Causal Knowledge Extraction. - Anik Saha; Oktie Hassanzadeh; Alex Gittens; Jian Ni; Kavitha Srinivas; Bülent Yener (CoRR, 2023)

Improving Neural Ranking Models with Traditional IR Methods. - Anik Saha; Oktie Hassanzadeh; Alex Gittens; Jian Ni; Kavitha Srinivas; Bülent Yener (CoRR, 2023)

Learning to Guide a Saturation-Based Theorem Prover. - Ibrahim Abdelaziz; Maxwell Crouse; Bassem Makni; Vernon Austel; Cristina Cornelio; Shajith Ikbal; Pavan Kapanipathi; Ndivhuwo Makondo; Kavitha Srinivas; Michael Witbrock; Achille Fokoue (IEEE Trans. Pattern Anal. Mach. Intell., 2023)

DataRinse: Semantic Transforms for Data preparation based on Code Mining. - Ibrahim Abdelaziz; Julian Dolby; Udayan Khurana; Horst Samulowitz; Kavitha Srinivas (Proc. VLDB Endow., 2023)

Large Language Models as Planning Domain Generators (Student Abstract). - James T. Oswald; Kavitha Srinivas; Harsha Kokel; Junkyu Lee 001; Michael Katz 001; Shirin Sohrabi (AAAI, 2024)

Generalized Planning in PDDL Domains with Pretrained Large Language Models. - Tom Silver; Soham Dan; Kavitha Srinivas; Joshua B. Tenenbaum; Leslie Pack Kaelbling; Michael Katz 001 (AAAI, 2024)

Large Language Models as Planning Domain Generators. - James T. Oswald; Kavitha Srinivas; Harsha Kokel; Junkyu Lee 001; Michael Katz 001; Shirin Sohrabi (ICAPS, 2024)

Thought of Search: Planning with Language Models Through The Lens of Efficiency. - Michael Katz 001; Harsha Kokel; Kavitha Srinivas; Shirin Sohrabi (NeurIPS, 2024)

2nd International Workshop on Tabular Data Analysis (TaDA). - Vasilis Efthymiou; Sainyam Galhotra; Oktie Hassanzadeh; Chuan Lei; Kavitha Srinivas (VLDB Workshops, 2024)

Planning with Language Models Through The Lens of Efficiency. - Michael Katz 001; Harsha Kokel; Kavitha Srinivas; Shirin Sohrabi (CoRR, 2024)

Out of style: Misadventures with LLMs and code style transfer. - Karl Munson; Chih-Kai Ting; Serenity Wade; Anish Savla; Julian Dolby; Kiran Kate; Kavitha Srinivas (CoRR, 2024)

TabSketchFM: Sketch-based Tabular Representation Learning for Data Discovery over Data Lakes. - Aamod Khatiwada; Harsha Kokel; Ibrahim Abdelaziz; Subhajit Chaudhury; Julian Dolby; Oktie Hassanzadeh; Zhenhan Huang; Tejaswini Pedapati; Horst Samulowitz; Kavitha Srinivas (CoRR, 2024)

Automating Thought of Search: A Journey Towards Soundness and Completeness. - Daniel Cao; Michael Katz 001; Harsha Kokel; Kavitha Srinivas; Shirin Sohrabi (CoRR, 2024)

Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract). - Daniel Cao; Michael Katz 001; Harsha Kokel; Kavitha Srinivas; Shirin Sohrabi (AAAI, 2025)

ACPBench: Reasoning About Action, Change, and Planning. - Harsha Kokel; Michael Katz 001; Kavitha Srinivas; Shirin Sohrabi (AAAI, 2025)

Language Models Are Good Tabular Learners. - Zhenhan Huang; Kavitha Srinivas; Horst Samulowitz; Niharika S. D'Souza; Charu C. Aggarwal; Pin-Yu Chen; Jianxi Gao (Trans. Mach. Learn. Res., 2025)

Can Cross Encoders Produce Useful Sentence Embeddings? - Haritha Ananthakrishnan; Julian Dolby; Harsha Kokel; Horst Samulowitz; Kavitha Srinivas (CoRR, 2025)

ACPBench Hard: Unrestrained Reasoning about Action, Change, and Planning. - Harsha Kokel; Michael Katz 001; Kavitha Srinivas; Shirin Sohrabi (CoRR, 2025)

TOPJoin: A Context-Aware Multi-Criteria Approach for Joinable Column Search. - Harsha Kokel; Aamod Khatiwada; Tejaswini Pedapati; Haritha Ananthakrishnan; Oktie Hassanzadeh; Horst Samulowitz; Kavitha Srinivas (CoRR, 2025)