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 1 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é
X10
Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebci̇oğlu +2 autres
2005· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
293
citations
affnon étiqueté
Points-to analysis using BDDs
Marc Berndl, Ondřej Lhoták, Feng Qian, Laurie Hendren, Navindra Umanee
2003· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
188
citations
afffundnon étiqueté
Pick your contexts well
Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták
2011· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
167
citations
affnon étiqueté
Quipper
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
139
citations
affnon étiqueté
Delay-bounded scheduling
Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić
2011· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
107
citations
affnon étiqueté
Adding trace matching with free variables to AspectJ
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Ondřej Lhoták +4 autres
2005· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
91
citations
affnon étiqueté
Optimising aspectJ
Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták +4 autres
2005· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
88
citations
affnon étiqueté
Practical virtual method call resolution for Java
Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Étienne Gagnon +1 autres
2000· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
66
citations
affnon étiqueté
Traffic management
Mohammad Dashti, Alexandra Fedorova, Justin Funston, Fabien Gaud, Renaud Lachaize, Baptiste Lepers +2 autres
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
63
citations
affnon étiqueté
Flikker
Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Benjamin G. Zorn
2011· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
58
citations
afffundnon étiqueté
Points-to analysis with efficient strong updates
Ondřej Lhoták, Kwok-Chiang Andrew Chung
2011· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
55
citations
affnon étiqueté
Cosmic rays don't strike twice
Andy A. Hwang, Ioan Stefanovici, Bianca Schroeder
2012· article· en· ACM SIGPLAN Notices· Engineering
prédiction distillée:candidate · aucuneconsensus · aucune
53
citations
affnon étiqueté
Shared memory programming for large scale machines
Christopher Barton, Călin Caşcaval, George Almási, Yili Zheng, Montse Farreras, Siddhartha Chatterje +1 autres
2006· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
48
citations
affnon étiqueté
Synchronization via scheduling
Micah J. Best, Shane Mottishaw, Craig Mustard, Mark A. Roth, Alexandra Fedorova, Andrew Brownsword
2011· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
35
citations
affnon étiqueté
Dynamic metrics for java
Bruno Dufour, Karel Driesen, Laurie Hendren, Clark Verbrugge
2003· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
34
citations
affnon étiqueté
A type-preserving compiler in Haskell
Louis-Julien Guillemette, Stefan Monnier
2008· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
25
citations
affnon étiqueté
Path invariants
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
2007· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
25
citations
affnon étiqueté
On optimizing machine learning workloads via kernel fusion
Arash Ashari, Shirish Tatikonda, Matthias Böehm, Berthold Reinwald, Keith Campbell, John Keenleyside +1 autres
2015· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
24
citations
affnon étiqueté
Wellfounded recursion with copatterns
Andreas Abel, Brigitte Pientka
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
24
citations
afffundnon étiqueté
Using JavaScript and WebCL for numerical computations
F. Fawzia Khan, Vincent Foley-Bourgon, Sujay Kathrotia, Erick Lavoie, Laurie Hendren
2014· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
23
citations
affnon étiqueté
Recovering binary class relationships
Yann‐Gaël Guéhéneuc, Hervé Albin-Amiot
2004· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
23
citations
affnon étiqueté
Symbolic optimization with SMT solvers
Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chećhik
2014· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
23
citations
affnon étiqueté
SherLog
Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy
2010· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
20
citations
affnon étiqueté
Copatterns
Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
19
citations
affnon étiqueté
Agility in context
Rashina Hoda, Philippe Kruchten, James Noble, Stuart Marshall
2010· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
18
citations
affnon étiqueté
Power containers
Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang, Zhuan Chen
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
17
citations
affgemma · aucune catégoriegpt · aucune catégoriemodèles en désaccord
Refactoring references for library migration
Puneet Kapur, Brad Cossette, Robert J. Walker
2010· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
17
citations
affnon étiqueté
SecondSite
Shriram Rajagopalan, Brendan Cully, Ryan O'Connor, Andrew Warfield
2012· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
16
citations
affnon étiqueté
RapidMRC
David Tam, Reza Azimi, Livio Soares, Michael Stumm
2009· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
15
citations
affnon étiqueté
Abstracting gradual typing
Ronald Garcia, Alison M. Clark, Éric Tanter
2016· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
14
citations
affnon étiqueté
Dynamic determinacy analysis
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
13
citations
affnon étiqueté
Inductive data flow graphs
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
13
citations
affnon étiqueté
The essence of XML
Jérǒme Simèon, Philip Wadler
2003· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
12
citations
affnon étiqueté
Parallelizing top-down interprocedural analyses
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani
2012· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
11
citations

En coulisses: Sélection · Constats · À propos