Dr. Gottschlich sat down with longtime New York Times correspondent Craig S. Smith for their Eye on A.I. podcast (Episode No. 033 - "Software that writes software: toward a future in which everyone can create computer programs") to explain his machine programming research efforts to automate software development. "The ambition is to make it possible for anybody to create software simply by describing what they intend the software to do," wrote the NY Times.
The inaugural issue of ACM Transactions on Computing for Healthcare (HEALTH) is a multi-disciplinary journal which focuses on wearable technologies for smart health. It is now available in the ACM Digital Library. PRECISE Director Insup Lee is honored, humbled and excited to serve as their Co-Editor-in-Chief.
For further information or to submit your manuscript, please visit health.acm.org.
Check out PRECISE's progress towards assuredly safer autonomous systems.
Eric Micallef, a senior in the Embedded Systems (EMBS) MSE program, is one of the 2019 recipients of the J.P. Eckert Master’s Fellowship. Congratulations, Eric!
PRECISE members Insup Lee and Oleg Sokolsky, along with Sampath Kannan, Moonzoo Kim, and Mahesh Viswanathan, win the Test-of-Time Award for their 2001 paper titled "Java-MaC: a run-time assurance tool for Java programs" at the 2019 Conference on Runtime Verification.
Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur won Best Paper Award on their "Detecting Security Leaks in Hybrid Systems with Information Flow Analysis" at ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019.
Congratulations to Luan and all!
Philly Inquirer article on Uber Elevate quotes our "Fly-by-Logic" research.