Programming languages and software engineering
Project
GitHub Agentic Workflows
Write natural language workflows (AI-powered automation that can make decisions) that understand context, make decisions, and take meaningful actions across your repositories. Write agentic workflows in natural language markdown, and run them safely in GitHub…
Career Opportunity
Research Intern – RiSE group (Formal Methods, High-Performance Computing, ML Systems, Programming Languages, Software Engineering)
The RiSE group seeks Research Interns with a demonstrated desire to extend the state-of-the-art of research in the broad fields of formal methods, high-performance computing, Macine Learning (ML) systems, programming languages, and software engineering. Research…
