-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
27 changed files
with
651 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
/_site/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
# frozen_string_literal: true | ||
|
||
source "https://rubygems.org" | ||
|
||
git_source(:github) {|repo_name| "https://github.com/#{repo_name}" } | ||
|
||
gem "jekyll", "~> 3.9.1" | ||
gem "kramdown", ">= 2.3.1" | ||
gem "kramdown-parser-gfm" | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,70 @@ | ||
GEM | ||
remote: https://rubygems.org/ | ||
specs: | ||
addressable (2.8.0) | ||
public_suffix (>= 2.0.2, < 5.0) | ||
colorator (1.1.0) | ||
concurrent-ruby (1.1.8) | ||
em-websocket (0.5.2) | ||
eventmachine (>= 0.12.9) | ||
http_parser.rb (~> 0.6.0) | ||
eventmachine (1.2.7) | ||
eventmachine (1.2.7-x64-mingw32) | ||
ffi (1.15.1) | ||
ffi (1.15.1-x64-mingw32) | ||
forwardable-extended (2.6.0) | ||
http_parser.rb (0.6.0) | ||
i18n (0.9.5) | ||
concurrent-ruby (~> 1.0) | ||
jekyll (3.9.1) | ||
addressable (~> 2.4) | ||
colorator (~> 1.0) | ||
em-websocket (~> 0.5) | ||
i18n (~> 0.7) | ||
jekyll-sass-converter (~> 1.0) | ||
jekyll-watch (~> 2.0) | ||
kramdown (>= 1.17, < 3) | ||
liquid (~> 4.0) | ||
mercenary (~> 0.3.3) | ||
pathutil (~> 0.9) | ||
rouge (>= 1.7, < 4) | ||
safe_yaml (~> 1.0) | ||
jekyll-sass-converter (1.5.2) | ||
sass (~> 3.4) | ||
jekyll-watch (2.2.1) | ||
listen (~> 3.0) | ||
kramdown (2.3.1) | ||
rexml | ||
kramdown-parser-gfm (1.1.0) | ||
kramdown (~> 2.0) | ||
liquid (4.0.3) | ||
listen (3.5.1) | ||
rb-fsevent (~> 0.10, >= 0.10.3) | ||
rb-inotify (~> 0.9, >= 0.9.10) | ||
mercenary (0.3.6) | ||
pathutil (0.16.2) | ||
forwardable-extended (~> 2.6) | ||
public_suffix (4.0.6) | ||
rb-fsevent (0.11.0) | ||
rb-inotify (0.10.1) | ||
ffi (~> 1.0) | ||
rexml (3.2.5) | ||
rouge (3.26.0) | ||
safe_yaml (1.0.5) | ||
sass (3.7.4) | ||
sass-listen (~> 4.0.0) | ||
sass-listen (4.0.0) | ||
rb-fsevent (~> 0.9, >= 0.9.4) | ||
rb-inotify (~> 0.9, >= 0.9.7) | ||
|
||
PLATFORMS | ||
ruby | ||
x64-mingw32 | ||
|
||
DEPENDENCIES | ||
jekyll (~> 3.9.1) | ||
kramdown (>= 2.3.1) | ||
kramdown-parser-gfm | ||
|
||
BUNDLED WITH | ||
1.17.2 |
Empty file.
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
track,name,level,topic,status,supervision,link |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,105 @@ | ||
--- | ||
layout: default | ||
--- | ||
|
||
<div class="row"> | ||
<div class="col-md-10"> | ||
<h3>{{ page.entry.title }}</h3> | ||
|
||
{% if page.entry.author %} | ||
|
||
<p> | ||
by {{ page.entry.author }} | ||
</p> | ||
{% endif %} | ||
|
||
{% if page.entry.editor %} | ||
<p> | ||
edited by {{ page.entry.editor }} | ||
</p> | ||
{% endif %} | ||
|
||
{% if page.entry.url %} | ||
<p> | ||
<i class="fa fa-book fa-2x" aria-hidden="true"></i> | ||
You can get a pre-print version from <a href="{{ page.entry.url }}">here</a>. | ||
|
||
{% if page.entry.doi %} | ||
<br/> | ||
<i class="ai ai-doi ai-2x"></i> | ||
You can view the publisher's page <a href="http://dx.doi.org/{{ page.entry.doi }}">here</a>. | ||
{% endif %} | ||
|
||
{% endif %} | ||
|
||
{% if page.entry.github %} | ||
<br/> | ||
<i class="fa fa-github fa-2x" aria-hidden="true"></i> | ||
See the paper's associated repository on GitHub: <a href="https://github.com/{{ | ||
page.entry.github }}">{{ page.entry.github }}</a> | ||
{% endif %} | ||
</p> | ||
|
||
{% if page.entry.award %} | ||
<p> | ||
<i class="fa fa-trophy research" aria-hidden="true" style="color: goldenrod;"></i> | ||
This paper received the "{{ page.entry.award }}" award | ||
</p> | ||
{% endif %} | ||
|
||
{% if page.entry.nomination %} | ||
<p> | ||
<i class="fa fa-trophy research" aria-hidden="true" style="color: silver;"></i> | ||
This paper received a nomination for the "{{ page.entry.nomination }}" award | ||
</p> | ||
{% endif %} | ||
|
||
{% if page.entry.abstract %} | ||
<h4>Abstract</h4> | ||
|
||
<p> | ||
{{ page.entry.abstract }} | ||
</p> | ||
{% endif %} | ||
|
||
<h4>Bibtex record</h4> | ||
<pre> | ||
{{ page.entry.bibtex }} | ||
</pre> | ||
{% if page.entry.slideshareembed %} | ||
<h4>Presentation</h4> | ||
|
||
<iframe src="http://www.slideshare.net/slideshow/embed_code/{{page.entry.slideshareembed}}?rel=0" width="427" height="356" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" style="border:1px solid #CCC;border-width:1px 1px 0;margin-bottom:5px" allowfullscreen webkitallowfullscreen mozallowfullscreen> </iframe> | ||
|
||
{% endif %} | ||
|
||
{% if page.entry.speakerdeck %} | ||
<h4>Presentation</h4> | ||
|
||
<div style="width: 60%;margin-left:auto;margin-right:auto;"> | ||
<script class="speakerdeck-embed" data-id="{{page.entry.speakerdeck}}" data-ratio="1.33333333333333" src="//speakerdeck.com/assets/embed.js"></script> | ||
</div> | ||
{% endif %} | ||
|
||
{% if page.entry.url %} | ||
|
||
<h4>The paper</h4> | ||
<div style="width: 100%;margin-left:auto;margin-right:auto;"> | ||
<iframe id="viewer" src = "/Viewer.js/#{{page.entry.url}}" width='724' | ||
height='1000' allowfullscreen webkitallowfullscreen></iframe> | ||
</div> | ||
{% endif %} | ||
</div> | ||
<div class="col-md-2"> | ||
<!-- AddThis Button BEGIN --> | ||
<div class="addthis_toolbox addthis_counter_style"> | ||
<a class="addthis_button_facebook_like"></a><br/> | ||
<a class="addthis_button_tweet"></a> <br/> | ||
<a class="addthis_button_google_plusone"></a> | ||
<a class="addthis_button_compact"></a> | ||
</div> | ||
<script type="text/javascript" | ||
src="http://s7.addthis.com/js/300/addthis_widget.js#pubid=xa-50b3d354431ac7e5"></script> | ||
<!-- AddThis Button END --> | ||
</div> | ||
</div> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,75 @@ | ||
<!DOCTYPE html> | ||
<html lang="en"> | ||
|
||
<head> | ||
<meta charset="utf-8"> | ||
<title>{{ page.title }}</title> | ||
<link rel="shortcut icon" type="image/x-icon" href="{{'/favicon.ico' | absolute_url }}"> | ||
|
||
<meta name="description" content="{{ page.description }}"> | ||
<meta name="author" content="{{ site.author.name }}"> | ||
|
||
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.1.1/css/bootstrap.min.css" integrity="sha384-WskhaSGFgHYWDcbwN70/dfYBj47jz9qbsMId/iRN3ewGhXQFZCSftd1LZCfmhktB" crossorigin="anonymous"> | ||
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.0.10/css/all.css" integrity="sha384-+d0P83n9kaQMCwj8F4RJB66tzIwOKmrdb46+porD/OvrJ+37WqIM7UoBtwHO6Nlg" crossorigin="anonymous"> | ||
|
||
<link rel="stylesheet" href="{{ '/css/academicons.min.css' | absolute_url }}"/> | ||
<link rel="stylesheet" href="{{'/css/serg.css' | absolute_url}}"> | ||
</head> | ||
|
||
<body> | ||
<div class="outer"> | ||
<nav class="navbar navbar-expand-lg navbar-light"> | ||
|
||
<button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation"> | ||
<span class="navbar-toggler-icon"></span> | ||
</button> | ||
|
||
<div class="collapse navbar-collapse" id="navbarSupportedContent"> | ||
<ul class="navbar-nav mr-auto"> | ||
<li class="nav-item"> | ||
<a class="nav-item nav-link" href="{{'index.html' | relative_url}}">AI4SE</a> | ||
</li> | ||
<li class="nav-item"> | ||
<a class="nav-item nav-link" href="{{'/tracks.html' | relative_url}}">Tracks</a> | ||
</li> | ||
</ul> | ||
</div> | ||
</nav> | ||
|
||
<div class="container-fluid container-center"> | ||
<div class="content"> | ||
{{ content }} | ||
</div> | ||
</div> | ||
|
||
<div class="container-fluid outer-footer afr container-center"> | ||
<div class="content myfooter"> | ||
<div class="row"> | ||
<div class="col-sm float-md-left"> | ||
<a class="navbar-brand" href="https://www.tudelft.nl"> | ||
<img src="{{'img/tudelft-color-logo.png' | relative_url}}" height="90" class="d-inline-block align-top" alt="TU Delft Logo"> | ||
</a> | ||
</div> | ||
|
||
<div class="col-sm float-md-left"> | ||
<br/> | ||
<a class="navbar-brand" href="https://www.jetbrains.com"> | ||
<img src="{{'img/jetbrains.png' | relative_url}}" height="90" class="d-inline-block align-top" alt="JetBrains Logo"> | ||
</a> | ||
</div> | ||
|
||
|
||
|
||
|
||
|
||
</div> | ||
</div> | ||
</div> | ||
</div> | ||
|
||
<script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script> | ||
<script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.3/umd/popper.min.js" integrity="sha384-ZMP7rVo3mIykV+2+9J3UJ46jBk0WLaUAdn689aCwoqbBJiSnjAK/l8WvCWPIPm49" crossorigin="anonymous"></script> | ||
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.1.1/js/bootstrap.min.js" integrity="sha384-smHYKdLADwkXOn1EmN1qk/HfnUcbVRZyYmZ4qpPea6sjB/pTJ0euyQp0Mk8ck+5T" crossorigin="anonymous"></script> | ||
</body> | ||
|
||
</html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,21 @@ | ||
--- | ||
layout: default | ||
--- | ||
|
||
<div class="page-header"> | ||
<h1>{{ page.title }} {% if page.tagline %} <small>{{ page.tagline }}</small>{% endif %}</h1> | ||
</div> | ||
|
||
<div class="row"> | ||
<div class="span12"> | ||
Speaker: {{ page.speaker }}<br> | ||
When: {{ page.start }} - {{ page.end }}<br> | ||
Where: {{ page.where }} | ||
|
||
<p> | ||
{{ content }} | ||
</p> | ||
|
||
|
||
</div> | ||
</div> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
--- | ||
layout: default | ||
--- | ||
|
||
<div class="row"> | ||
<div class="col-md-9"> | ||
{{ content }} | ||
</div> | ||
</div> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
--- | ||
layout: default | ||
--- | ||
|
||
<div class="page-header"> | ||
<h1>{{ page.title }} {% if page.tagline %} <small>{{ page.tagline }}</small>{% endif %}</h1> | ||
</div> | ||
|
||
<div class="row"> | ||
<div class="span12"> | ||
{{ content }} | ||
</div> | ||
</div> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
--- | ||
layout: default | ||
--- | ||
|
||
<h1>Research Track "{{ page.title }}"</h1> | ||
|
||
<strong>PhD Candidate:</strong> {{ page.phd }} <br/> | ||
<strong>Track leader:</strong> {{ page.leader }} | ||
|
||
<br/> | ||
<br/> | ||
|
||
{{ content }} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,8 @@ | ||
--- | ||
layout: track | ||
track-id: 1 | ||
title: Code Generation and Validation | ||
leader: Pouria Derakhshanfar | ||
phd: To Be Hired | ||
--- | ||
|
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Oops, something went wrong.