Re: binary search debugging of compilers

Fernando <pronesto@gmail.com>
Sat, 13 May 2023 04:47:48 -0700 (PDT)

          From comp.compilers
Related articles
binary search debugging of compilers rsc@swtch.com (Russ Cox) (2023-05-12)
Re: binary search debugging of compilers 864-117-4973@kylheku.com (Kaz Kylheku) (2023-05-13)
Re: binary search debugging of compilers pronesto@gmail.com (Fernando) (2023-05-13)
Re: binary search debugging of compilers 864-117-4973@kylheku.com (Kaz Kylheku) (2023-05-14)
Re: binary search debugging of compilers tkoenig@netcologne.de (Thomas Koenig) (2023-05-14)
Re: binary search debugging of compilers gah4@u.washington.edu (gah4) (2023-05-14)
Re: binary search debugging of compilers cameron.mcinally@nyu.edu (Cameron McInally) (2023-05-14)
Re: binary search debugging of compilers 864-117-4973@kylheku.com (Kaz Kylheku) (2023-05-15)
Re: binary search debugging of compilers 864-117-4973@kylheku.com (Kaz Kylheku) (2023-05-15)
[16 later articles]
| List of all articles for this month |
From: Fernando <pronesto@gmail.com>
Newsgroups: comp.compilers
Date: Sat, 13 May 2023 04:47:48 -0700 (PDT)
Organization: Compilers Central
References: 23-05-003
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="5859"; mail-complaints-to="abuse@iecc.com"
Keywords: tools, debug
Posted-Date: 13 May 2023 11:15:13 EDT
In-Reply-To: 23-05-003

Hi Russ, that's very interesting. You should consider submitting a report of
the technique to CGO! The next deadline is on the 19th, but then there will be
another deadline on September 1st.


As for a related work, see John Regehr's research on test case reduction for
compilers [1].


[1] John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang:
Test-case reduction for C compiler bugs. PLDI 2012: 335-346


Regards,


Fernando

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.