Skip to content

Actions: focs-lab/focs-lab.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Publish reviewed memory-safety audit and show November 1 release date Deploy website to GitHub Pages #84: Commit 85cbb40 pushed by umangm
45s main
main
45s
Use the FOCS Lab favicon on the memory-safety article Deploy website to GitHub Pages #83: Commit b143365 pushed by umangm
40s main
main
40s
Add article SEO metadata, author profiles, and research backlinks Deploy website to GitHub Pages #82: Commit 35b89b0 pushed by umangm
40s main
main
40s
Open audit PDF links in GitHub's browser preview Deploy website to GitHub Pages #81: Commit e3d94cd pushed by umangm
34s main
main
34s
Add Blog navigation and memory-safety article index Deploy website to GitHub Pages #80: Commit 29a1641 pushed by umangm
39s main
main
39s
Publish memory-safety audit article and lab news Deploy website to GitHub Pages #79: Commit 3cdc135 pushed by umangm
36s main
main
36s
Link race instrumentation paper to arXiv Deploy website to GitHub Pages #78: Commit aabdddf pushed by umangm
34s main
main
34s
Link communication-safe hardware paper to arXiv Deploy website to GitHub Pages #77: Commit 58b6b59 pushed by umangm
38s main
main
38s
Align publication details and typography with corrected CV Deploy website to GitHub Pages #76: Commit 68dba28 pushed by umangm
39s main
main
39s
Add NUS coverage of CACM research highlight Deploy website to GitHub Pages #75: Commit a7d47fb pushed by umangm
33s main
main
33s
Merge pull request #4 from focs-lab/remove-indics-nonattendees-2026-1… Deploy website to GitHub Pages #74: Commit 43c1af9 pushed by umangm
36s main
main
36s
Announce three accepted POPL 2027 papers Deploy website to GitHub Pages #73: Commit f73226c pushed by umangm
33s main
main
33s
Merge pull request #3 from arj4web/dev/theme Deploy website to GitHub Pages #72: Commit 3b25c17 pushed by umangm
39s main
main
39s
Add NUS coverage of Robert Brown researcher award Deploy website to GitHub Pages #71: Commit 2b4d580 pushed by umangm
33s main
main
33s
Rework homepage around four research directions Deploy website to GitHub Pages #70: Commit e1cdf3f pushed by umangm
41s main
main
41s
Merge pull request #2 from focs-lab/remove-student-entry-2026-10-01 Deploy website to GitHub Pages #69: Commit 5715088 pushed by umangm
38s main
main
38s
Remove Gabriella from undergraduate roster Deploy website to GitHub Pages #68: Commit 1109730 pushed by umangm
1m 0s main
main
1m 0s
Correct Minjian Zhang's affiliation to NTU Deploy website to GitHub Pages #67: Commit 39fab91 pushed by umangm
38s main
main
38s
Link seminar participants and restrict form instructions to invitees Deploy website to GitHub Pages #66: Commit 297a57d pushed by umangm
36s main
main
36s
Announce the IndiCS concurrency seminar in FOCS news Deploy website to GitHub Pages #65: Commit f9ac037 pushed by umangm
39s main
main
39s
Publish concurrency frontiers seminar 2026 website Deploy website to GitHub Pages #64: Commit 6b21ee2 pushed by umangm
42s main
main
42s
Update personal website URLs and link profiles through names Deploy website to GitHub Pages #63: Commit 0243127 pushed by umangm
34s main
main
34s
Update Xu Luoqi photo and website Deploy website to GitHub Pages #62: Commit af5d5bd pushed by umangm
1m 7s main
main
1m 7s
Date joint memory safety grant news to February 2026 and name investi… Deploy website to GitHub Pages #61: Commit fb488c8 pushed by umangm
42s main
main
42s
Group concurrency research into semantics, analysis, and formal verif… Deploy website to GitHub Pages #60: Commit 4ce6ea8 pushed by umangm
41s main
main
41s