GiuseppeDiLuna

3 ms·

1. 1.▲
   by GiuseppeDiLuna 6y ago

   Hi! We are able to identify some kind of mis-stepping behaviour (look at Section 7-6). However, as you can imagine, we cannot catch all cases. As you pointed out, a real problem is that there is no clear definition of what should be the sem
2. 2.▲
   by GiuseppeDiLuna 6y ago

   Many thanks for catching the typos! I will update the arxiv to fix it.
3. 3.▲
   by GiuseppeDiLuna 6y ago

   Many thanks for your interest! We are not working on DWARF. However, we hope that the paper will spur a public discussion on these problems. Helping the entire community to have a more expressive standard.
4. 4.▲
   by GiuseppeDiLuna 6y ago

   Hi! We plan to use the framework to investigate more the correctness of debug information. Personally, I am not interested in startup and commercial opportunities. Releasing the software is a step we are discussing.
5. 5.▲
   by GiuseppeDiLuna 6y ago

   Dear HN community, I am one of the paper authors, the paper has been accepted for presentation at ASPLOS 2021. If you have any question let me know!