3 ms·

Could You point me towards research papers about complexity and corectness ? I have this unconfirmed intuition about the way we manage complexity and correctnes

by v-erne 6y ago

Could You point me towards research papers about complexity and corectness ? I have this unconfirmed intuition about the way we manage complexity and correctness (that we are building castles on quick sands with our leaky abstractions that try to fit into constantly changing reality) I would like to broaden it a bit and find out if there possibly is some truth to it.

fsflover 6y ago
https://blog.invisiblethings.org/2008/09/02/three-approaches-to-computer-security.html https://blog.invisiblethings.org/2008/09/02/three-approaches...
- stan_rogers 6y ago
  Blogs are not research papers. No, not even in computing.
  - fsflover 6y ago
    The author is a well known security researcher. She probably has corresponding publications, too.
di4na 6y ago
The good news, yes. The bad news: it depends a lot of what you mean, it may not be the answer you search and i do not have a "perfect" reference, because it is considered mostly obvious in these fields... But before i get there, a few things. > (that we are building castles on quick sands with our leaky abstractions that try to fit into constantly changing reality) Nearly all the references i point to will tell you that this leakiness and this constant changing reality is exactly what makes them work in the real world. Now onto references. A lot of them can be found at http://resiliencepapers.club/ http://resiliencepapers.club/ I particularly advise to start at https://www.youtube.com/watch?v=Pb_zYs8G6Co https://www.youtube.com/watch?v=Pb_zYs8G6Co https://www.youtube.com/watch?v=PGLYEDpNu60 https://www.youtube.com/watch?v=PGLYEDpNu60 For more in depth, i particularly like https://www.ida.liu.se/~729A15/mtrl/CSEnew.pdf https://www.ida.liu.se/~729A15/mtrl/CSEnew.pdf And this is basically a whole meta study of all the research and ideas that came to this field since WW2. Beware it is long https://www.sintef.no/globalassets/upload/teknologi_og_samfunn/sikkerhet-og-palitelighet/rapporter/sintef-a17034-organisational-accidents-and-resilience-organisations-six-perspectives.-revision-2.pdf https://www.sintef.no/globalassets/upload/teknologi_og_samfu... For an example of how things go wrong when things are correct but interact well together, i advise these two papers on space systems. (I link to Adrian blog on them because they may be easier to read, but there is a link to the papers in there) https://blog.acolyer.org/2017/11/30/the-role-of-software-in-spacecraft-accidents/ https://blog.acolyer.org/2017/11/30/the-role-of-software-in-... https://blog.acolyer.org/2017/12/01/analyzing-software-requirements-errors-in-safety-critical-embedded-systems/ https://blog.acolyer.org/2017/12/01/analyzing-software-requi... If these things make you curious for more, there is a lot. Or if you want to talk about/have help navigating what is in the http://resiliencepapers.club/ http://resiliencepapers.club/ link, feel free to reach to me on twitter or by email. I will be happy to talk more.

by v-erne 6y ago

fsflover 6y ago

https://blog.invisiblethings.org/2008/09/02/three-approaches-to-computer-security.html https://blog.invisiblethings.org/2008/09/02/three-approaches...

stan_rogers 6y ago
Blogs are not research papers. No, not even in computing.
- fsflover 6y ago
  The author is a well known security researcher. She probably has corresponding publications, too.

di4na 6y ago

The good news, yes. The bad news: it depends a lot of what you mean, it may not be the answer you search and i do not have a "perfect" reference, because it is considered mostly obvious in these fields... But before i get there, a few things. > (that we are building castles on quick sands with our leaky abstractions that try to fit into constantly changing reality) Nearly all the references i point to will tell you that this leakiness and this constant changing reality is exactly what makes them work in the real world. Now onto references. A lot of them can be found at http://resiliencepapers.club/ http://resiliencepapers.club/ I particularly advise to start at https://www.youtube.com/watch?v=Pb_zYs8G6Co https://www.youtube.com/watch?v=Pb_zYs8G6Co https://www.youtube.com/watch?v=PGLYEDpNu60 https://www.youtube.com/watch?v=PGLYEDpNu60 For more in depth, i particularly like https://www.ida.liu.se/~729A15/mtrl/CSEnew.pdf https://www.ida.liu.se/~729A15/mtrl/CSEnew.pdf And this is basically a whole meta study of all the research and ideas that came to this field since WW2. Beware it is long https://www.sintef.no/globalassets/upload/teknologi_og_samfunn/sikkerhet-og-palitelighet/rapporter/sintef-a17034-organisational-accidents-and-resilience-organisations-six-perspectives.-revision-2.pdf https://www.sintef.no/globalassets/upload/teknologi_og_samfu... For an example of how things go wrong when things are correct but interact well together, i advise these two papers on space systems. (I link to Adrian blog on them because they may be easier to read, but there is a link to the papers in there) https://blog.acolyer.org/2017/11/30/the-role-of-software-in-spacecraft-accidents/ https://blog.acolyer.org/2017/11/30/the-role-of-software-in-... https://blog.acolyer.org/2017/12/01/analyzing-software-requirements-errors-in-safety-critical-embedded-systems/ https://blog.acolyer.org/2017/12/01/analyzing-software-requi... If these things make you curious for more, there is a lot. Or if you want to talk about/have help navigating what is in the http://resiliencepapers.club/ http://resiliencepapers.club/ link, feel free to reach to me on twitter or by email. I will be happy to talk more.