Towards Seamless Collaboration: Redefining Human-AI Interaction in Programming

ACM TechTalks
1

Title: Towards Seamless Collaboration: Redefining Human-AI Interaction in Programming
Date: December 20, 2023
Duration: 1 HR

SPEAKER
Sandeep Kaur Kuttal
Associate Professor, North Carolina State University

MODERATOR
Tiffany Barnes
Professor, North Carolina State University

Registration Link

Large Language Models (LLMs) (free Percipio Video for ACM Members with Skills Bundle)
Introduction to Transformers for NLP: With the Hugging Face Library and Models to Solve Problems (free Percipio book for ACM Members with Skills Bundle)
Quick Start Guide to Large Language Models: Strategies and Best Practices for Using ChatGPT and Other LLMs (free O’Reilly book for ACM Members with Skills Bundle)
Prompt Engineering – For Optimal LLM Performance (free O’Reilly course for ACM Members with Skills Bundle)
Hands-On Large Language Models (free O’Reilly book for ACM Members with Skills Bundle)

2

At Germany’s Cyberagentur, we are financing research into security guarantees via formal verification. DARPA is pursuing similar goals in past and current programs (see DARPA news item on PROVERS program). However formal methods are not widely used in software engineering because they require specialised skills and programming approaches. I wonder whether and how AI can help to facilitate the use of formal methods in programming, to obtain inherently more secure software?