From 88e49a2d3a7c30ae4f640c99fd9294113d6b6dd9 Mon Sep 17 00:00:00 2001 From: Giuliano Losa Date: Thu, 15 Aug 2024 07:34:46 -0700 Subject: [PATCH] Deploy website - based on a2854775f01d662b711d976fb3f10a117538b33e --- 404.html | 2 +- assets/js/0b46e8e7.23bc1f84.js | 1 + assets/js/0b46e8e7.9c6b2ac8.js | 1 - assets/js/22dd74f7.011ee67d.js | 1 - assets/js/22dd74f7.897e46f9.js | 1 + .../js/{b5d444f3.fe3cf4a6.js => b5d444f3.ccb3d724.js} | 2 +- assets/js/runtime~main.44d08049.js | 1 - assets/js/runtime~main.e9207cef.js | 1 + index.html | 2 +- news.html | 2 +- publications.html | 10 ++++++++-- research-grants.html | 2 +- research-grants/grantees.html | 8 ++++---- research-grants/publications.html | 2 +- workshops.html | 2 +- 15 files changed, 22 insertions(+), 16 deletions(-) create mode 100644 assets/js/0b46e8e7.23bc1f84.js delete mode 100644 assets/js/0b46e8e7.9c6b2ac8.js delete mode 100644 assets/js/22dd74f7.011ee67d.js create mode 100644 assets/js/22dd74f7.897e46f9.js rename assets/js/{b5d444f3.fe3cf4a6.js => b5d444f3.ccb3d724.js} (96%) delete mode 100644 assets/js/runtime~main.44d08049.js create mode 100644 assets/js/runtime~main.e9207cef.js diff --git a/404.html b/404.html index e337593..100dff9 100644 --- a/404.html +++ b/404.html @@ -4,7 +4,7 @@ SDF Research - + diff --git a/assets/js/0b46e8e7.23bc1f84.js b/assets/js/0b46e8e7.23bc1f84.js new file mode 100644 index 0000000..11e46f3 --- /dev/null +++ b/assets/js/0b46e8e7.23bc1f84.js @@ -0,0 +1 @@ +"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[184],{2222:(i,n,e)=>{e.r(n),e.d(n,{assets:()=>d,contentTitle:()=>r,default:()=>h,frontMatter:()=>a,metadata:()=>t,toc:()=>c});var o=e(4848),s=e(8453);const a={sidebar_label:"Publications",sidebar_position:5,slug:"/publications"},r="Publications co-authored by SDF researchers",t={id:"publications",title:"Publications co-authored by SDF researchers",description:'Qianyu Yu, Giuliano Losa, and Xuechao Wang. "TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus." In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 257-267. 2024.',source:"@site/docs/publications.md",sourceDirName:".",slug:"/publications",permalink:"/publications",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:5,frontMatter:{sidebar_label:"Publications",sidebar_position:5,slug:"/publications"},sidebar:"contentsSidebar",previous:{title:"Workshops",permalink:"/workshops"}},d={},c=[];function l(i){const n={a:"a",em:"em",h1:"h1",p:"p",...(0,s.R)(),...i.components};return(0,o.jsxs)(o.Fragment,{children:[(0,o.jsx)(n.h1,{id:"publications-co-authored-by-sdf-researchers",children:"Publications co-authored by SDF researchers"}),"\n",(0,o.jsxs)(n.p,{children:['Qianyu Yu, Giuliano Losa, and Xuechao Wang. "TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus." In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 257-267. 2024.\n',(0,o.jsx)(n.a,{href:"https://dl.acm.org/doi/abs/10.1145/3662158.3662783",children:"https://dl.acm.org/doi/abs/10.1145/3662158.3662783"})]}),"\n",(0,o.jsxs)(n.p,{children:['D\'Amato, Francesco, Giuliano Losa, and Luca Zanolini. "Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols." In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 247-256. 2024.\n',(0,o.jsx)(n.a,{href:"https://dl.acm.org/doi/abs/10.1145/3662158.3662779",children:"https://dl.acm.org/doi/abs/10.1145/3662158.3662779"})]}),"\n",(0,o.jsxs)(n.p,{children:['Losa, Giuliano, and Eli Gafni. "Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model." In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 465-468. 2024.\n',(0,o.jsx)(n.a,{href:"https://dl.acm.org/doi/abs/10.1145/3662158.3662786",children:"https://dl.acm.org/doi/abs/10.1145/3662158.3662786"})]}),"\n",(0,o.jsxs)(n.p,{children:["Eli Gafni and Giuliano Losa. \u201cBrief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority.\u201d In ",(0,o.jsx)(n.em,{children:"37th International Symposium on Distributed Computing (DISC 2023)"}),". ",(0,o.jsx)(n.a,{href:"https://doi.org/10.4230/LIPIcs.DISC.2023.41",children:"https://doi.org/10.4230/LIPIcs.DISC.2023.41"})]}),"\n",(0,o.jsxs)(n.p,{children:["Eli Gafni and Giuliano Losa. \u201cInvited Paper: Time Is Not a\xa0Healer, but\xa0It Sure Makes Hindsight 20:20.\u201d In ",(0,o.jsx)(n.em,{children:"Stabilization, Safety, and Security of Distributed Systems"}),", 2023\n",(0,o.jsx)(n.a,{href:"https://doi.org/10.1007/978-3-031-44274-2_6",children:"https://doi.org/10.1007/978-3-031-44274-2_6"}),".\narXiv version: ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2305.02295",children:"https://doi.org/10.48550/arXiv.2305.02295"})]}),"\n",(0,o.jsxs)(n.p,{children:["Losa, Giuliano, and Eli Gafni. 2023. \u201cConsensus in the Unknown-Participation Message-Adversary Model.\u201d January 12, 2023. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2301.04817",children:"https://doi.org/10.48550/arXiv.2301.04817"}),"."]}),"\n",(0,o.jsxs)(n.p,{children:["Francesco D\u2019Amato, Giuliano Losa, and Luca Zanolini. \u201cImproving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols.\u201d September 11, 2023. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2309.05347",children:"https://doi.org/10.48550/arXiv.2309.05347"})]}),"\n",(0,o.jsxs)(n.p,{children:["Murdoch James Gabbay and Giuliano Losa. \u201cSemitopology: Distributed Collaborative Action via Topology, Algebra, and Logic.\u201d January 16, 2024. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2402.03253",children:"https://doi.org/10.48550/arXiv.2402.03253"}),"."]}),"\n",(0,o.jsxs)(n.p,{children:["Murdoch Gabbay and Giuliano Losa. \u201cSemitopology: A New Topological Model of Heterogeneous Consensus.\u201d March 29, 2023. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2303.09287",children:"https://doi.org/10.48550/arXiv.2303.09287"})]}),"\n",(0,o.jsxs)(n.p,{children:["Murdoch Gabbay and Giuliano Losa. \u201cSemiframes: Algebras of Heterogeneous Consensus.\u201d October 2, 2023. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2310.00956",children:"https://doi.org/10.48550/arXiv.2310.00956"})]}),"\n",(0,o.jsxs)(n.p,{children:["Christian Cachin, Giuliano Losa, and Luca Zanolini, \u201cQuorum Systems in Permissionless Networks.\u201d In ",(0,o.jsx)(n.em,{children:"26th International Conference on Principles of Distributed Systems (OPODIS 2022)"})," ",(0,o.jsx)(n.a,{href:"https://doi.org/10.4230/LIPIcs.OPODIS.2022.17",children:"https://doi.org/10.4230/LIPIcs.OPODIS.2022.17"}),"."]}),"\n",(0,o.jsxs)(n.p,{children:["Lokhava, Marta, Giuliano Losa, David Mazi\xe8res, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafa\u0142 Malinowsky, and Jed McCaleb. 2019. \u201cFast and Secure Global Payments with Stellar.\u201d In ",(0,o.jsx)(n.em,{children:"Proceedings of\nthe 27th ACM Symposium on Operating Systems Principles"}),", 80\u201396. SOSP\n\u201919. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.1145/3341301.3359636",children:"https://doi.org/10.1145/3341301.3359636"}),"."]}),"\n",(0,o.jsxs)(n.p,{children:["Losa, Giuliano, Eli Gafni, and David Mazi\xe8res. 2019. \u201cStellar Consensus by Instantiation.\u201d In ",(0,o.jsx)(n.em,{children:"33rd International Symposium on Distributed Computing (DISC 2019)"}),". ",(0,o.jsx)(n.a,{href:"https://doi.org/10.4230/LIPIcs.DISC.2019.27",children:"https://doi.org/10.4230/LIPIcs.DISC.2019.27"})]})]})}function h(i={}){const{wrapper:n}={...(0,s.R)(),...i.components};return n?(0,o.jsx)(n,{...i,children:(0,o.jsx)(l,{...i})}):l(i)}},8453:(i,n,e)=>{e.d(n,{R:()=>r,x:()=>t});var o=e(6540);const s={},a=o.createContext(s);function r(i){const n=o.useContext(a);return o.useMemo((function(){return"function"==typeof i?i(n):{...n,...i}}),[n,i])}function t(i){let n;return n=i.disableParentContext?"function"==typeof i.components?i.components(s):i.components||s:r(i.components),o.createElement(a.Provider,{value:n},i.children)}}}]); \ No newline at end of file diff --git a/assets/js/0b46e8e7.9c6b2ac8.js b/assets/js/0b46e8e7.9c6b2ac8.js deleted file mode 100644 index 9feb7b3..0000000 --- a/assets/js/0b46e8e7.9c6b2ac8.js +++ /dev/null @@ -1 +0,0 @@ -"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[184],{2222:(i,n,e)=>{e.r(n),e.d(n,{assets:()=>c,contentTitle:()=>r,default:()=>h,frontMatter:()=>a,metadata:()=>t,toc:()=>l});var o=e(4848),s=e(8453);const a={sidebar_label:"Publications",sidebar_position:5,slug:"/publications"},r="Publications co-authored by SDF researchers",t={id:"publications",title:"Publications co-authored by SDF researchers",description:"Eli Gafni and Giuliano Losa. \u201cBrief Announcement//doi.org/10.4230/LIPIcs.DISC.2023.41",source:"@site/docs/publications.md",sourceDirName:".",slug:"/publications",permalink:"/publications",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:5,frontMatter:{sidebar_label:"Publications",sidebar_position:5,slug:"/publications"},sidebar:"contentsSidebar",previous:{title:"Workshops",permalink:"/workshops"}},c={},l=[];function d(i){const n={a:"a",em:"em",h1:"h1",p:"p",...(0,s.R)(),...i.components};return(0,o.jsxs)(o.Fragment,{children:[(0,o.jsx)(n.h1,{id:"publications-co-authored-by-sdf-researchers",children:"Publications co-authored by SDF researchers"}),"\n",(0,o.jsxs)(n.p,{children:["Eli Gafni and Giuliano Losa. \u201cBrief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority.\u201d In ",(0,o.jsx)(n.em,{children:"37th International Symposium on Distributed Computing (DISC 2023)"}),". ",(0,o.jsx)(n.a,{href:"https://doi.org/10.4230/LIPIcs.DISC.2023.41",children:"https://doi.org/10.4230/LIPIcs.DISC.2023.41"})]}),"\n",(0,o.jsxs)(n.p,{children:["Eli Gafni and Giuliano Losa. \u201cInvited Paper: Time Is Not a\xa0Healer, but\xa0It Sure Makes Hindsight 20:20.\u201d In ",(0,o.jsx)(n.em,{children:"Stabilization, Safety, and Security of Distributed Systems"}),", 2023\n",(0,o.jsx)(n.a,{href:"https://doi.org/10.1007/978-3-031-44274-2_6",children:"https://doi.org/10.1007/978-3-031-44274-2_6"}),".\narXiv version: ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2305.02295",children:"https://doi.org/10.48550/arXiv.2305.02295"})]}),"\n",(0,o.jsxs)(n.p,{children:["Losa, Giuliano, and Eli Gafni. 2023. \u201cConsensus in the Unknown-Participation Message-Adversary Model.\u201d January 12, 2023. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2301.04817",children:"https://doi.org/10.48550/arXiv.2301.04817"}),"."]}),"\n",(0,o.jsxs)(n.p,{children:["Francesco D\u2019Amato, Giuliano Losa, and Luca Zanolini. \u201cImproving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols.\u201d September 11, 2023. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2309.05347",children:"https://doi.org/10.48550/arXiv.2309.05347"})]}),"\n",(0,o.jsxs)(n.p,{children:["Murdoch James Gabbay and Giuliano Losa. \u201cSemitopology: Distributed Collaborative Action via Topology, Algebra, and Logic.\u201d January 16, 2024. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2402.03253",children:"https://doi.org/10.48550/arXiv.2402.03253"}),"."]}),"\n",(0,o.jsxs)(n.p,{children:["Murdoch Gabbay and Giuliano Losa. \u201cSemitopology: A New Topological Model of Heterogeneous Consensus.\u201d March 29, 2023. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2303.09287",children:"https://doi.org/10.48550/arXiv.2303.09287"})]}),"\n",(0,o.jsxs)(n.p,{children:["Murdoch Gabbay and Giuliano Losa. \u201cSemiframes: Algebras of Heterogeneous Consensus.\u201d October 2, 2023. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.48550/arXiv.2310.00956",children:"https://doi.org/10.48550/arXiv.2310.00956"})]}),"\n",(0,o.jsxs)(n.p,{children:["Christian Cachin, Giuliano Losa, and Luca Zanolini, \u201cQuorum Systems in Permissionless Networks.\u201d In ",(0,o.jsx)(n.em,{children:"26th International Conference on Principles of Distributed Systems (OPODIS 2022)"})," ",(0,o.jsx)(n.a,{href:"https://doi.org/10.4230/LIPIcs.OPODIS.2022.17",children:"https://doi.org/10.4230/LIPIcs.OPODIS.2022.17"}),"."]}),"\n",(0,o.jsxs)(n.p,{children:["Lokhava, Marta, Giuliano Losa, David Mazi\xe8res, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafa\u0142 Malinowsky, and Jed McCaleb. 2019. \u201cFast and Secure Global Payments with Stellar.\u201d In ",(0,o.jsx)(n.em,{children:"Proceedings of\nthe 27th ACM Symposium on Operating Systems Principles"}),", 80\u201396. SOSP\n\u201919. ",(0,o.jsx)(n.a,{href:"https://doi.org/10.1145/3341301.3359636",children:"https://doi.org/10.1145/3341301.3359636"}),"."]}),"\n",(0,o.jsxs)(n.p,{children:["Losa, Giuliano, Eli Gafni, and David Mazi\xe8res. 2019. \u201cStellar Consensus by Instantiation.\u201d In ",(0,o.jsx)(n.em,{children:"33rd International Symposium on Distributed Computing (DISC 2019)"}),". ",(0,o.jsx)(n.a,{href:"https://doi.org/10.4230/LIPIcs.DISC.2019.27",children:"https://doi.org/10.4230/LIPIcs.DISC.2019.27"})]})]})}function h(i={}){const{wrapper:n}={...(0,s.R)(),...i.components};return n?(0,o.jsx)(n,{...i,children:(0,o.jsx)(d,{...i})}):d(i)}},8453:(i,n,e)=>{e.d(n,{R:()=>r,x:()=>t});var o=e(6540);const s={},a=o.createContext(s);function r(i){const n=o.useContext(a);return o.useMemo((function(){return"function"==typeof i?i(n):{...n,...i}}),[n,i])}function t(i){let n;return n=i.disableParentContext?"function"==typeof i.components?i.components(s):i.components||s:r(i.components),o.createElement(a.Provider,{value:n},i.children)}}}]); \ No newline at end of file diff --git a/assets/js/22dd74f7.011ee67d.js b/assets/js/22dd74f7.011ee67d.js deleted file mode 100644 index 4235219..0000000 --- a/assets/js/22dd74f7.011ee67d.js +++ /dev/null @@ -1 +0,0 @@ -"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[567],{5226:e=>{e.exports=JSON.parse('{"version":{"pluginId":"default","version":"current","label":"Next","banner":null,"badge":false,"noIndex":false,"className":"docs-version-current","isLast":true,"docsSidebars":{"contentsSidebar":[{"type":"link","label":"Research at the SDF","href":"/","docId":"welcome","unlisted":false},{"type":"link","label":"News","href":"/news","docId":"news","unlisted":false},{"type":"category","label":"Academic Research Grants","collapsible":true,"collapsed":true,"items":[{"type":"link","label":"Grantees","href":"/research-grants/grantees","docId":"research-grants/grantees","unlisted":false},{"type":"link","label":"Publications","href":"/research-grants/publications","docId":"research-grants/publications","unlisted":false}],"href":"/research-grants"},{"type":"link","label":"Workshops","href":"/workshops","docId":"workshops","unlisted":false},{"type":"link","label":"Publications","href":"/publications","docId":"publications","unlisted":false}]},"docs":{"news":{"id":"news","title":"News","description":"Workshop on Formal Reasoning in Distributed Algorithms","sidebar":"contentsSidebar"},"publications":{"id":"publications","title":"Publications co-authored by SDF researchers","description":"Eli Gafni and Giuliano Losa. \u201cBrief Announcement//doi.org/10.4230/LIPIcs.DISC.2023.41","sidebar":"contentsSidebar"},"research-grants/grantees":{"id":"research-grants/grantees","title":"Awarded research grants by quarter","description":"Q0 2024","sidebar":"contentsSidebar"},"research-grants/index":{"id":"research-grants/index","title":"Academic Research Grants","description":"The Stellar Development Foundation is soliciting proposals for scientific, technological, economic, and legal research advancing the foundation\u2019s goals of financial inclusion, fast and inexpensive cross-border payments, efficient decentralized markets, and other beneficial applications of blockchain technology.","sidebar":"contentsSidebar"},"research-grants/publications":{"id":"research-grants/publications","title":"Publications acknowledging SDF funding","description":"Sanjam Garg, Dimitris Kolonelos, Guru-Vamsi Policharla, and Mingyuan Wang. \\"Threshold Encryption with Silent Setup.\\" Cryptology ePrint Archive (2024). https://eprint.iacr.org/2024/263","sidebar":"contentsSidebar"},"welcome":{"id":"welcome","title":"Research at the Stellar Development Foundation","description":"The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program.","sidebar":"contentsSidebar"},"workshops":{"id":"workshops","title":"Scientific Workshops","description":"We help organize workshops that bring scientists together and spur scientific progress.","sidebar":"contentsSidebar"}}}}')}}]); \ No newline at end of file diff --git a/assets/js/22dd74f7.897e46f9.js b/assets/js/22dd74f7.897e46f9.js new file mode 100644 index 0000000..844e6e1 --- /dev/null +++ b/assets/js/22dd74f7.897e46f9.js @@ -0,0 +1 @@ +"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[567],{5226:e=>{e.exports=JSON.parse('{"version":{"pluginId":"default","version":"current","label":"Next","banner":null,"badge":false,"noIndex":false,"className":"docs-version-current","isLast":true,"docsSidebars":{"contentsSidebar":[{"type":"link","label":"Research at the SDF","href":"/","docId":"welcome","unlisted":false},{"type":"link","label":"News","href":"/news","docId":"news","unlisted":false},{"type":"category","label":"Academic Research Grants","collapsible":true,"collapsed":true,"items":[{"type":"link","label":"Grantees","href":"/research-grants/grantees","docId":"research-grants/grantees","unlisted":false},{"type":"link","label":"Publications","href":"/research-grants/publications","docId":"research-grants/publications","unlisted":false}],"href":"/research-grants"},{"type":"link","label":"Workshops","href":"/workshops","docId":"workshops","unlisted":false},{"type":"link","label":"Publications","href":"/publications","docId":"publications","unlisted":false}]},"docs":{"news":{"id":"news","title":"News","description":"Workshop on Formal Reasoning in Distributed Algorithms","sidebar":"contentsSidebar"},"publications":{"id":"publications","title":"Publications co-authored by SDF researchers","description":"Qianyu Yu, Giuliano Losa, and Xuechao Wang. \\"TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus.\\" In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 257-267. 2024.","sidebar":"contentsSidebar"},"research-grants/grantees":{"id":"research-grants/grantees","title":"Awarded research grants by quarter","description":"Q1 2024","sidebar":"contentsSidebar"},"research-grants/index":{"id":"research-grants/index","title":"Academic Research Grants","description":"The Stellar Development Foundation is soliciting proposals for scientific, technological, economic, and legal research advancing the foundation\u2019s goals of financial inclusion, fast and inexpensive cross-border payments, efficient decentralized markets, and other beneficial applications of blockchain technology.","sidebar":"contentsSidebar"},"research-grants/publications":{"id":"research-grants/publications","title":"Publications acknowledging SDF funding","description":"Sanjam Garg, Dimitris Kolonelos, Guru-Vamsi Policharla, and Mingyuan Wang. \\"Threshold Encryption with Silent Setup.\\" Cryptology ePrint Archive (2024). https://eprint.iacr.org/2024/263","sidebar":"contentsSidebar"},"welcome":{"id":"welcome","title":"Research at the Stellar Development Foundation","description":"The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program.","sidebar":"contentsSidebar"},"workshops":{"id":"workshops","title":"Scientific Workshops","description":"We help organize workshops that bring scientists together and spur scientific progress.","sidebar":"contentsSidebar"}}}}')}}]); \ No newline at end of file diff --git a/assets/js/b5d444f3.fe3cf4a6.js b/assets/js/b5d444f3.ccb3d724.js similarity index 96% rename from assets/js/b5d444f3.fe3cf4a6.js rename to assets/js/b5d444f3.ccb3d724.js index c52e78d..d428560 100644 --- a/assets/js/b5d444f3.fe3cf4a6.js +++ b/assets/js/b5d444f3.ccb3d724.js @@ -1 +1 @@ -"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[17],{8764:(e,n,r)=>{r.r(n),r.d(n,{assets:()=>l,contentTitle:()=>i,default:()=>o,frontMatter:()=>a,metadata:()=>h,toc:()=>c});var t=r(4848),s=r(8453);const a={sidebar_label:"Grantees",sidebar_position:1,slug:"/research-grants/grantees"},i="Awarded research grants by quarter",h={id:"research-grants/grantees",title:"Awarded research grants by quarter",description:"Q0 2024",source:"@site/docs/research-grants/grantees.md",sourceDirName:"research-grants",slug:"/research-grants/grantees",permalink:"/research-grants/grantees",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:1,frontMatter:{sidebar_label:"Grantees",sidebar_position:1,slug:"/research-grants/grantees"},sidebar:"contentsSidebar",previous:{title:"Academic Research Grants",permalink:"/research-grants"},next:{title:"Publications",permalink:"/research-grants/publications"}},l={},c=[{value:"Q0 2024",id:"q0-2024",level:2},{value:"Q4 2023",id:"q4-2023",level:2},{value:"Q3 2023",id:"q3-2023",level:2},{value:"Q2 2023",id:"q2-2023",level:2}];function d(e){const n={a:"a",h1:"h1",h2:"h2",li:"li",ul:"ul",...(0,s.R)(),...e.components};return(0,t.jsxs)(t.Fragment,{children:[(0,t.jsx)(n.h1,{id:"awarded-research-grants-by-quarter",children:"Awarded research grants by quarter"}),"\n",(0,t.jsx)(n.h2,{id:"q0-2024",children:"Q0 2024"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html",children:"Peter M\xfcller"})," (",(0,t.jsx)(n.a,{href:"https://ethz.ch/en.html",children:"ETH"}),"), Practical Rust Verification"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://users.cs.utah.edu/~psoni/",children:"Pratik Soni"})," (",(0,t.jsx)(n.a,{href:"https://www.cs.utah.edu/",children:"The University of Utah"}),") and ",(0,t.jsx)(n.a,{href:"https://sites.google.com/view/sak-thyagarajan",children:"Sri AravindaKrishnan Thyagarajan"})," (",(0,t.jsx)(n.a,{href:"https://www.sydney.edu.au/",children:"The University of Sydney"}),"), Functional Payments from Adaptor Signatures"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q4-2023",children:"Q4 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.amitlevy.com/",children:"Amit Levy"})," (",(0,t.jsx)(n.a,{href:"https://www.princeton.edu/",children:"Princeton University"}),"), Interoperating in a World of Decentralized Applications"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://crypto.unibe.ch/cc/",children:"Christian Cachin"})," (",(0,t.jsx)(n.a,{href:"https://www.unibe.ch/",children:"UNIBE"}),"), Efficiency of Anonymous and Private Decentralized Payments"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://alkistang.github.io/",children:"Qiang Tang"})," (",(0,t.jsx)(n.a,{href:"https://www.sydney.edu.au/",children:"The University of Sydney"}),"), Aggregatable and Auditable Tumbler for Stellar"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://spots.augusta.edu/caubert/",children:"Cl\xe9ment Aubert"})," (",(0,t.jsx)(n.a,{href:"https://www.augusta.edu/",children:"Augusta University"}),"), Formal Verification of Tiered-Privacy-Perserving Auditable Protocols"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.ziv.unibe.ch/about_us/personen/personen_abt_eggen/eggen_mirjam/index_eng.html",children:"Mirjam Eggen"})," (",(0,t.jsx)(n.a,{href:"https://www.unibe.ch/",children:"UNIBE"}),"), The Value Proposition of a Retail CBDC"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q3-2023",children:"Q3 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://xuechao2.github.io/",children:"Xuechao Wang"})," (",(0,t.jsx)(n.a,{href:"https://www.hkust-gz.edu.cn/",children:"HKUST"}),"), Unveiling and Improving Unauthenticated BFT Protocols"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://cs.nyu.edu/~apanda/",children:"Aurojit Panda"})," (",(0,t.jsx)(n.a,{href:"https://www.nyu.edu",children:"NYU"}),"), Detecting and Reacting to Errors in Distributed Systems at Runtime"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q2-2023",children:"Q2 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://sites.google.com/site/shaileshhbv/",children:"Shaileshh Bojja Venkatakrishnan"})," (",(0,t.jsx)(n.a,{href:"https://engineering.osu.edu/",children:"OSU"}),"), Efficient Gossip and Topology Design in the Stellar Peer-to-Peer Network"]}),"\n"]})]})}function o(e={}){const{wrapper:n}={...(0,s.R)(),...e.components};return n?(0,t.jsx)(n,{...e,children:(0,t.jsx)(d,{...e})}):d(e)}},8453:(e,n,r)=>{r.d(n,{R:()=>i,x:()=>h});var t=r(6540);const s={},a=t.createContext(s);function i(e){const n=t.useContext(a);return t.useMemo((function(){return"function"==typeof e?e(n):{...n,...e}}),[n,e])}function h(e){let n;return n=e.disableParentContext?"function"==typeof e.components?e.components(s):e.components||s:i(e.components),t.createElement(a.Provider,{value:n},e.children)}}}]); \ No newline at end of file +"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[17],{8764:(e,n,r)=>{r.r(n),r.d(n,{assets:()=>l,contentTitle:()=>i,default:()=>o,frontMatter:()=>a,metadata:()=>h,toc:()=>c});var t=r(4848),s=r(8453);const a={sidebar_label:"Grantees",sidebar_position:1,slug:"/research-grants/grantees"},i="Awarded research grants by quarter",h={id:"research-grants/grantees",title:"Awarded research grants by quarter",description:"Q1 2024",source:"@site/docs/research-grants/grantees.md",sourceDirName:"research-grants",slug:"/research-grants/grantees",permalink:"/research-grants/grantees",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:1,frontMatter:{sidebar_label:"Grantees",sidebar_position:1,slug:"/research-grants/grantees"},sidebar:"contentsSidebar",previous:{title:"Academic Research Grants",permalink:"/research-grants"},next:{title:"Publications",permalink:"/research-grants/publications"}},l={},c=[{value:"Q1 2024",id:"q1-2024",level:2},{value:"Q4 2023",id:"q4-2023",level:2},{value:"Q3 2023",id:"q3-2023",level:2},{value:"Q2 2023",id:"q2-2023",level:2}];function d(e){const n={a:"a",h1:"h1",h2:"h2",li:"li",ul:"ul",...(0,s.R)(),...e.components};return(0,t.jsxs)(t.Fragment,{children:[(0,t.jsx)(n.h1,{id:"awarded-research-grants-by-quarter",children:"Awarded research grants by quarter"}),"\n",(0,t.jsx)(n.h2,{id:"q1-2024",children:"Q1 2024"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html",children:"Peter M\xfcller"})," (",(0,t.jsx)(n.a,{href:"https://ethz.ch/en.html",children:"ETH"}),"), Practical Rust Verification"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://users.cs.utah.edu/~psoni/",children:"Pratik Soni"})," (",(0,t.jsx)(n.a,{href:"https://www.cs.utah.edu/",children:"The University of Utah"}),") and ",(0,t.jsx)(n.a,{href:"https://sites.google.com/view/sak-thyagarajan",children:"Sri AravindaKrishnan Thyagarajan"})," (",(0,t.jsx)(n.a,{href:"https://www.sydney.edu.au/",children:"The University of Sydney"}),"), Functional Payments from Adaptor Signatures"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q4-2023",children:"Q4 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.amitlevy.com/",children:"Amit Levy"})," (",(0,t.jsx)(n.a,{href:"https://www.princeton.edu/",children:"Princeton University"}),"), Interoperating in a World of Decentralized Applications"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://crypto.unibe.ch/cc/",children:"Christian Cachin"})," (",(0,t.jsx)(n.a,{href:"https://www.unibe.ch/",children:"UNIBE"}),"), Efficiency of Anonymous and Private Decentralized Payments"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://alkistang.github.io/",children:"Qiang Tang"})," (",(0,t.jsx)(n.a,{href:"https://www.sydney.edu.au/",children:"The University of Sydney"}),"), Aggregatable and Auditable Tumbler for Stellar"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://spots.augusta.edu/caubert/",children:"Cl\xe9ment Aubert"})," (",(0,t.jsx)(n.a,{href:"https://www.augusta.edu/",children:"Augusta University"}),"), Formal Verification of Tiered-Privacy-Perserving Auditable Protocols"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.ziv.unibe.ch/about_us/personen/personen_abt_eggen/eggen_mirjam/index_eng.html",children:"Mirjam Eggen"})," (",(0,t.jsx)(n.a,{href:"https://www.unibe.ch/",children:"UNIBE"}),"), The Value Proposition of a Retail CBDC"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q3-2023",children:"Q3 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://xuechao2.github.io/",children:"Xuechao Wang"})," (",(0,t.jsx)(n.a,{href:"https://www.hkust-gz.edu.cn/",children:"HKUST"}),"), Unveiling and Improving Unauthenticated BFT Protocols"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://cs.nyu.edu/~apanda/",children:"Aurojit Panda"})," (",(0,t.jsx)(n.a,{href:"https://www.nyu.edu",children:"NYU"}),"), Detecting and Reacting to Errors in Distributed Systems at Runtime"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q2-2023",children:"Q2 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://sites.google.com/site/shaileshhbv/",children:"Shaileshh Bojja Venkatakrishnan"})," (",(0,t.jsx)(n.a,{href:"https://engineering.osu.edu/",children:"OSU"}),"), Efficient Gossip and Topology Design in the Stellar Peer-to-Peer Network"]}),"\n"]})]})}function o(e={}){const{wrapper:n}={...(0,s.R)(),...e.components};return n?(0,t.jsx)(n,{...e,children:(0,t.jsx)(d,{...e})}):d(e)}},8453:(e,n,r)=>{r.d(n,{R:()=>i,x:()=>h});var t=r(6540);const s={},a=t.createContext(s);function i(e){const n=t.useContext(a);return t.useMemo((function(){return"function"==typeof e?e(n):{...n,...e}}),[n,e])}function h(e){let n;return n=e.disableParentContext?"function"==typeof e.components?e.components(s):e.components||s:i(e.components),t.createElement(a.Provider,{value:n},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/runtime~main.44d08049.js b/assets/js/runtime~main.44d08049.js deleted file mode 100644 index d810cb2..0000000 --- a/assets/js/runtime~main.44d08049.js +++ /dev/null @@ -1 +0,0 @@ -(()=>{"use strict";var e,r,t,a,o,n={},d={};function f(e){var r=d[e];if(void 0!==r)return r.exports;var t=d[e]={id:e,loaded:!1,exports:{}};return n[e].call(t.exports,t,t.exports,f),t.loaded=!0,t.exports}f.m=n,f.c=d,e=[],f.O=(r,t,a,o)=>{if(!t){var n=1/0;for(u=0;u=o)&&Object.keys(f.O).every((e=>f.O[e](t[i])))?t.splice(i--,1):(d=!1,o0&&e[u-1][2]>o;u--)e[u]=e[u-1];e[u]=[t,a,o]},f.n=e=>{var r=e&&e.__esModule?()=>e.default:()=>e;return f.d(r,{a:r}),r},t=Object.getPrototypeOf?e=>Object.getPrototypeOf(e):e=>e.__proto__,f.t=function(e,a){if(1&a&&(e=this(e)),8&a)return e;if("object"==typeof e&&e){if(4&a&&e.__esModule)return e;if(16&a&&"function"==typeof e.then)return e}var o=Object.create(null);f.r(o);var n={};r=r||[null,t({}),t([]),t(t)];for(var d=2&a&&e;"object"==typeof d&&!~r.indexOf(d);d=t(d))Object.getOwnPropertyNames(d).forEach((r=>n[r]=()=>e[r]));return n.default=()=>e,f.d(o,n),o},f.d=(e,r)=>{for(var t in r)f.o(r,t)&&!f.o(e,t)&&Object.defineProperty(e,t,{enumerable:!0,get:r[t]})},f.f={},f.e=e=>Promise.all(Object.keys(f.f).reduce(((r,t)=>(f.f[t](e,r),r)),[])),f.u=e=>"assets/js/"+({17:"b5d444f3",48:"a94703ab",98:"a7bd4aaa",184:"0b46e8e7",401:"17896441",567:"22dd74f7",579:"a6e0a6ed",647:"5e95c892",686:"0fafd334",742:"aba21aa0",749:"0276bb65",924:"fb5046e1",934:"282d1385"}[e]||e)+"."+{17:"fe3cf4a6",48:"39b0ae7e",98:"04e112fa",184:"9c6b2ac8",237:"aa8319e0",401:"b47d62ca",567:"011ee67d",579:"5d040c77",647:"cad69aa1",686:"e76035e2",742:"8654868f",749:"5b6376ca",924:"cead0d45",934:"73dac651"}[e]+".js",f.miniCssF=e=>{},f.g=function(){if("object"==typeof globalThis)return globalThis;try{return this||new Function("return this")()}catch(e){if("object"==typeof window)return window}}(),f.o=(e,r)=>Object.prototype.hasOwnProperty.call(e,r),a={},o="research:",f.l=(e,r,t,n)=>{if(a[e])a[e].push(r);else{var d,i;if(void 0!==t)for(var c=document.getElementsByTagName("script"),u=0;u{d.onerror=d.onload=null,clearTimeout(b);var o=a[e];if(delete a[e],d.parentNode&&d.parentNode.removeChild(d),o&&o.forEach((e=>e(t))),r)return r(t)},b=setTimeout(s.bind(null,void 0,{type:"timeout",target:d}),12e4);d.onerror=s.bind(null,d.onerror),d.onload=s.bind(null,d.onload),i&&document.head.appendChild(d)}},f.r=e=>{"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},f.p="/",f.gca=function(e){return e={17896441:"401",b5d444f3:"17",a94703ab:"48",a7bd4aaa:"98","0b46e8e7":"184","22dd74f7":"567",a6e0a6ed:"579","5e95c892":"647","0fafd334":"686",aba21aa0:"742","0276bb65":"749",fb5046e1:"924","282d1385":"934"}[e]||e,f.p+f.u(e)},(()=>{var e={354:0,869:0};f.f.j=(r,t)=>{var a=f.o(e,r)?e[r]:void 0;if(0!==a)if(a)t.push(a[2]);else if(/^(354|869)$/.test(r))e[r]=0;else{var o=new Promise(((t,o)=>a=e[r]=[t,o]));t.push(a[2]=o);var n=f.p+f.u(r),d=new Error;f.l(n,(t=>{if(f.o(e,r)&&(0!==(a=e[r])&&(e[r]=void 0),a)){var o=t&&("load"===t.type?"missing":t.type),n=t&&t.target&&t.target.src;d.message="Loading chunk "+r+" failed.\n("+o+": "+n+")",d.name="ChunkLoadError",d.type=o,d.request=n,a[1](d)}}),"chunk-"+r,r)}},f.O.j=r=>0===e[r];var r=(r,t)=>{var a,o,n=t[0],d=t[1],i=t[2],c=0;if(n.some((r=>0!==e[r]))){for(a in d)f.o(d,a)&&(f.m[a]=d[a]);if(i)var u=i(f)}for(r&&r(t);c{"use strict";var e,r,t,a,o,n={},f={};function i(e){var r=f[e];if(void 0!==r)return r.exports;var t=f[e]={id:e,loaded:!1,exports:{}};return n[e].call(t.exports,t,t.exports,i),t.loaded=!0,t.exports}i.m=n,i.c=f,e=[],i.O=(r,t,a,o)=>{if(!t){var n=1/0;for(u=0;u=o)&&Object.keys(i.O).every((e=>i.O[e](t[d])))?t.splice(d--,1):(f=!1,o0&&e[u-1][2]>o;u--)e[u]=e[u-1];e[u]=[t,a,o]},i.n=e=>{var r=e&&e.__esModule?()=>e.default:()=>e;return i.d(r,{a:r}),r},t=Object.getPrototypeOf?e=>Object.getPrototypeOf(e):e=>e.__proto__,i.t=function(e,a){if(1&a&&(e=this(e)),8&a)return e;if("object"==typeof e&&e){if(4&a&&e.__esModule)return e;if(16&a&&"function"==typeof e.then)return e}var o=Object.create(null);i.r(o);var n={};r=r||[null,t({}),t([]),t(t)];for(var f=2&a&&e;"object"==typeof f&&!~r.indexOf(f);f=t(f))Object.getOwnPropertyNames(f).forEach((r=>n[r]=()=>e[r]));return n.default=()=>e,i.d(o,n),o},i.d=(e,r)=>{for(var t in r)i.o(r,t)&&!i.o(e,t)&&Object.defineProperty(e,t,{enumerable:!0,get:r[t]})},i.f={},i.e=e=>Promise.all(Object.keys(i.f).reduce(((r,t)=>(i.f[t](e,r),r)),[])),i.u=e=>"assets/js/"+({17:"b5d444f3",48:"a94703ab",98:"a7bd4aaa",184:"0b46e8e7",401:"17896441",567:"22dd74f7",579:"a6e0a6ed",647:"5e95c892",686:"0fafd334",742:"aba21aa0",749:"0276bb65",924:"fb5046e1",934:"282d1385"}[e]||e)+"."+{17:"ccb3d724",48:"39b0ae7e",98:"04e112fa",184:"23bc1f84",237:"aa8319e0",401:"b47d62ca",567:"897e46f9",579:"5d040c77",647:"cad69aa1",686:"e76035e2",742:"8654868f",749:"5b6376ca",924:"cead0d45",934:"73dac651"}[e]+".js",i.miniCssF=e=>{},i.g=function(){if("object"==typeof globalThis)return globalThis;try{return this||new Function("return this")()}catch(e){if("object"==typeof window)return window}}(),i.o=(e,r)=>Object.prototype.hasOwnProperty.call(e,r),a={},o="research:",i.l=(e,r,t,n)=>{if(a[e])a[e].push(r);else{var f,d;if(void 0!==t)for(var c=document.getElementsByTagName("script"),u=0;u{f.onerror=f.onload=null,clearTimeout(b);var o=a[e];if(delete a[e],f.parentNode&&f.parentNode.removeChild(f),o&&o.forEach((e=>e(t))),r)return r(t)},b=setTimeout(s.bind(null,void 0,{type:"timeout",target:f}),12e4);f.onerror=s.bind(null,f.onerror),f.onload=s.bind(null,f.onload),d&&document.head.appendChild(f)}},i.r=e=>{"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},i.p="/",i.gca=function(e){return e={17896441:"401",b5d444f3:"17",a94703ab:"48",a7bd4aaa:"98","0b46e8e7":"184","22dd74f7":"567",a6e0a6ed:"579","5e95c892":"647","0fafd334":"686",aba21aa0:"742","0276bb65":"749",fb5046e1:"924","282d1385":"934"}[e]||e,i.p+i.u(e)},(()=>{var e={354:0,869:0};i.f.j=(r,t)=>{var a=i.o(e,r)?e[r]:void 0;if(0!==a)if(a)t.push(a[2]);else if(/^(354|869)$/.test(r))e[r]=0;else{var o=new Promise(((t,o)=>a=e[r]=[t,o]));t.push(a[2]=o);var n=i.p+i.u(r),f=new Error;i.l(n,(t=>{if(i.o(e,r)&&(0!==(a=e[r])&&(e[r]=void 0),a)){var o=t&&("load"===t.type?"missing":t.type),n=t&&t.target&&t.target.src;f.message="Loading chunk "+r+" failed.\n("+o+": "+n+")",f.name="ChunkLoadError",f.type=o,f.request=n,a[1](f)}}),"chunk-"+r,r)}},i.O.j=r=>0===e[r];var r=(r,t)=>{var a,o,n=t[0],f=t[1],d=t[2],c=0;if(n.some((r=>0!==e[r]))){for(a in f)i.o(f,a)&&(i.m[a]=f[a]);if(d)var u=d(i)}for(r&&r(t);c Research at the Stellar Development Foundation | SDF Research - + diff --git a/news.html b/news.html index 70ea604..4365017 100644 --- a/news.html +++ b/news.html @@ -4,7 +4,7 @@ News | SDF Research - + diff --git a/publications.html b/publications.html index 70b3d53..612a659 100644 --- a/publications.html +++ b/publications.html @@ -3,12 +3,18 @@ -Publications co-authored by SDF researchers | SDF Research - +Publications co-authored by SDF researchers | SDF Research +

