Projects per year
Fingerprint
Dive into the research topics where Gopalan Nadathur is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 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
Projects and Grants
- 13 Finished
-
SHF: Small: A Higher-Order Framework for Meta-Theoretic
THE NATIONAL SCIENCE FOUNDATION
7/1/16 → 9/30/22
Project: Research project
-
SHF: Small: A Higher-Order Framework for Meta-Theoretic Reasoning
7/1/16 → 9/30/22
Project: Research project
-
Midwest Verification Day, 2011
THE NATIONAL SCIENCE FOUNDATION
8/1/11 → 7/31/12
Project: Research project
-
-
-
A Logic for Formalizing Properties of LF Specifications
Nadathur, G. & Southern, M., Sep 20 2022, Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, PPDP 2022 - Co-located with CLAS 2022 (including LOPSTR 2022). Association for Computing Machinery, 3551377. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Adelfa: A system for reasoning about LF specifications
Southern, M. & Nadathur, G., Jul 16 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 337, p. 104-120 17 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Scopus citations -
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday
Baelde, D., Felty, A., Nadathur, G. & Saurin, A., Sep 1 2019, In: Mathematical Structures in Computer Science. 29, 8, p. 1007-1008 2 p.Research output: Contribution to journal › Editorial › peer-review
Open Access -
Schematic polymorphism in the Abella proof assistant
Nadathur, G. & Wang, Y., Sep 3 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018. Association for Computing Machinery, 15. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A higher-order abstract syntax approach to verified transformations on functional programs
Wang, Y. & Nadathur, G., 2016, Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Thiemann, P. (ed.). Springer Verlag, p. 752-779 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9632).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations