University of Illinois Urbana-Champaign

Open Problems and Challenges 2017

Roşu, Grigore

Content Files
rosu-2017-tr.pdf

Permalink

https://hdl.handle.net/2142/95775

Description

Title
Open Problems and Challenges 2017
Author(s)
Roşu, Grigore
Issue Date
2017-03-27
Keyword(s)
  • K
  • matching logic
  • reachability logic
  • runtime verification
Date of Ingest
2017-03-28T03:07:46Z
Abstract
Here is a 2017 update of the list of open problems and challenges that I (Grigore Rosu) am interested in solving, in no particular order. While we are doing our best to keep this list actual, it may well be the case that some of the problems have been solved in the meanwhile or that we have found a different way to approach them. In case you are interested in working on any of these problems, please send me a note at (grosu@illinois.edu) to make sure that the problem is still actual and nobody is already working on it. The reason I decided to create and maintain this list of challenges is not only that it helps me keep track of them, but more importantly, that is also helps my students understand these topics better and put things at their place in the big picture. There are more problems here than one person can finish in a life-time. If you choose to work on a problem and believe that I can help, please let me know and we may work together on it. If you are a student in my FSL group, then you are actually expected to work together with me, and possibly other students, on one or more of these problems.
Type of Resource
text
Genre of Resource
  • Technical Report
  • Website
  • Working / Discussion Paper
Language
en
Permalink
http://hdl.handle.net/2142/95775

Owning Collections

Research and Tech Reports - Computer Science PRIMARY