Publications co-authored by SDF researchers

+

Qianyu Yu, Giuliano Losa, and Xuechao Wang. "TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus." In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 257-267. 2024. +https://dl.acm.org/doi/abs/10.1145/3662158.3662783

+

D'Amato, Francesco, Giuliano Losa, and Luca Zanolini. "Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols." In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 247-256. 2024. +https://dl.acm.org/doi/abs/10.1145/3662158.3662779

+

Losa, Giuliano, and Eli Gafni. "Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model." In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 465-468. 2024. +https://dl.acm.org/doi/abs/10.1145/3662158.3662786

Eli Gafni and Giuliano Losa. “Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority.” In 37th International Symposium on Distributed Computing (DISC 2023). https://doi.org/10.4230/LIPIcs.DISC.2023.41

Eli Gafni and Giuliano Losa. “Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20.” In Stabilization, Safety, and Security of Distributed Systems, 2023 https://doi.org/10.1007/978-3-031-44274-2_6. diff --git a/research-grants.html b/research-grants.html index 26ba721..3a9cc4b 100644 --- a/research-grants.html +++ b/research-grants.html @@ -4,7 +4,7 @@ Academic Research Grants | SDF Research - + diff --git a/research-grants/grantees.html b/research-grants/grantees.html index 9b168b6..b56fdb6 100644 --- a/research-grants/grantees.html +++ b/research-grants/grantees.html @@ -3,13 +3,13 @@ -Awarded research grants by quarter | SDF Research - +Awarded research grants by quarter | SDF Research +

+
\ No newline at end of file diff --git a/research-grants/publications.html b/research-grants/publications.html index 132fd7e..8fc1f64 100644 --- a/research-grants/publications.html +++ b/research-grants/publications.html @@ -4,7 +4,7 @@ Publications acknowledging SDF funding | SDF Research - + diff --git a/workshops.html b/workshops.html index 97ddd78..6ddb221 100644 --- a/workshops.html +++ b/workshops.html @@ -4,7 +4,7 @@ Scientific Workshops | SDF Research - +