diff --git a/content/_index.md b/content/_index.md index b251bb9..accd8af 100644 --- a/content/_index.md +++ b/content/_index.md @@ -43,9 +43,7 @@ sections: 2. National Research Foundation, Singapore, and Cyber Security Agency of Singapore under its National Cybersecurity R&D Programme (Fuzz Testing \). ### Reading Groups - We currently run two reading groups on alternate weeks. We meet on Wednesday 1-2pm at COM3 MR21. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join. - 1. [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) - 2. Logic/Type Theory + We currently run an [Advanced Automata Theory](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) reading group once every 2 weeks. We meet on Wednesday 1-2pm at COM3 MR21. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join. # - block: markdown # content: diff --git a/content/news/2024-06-26-alexey.md b/content/news/2024-06-26-alexey.md index 4becf89..6b322c9 100644 --- a/content/news/2024-06-26-alexey.md +++ b/content/news/2024-06-26-alexey.md @@ -3,4 +3,4 @@ date: 2024-06-26 --- -Alexey Paznikov joins us as a Research Fellow! +**Alexey Paznikov** joins us as a Research Fellow! diff --git a/content/news/2024-08-12-new-members.md b/content/news/2024-08-12-new-members.md index 74a9224..ea8f0ca 100644 --- a/content/news/2024-08-12-new-members.md +++ b/content/news/2024-08-12-new-members.md @@ -3,4 +3,4 @@ date: 2024-08-16 --- -PhD student Zihan Zhou, and undergraduate students Arsyad Kamili, Jed Koh Jin Keat, Ramanathan Kumarappan, Bryan Lim and David Zhu join us! +PhD student **Zihan Zhou**, and undergraduate students **Arsyad Kamili**, **Jed Koh Jin Keat**, **Ramanathan Kumarappan**, **Bryan Lim** and **David Zhu** join us! diff --git a/content/news/2024-11-19-papers.md b/content/news/2024-11-19-papers.md index a5001a8..34770df 100644 --- a/content/news/2024-11-19-papers.md +++ b/content/news/2024-11-19-papers.md @@ -3,4 +3,7 @@ date: 2024-11-19 --- -Papers accepted: [The Decision Problem for Regular First-Order Theories (POPL'25)](https://arxiv.org/pdf/2410.17185), [Selectively Uniform Concurrency Testing (ASPLOS'25)](https://abhikrc.com/pdf/asplos25.pdf) +Papers accepted: + +1. [The Decision Problem for Regular First-Order Theories (POPL'25)](https://arxiv.org/pdf/2410.17185) +2. [Selectively Uniform Concurrency Testing (ASPLOS'25)](https://abhikrc.com/pdf/asplos25.pdf) diff --git a/content/news/2025-01-24-popl-src.md b/content/news/2025-01-24-popl-src.md new file mode 100644 index 0000000..ca9e68f --- /dev/null +++ b/content/news/2025-01-24-popl-src.md @@ -0,0 +1,8 @@ +--- +date: 2025-01-24 +--- + +Achievements in the POPL'25 Student Research Competition: + +1. **Grace** won the Gold medal (graduate student category) for her work on Store Order Consistency Testing for C-like memory models, and complexity theoretic questions around it. +2. **Jed** won the Gold medal (undergraduate student category) for his work on designing property testing algorithms for trace closures of regular languages. diff --git a/themes/blox-bootstrap/assets/scss/wowchemy/layouts/_listing.scss b/themes/blox-bootstrap/assets/scss/wowchemy/layouts/_listing.scss index fa60a59..6c337b9 100644 --- a/themes/blox-bootstrap/assets/scss/wowchemy/layouts/_listing.scss +++ b/themes/blox-bootstrap/assets/scss/wowchemy/layouts/_listing.scss @@ -25,7 +25,12 @@ } .news-list-item .news-content p { - margin-bottom: 0; + margin-bottom: 0.2rem; +} + +.news-list-item .news-content :is(ul,ol,dl) { + margin-top: 0; + font-size: 0.95rem; } .pub-list-item {