MétaCan
ENFR
Menu
Cohort builder

4,299,418 works, Canadian by any of four routes.

Every filter state is a URL; the URL is the query; the query is citable via /q/⟨hash⟩. The page, the API and the export parse the same parameters.

Export CSVExport JSONAPI query

The current cohort, streamed from the database: every work column, the machine labels, the provisional scores, and the per-row validation status. Exports are capped at 100,000 rows. Mints a permanent /q/ link for this exact query. The same filters always produce the same link, whoever asks.

Search term
Author
Year range
→
Sort
Language
Type
Field
Venue
Science of Computer Programming
Topic
Retraction
Abstract
Evidence source
Study design
Label agreement
Label status

Direct Codex and Gemma labels are unvalidated and sparse. Distilled predictions cover the full frame and are also unvalidated. Choose the evidence source explicitly; absence of a direct label is never a negative label.

affaffiliation
fundfunder
venuejournal
aboutaboutness

The four routes compose: require the funder route and exclude affiliation to get the funder-only stratum no affiliation-based frame ever sees.

94 results · 1 filter active ·
Results by year
20002025
Publication date
Categories
Machine labels · sparse coverage
Evidence
Language
Type
Citations
An unlabeled work is unknown, not a negative. Label coverage is reported on every query.
94 works in the cohort · of 4,299,418page 2 of 2

Labels cover 1 of 94 works in this cohort. The rest are unlabeled, which is not a negative label: the label table is sparse today and grows as labeling rounds land.

Distilled predictions cover 94 of 94 works in this cohort. Predictions are machine_predicted_unvalidated. The Gemma side is a direct model label for every work (title-only); the Codex side is a distilled, calibrated classifier. Candidate is the union; consensus is the intersection.

affno abstractunlabeled
Parse views with Boolean grammars
Andrew Stevenson, James R. Cordy
2013· article· en· Science of Computer Programming· Computer Science
machine prediction:candidate · noneconsensus · none
7
citations
afffundno abstractunlabeled
Supervisory control theory with Alloy
Benoît Fraikin, Marc Frappier, Richard St‐Denis
2014· article· en· Science of Computer Programming· Computer Science
machine prediction:candidate · noneconsensus · none
6
citations
afffundno abstractunlabeled
A calculus of program adaptation and its applications
Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
2000· article· en· Science of Computer Programming· Computer Science
machine prediction:candidate · noneconsensus · none
6
citations
affno abstractunlabeled
Partial evaluation of Maple
Jacques Carette, Michael Kucera
2010· article· en· Science of Computer Programming· Computer Science
machine prediction:candidate · noneconsensus · none
5
citations
afffundno abstractunlabeled
A formal validation of the RBAC ANSI 2012 standard using B
Nghi Quang Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
2016· article· en· Science of Computer Programming· Computer Science
machine prediction:candidate · noneconsensus · none
4
citations
affno abstractunlabeled
A Product Line engineering practices model
François Coallier, Roger Champagne
2005· article· en· Science of Computer Programming· Computer Science
machine prediction:candidate · noneconsensus · none
3
citations
affno abstractunlabeled
Translating Alloy and extensions to classical B
Sebastian Krings, Michaël Leuschel, Joshua Schmidt, David C. Schneider, Marc Frappier
2019· article· en· Science of Computer Programming· Computer Science
machine prediction:candidate · noneconsensus · none
3
citations
affno abstractunlabeled
MMINT-A: A framework for model-based safety assurance
Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chećhik
2023· article· en· Science of Computer Programming· Engineering
machine prediction:candidate · noneconsensus · none
2
citations
affno abstractunlabeled
Relational characterizations of system fault tolerance
Vittorio Cortellessa, D. Del Gobbo, M. Shereshevsky, Josée Desharnais, A. Mili
2004· article· en· Science of Computer Programming· Computer Science
machine prediction:candidate · noneconsensus · none
2
citations
afffundno abstractunlabeled
An architecture for generic extensions
Cosmin E. Oancea, Stephen M. Watt
2009· article· en· Science of Computer Programming· Computer Science
machine prediction:candidate · noneconsensus · none
1
citations
affno abstractunlabeled
Special section on Mutation testing (Mutation 2010)
Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser
2012· article· en· Science of Computer Programming· Biochemistry, Genetics and Molecular Biology
machine prediction:candidate · noneconsensus · none
1
citations
affno abstractunlabeled
Foreword
Markus Aleksy, Ralf Gitzel, Andreas Krall, Hanspeter Mössenböck, Christian W. Probst, Ben Stephenson
2011· article· en· Science of Computer Programming
machine prediction:candidate · insufficient_payloadconsensus · none
0
citations
← previous

How this was built: Screen · Findings · About