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
-
FO-Complete Program Verification for Heap Logics
Murali, A., Balakrishnan, H., Councilman, A. & Madhusudan, P., Apr 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA1, 106.Research output: Contribution to journal › Article › peer-review
Open Access -
Synthesizing DSLs for Few-Shot Learning
Krogmeier, P. & Madhusudan, P., Oct 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 642-669 28 p.Research output: Contribution to journal › Article › peer-review
Open Access -
ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks
Dinesh, S., Parthasarathy, M. & Fletcher, C. W., 2024, Proceedings - 45th IEEE Symposium on Security and Privacy, SP 2024. Institute of Electrical and Electronics Engineers Inc., p. 3735-3753 19 p. (Proceedings - IEEE Symposium on Security and Privacy).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Predictable Verification using Intrinsic Definitions
Murali, A., Rivera, C. & Madhusudan, P., Jun 20 2024, In: Proceedings of the ACM on Programming Languages. 8, 220.Research output: Contribution to journal › Article › peer-review
Open Access -
A First-order Logic with Frames
Murali, A., Peña, L., Löding, C. & Madhusudan, P., May 15 2023, In: ACM Transactions on Programming Languages and Systems. 45, 2, 7.Research output: Contribution to journal › Article › peer-review
Open Access