MétaCan
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
ACM SIGPLAN Notices
Sujet
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

167 résultats · 1 filtre actif ·
Résultats par année
20002020
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
167 travaux dans la cohorte · sur 4 299 418page 2 sur 4

Les étiquettes couvrent 1 des 167 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 167 des 167 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le mode candidate est l'union; le consensus est l'intersection.

affnon étiqueté
Measuring the dynamic behaviour of AspectJ programs
Bruno Dufour, Christopher Goard, Laurie Hendren, Oege de Moor, Ganesh Sittampalam, Clark Verbrugge
2004· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
10
citations
affnon étiqueté
Exploring VM Introspection
Sahil Suneja, Canturk Isci, Eyal de Lara, Vasanth Bala
2015· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
9
citations
affnon étiqueté
Notes on notes on postmodern programming
James Noble, Robert Biddle
2004· article· en· ACM SIGPLAN Notices· Social Sciences
prédiction distillée:candidate · aucuneconsensus · aucune
8
citations
affnon étiqueté
Context transformations for pointer analysis
Rei Thiessen, Ondřej Lhoták
2017· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
8
citations
affnon étiqueté
FTL <sup>2</sup>
Tianzheng Wang, Duo Liu, Yi Wang, Zili Shao
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
8
citations
affnon étiqueté
Profile-guided code compression
Saumya Debray, William Evans
2002· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
8
citations
affnon étiqueté
What packets may come
Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
2001· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
8
citations
afffundnon étiqueté
Proof Spaces for Unbounded Parallelism
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
2015· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
8
citations
affnon étiqueté
Generic ownership for generic Java
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
2006· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affnon étiqueté
Symbolic pointer analysis revisited
Jianwen Zhu, Silvian Calman
2004· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affnon étiqueté
Synthesizing iterators from abstraction functions
Derek Rayside, Vajihollah Motaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson
2012· article· en· ACM SIGPLAN Notices· Engineering
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affnon étiqueté
Fair reactive programming
Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka
2014· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
afffundnon étiqueté
A theory of gradual effect systems
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
2014· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
afffundnon étiqueté
Phantom-BTB
Ioana Burcea, Andreas Moshovos
2009· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
6
citations
affnon étiqueté
Kind analysis for MATLAB
Jesse Doherty, Laurie Hendren, Soroush Radpour
2011· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
6
citations
afffundnon étiqueté
MIX10
Vineet Kumar, Laurie Hendren
2014· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
6
citations
affnon étiqueté
Jedd
Ondřej Lhoták, Laurie Hendren
2004· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
6
citations
affnon étiqueté
Confined gradual typing
Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter
2014· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
5
citations
affnon étiqueté
Why you should care about quantile regression
Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
5
citations
affnon étiqueté
ESys.Net
James Lapalme, E.M. Aboulhamid, Gabriela Nicolescu, Luc Charest, François-Raymond Boyer, Jean‐Pierre David +1 autres
2004· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
5
citations
affnon étiqueté
Delaying decisions in variable concern hierarchies
Jörg Kienzle, Gunter Mussbacher, Philippe Collet, Omar Alam
2016· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
5
citations
affnon étiqueté
Execution mining
Geoffrey Lefebvre, Brendan Cully, Christopher C. D. Head, Mark Spear, N.C. Hutchinson, Mike Feeley +1 autres
2012· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
5
citations
affnon étiqueté
Proofs that count
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
2014· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
5
citations
afffundnon étiqueté
Principal Type Schemes for Gradual Programs
Ronald Garcia, Matteo Cimini
2015· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
5
citations
affnon étiqueté
Object-oriented real-time concurrency
Peter A. Buhr, Ashif S. Harji, Philipp E. Lim, Jiongxiong Chen
2000· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · metaepi_narrow+insufficient_payloadconsensus · insufficient_payload
4
citations
affnon étiqueté
Safe Inspection of Live Virtual Machines
Sahil Suneja, Ricardo Koller, Canturk Isci, Eyal de Lara, Ali Hashemi, Arnamoy Bhattacharyya +1 autres
2017· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
Incremental computation with names
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks +1 autres
2015· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
Taming MATLAB
Anton Dubrau, Laurie Hendren
2012· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
AASH
Vahid Kazempour, Ali Kamali, Alexandra Fedorova
2010· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affnon étiqueté
Experience report
Christian L. Petersen, Matthias Görges, Dustin Dunsmuir, J. Mark Ansermino, Guy A. Dumont
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
4
citations
affnon étiqueté
Adding structure to monoids
Mario BlaĚević
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
3
citations
affnon étiqueté
Calculating threesomes, with blame
Ronald Garcia
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations

En coulisses: Sélection · Constats · À propos