From 3045d6ab51228a9e79d84bed04d803190f376905 Mon Sep 17 00:00:00 2001 From: Zeeshan Lakhani <202820+zeeshanlakhani@users.noreply.github.com> Date: Tue, 3 Sep 2019 09:20:17 -0400 Subject: [PATCH 01/11] Add gitter for community. --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 956599e..69414fe 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,6 @@ ## ![Papers We Love](http://paperswelove.org/images/logo-top.svg) + + [![Gitter](https://badges.gitter.im/papers-we-love/community.svg)](https://gitter.im/papers-we-love/community?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge) **Papers We Love** (*PWL*) is a community built around reading, discussing and learning more about academic computer science papers. This repository serves as a directory of some of the best papers the community can find, bringing together documents scattered across the web. You can also visit the [Papers We Love site](http://paperswelove.org/) for more info. From 13019b06e51294fa0210b6a1820b26741fd6dab0 Mon Sep 17 00:00:00 2001 From: Zeeshan Lakhani <202820+zeeshanlakhani@users.noreply.github.com> Date: Tue, 3 Sep 2019 09:21:50 -0400 Subject: [PATCH 02/11] Update CODE_OF_CONDUCT.md --- CODE_OF_CONDUCT.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index 3fd5cab..5450f85 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -8,7 +8,7 @@ Papers We Love events are for anyone interested in Computer Science/Computer Eng **Be an adult, don't be a jerk.** -We value the participation of each member of the community and want all attendees to have an enjoyable and fulfilling experience. Accordingly, all attendees are expected to show respect and courtesy to other attendees throughout the meet-ups and at all Papers We Love events and interactions on the GitHub repository, IRC or [Slack](https://paperswelove.slack.com/messages/general/) channels. +We value the participation of each member of the community and want all attendees to have an enjoyable and fulfilling experience. Accordingly, all attendees are expected to show respect and courtesy to other attendees throughout the meet-ups and at all Papers We Love events and interactions on the GitHub repository, IRC, [gitter](https://gitter.im/papers-we-love/), or [Slack](https://paperswelove.slack.com/messages/general/) channels. Need help? ---------- From fe9e7bbbbb22a155f1b6b148bc2c41ced9801565 Mon Sep 17 00:00:00 2001 From: Wiktor Czajkowski Date: Wed, 4 Sep 2019 04:50:21 +0200 Subject: [PATCH 03/11] Add statecharts paper in a new systems modeling category (#565) --- systems_modeling/README.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 systems_modeling/README.md diff --git a/systems_modeling/README.md b/systems_modeling/README.md new file mode 100644 index 0000000..e7ad0be --- /dev/null +++ b/systems_modeling/README.md @@ -0,0 +1,3 @@ +# Systems modeling + +- [Statecharts: A Visual Formalism for Complex Systems](http://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/resources/statecharts.pdf) From cda9f69736581a9b73664bc728f68996b30c28ad Mon Sep 17 00:00:00 2001 From: NewAlexandria Date: Wed, 4 Sep 2019 06:38:53 -0400 Subject: [PATCH 04/11] Rename "paradigm" and "plt" folders for findability (#561) * rename "language-paradigm" folder for findability lang para pluralize * rename PLT => languages-theory * fixed formatting --- .../functional_programming/README.md | 0 ...atenative-programming-an-overlooked-paradigm.pdf | Bin .../equal-rights-for-functional-objects.pdf | Bin ...with-bananas-lenses-envelops-and-barbed-wire.pdf | Bin .../optimal-purely-functional-priority-queues.pdf | Bin .../organizing-programs-without-classes.pdf | Bin .../purely-functional-data-structures.pdf | Bin .../why-functional-programming-matters.pdf | 0 .../functional_reactive_programming/README.md | 0 .../a-survey-of-functional-reactive-programming.pdf | Bin .../deprecating-the observer-pattern.pdf | Bin .../frp-in-plt-scheme.pdf | Bin .../functional-reactive-animation.pdf | Bin ...-and-async-for-direct-style-reactive-streams.pdf | Bin .../new_paradigms/README.md | 0 ...puting-programming-paradigm-corelet-language.pdf | Bin .../object_oriented_programming/README.md | 0 {plt => languages-theory}/README.md | 0 ...sable-and-compilable-macros-you-want-it-when.pdf | Bin ...undamental-concepts-in-programming-languages.pdf | Bin ...standing-types-data-abstraction-polymorphism.pdf | Bin {plt => languages-theory}/predicate-dispatching.pdf | Bin ...incipal-type-schemes-for-functional-programs.pdf | Bin ...ing-languages-application-and-interpretation.pdf | 0 ...gramming-with-algebraic-effects-and-handlers.pdf | Bin {plt => languages-theory}/propositions-as-types.pdf | Bin ...rivative-of-a-regular-type-one-hole-contexts.pdf | Bin .../theory-in-programming-practice.pdf | Bin languages/README.md | 11 +---------- 29 files changed, 1 insertion(+), 10 deletions(-) rename {paradigms => languages-paradigms}/functional_programming/README.md (100%) rename {paradigms => languages-paradigms}/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf (100%) rename {paradigms => languages-paradigms}/functional_programming/equal-rights-for-functional-objects.pdf (100%) rename {paradigms => languages-paradigms}/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf (100%) rename {paradigms => languages-paradigms}/functional_programming/optimal-purely-functional-priority-queues.pdf (100%) rename {paradigms => languages-paradigms}/functional_programming/organizing-programs-without-classes.pdf (100%) rename {paradigms => languages-paradigms}/functional_programming/purely-functional-data-structures.pdf (100%) rename {paradigms => languages-paradigms}/functional_programming/why-functional-programming-matters.pdf (100%) rename {paradigms => languages-paradigms}/functional_reactive_programming/README.md (100%) rename {paradigms => languages-paradigms}/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf (100%) rename {paradigms => languages-paradigms}/functional_reactive_programming/deprecating-the observer-pattern.pdf (100%) rename {paradigms => languages-paradigms}/functional_reactive_programming/frp-in-plt-scheme.pdf (100%) rename {paradigms => languages-paradigms}/functional_reactive_programming/functional-reactive-animation.pdf (100%) rename {paradigms => languages-paradigms}/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf (100%) rename {paradigms => languages-paradigms}/new_paradigms/README.md (100%) rename {paradigms => languages-paradigms}/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf (100%) rename {paradigms => languages-paradigms}/object_oriented_programming/README.md (100%) rename {plt => languages-theory}/README.md (100%) rename {plt => languages-theory}/composable-and-compilable-macros-you-want-it-when.pdf (100%) rename {plt => languages-theory}/fundamental-concepts-in-programming-languages.pdf (100%) rename {plt => languages-theory}/on-understanding-types-data-abstraction-polymorphism.pdf (100%) rename {plt => languages-theory}/predicate-dispatching.pdf (100%) rename {plt => languages-theory}/principal-type-schemes-for-functional-programs.pdf (100%) rename {plt => languages-theory}/programming-languages-application-and-interpretation.pdf (100%) rename {plt => languages-theory}/programming-with-algebraic-effects-and-handlers.pdf (100%) rename {plt => languages-theory}/propositions-as-types.pdf (100%) rename {plt => languages-theory}/the-derivative-of-a-regular-type-one-hole-contexts.pdf (100%) rename {plt => languages-theory}/theory-in-programming-practice.pdf (100%) diff --git a/paradigms/functional_programming/README.md b/languages-paradigms/functional_programming/README.md similarity index 100% rename from paradigms/functional_programming/README.md rename to languages-paradigms/functional_programming/README.md diff --git a/paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf b/languages-paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf similarity index 100% rename from paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf rename to languages-paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf diff --git a/paradigms/functional_programming/equal-rights-for-functional-objects.pdf b/languages-paradigms/functional_programming/equal-rights-for-functional-objects.pdf similarity index 100% rename from paradigms/functional_programming/equal-rights-for-functional-objects.pdf rename to languages-paradigms/functional_programming/equal-rights-for-functional-objects.pdf diff --git a/paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf b/languages-paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf similarity index 100% rename from paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf rename to languages-paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf diff --git a/paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf b/languages-paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf similarity index 100% rename from paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf rename to languages-paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf diff --git a/paradigms/functional_programming/organizing-programs-without-classes.pdf b/languages-paradigms/functional_programming/organizing-programs-without-classes.pdf similarity index 100% rename from paradigms/functional_programming/organizing-programs-without-classes.pdf rename to languages-paradigms/functional_programming/organizing-programs-without-classes.pdf diff --git a/paradigms/functional_programming/purely-functional-data-structures.pdf b/languages-paradigms/functional_programming/purely-functional-data-structures.pdf similarity index 100% rename from paradigms/functional_programming/purely-functional-data-structures.pdf rename to languages-paradigms/functional_programming/purely-functional-data-structures.pdf diff --git a/paradigms/functional_programming/why-functional-programming-matters.pdf b/languages-paradigms/functional_programming/why-functional-programming-matters.pdf similarity index 100% rename from paradigms/functional_programming/why-functional-programming-matters.pdf rename to languages-paradigms/functional_programming/why-functional-programming-matters.pdf diff --git a/paradigms/functional_reactive_programming/README.md b/languages-paradigms/functional_reactive_programming/README.md similarity index 100% rename from paradigms/functional_reactive_programming/README.md rename to languages-paradigms/functional_reactive_programming/README.md diff --git a/paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf b/languages-paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf similarity index 100% rename from paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf rename to languages-paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf diff --git a/paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf b/languages-paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf similarity index 100% rename from paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf rename to languages-paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf diff --git a/paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf b/languages-paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf similarity index 100% rename from paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf rename to languages-paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf diff --git a/paradigms/functional_reactive_programming/functional-reactive-animation.pdf b/languages-paradigms/functional_reactive_programming/functional-reactive-animation.pdf similarity index 100% rename from paradigms/functional_reactive_programming/functional-reactive-animation.pdf rename to languages-paradigms/functional_reactive_programming/functional-reactive-animation.pdf diff --git a/paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf b/languages-paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf similarity index 100% rename from paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf rename to languages-paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf diff --git a/paradigms/new_paradigms/README.md b/languages-paradigms/new_paradigms/README.md similarity index 100% rename from paradigms/new_paradigms/README.md rename to languages-paradigms/new_paradigms/README.md diff --git a/paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf b/languages-paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf similarity index 100% rename from paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf rename to languages-paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf diff --git a/paradigms/object_oriented_programming/README.md b/languages-paradigms/object_oriented_programming/README.md similarity index 100% rename from paradigms/object_oriented_programming/README.md rename to languages-paradigms/object_oriented_programming/README.md diff --git a/plt/README.md b/languages-theory/README.md similarity index 100% rename from plt/README.md rename to languages-theory/README.md diff --git a/plt/composable-and-compilable-macros-you-want-it-when.pdf b/languages-theory/composable-and-compilable-macros-you-want-it-when.pdf similarity index 100% rename from plt/composable-and-compilable-macros-you-want-it-when.pdf rename to languages-theory/composable-and-compilable-macros-you-want-it-when.pdf diff --git a/plt/fundamental-concepts-in-programming-languages.pdf b/languages-theory/fundamental-concepts-in-programming-languages.pdf similarity index 100% rename from plt/fundamental-concepts-in-programming-languages.pdf rename to languages-theory/fundamental-concepts-in-programming-languages.pdf diff --git a/plt/on-understanding-types-data-abstraction-polymorphism.pdf b/languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf similarity index 100% rename from plt/on-understanding-types-data-abstraction-polymorphism.pdf rename to languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf diff --git a/plt/predicate-dispatching.pdf b/languages-theory/predicate-dispatching.pdf similarity index 100% rename from plt/predicate-dispatching.pdf rename to languages-theory/predicate-dispatching.pdf diff --git a/plt/principal-type-schemes-for-functional-programs.pdf b/languages-theory/principal-type-schemes-for-functional-programs.pdf similarity index 100% rename from plt/principal-type-schemes-for-functional-programs.pdf rename to languages-theory/principal-type-schemes-for-functional-programs.pdf diff --git a/plt/programming-languages-application-and-interpretation.pdf b/languages-theory/programming-languages-application-and-interpretation.pdf similarity index 100% rename from plt/programming-languages-application-and-interpretation.pdf rename to languages-theory/programming-languages-application-and-interpretation.pdf diff --git a/plt/programming-with-algebraic-effects-and-handlers.pdf b/languages-theory/programming-with-algebraic-effects-and-handlers.pdf similarity index 100% rename from plt/programming-with-algebraic-effects-and-handlers.pdf rename to languages-theory/programming-with-algebraic-effects-and-handlers.pdf diff --git a/plt/propositions-as-types.pdf b/languages-theory/propositions-as-types.pdf similarity index 100% rename from plt/propositions-as-types.pdf rename to languages-theory/propositions-as-types.pdf diff --git a/plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf b/languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf similarity index 100% rename from plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf rename to languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf diff --git a/plt/theory-in-programming-practice.pdf b/languages-theory/theory-in-programming-practice.pdf similarity index 100% rename from plt/theory-in-programming-practice.pdf rename to languages-theory/theory-in-programming-practice.pdf diff --git a/languages/README.md b/languages/README.md index ec21705..b07991e 100644 --- a/languages/README.md +++ b/languages/README.md @@ -4,13 +4,4 @@ Programming language theory (PLT) is a branch of computer science that deals wit ## Included Papers -* :scroll: [On the Expressive Power of Programming Languages](scp91-felleisen.ps.gz) [sciencedirect](https://www.sciencedirect.com/science/article/pii/016764239190036W)(Matthias Felleisen): "The literature on programming languages contains an abundance of informal -claims on the relative expressive power of programming languages, but there -is no framework for formalizing such statements nor for deriving interesting -consequences. As a first step in this direction, we develop a formal notion -of expressiveness and investigate its properties. To demonstrate the theory's -closeness to published intuitions on expressiveness, we analyze the expressive -power of several extensions of functional languages. Based on these results, -we believe that our system correctly captures many of the informal ideas on -expressiveness, and that it constitutes a good basis for further research in this -direction. " (abstract) +* :scroll: [On the Expressive Power of Programming Languages](scp91-felleisen.ps.gz) [sciencedirect](https://www.sciencedirect.com/science/article/pii/016764239190036W)(Matthias Felleisen): "The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages, but there is no framework for formalizing such statements nor for deriving interesting consequences. As a first step in this direction, we develop a formal notion of expressiveness and investigate its properties. To demonstrate the theory's closeness to published intuitions on expressiveness, we analyze the expressive power of several extensions of functional languages. Based on these results, we believe that our system correctly captures many of the informal ideas on expressiveness, and that it constitutes a good basis for further research in this direction. " (abstract) From 081bd165c32303d3eb389eaf982aa06608904142 Mon Sep 17 00:00:00 2001 From: NewAlexandria Date: Wed, 4 Sep 2019 06:39:40 -0400 Subject: [PATCH 05/11] group pattern-* related papers (#564) * combine clustering algo into pattern matching * rename stringology with the pattern_ prefix * improved the README header info for paper related to patterns --- clustering_algorithms/README.md | 3 --- pattern_matching/README.md | 13 +++++++++++++ {stringology => pattern_stringology}/README.md | 8 ++++++++ 3 files changed, 21 insertions(+), 3 deletions(-) delete mode 100644 clustering_algorithms/README.md rename {stringology => pattern_stringology}/README.md (68%) diff --git a/clustering_algorithms/README.md b/clustering_algorithms/README.md deleted file mode 100644 index b052414..0000000 --- a/clustering_algorithms/README.md +++ /dev/null @@ -1,3 +0,0 @@ -## Clustering Algorithms - -[On the resemblance and containment of documents](https://www.cs.princeton.edu/courses/archive/spr05/cos598E/bib/broder97resemblance.pdf) (Andrei Z. Broder) diff --git a/pattern_matching/README.md b/pattern_matching/README.md index de527fe..29de767 100644 --- a/pattern_matching/README.md +++ b/pattern_matching/README.md @@ -1,6 +1,19 @@ # Pattern Matching +[Pattern matching algorithms](https://en.wikipedia.org/wiki/Pattern_matching) extend beyond strings, to include trees and other data structures. + +🧭 Part of the pattern-matching group, in PWL + +* [Pattern Matching](../pattern_matching/README.md) +* [Stringology](../pattern_stringology/README.md) + +---- + * :scroll: [Compiling Pattern Matching to good Decision Trees](compiling-pattern-matching-to-good-decision-trees.pdf) by Luc Maranget. Paper address the issue of compiling ML pattern matching to efficient decisions trees. * :scroll: [Extensible Pattern Matching in an Extensible Language](extensible-pattern-matching-extensible-language.pdf) by Sam Tobin-Hochstadt. Paper present a sophisticated pattern matcher for [Racket](http://racket-lang.org/), implemented as language extension using macros. * :scroll: [Warnings for pattern matching](warnings-for-pattern-matching.pdf) by Luc Maranget. Paper examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. * :scroll: [Efficient String Matching: An Aid to Bibliographic Search](aho-corasick-string-matching.pdf) by Alfred V. Aho and Margaret J. Corasick. A single-pass pattern matching algorithm used in early versions of fgrep and similar projects. [Aho–Corasick entry](http://xlinux.nist.gov/dads//HTML/ahoCorasick.html) in NIST's Dictionary of Algorithms and Data Structures. + +## Clustering Algorithms + +* [On the resemblance and containment of documents](https://www.cs.princeton.edu/courses/archive/spr05/cos598E/bib/broder97resemblance.pdf) (Andrei Z. Broder) diff --git a/stringology/README.md b/pattern_stringology/README.md similarity index 68% rename from stringology/README.md rename to pattern_stringology/README.md index b617ad0..098bcff 100644 --- a/stringology/README.md +++ b/pattern_stringology/README.md @@ -1,5 +1,13 @@ # Stringology +[Stringology](https://en.wikipedia.org/wiki/String_(computer_science)#String_processing_algorithms) refers to one of the various kinds of string processing algorithms. + + +🧭 Part of the pattern-matching group, in PWL + +* [Pattern Matching](../pattern_matching/README.md) +* [Stringology](../pattern_stringology/README.md) + ## External Papers * [A Taxonomy of Suffix Array Construction Algorithms](http://www.cas.mcmaster.ca/~bill/best/algorithms/07Taxonomy.pdf) From b671bed48958a74106a654eecdd38f335117000f Mon Sep 17 00:00:00 2001 From: NewAlexandria Date: Sat, 7 Sep 2019 11:16:40 -0400 Subject: [PATCH 06/11] consolidate org-sim and sw-eng dirs (#567) * consolidate org-sim and sw-eng dirs * typo and links --- organizational_simulation/README.md | 6 ----- software_engineering/README.md | 10 --------- software_engineering_orgs/README.md | 21 ++++++++++++++++++ ...und-and-coordination-in-joint-activity.pdf | Bin 4 files changed, 21 insertions(+), 16 deletions(-) delete mode 100644 organizational_simulation/README.md delete mode 100644 software_engineering/README.md create mode 100644 software_engineering_orgs/README.md rename {organizational_simulation => software_engineering_orgs}/common-ground-and-coordination-in-joint-activity.pdf (100%) diff --git a/organizational_simulation/README.md b/organizational_simulation/README.md deleted file mode 100644 index 3156c95..0000000 --- a/organizational_simulation/README.md +++ /dev/null @@ -1,6 +0,0 @@ -## Organizational Simulation - -* [:scroll:](common-ground-and-coordination-in-joint-activity.pdf) [Common Ground and Coordination in Joint Activity](http://jeffreymbradshaw.net/publications/Common_Ground_Single.pdf) by Klein, Feltovich, and Woods - - > The paper is the result of what happens when people with backgrounds in mathematics, psychology, and artificial intelligence (Feltovich and Bradshaw) get together to ask questions about how teams operate alongside the originators of modern decision-making and cognitive systems engineering research (Klein and Woods). The concepts outlined in the paper have provided frames and directions in designing tools and environments where successful work requires multiple actors (whether they are people or software agents!) to succeed. This seminal paper takes a deep dive into not just people and teamwork, but what comprises the sometimes invisible activity of coordination, collaboration, cooperation, and the contracts and expectations entities have with each other along the way. The paper has had far-reaching influence in multiple domains: military intelligence, space transportation and aviation, and more recently: software engineering and operations on the web. Let me walk you through where this paper came from, what makes this paper critical to the future of software, and a hint about what I'm sure it means about the future. - @allspaw - diff --git a/software_engineering/README.md b/software_engineering/README.md deleted file mode 100644 index 3c55fc6..0000000 --- a/software_engineering/README.md +++ /dev/null @@ -1,10 +0,0 @@ -## Software Engineering - -* [Studying Attitudes and Social Norms in Agile Software Development (2019)](https://arxiv.org/pdf/1904.09225.pdf) by Lucas Gren - > This paper reviews research on attitudes and social norms and connect it to the agile software development context. Author proposes additional theories from social psychology that would most certainly be useful for further sense-making of human factors-related research on agile teams. - -* [Happiness and the productivity of software engineers (2019)](https://arxiv.org/ftp/arxiv/papers/1904/1904.08239.pdf) by Daniel Graziotin & Fabian Fagerholm - > This paper provides an overview of studies on the happiness of software developers. You will learn why it is important to make software developers happy, how happy they really are, what makes them unhappy, and what is expected for their productivity while developing software. - -* [Why Software Projects need Heroes (Lessons Learned from 1100+ Projects) (2019)](https://arxiv.org/pdf/1904.09954.pdf) by Suvodeep Majumder, Joymallya Chakraborty, Amritanshu Agrawal & Tim Menzies - > This paper explores the effect of having heroes in projects, from a code quality perspective. Authors identify the hero developers of 1100+ open source GitHub projects. Based on the analysis, they find the majority of all projects are *"hero" projects* and commits from *hero developers* (who contribute the most code) result in far fewer bugs than other developers -- which is contrary to the literature. diff --git a/software_engineering_orgs/README.md b/software_engineering_orgs/README.md new file mode 100644 index 0000000..a78f3c0 --- /dev/null +++ b/software_engineering_orgs/README.md @@ -0,0 +1,21 @@ +# Software Engineering Organizations + +The [practice of software engineering](https://en.wikipedia.org/wiki/Software_engineering), and [its history](https://en.wikipedia.org/wiki/History_of_software_engineering) is, itself, a complex study in [humanity](https://en.wikipedia.org/wiki/No_Silver_Bullet), [coordination](https://en.wikipedia.org/wiki/Software_development_process), and communication. + +## Software Engineering + +* [Studying Attitudes and Social Norms in Agile Software Development (2019)](https://arxiv.org/pdf/1904.09225.pdf) by Lucas Gren + > This paper reviews research on attitudes and social norms and connect it to the agile software development context. Author proposes additional theories from social psychology that would most certainly be useful for further sense-making of human factors-related research on agile teams. + +* [Happiness and the productivity of software engineers (2019)](https://arxiv.org/ftp/arxiv/papers/1904/1904.08239.pdf) by Daniel Graziotin & Fabian Fagerholm + > This paper provides an overview of studies on the happiness of software developers. You will learn why it is important to make software developers happy, how happy they really are, what makes them unhappy, and what is expected for their productivity while developing software. + +* [Why Software Projects need Heroes (Lessons Learned from 1100+ Projects) (2019)](https://arxiv.org/pdf/1904.09954.pdf) by Suvodeep Majumder, Joymallya Chakraborty, Amritanshu Agrawal & Tim Menzies + > This paper explores the effect of having heroes in projects, from a code quality perspective. Authors identify the hero developers of 1100+ open source GitHub projects. Based on the analysis, they find the majority of all projects are *"hero" projects* and commits from *hero developers* (who contribute the most code) result in far fewer bugs than other developers -- which is contrary to the literature. + +## Organizational Simulation + +* [:scroll:](common-ground-and-coordination-in-joint-activity.pdf) [Common Ground and Coordination in Joint Activity](http://jeffreymbradshaw.net/publications/Common_Ground_Single.pdf) by Klein, Feltovich, and Woods + + > The paper is the result of what happens when people with backgrounds in mathematics, psychology, and artificial intelligence (Feltovich and Bradshaw) get together to ask questions about how teams operate alongside the originators of modern decision-making and cognitive systems engineering research (Klein and Woods). The concepts outlined in the paper have provided frames and directions in designing tools and environments where successful work requires multiple actors (whether they are people or software agents!) to succeed. This seminal paper takes a deep dive into not just people and teamwork, but what comprises the sometimes invisible activity of coordination, collaboration, cooperation, and the contracts and expectations entities have with each other along the way. The paper has had far-reaching influence in multiple domains: military intelligence, space transportation and aviation, and more recently: software engineering and operations on the web. Let me walk you through where this paper came from, what makes this paper critical to the future of software, and a hint about what I'm sure it means about the future. - @allspaw + diff --git a/organizational_simulation/common-ground-and-coordination-in-joint-activity.pdf b/software_engineering_orgs/common-ground-and-coordination-in-joint-activity.pdf similarity index 100% rename from organizational_simulation/common-ground-and-coordination-in-joint-activity.pdf rename to software_engineering_orgs/common-ground-and-coordination-in-joint-activity.pdf From 4059c4f7991ce38d8d9844037547dec34e876dfe Mon Sep 17 00:00:00 2001 From: keddad <34062895+keddad@users.noreply.github.com> Date: Sat, 7 Sep 2019 15:17:35 +0000 Subject: [PATCH 07/11] Fixed link (#568) * Update README.md * Fixed A Unified Theory of Garbage Collection link --- memory_management/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/memory_management/README.md b/memory_management/README.md index 265638c..c1ef78a 100644 --- a/memory_management/README.md +++ b/memory_management/README.md @@ -1,6 +1,6 @@ ## Memory Management -* [A Unified Theory of Garbage Collection](http://www.cs.virginia.edu/~cs415/reading/bacon-garbage.pdf) +* [A Unified Theory of Garbage Collection](https://researcher.watson.ibm.com/researcher/files/us-bacon/Bacon04Unified.pdf) * [Teaching Garbage Collection without Implementing Compilers or Interpreters](https://cs.brown.edu/~sk/Publications/Papers/Published/cgkmf-teach-gc/paper.pdf) From 87d35dd3e7baa9012a8c3cd0019eeef1489cfccb Mon Sep 17 00:00:00 2001 From: NewAlexandria Date: Sat, 7 Sep 2019 11:18:05 -0400 Subject: [PATCH 08/11] Verification faults dirs (#566) * consolidate program verificaiton and program fault detection listings. * faults and validation gets header info --- .../README.md | 12 ++++++++++-- ...-for-syntactic-and-semantic-software-queries.pdf | Bin program_verification/README.md | 3 --- 3 files changed, 10 insertions(+), 5 deletions(-) rename {fault_protection => faults_and_verification}/README.md (52%) rename {program_verification => faults_and_verification}/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf (100%) delete mode 100644 program_verification/README.md diff --git a/fault_protection/README.md b/faults_and_verification/README.md similarity index 52% rename from fault_protection/README.md rename to faults_and_verification/README.md index 68b31aa..a2cc2f7 100644 --- a/fault_protection/README.md +++ b/faults_and_verification/README.md @@ -1,6 +1,14 @@ -# Fault Protection +# Program Faults and Verification -## External Papers +[Fault detection](https://en.wikipedia.org/wiki/Fault_detection_and_isolation), and [program validation](https://en.wikipedia.org/wiki/Software_verification_and_validation), and [formal validation](https://en.wikipedia.org/wiki/Formal_verification) are highly interrelated topics. Each deal with proving or disproving the correctness of systems as intended, and the classification of incorrect behavior. + + +## Program Verification + +* [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf) +* :scroll: [Epitaxis: a system for syntactic and semantic software queries](epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf) + +## Fault Protection * [GN&C Fault Protection Fundamentals](https://trs.jpl.nasa.gov/bitstream/handle/2014/41696/08-0125.pdf) > As software becomes more and more integrated in our daily lives, we diff --git a/program_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf b/faults_and_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf similarity index 100% rename from program_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf rename to faults_and_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf diff --git a/program_verification/README.md b/program_verification/README.md deleted file mode 100644 index 7e3318a..0000000 --- a/program_verification/README.md +++ /dev/null @@ -1,3 +0,0 @@ -# Program Verification - -* [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf) From 80352d2d15bb5bfbfa4b79070d536401a9b1381b Mon Sep 17 00:00:00 2001 From: Rajaram Gaunker Date: Sat, 23 Nov 2019 14:40:34 -0800 Subject: [PATCH 09/11] Papers on Web Privacy (#588) --- privacy/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/privacy/README.md b/privacy/README.md index 7162cac..0e0fd5d 100644 --- a/privacy/README.md +++ b/privacy/README.md @@ -4,3 +4,5 @@ * [Differential Privacy(2006)](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/dwork.pdf) * [Robust De-anonymization of Large Sparse Datasets(2008)](https://www.cs.utexas.edu/~shmat/shmat_oak08netflix.pdf) * [Broken Promises of Privacy: Responding to the Surprising Failure of Anonymization(2010)](https://www.uclalawreview.org/broken-promises-of-privacy-responding-to-the-surprising-failure-of-anonymization-2/) +* [Timing Attacks on Web Privacy(2000)](https://sip.cs.princeton.edu/pub/webtiming.pdf) +* [Protecting Browser State from Web Privacy Attacks(2006)](https://crypto.stanford.edu/sameorigin/sameorigin.pdf) From bb8be2701e62d70e18501cfcb21b361bafb3842a Mon Sep 17 00:00:00 2001 From: Rajaram Gaunker Date: Sun, 24 Nov 2019 11:51:40 -0800 Subject: [PATCH 10/11] KHyperLogLog paper: measure of reidentifiability in anonymyzed data (#589) --- privacy/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/privacy/README.md b/privacy/README.md index 0e0fd5d..328b78f 100644 --- a/privacy/README.md +++ b/privacy/README.md @@ -6,3 +6,5 @@ * [Broken Promises of Privacy: Responding to the Surprising Failure of Anonymization(2010)](https://www.uclalawreview.org/broken-promises-of-privacy-responding-to-the-surprising-failure-of-anonymization-2/) * [Timing Attacks on Web Privacy(2000)](https://sip.cs.princeton.edu/pub/webtiming.pdf) * [Protecting Browser State from Web Privacy Attacks(2006)](https://crypto.stanford.edu/sameorigin/sameorigin.pdf) +* [KHyperLogLog: Estimating Reidentifiability and +Joinability of Large Data at Scale(2019)](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/40bc2804cbd3e41ed28dc8991316361eca48630c.pdf) From 9d830880b57931443a805b2c7f8d546d07b864a1 Mon Sep 17 00:00:00 2001 From: Mahfuza Humayra Mohona Date: Fri, 13 Dec 2019 13:04:44 +0600 Subject: [PATCH 11/11] Added a list of papers for Brain Computer Interface. (#586) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * created ReadMe * Update and rename Brain–computer Interface/README.md to Brain-computer Interface/README.md * Updating Readme as per @hakutsuru's review * Update README.md --- brain-computer-interface/README.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 brain-computer-interface/README.md diff --git a/brain-computer-interface/README.md b/brain-computer-interface/README.md new file mode 100644 index 0000000..926ddff --- /dev/null +++ b/brain-computer-interface/README.md @@ -0,0 +1,6 @@ +# Brain–computer Interface + +- [Brain-computer interfaces for communication and control](http://www.cs.cmu.edu/~tanja/BCI/BCIreview.pdf) +- [Breaking the silence: Brain-computer interfaces (BCI) for communication and motor control](https://onlinelibrary.wiley.com/doi/full/10.1111/j.1469-8986.2006.00456.x) +- [Learning to Control a Brain–Machine Interface for Reaching and Grasping by Primates](https://journals.plos.org/plosbiology/article?id=10.1371/journal.pbio.0000042) +- [BrainNet: A Multi-Person Brain-to-Brain Interface for Direct Collaboration Between Brains](https://arxiv.org/pdf/1809.08632.pdf)