Conformal Transformations for Symmetric Power Transformers.
CoRR, March, 2025
Reading Subtext: Evaluating Large Language Models on Short Story Summarization with Writers.
Trans. Assoc. Comput. Linguistics, 2024
Sparx: Distributed Outlier Detection at Scale.
Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022
Toward Unsupervised Outlier Model Selection.
Proceedings of the IEEE International Conference on Data Mining, 2022
Computing the Death Rate of COVID-19.
Proceedings of the Computer Science Protecting Human Society Against Epidemics, 2021
When Sets Can and Cannot Have Sum-Dominant Subsets.
J. Integer Seq., 2018
CASA dual-doppler system.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010
A schema for interprocedural modification side-effect analysis with pointer aliasing.
ACM Trans. Program. Lang. Syst., 2001
Experiments with Combined Analysis for Pointer Aliasing.
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996
Interprocedural Side Effect Analysis With Pointer Aliasing.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993