Prof. Michael D. ADAMS — Research Profile
National University of Singapore · Computer Science
About
Prof. Michael D. ADAMS at National University of Singapore Computer Science lists Programming Languages & Software Engineering as their registered research area.
Research keywords
Recent papers
- Proceedings of the Seventh miniKanren and Relational Programming Workshop (miniKanren 2025)NewPreprintarXiv (Cornell University) · Oct 5
- Programming with Composable Recursive Patterns and TransformationsProceedings of the ACM on Programming Languages · Oct 1
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Liu Yang 교수 연구실
Nanyang Technological University · College of Computing and Data Science
Cracking Query Bottlenecks: Towards Efficiency-Oriented Text-to-SQL GenerationProceedings of the ACM on software engineering. · Oct 1Shared topic: Advanced Database Systems and Queries
Ilya Sergey 교수 연구실
National University of Singapore · Computer Science
Tracking Borrows with Regular ExpressionsProceedings of the ACM on Programming Languages · Oct 1Shared topic: Logic, programming, and type systems
BIAN Yatao 교수 연구실
National University of Singapore · Computer Science
What Do Current Systematic Generalization Tasks Miss? A Reasoning-Centered AnalysisPreprintarXiv (Cornell University) · Sep 16Shared topic: Logic, Reasoning, and Knowledge
Other labs in this department
- Abhik Roychoudhury 교수 연구실
Programming Languages & Software Engineering, Security
- Ambuj VARSHNEY 교수 연구실
Systems & Networking
- Angela Yao 교수 연구실
Artificial Intelligence, Media
- Anji LIU 교수 연구실
Artificial Intelligence
- Ben Leong Wing Lup 교수 연구실
Systems & Networking
- BIAN Yatao 교수 연구실
Artificial Intelligence