Skip to content

Commit

Permalink
Update publication
Browse files Browse the repository at this point in the history
  • Loading branch information
Ailrun committed Oct 31, 2024
1 parent 1ded807 commit cad6228
Show file tree
Hide file tree
Showing 2 changed files with 172 additions and 5 deletions.
14 changes: 10 additions & 4 deletions src/components/pages/publications.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -106,7 +106,7 @@ const Publication: React.FC<PublicationProps> = ({ publication }) => {
<PublicationRoot>
{
publication.authors.map((author) => (
<PublicationAuthor key={author.first + ' ' + author.last} {...{ author }} />
<PublicationAuthor key={author.first + ' ' + author.last} author={author} />
))
}
{`. (${publication.year}). `}
Expand All @@ -115,14 +115,20 @@ const Publication: React.FC<PublicationProps> = ({ publication }) => {
{
publication.editors === undefined
? []
: publication.editors.map((author) => (
<PublicationAuthor key={author.first + ' ' + author.last} {...{ author }} />
: publication.editors.map((editor) => (
<PublicationAuthor key={editor.first + ' ' + editor.last} author={editor} />
))
}
{publication.editors === undefined ? '' : '(Eds.), '}
<PublicationVenue>{publication.venue}</PublicationVenue>
{'. '}
<PublicationUrl href={publication.url}>{publication.url}</PublicationUrl>
{
publication.url === undefined
? []
: (
<PublicationUrl href={publication.url}>{publication.url}</PublicationUrl>
)
}
</PublicationRoot>
);
};
Expand Down
163 changes: 162 additions & 1 deletion src/data/publications.ts
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ interface Publication {
readonly year: number;
readonly editors?: Name[];
readonly venue: string;
readonly url: string;
readonly url?: string;
readonly doi?: string;
}
interface Name {
Expand Down Expand Up @@ -48,6 +48,167 @@ const SophiaRoshal = {

const publications: PublicationsData = {
years: [
{
year: 2025,
publications: [
{
authors: [
{
first: 'Taejoon',
last: 'Byun',
},
{
first: 'Aleks',
last: 'Chakarov',
},
{
first: 'Joshua',
last: 'Cohen',
},
{
first: 'Ruijie',
last: 'Fang',
},
{
first: 'Jaco',
last: 'Geldenhuys',
},
{
first: 'Matthew',
last: 'Heck',
},
{
first: 'Michael',
last: 'Hicks',
},
{
first: 'Samuel',
last: 'Huang',
},
{
first: 'Georges-Axel',
last: 'Jaloyan',
},
JunyoungJang,
{
first: 'Anjali',
last: 'Joshi',
},
{
first: 'K. Rustan M.',
last: 'Leino',
},
{
first: 'Mikael',
last: 'Mayer',
},
{
first: 'Sean',
last: 'McLaughlin',
},
{
first: 'Akhilesh',
last: 'Mritunjai',
},
{
first: 'Sorawee',
last: 'Porncharoenwase',
},
{
first: 'Florian',
last: 'Rabe',
},
{
first: 'Marianna',
last: 'Rapoport',
},
{
first: 'Jakob',
last: 'Rath',
},
{
first: 'Giles',
last: 'Reger',
},
{
first: 'Cody',
last: 'Roux',
},
{
first: 'Neha',
last: 'Rungta',
},
{
first: 'Matthias',
last: 'Schlaipfer',
},
{
first: 'Daniel',
last: 'Schoepe',
},
{
first: 'Hira',
last: 'Taqdees Syeda',
},
{
first: 'Serdar',
last: 'Tasiran',
},
{
first: 'Aaron',
last: 'Tomb',
},
{
first: 'Emina',
last: 'Torlak',
},
{
first: 'Dominik',
last: 'Wagner',
},
{
first: 'Lucas',
last: 'Wagner',
},
{
first: 'Michael',
last: 'Whalen',
},
{
first: 'Remy',
last: 'Willems',
},
{
first: 'Tongtong',
last: 'Xiang',
},
{
first: 'Yongwei',
last: 'Yuan',
},
{
first: 'Clement',
last: 'Pit-Claudel',
},
{
first: 'Robin',
last: 'Salkeld',
},
{
first: 'Jean-Baptiste',
last: 'Tristan',
},
{
first: 'Johanna',
last: 'Schwartzentruber',
},
],
title: 'Formally Verified Cloud-Scale Authorization',
year: 2025,
venue: 'International Conference on Software Engineering',
},
],
},
{
year: 2024,
publications: [
Expand Down

0 comments on commit cad6228

Please sign in to comment.