News

Justin Gottschlich's podcast with The New York Times now available on "Eye on A.I."
March 5, 2020

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.

Here is the link to Tweet or share on your social media.  

Insup Lee serves as Co-Editor-in-Chief of the ACM HEALTH Inaugural Issue
March 3, 2020

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.

PRECISE's latest research featured on DARPA main page
January 29, 2020

Check out PRECISE's progress towards assuredly safer autonomous systems.

Justin Gottschlich and his team featured in VentureBeat
December 10, 2019

VentureBeat published an article on Intel’s research, prominently featuring Dr. Gottschlich and his Machine Programming Research team at NeurIPS '19.

 

Justin Gottschlich featured in The Economic Times (India Times)
November 26, 2019

Justin Gottschlich was recently featured in the November issue of The Economic Times (India Times).  That article compliments Dr. Gottschlich's insights and expertise on "Machine Learning" and "Machine Programming" from his Knowledge@Wharton interview.

Justin Gottschlich shares his insights on MACHINE PROGRAMMING at K@W of the Wharton School
November 22, 2019
Eric Micallef awarded the 2019 J.P. Eckert Master’s Fellowship
November 21, 2019

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 win Test-of-Time Award
November 4, 2019

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.

 

PRECISE's team won best paper award at Memocode
October 10, 2019

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 Analysisat ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019.  

Congratulations to Luan and all!

 

Our "Control of Multi-Drone Fleets with Temporal Logic" featured in Philly Inquirer
July 24, 2019

Philly Inquirer article on Uber Elevate quotes our "Fly-by-Logic" research.