Wikipedia:Articles for deletion/Flix (programming language)
Appearance
[Hide this box] New to Articles for deletion (AfD)? Read these primers!
- Flix (programming language) (edit | talk | history | protect | delete | links | watch | logs | views) – (View log)
- (Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL)
No evidence of notability.
Created by editor with COI. See Wikipedia:Conflict of interest/Noticeboard#Flix --Guy Macon (talk) 17:59, 20 December 2020 (UTC)
- Note: This discussion has been included in the list of Software-related deletion discussions. Guy Macon (talk) 17:59, 20 December 2020 (UTC)
- Comment: I'm not voting, but I'm just mentioning some things. COI editors are told to go through AFC and mention their COI (which they did on the article's talk page). I approved the draft because I think that it has some chance of being notable based on where it was developed and who funded it. I also took into account that it could potentially be merged into a related article if it doesn't have independent notability per an AfD. While I do agree that notability is a concern, I don't think the warning tag on the creator's talk page about COI was acceptable. SL93 (talk) 18:17, 20 December 2020 (UTC)
- I saw 160 edits by JorKadeen in the history of the Flix_(programming_language) page. I didn't catch the fact that those were done in userspace and then the history was moved. I have recommended that the COIN case be closed with no action required. --Guy Macon (talk) 20:50, 20 December 2020 (UTC)
- Guy Macon It's fine. I'm sorry if I came across as rude. I should have realized that it was simply you not noticing. SL93 (talk) 20:58, 20 December 2020 (UTC)
- I saw 160 edits by JorKadeen in the history of the Flix_(programming_language) page. I didn't catch the fact that those were done in userspace and then the history was moved. I have recommended that the COIN case be closed with no action required. --Guy Macon (talk) 20:50, 20 December 2020 (UTC)
- Keep: The research behind this language has a good reputation in a subfield, implementation of DATALOG-based languages, whose importance is seeing a surge of recent recognition (cf. Huang, Green & Loo 2011, Datalog and Emerging Applications: An Interactive Tutorial). The article that introduced the language implementation effort has an h-index of 11, respectable for a 4-y.o. language. The article is well-written, with less puffery than is typical for PL articles without a trace of CoI editing. As a general point, I think this AfD is undermining to the AfC process: if an article graduates from the AfC process, a little care putting together the AfD is in order, and to give as the whole deletion rationale "No evidence of notability" is careless when the first paragraph of the article ends "Two notable features of Flix are its type and effect system and its support for first-class Datalog constraints" and the references section contains two peer-reviewed articles whose title mentions that language by name. — Charles Stewart (talk) 20:19, 20 December 2020 (UTC)
- As I said, I saw 160 edits by JorKadeen in the history of the Flix (programming_language) page. I didn't catch the fact that those were done in userspace and then the history was moved. I have apologized for my error, but let me apologize again: sorry about that.
- WP:NSOFT has the following criteria:
- "It is discussed in reliable sources as significant in its particular field. References that cite trivia do not fulfill this requirement."
- Maybe. Could you please list the reliable sources discuss Flix as being significant in its particular field? The source you cite above ( Datalog and Emerging Applications: An Interactive Tutorial). does not contain the word "Flix". It says "We discuss two active commercial systems, LogicBlox and Semmle", "We also review two important academic systems from the classical age of Datalog research, Coral and LDL++", and "Finally, we highlight the ongoing BOOM project, based on a Datalog dialect called Dedalus" (I believe that this is the BOOM project at [ http://boom.cs.berkeley.edu/ ] not the one at [ https://www.theboomprojectbook.com/ ] that shows up in a Google search.)
- "It is the subject of instruction at multiple grade schools, high schools, universities or post-graduate programs. This criterion does not apply to software merely used in instruction."
- Nope, Flix fails this one.
- "It is the subject of multiple printed third-party manuals, instruction books, or reliable reviews,[2] written by independent authors and published by independent publishers."
- Nope.
- "It has been recognized as having historical or technical significance by reliable sources. However, the mere existence of reviews does not mean the app is notable. Reviews must be significant, from a reliable source, or assert notability."
- Nope again.
- In addition, most of the sources are papers by authors of the language (Magnus Madsen[1]) you tube videos by the same authors or citations to flix.dev.
- The last thing I want to do is to step on any AFC toes, but if you are going to claim that we need to "take extra care if an article graduates from the AfC process" then when the page leaves AFC it should clearly show that reliable secondary sources establish notability. I should have looked at the page and seen that it was obviously notable. Instead here I am, asking you for evidence of notability after you cited as evidence an abstract that doesn't mention Flix. I suspect that the full paper either doesn't mention Flix or only mentions it in passing. --Guy Macon (talk) 02:10, 21 December 2020 (UTC)
- WP:NSOFT has the following criteria:
- Comment:
- Flix is being developed at the Department of Computer Science at Aarhus University (AU) [ https://cs.au.dk/research/programming-languages/projects/ ]. AU is the top-ranked CS department in Denmark (according to the Times Higher Ed [ https://cs.au.dk/news-events/pages/2021-the-world-university-ranking/ ]).
- Research on Flix is supported by a grant of 2.5M DKK (~400,000 USD) from the Independent Research Fund Denmark (DDF), a public funding agency in Denmark (see article ref 2).
- Flix is the subject of 2 papers published at OOPSLA and 1 paper published at PLDI (see article ref 12, 5, 6). OOPSLA and PLDI are both considered top-venues for programming language research. Both are ranked A+ by CORE [ https://www.core.edu.au/ ]. OOPSLA and PLDI are peer-reviewed, double blind, conferences that are part of the PACMPL journal [ https://dl.acm.org/journal/pacmpl ].
- The original Flix paper (see article ref 12), now 4 years old, has 59 citations according to Google Scholar. This includes papers published at other A+ ranked conferences, including POPL, ICFP, and OOPSLA.
- A selection of non-trivial references to Flix with between a few sentences or multiple paragraphs of text (this is not a complete list nor is it in any particular order and can be added to the references of the article):
- Datafun: A Functional Datalog [ https://www.cl.cam.ac.uk/~nk480/datafun.pdf ] - Arntzenius et al. - ICFP research paper.
- Seminaïve Evaluation for a Higher-Order FunctionalLanguage [ https://www.cl.cam.ac.uk/~nk480/seminaive-datafun.pdf ] - Arntzenius et al. - POPL research paper.
- Automatically Testing Implementations of Numerical Abstract Domains [ https://mariachris.github.io/Pubs/ASE-2018.pdf ] - Bugariu et al. - ASE research paper.
- Sound and Reusable Components for Abstract Interpretation [ https://dl.acm.org/doi/10.1145/3360602 ] - Keidel et al. - OOPSLA research paper.
- Testing Static Analyses for Precision and Soundness [ https://www.cs.utah.edu/~regehr/cgo20.pdf ] - Taneja et al. - CGO research paper.
- Securify: Practical Security Analysis of Smart Contracts [ https://arxiv.org/pdf/1806.01143.pdf ] - Tsankov et al. - CCS research paper.
- Formulog: Datalog for SMT-Based Static Analysis [ https://arxiv.org/pdf/2009.08361.pdf ] - Bembenek et al. - OOPSLA research paper.
- Self-adaptive static analysis [ https://bodden.de/pubs/bodden18selfadaptive.pdf ] - Bodden - ICSE 18 research paper.
- FlowSpec: Declarative Dataflow AnalysisSpecification [ https://dl.acm.org/doi/10.1145/3136014.3136029 ] - Smits et al. - SLE research paper.
- Incrementalizing Lattice-Based Program Analyses in Datalog [ https://szabta89.github.io/publications/inca-oopsla.pdf ] - Szabo - OOPSLA research paper.
- EXTENDING PARALLEL DATALOG WITH LATTICE [ https://etda.libraries.psu.edu/catalog/17756qxg2 ] - Qing Gong - PhD Thesis, Pennsylvania State University. — Preceding unsigned comment added by JorKadeen (talk • contribs) 14:16, 21 December 2020 (UTC)
- A selection of non-trivial references to Flix with between a few sentences or multiple paragraphs of text (this is not a complete list nor is it in any particular order and can be added to the references of the article):
- Flix is the subject of additional papers published at ISSTA, CC, and PPDP (ranked A, A, and B by CORE). These venues are also peer-reviewed.
- Flix is used as part of two courses at AU; a pre-talent track course on logic programming and a master-level course on program analysis.
- Flix has been the subject of multiple bachelor/master theses at Aarhus University and at the University of Waterloo, Canada.
- Flix has been discussed multiple times on Reddit, HackerNews, LambdaTheUltimate, and other social media.
- As stated on the talk page and on the article talk page, I have a conflict of interest. JorKadeen (talk) 13:43, 21 December 2020 (UTC)
If you have them, please add links for the above sources so that any editor can go there and verify the claim. Thanks! --Guy Macon (talk) 14:55, 21 December 2020 (UTC)
- Keep:
has been discussed on Redditper the strength of the peer-reviewed sources above and in the article. Bachelor's/Master's theses aren't really significant but there's plenty that is. — Bilorv (talk) 18:12, 21 December 2020 (UTC) - Strong Keep Danish folk have a particular skill in developing programming languages and this shows promise. scope_creepTalk 20:43, 22 December 2020 (UTC)
- Delete the way they have gone about this is wrong, and the article in its current state is promotional and inadequately sourced. I counted 18/29 references as being non-independent. JorKadeen above apparently works for them. This is plainly a promotional effort and the article in its current state does not show enough in the way of recognition in good, independent sources. As is often said, please do not make article about yourself; if you are notable, someone else will do it independently. Possibly (talk) 20:23, 23 December 2020 (UTC)