*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Francella Tonge
Summary Sentence: Visiting Lecture from Roopsha Samanta, postdoctoral researcher at the Institute of Science and Technology Austria
Full Summary: No summary paragraph submitted.
Roophsa SamantaAbstract:
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.
