Fingerprint
Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty
Huang, Z., Laurel, J., Dutta, S. & Misailovic, S., 2026, Static Analysis - 32nd International Symposium, SAS 2025, Proceedings. Oh, H. & Sui, Y. (eds.). Springer, p. 113-141 29 p. (Lecture Notes in Computer Science; vol. 16100 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
CRANE: Reasoning with constrained LLM generation
Banerjee, D., Suresh, T., Ugare, S., Misailovic, S. & Singh, G., 2025, In: Proceedings of Machine Learning Research. 267, p. 2836-2857 22 p.Research output: Contribution to journal › Conference article › peer-review
-
FastFlip: Compositional SDC Resiliency Analysis
Joshi, K., Singh, R., Bassetto, T., Adve, S., Marinov, D. & Misailovic, S., Mar 1 2025, CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization. Doerfert, J., Grosser, T., Leather, H. & Sadayappan, P. (eds.). Association for Computing Machinery, p. 362-376 15 p. (CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
ITERGEN: ITERATIVE SEMANTIC-AWARE STRUCTURED LLM GENERATION WITH BACKTRACKING
Ugare, S., Gumaste, R., Suresh, T., Singh, G. & Misailovic, S., 2025, 13th International Conference on Learning Representations, ICLR 2025. International Conference on Learning Representations, ICLR, p. 18172-18197 26 p. (13th International Conference on Learning Representations, ICLR 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Safety and Trust in Artificial Intelligence with Abstract Interpretation
Singh, G., Laurel, J., Misailovic, S., Banerjee, D., Singh, A., Xu, C., Ugare, S. & Zhang, H., Jun 26 2025, In: Foundations and Trends in Programming Languages. 8, 3-4, p. 250-408 159 p.Research output: Contribution to journal › Review article › peer-review
Open Access