News

Filip Niksic won the John C. Reynolds Doctoral Dissertation Award 2020
November 18, 2020

Congratulations to Filip Niksic (who just finished postdoc here and joined Google). His PhD thesis, at MPI-SWS advised by Rupak Majumdar, on "Combinatorial Constructions for Effective Testing" won the John C. Reynolds Doctoral Dissertation Award - This is an annual award given by ACM SIGPLAN for a doctoral dissertation in the field of programming languages.

Citation:

Soundness is at the core of most programming language verification techniques. On the other hand, random testing is one of the most commonly used techniques for analyzing software. Developing a theory of soundness for random testing is therefore a very important goal, but very few results existed before this thesis. Randomized techniques are seldom used in (sound) program analyses, which means that addressing the problem required the development of new ways to approaching it. Filip Niksic's thesis is among the first to apply deep techniques from randomized algorithms and combinatorics to the problem of understanding and explaining the effectiveness of random testing. Moreover, the theory helps with the design of new random testing approaches. The thesis addresses a hard problem, brining in novel theory from outside programming languages, and proving hard theorems. As scientists, when we see a phenomenon that we cannot immediately explain (in this case, the effectiveness of random testing), we should try to build a scientific explanation. For some problems, including random testing, it is unclear that one can actually formulate a precise theory, because the "real world" is extremely messy. The fact that Filip Niksic is able to formulate such problems precisely and prove nontrivial theorems about them is surprising and opens the door to a new field.

PRECISE Director Insup Lee & His Team Receive $6 Million Grant to Make AI More Resilient to Attacks
October 27, 2020

Congratulations! Our center director and his team have been awarded the prestigious grant, from the Department of Defense, for their “Robust Concept Learning and Lifelong Adaptation Against Adversarial Attack” proposal. This multidisciplinary university research initiative project, supported by the Army Research Office, aims to uncover the science that would make building AI systems that are resilient to adversarial attacks and can grow in functionality over time (by learning from experience). They hope that their proposed adaptive learning vision will likely become a cornerstone toward the ubiquitous adoption of future machine learning systems.

Prof. Rahul Mangharam's team won Best in Session award for Urban Air Mobility paper
October 26, 2020

Our work on Designing Safe Autonomous Systems includes autonomous air traffic control for future drone urban air mobility networks of 1000-5000 drones over urban areas. One key issue is that - unlike commercial airlines, these drones do not fly along pre-set routes but follow what is called "free flight" and can choose their travel route. This introduces a critical problem of collisions between drones and needs to be handled via collision avoidance systems between the drones. We believe that this is a notoriously difficult problem among the many hot topics for research. 

Kuk Jang, Yash Pant, Alena Rodionova and Prof. Rahul Mangharam wrote a paper on Learning-to-Fly RL which won the Best in Session Award at the Digital Avionics Systems Conference last week. To learn more, please check out their talk video.

Congratulations to Rahul and all!

Photo of Best-in-Session-award-for Urban-Air Mobility pape

 

Prof. Justin Gottschlich's Interview Segment on the Next Platform TV Now Live!
October 16, 2020

Justin Gottschlich shared his insights on the current and future directions for machine and neural programming with Next Platform TV (16 Oct 2020 episode). Check out his commentary begins at the 27:15 minute mark.

Prof. Nikolai Matni was featured in IEEE Control Systems Magazine
September 17, 2020

Nikolai Matni was featured in Issue 5 (Vol. 40, Oct. 2020) of Control Systems Magazine's "People in Control." Check out here to find out how he got started working in controls, his passion of the the field, and his insights of such exciting research opportunities/directions! 

PRECISE Partners with Penn Nursing & Medical Device Provider Hillrom on IoT Technology
August 19, 2020

Insup Lee and his team partner with Hillrom and Penn Nursing to optimize the use of medical devices in clinical settings to improve patient outcomes. To learn more, please go to Penn Today and the Daily Pennsylvanian.

Justin Gottschlich & His Team Deliver Improved Machine-Programming Code Similarity System
July 29, 2020

Computer programmers may soon design the ultimate program. A team led by Justin Gottschlich has created a new machine learning system that designs its own code. They call such system MISIM, Machine Inferred Code Similarity. You can learn how researchers are teaching machines to program themselves in an effort to write faster and more efficient software from: MIT Technology Review, Intel Newsroom, SiliconANGLE, VentureBeat, ZDNet, The Singularity, The Register, and ~70 other venues.

Wired.com Series featuring EMBS alumnus, Nicholas Renner
July 21, 2020

EMBS Alum, Nicholas Renner, was featured on wired.com (@12:18). For more details, please refer to the link below.

 

Our Illustrated Yoga Mat Will Guide Your Countless Different Poses
June 19, 2020

Given the current state of the world, many people have begun working out from home. Our team was awarded a US patent on the innovative yoga mat which allows physical interaction beyond the screen.

Watch the video here - https://lnkd.in/dSttxGx

Justin Gottschlich quoted in VentureBeat.com
June 8, 2020

Facebook AI advances in their exploration of machine programming by creating a new TransCoder that translates code between different coding languages. Justin Gottschlich was quoted at the end of this article.