Conflicting paper entry for "Global invariants for analysing multi-threaded applications"

goblint / GobWeb

Website for the Static Analyzer Goblint

https://goblint.in.tum.de

3 stars 0 forks source link

Conflicting paper entry for "Global invariants for analysing multi-threaded applications" #42

Closed sim642 closed 1 week ago

sim642 commented 3 weeks ago

https://github.com/goblint/GobWeb/blob/65bb2fcf5158a935080653dec993174a12cc0df2/src/app/papers.ts#L813-L830

The website shows "NWPT 2002", but the BibTeX to be copied is for 2003 and another venue.

michael-schwarz commented 3 weeks ago

This is likely a case of me trusting chatgpt to do some of the reformatting and not properly verifying it does something meaningful :upside_down_face: