Visiting Lecture Series: Roopsha Samanta, “Computer-aided Programming for Concurrency and Beyond”

Event Details
  • Date/Time:
    • Tuesday March 29, 2016
      11:00 am - 12:30 pm
  • Location: Klaus Advanced Computing Building, Room 1116, 266 Ferst Drive, Atlanta 30332
  • Phone:
  • URL:
  • Email:
  • Fee(s):
    $0.00
  • Extras:
Contact

Francella Tonge

ftonge3@cc.gatech.edu

Summaries

Summary Sentence: Visiting Lecture from Roopsha Samanta, postdoctoral researcher at the Institute of Science and Technology Austria

Full Summary: No summary paragraph submitted.

Media
  • Roophsa Samanta Roophsa Samanta
    (image/jpeg)

Abstract:

Science fiction of yore is now a reality with self-driving cars, wearable computers, autonomous robots, and massive open online classrooms. These systems demand new computational tasks for highly-concurrent systems, real-time computing, heterogeneous environments, and education. My research vision is one of computer-aided programming that helps expert programmers build reliable systems for this new landscape, and novice programmers quickly develop expert programming skills.

In this talk, I will focus on computer-aided programming of concurrent programs. Humans and machines alike find it hard to reason about concurrent programs. I argue that automatic synthesis of tricky synchronization primitives such as locks can simplify concurrent programming. I will illustrate how to develop such a “synchronization synthesizer” by presenting several new ideas and techniques from my recent body of work. Furthermore, I will show the effectiveness of this approach for programming real-world systems code. Finally, I will discuss my future plans on personalized computer-aided programming education for programming students and for ensuring the reliability of complex cyber-physical systems operating in unpredictable environments.

Bio:
Roopsha Samanta is a postdoctoral researcher in Tom Henzinger’s group at the Institute of Science and Technology, Austria (IST-Austria). She completed her Ph.D. at The University of Texas at Austin in 2013, supervised by E. Allen Emerson and Vijay K. Garg. Roopsha’s research is about computer-aided programming for development of programs that are correct, efficient, and robust. Her work relies on inspiration and techniques from formal methods and programming languages while targeting domains such as concurrent software in OS kernels, real-time and cyber-physical systems in robotics and Internet of Things applications, and personalized education.

Additional Information

In Campus Calendar
Yes
Groups

College of Computing, School of Computer Science

Invited Audience
Undergraduate students, Faculty/Staff, Public, Graduate students
Categories
Seminar/Lecture/Colloquium
Keywords
College of Computing, Faculty Lecture, School of Computer Science, SCS
Status
  • Created By: Devin Young
  • Workflow Status: Review
  • Created On: Feb 19, 2016 - 12:43pm
  • Last Updated: Apr 13, 2017 - 5:16pm