diff --git a/index.html b/index.html index fcd0e1b..18ad918 100644 --- a/index.html +++ b/index.html @@ -76,7 +76,7 @@ - + diff --git a/index.xml b/index.xml index 177e090..57df967 100644 --- a/index.xml +++ b/index.xml @@ -6,9 +6,144 @@ Recent content in Languages, Systems, and Data Lab @ UCSC on Languages, Systems, and Data Lab @ UCSC Hugo -- gohugo.io en-us - Tue, 28 Mar 2023 10:41:50 -0700 + Fri, 11 Aug 2023 19:47:53 -0700 + + Languages, Systems, and Data Seminar (Fall 2023) + http://lsd.ucsc.edu/lsd-seminar/2023fa/ + Fri, 11 Aug 2023 19:47:53 -0700 + + http://lsd.ucsc.edu/lsd-seminar/2023fa/ + + +<p><strong>Time</strong>: Fridays, noon - 1:05pm (PT) <br /> +<strong>Location</strong>: The Internet / The LSD Lab (Engineering 2, Room 398) <br /> +<strong>Organizers</strong>: Lindsey Kuper and Tyler Sorensen <br /></p> + +<hr /> + +<p>The Languages, Systems, and Data Seminar meets weekly to discuss interesting topics in the areas of programming languages, systems, databases, formal methods, security, software engineering, verification, architecture, and beyond. Our goal is to encourage interactions and discussions between students, researchers, and faculty with interests in these areas. The seminar is open to everyone interested. Participating UCSC students should register for the 2-credit course CSE 280O (let the organizers know if you&rsquo;re an undergrad and need a permission code).</p> + +<p>For fall 2023, we will continue to host the LSD Seminar in a hybrid fashion. Anyone can attend on Zoom, and local folks can gather in person in the lab. Speakers can join either in person or on Zoom, whichever is convenient.</p> + +<p>Talks will be advertised on the <a href="https://groups.google.com/g/ucsc-lsd-seminar-announce" rel="noreferrer" target="_blank">ucsc-lsd-seminar-announce</a> (for anyone) and <a href="https://groups.google.com/a/ucsc.edu/g/lsd-group/members" rel="noreferrer" target="_blank">lsd-group</a> (for UCSC-affiliated people) mailing lists.</p> + +<table> +<thead> +<tr> +<th>Date</th> +<th>Speaker</th> +<th>Title</th> +</tr> +</thead> + +<tbody> +<tr> +<td><a href="#sept-29">Sept. 29</a></td> +<td>Vikram Narayanan</td> +<td>Towards fine-grained compartmentalization of operating system kernels</td> +</tr> + +<tr> +<td>Oct. 6</td> +<td></td> +<td></td> +</tr> + +<tr> +<td>Oct. 13</td> +<td></td> +<td></td> +</tr> + +<tr> +<td>Oct. 20</td> +<td></td> +<td></td> +</tr> + +<tr> +<td>Oct. 27</td> +<td></td> +<td></td> +</tr> + +<tr> +<td>Nov. 3</td> +<td></td> +<td></td> +</tr> + +<tr> +<td>Nov. 17</td> +<td></td> +<td></td> +</tr> + +<tr> +<td>Dec. 1</td> +<td></td> +<td></td> +</tr> + +<tr> +<td>Dec. 8</td> +<td></td> +<td></td> +</tr> +</tbody> +</table> + +<h1 id="sept-29">Sept. 29</h1> + +<p><strong>Speaker:</strong> Vikram Narayanan</p> + +<p><strong>Title:</strong> Towards fine-grained compartmentalization of operating system kernels</p> + +<p><strong>Abstract:</strong> Commodity operating systems execute core kernel subsystems in a single +address space along with hundreds of dynamically loaded extensions and +device drivers. Lack of isolation within the kernel implies that a +vulnerability in any of the kernel subsystems or device drivers opens +a way to mount a successful attack on the entire kernel. Historically, +isolation within the kernel remained prohibitive due to the high cost +of hardware isolation primitives. Recent CPUs, however, bring a new +set of mechanisms. Extended page-table (EPT) switching with VM +functions and memory protection keys (MPKs) provide memory isolation +and invocations across boundaries of protection domains with overheads +comparable to system calls.</p> + +<p>I will talk about how we developed a collection of techniques for +lightweight isolation of privileged kernel code(LXDs and LVDs) that +demonstrates near-native performance of two (network, block) +high-performance device drivers. I will present KSplit, a framework +for isolating unmodified device drivers in a modern, full featured +kernel that performs automated analyses on the unmodified source code +of the kernel and the driver to identify shared state and +synchronization requirements for efficient isolation.</p> + +<h1 id="oct-6">Oct. 6</h1> + +<h1 id="oct-13">Oct. 13</h1> + +<h1 id="oct-20">Oct. 20</h1> + +<h1 id="oct-27">Oct. 27</h1> + +<h1 id="nov-3">Nov. 3</h1> + +<h1 id="nov-17">Nov. 17</h1> + +<h1 id="dec-1">Dec. 1</h1> + +<h1 id="dec-8">Dec. 8</h1> + +<hr /> + +<p><a href="../">Archive</a></p> + + + Languages, Systems, and Data Seminar (Spring 2023) http://lsd.ucsc.edu/lsd-seminar/2023sp/ diff --git a/lsd-seminar/2023fa/index.html b/lsd-seminar/2023fa/index.html new file mode 100644 index 0000000..d0afe1e --- /dev/null +++ b/lsd-seminar/2023fa/index.html @@ -0,0 +1,404 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Languages, Systems, and Data Seminar (Fall 2023) | Languages, Systems, and Data Lab @ UCSC + + + + + + + + +
+ + + + +
+

