k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] K-related open problems and challenges

From: Omar Duhaiby <3omarz AT gmail.com>
To: Dwight Guth <dwight.guth AT runtimeverification.com>
Cc: "Rosu, Grigore" <grosu AT illinois.edu>, k-user AT cs.illinois.edu
Subject: Re: [[K-user] ] K-related open problems and challenges
Date: Sat, 27 Feb 2016 21:34:16 +0300

I'm very interested in the semantics of K and in KORE. What's the progress on KORE if I may ask?

On Sat, Feb 27, 2016 at 7:19 PM, Dwight Guth <dwight.guth AT runtimeverification.com> wrote:

I suspect I will be working on the module system at some point in the future, because I suspect it will be necessary in order to properly isolate the common fragment of C and C++, and to ensure the ability to execute mixed C/C++ programs. But I won't really know for sure until I start diving into the design work.

On Feb 27, 2016 7:36 AM, "Rosu, Grigore" <grosu AT illinois.edu> wrote:
Dear K users,

We have recently compiled a list of open problems and challenges related to K and its foundations at:

http://fsl.cs.illinois.edu/index.php/Open_Problems_and_Challenges

Please feel free to contact us if you are interested in any of these problems, or if you are already working on any of them.

Best,
Grigore

[[K-user] ] K-related open problems and challenges, Rosu, Grigore, 02/27/2016
- Re: [[K-user] ] K-related open problems and challenges, Dwight Guth, 02/27/2016
  - Re: [[K-user] ] K-related open problems and challenges, Omar Duhaiby, 02/27/2016
- Re: [[K-user] ] K-related open problems and challenges, Dorel Lucanu, 02/29/2016
  - RE: [[K-user] ] K-related open problems and challenges, Rosu, Grigore, 02/29/2016