modus icon indicating copy to clipboard operation
modus copied to clipboard

Published 20 hours ago • verified publisher icon pku-msv-lab

Who's behind this project ?

Open sfermigier opened this issue 2 years ago • 3 comments

The website says "© 2022 University College London." so I guess it's a research project.

Could you add a link to the specific team / research project that's working on this ? And research papers, if there are any ?

sfermigier avatar Aug 04 '22 06:08 sfermigier

@sfermigier, thank you for your interest!

The project is led by me, Sergey Mechtaev (https://mechtaev.com), and Earl T. Barr (https://earlbarr.com/). Two UCL undergraduate students, Chris Tomy @thevirtuoso1973 and Tingmao Wang @micromaomao, made significant contribution to the current version of the language. We have also published a paper about Modus:

Modus: A Datalog Dialect for Building Container Images Chris Tomy, Tingmao Wang, Earl Barr, Sergey Mechtaev Foundations of Software Engineering (FSE) 2022

We are currently working on the camera-ready version of the paper, and will make it public soon. Then, I will put this information on the website, and post a link to the paper here as well.

mechtaev avatar Aug 04 '22 08:08 mechtaev

Still interested in the camera-ready version (or even a preprint).

sfermigier avatar Sep 02 '22 11:09 sfermigier

@sfermigier, here is the camera-ready version of our paper: https://mechtaev.com/files/fse22.pdf

mechtaev avatar Sep 16 '22 10:09 mechtaev

addressed by https://github.com/modus-continens/website/commit/46df451d8bbfec77956bca56e74ab6904602e710

mechtaev avatar Nov 10 '22 17:11 mechtaev