Skip to content
Hallway
0:00 / 0:00

#quickcheck#property-basedtesting#compilertesting

Effect-Driven QuickChecking of Compilers

ICFP Video

3.8K subscribers • 33 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Jan Midtgaard

Intermediate. Assumes working knowledge.

286 views8 years ago2 recommendations

Systems programmingTools and practiceCompilers and interpretersTestingFunctional programming

Jan Midtgaard presents an approach to testing compilers using effect-driven property-based testing with QuickCheck.

Presenter: Jan Midtgaard

Why it's here

2 people recommend this

What people say. Recommended as an entertaining and handy approach to testing compilers and type systems.

u/bjzabain r/ProgrammingLanguages • Recommends

On “Playlist of ICFP 2017 talks - YouTube”

Just finished watching Effect-Driven QuickChecking of Compilers - looks like a super handy approach for testing out compilers! Speaker was entertaining too, which was a bonus! Paper is here.
4View on Reddit

u/thenameipickin r/ProgrammingLanguages • Recommends

On “How to test type systems?”

Option #2 is actually somewhat viable. Checkout this video, where a guy tries just that: link to this video
2View on Reddit

u/bjzabain r/ProgrammingLanguages • Recommends

On “How do you write tests for your compiler?”

I use golden/snapshot testing with some example programs for each step of compilation - that way I don't need to manually write out the AST for the examples. Also some specific integration tests for type system features. I'm also interested in trying my hand at using property-based testing as well. There was a entertaining talk on this approach at ICFP this year: Effect-Driven QuickChecking of Compilers (paper).
1View on Reddit

u/bjzabaPikelet, Fathomin r/ProgrammingLanguages • Recommends

On “Generating runnable programs automatically for any programming language”

Effect-Driven QuickChecking of Compilers by Midtgaard et al. is a good paper about this kind of thing: - Paper - Video - Github
1View on Reddit