Languages, Systems, and Data Seminar (Fall 2023)

+ + +
+ + +

Time: Fridays, noon - 1:05pm (PT)
+Location: The Internet / The LSD Lab (Engineering 2, Room 398)
+Organizers: Lindsey Kuper and Tyler Sorensen

+ +
+ +

The Languages, Systems, and Data Seminar meets weekly to discuss interesting topics in the areas of programming languages, systems, databases, formal methods, security, software engineering, verification, architecture, and beyond. Our goal is to encourage interactions and discussions between students, researchers, and faculty with interests in these areas. The seminar is open to everyone interested. Participating UCSC students should register for the 2-credit course CSE 280O (let the organizers know if you’re an undergrad and need a permission code).

+ +

For fall 2023, we will continue to host the LSD Seminar in a hybrid fashion. Anyone can attend on Zoom, and local folks can gather in person in the lab. Speakers can join either in person or on Zoom, whichever is convenient.

+ +

Talks will be advertised on the ucsc-lsd-seminar-announce (for anyone) and lsd-group (for UCSC-affiliated people) mailing lists.

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
DateSpeakerTitle
Sept. 29Vikram NarayananTowards fine-grained compartmentalization of operating system kernels
Oct. 6
Oct. 13
Oct. 20
Oct. 27
Nov. 3
Nov. 17
Dec. 1
Dec. 8
+ +

Sept. 29

+ +

Speaker: Vikram Narayanan

+ +

Title: Towards fine-grained compartmentalization of operating system kernels

+ +

Abstract: Commodity operating systems execute core kernel subsystems in a single +address space along with hundreds of dynamically loaded extensions and +device drivers. Lack of isolation within the kernel implies that a +vulnerability in any of the kernel subsystems or device drivers opens +a way to mount a successful attack on the entire kernel. Historically, +isolation within the kernel remained prohibitive due to the high cost +of hardware isolation primitives. Recent CPUs, however, bring a new +set of mechanisms. Extended page-table (EPT) switching with VM +functions and memory protection keys (MPKs) provide memory isolation +and invocations across boundaries of protection domains with overheads +comparable to system calls.

+ +

I will talk about how we developed a collection of techniques for +lightweight isolation of privileged kernel code(LXDs and LVDs) that +demonstrates near-native performance of two (network, block) +high-performance device drivers. I will present KSplit, a framework +for isolating unmodified device drivers in a modern, full featured +kernel that performs automated analyses on the unmodified source code +of the kernel and the driver to identify shared state and +synchronization requirements for efficient isolation.

+ +

Oct. 6

+ +

Oct. 13

+ +

Oct. 20

+ +

Oct. 27

+ +

Nov. 3

+ +

Nov. 17

+ +

Dec. 1

+ +

Dec. 8

+ +
+ +

Archive

+ +
+ + + + + + + + + + + + +
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/lsd-seminar/index.html b/lsd-seminar/index.html index d84a63d..a30dc1c 100644 --- a/lsd-seminar/index.html +++ b/lsd-seminar/index.html @@ -68,7 +68,7 @@ - + @@ -186,6 +186,15 @@

LSD Seminar Archive

+
+ + +
+ + + + +
diff --git a/lsd-seminar/index.xml b/lsd-seminar/index.xml index bcd63b0..69ccc2c 100644 --- a/lsd-seminar/index.xml +++ b/lsd-seminar/index.xml @@ -6,11 +6,20 @@ Recent content in LSD Seminar Archive on Languages, Systems, and Data Lab @ UCSC Hugo -- gohugo.io en-us - Tue, 28 Mar 2023 10:41:50 -0700 + Fri, 11 Aug 2023 19:47:53 -0700 + + Languages, Systems, and Data Seminar (Fall 2023) + http://lsd.ucsc.edu/lsd-seminar/2023fa/ + Fri, 11 Aug 2023 19:47:53 -0700 + + http://lsd.ucsc.edu/lsd-seminar/2023fa/ + Time: Fridays, noon - 1:05pm (PT) Location: The Internet / The LSD Lab (Engineering 2, Room 398) Organizers: Lindsey Kuper and Tyler Sorensen The Languages, Systems, and Data Seminar meets weekly to discuss interesting topics in the areas of programming languages, systems, databases, formal methods, security, software engineering, verification, architecture, and beyond. Our goal is to encourage interactions and discussions between students, researchers, and faculty with interests in these areas. + + Languages, Systems, and Data Seminar (Spring 2023) http://lsd.ucsc.edu/lsd-seminar/2023sp/ diff --git a/sitemap.xml b/sitemap.xml index 05cd957..fd6e654 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -3,6 +3,15 @@ + + + http://lsd.ucsc.edu/lsd-seminar/2023fa/ + 2023-08-11T19:47:53-07:00 + + + + + http://lsd.ucsc.edu/lsd-seminar/2023sp/ @@ -87,7 +96,7 @@ http://lsd.ucsc.edu/lsd-seminar/ - 2023-03-28T10:41:50-07:00 + 2023-08-11T19:47:53-07:00 @@ -96,7 +105,7 @@ http://lsd.ucsc.edu/ - 2023-03-28T10:41:50-07:00 + 2023-08-11T19:47:53-07:00 0 diff --git a/themes/academic b/themes/academic deleted file mode 160000 index 8d596ff..0000000 --- a/themes/academic +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8d596ffed2d080010c561679cf4e9b4da1554781