-
Notifications
You must be signed in to change notification settings - Fork 0
/
archives.html
53 lines (44 loc) · 2.23 KB
/
archives.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8" />
<title>Hernán Ponce de León</title>
<link rel="stylesheet" href="https://hernanponcedeleon.github.io/theme/css/main.css" />
<!--[if IE]>
<script src="http://html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
</head>
<body id="index" class="home">
<header id="banner" class="body">
<h1><a href="https://hernanponcedeleon.github.io/">Hernán Ponce de León </a></h1>
<nav><ul>
<li><a href="https://hernanponcedeleon.github.io/">About me</a></li>
<li><a href="https://hernanponcedeleon.github.io/pages/publications.html">Publications</a></li>
<li><a href="https://hernanponcedeleon.github.io/pages/tools.html">Tools</a></li>
<li><a href="https://hernanponcedeleon.github.io/category/blog.html">Blog</a></li>
</ul>
</nav>
</header><!-- /#banner -->
<section id="content" class="body">
<h1>Archives for Hernán Ponce de León</h1>
<dl>
<dt>Mon 25 January 2021</dt>
<dd><a href="https://hernanponcedeleon.github.io/articles/svcomp-2021.html">Compiler optimisations and encodings precision. How much do they influence software verification?</a></dd>
<dt>Mon 21 September 2020</dt>
<dd><a href="https://hernanponcedeleon.github.io/articles/artifacts.html">Creating successful artifacts</a></dd>
</dl>
</section>
<section id="extras" class="body">
<div class="social">
<h2>social</h2>
<ul>
<li><a href="https://github.com/hernanponcedeleon">Github</a></li>
<li><a href="https://twitter.com/h_poncedeleon">Twiter</a></li>
</ul>
</div><!-- /.social -->
</section><!-- /#extras -->
<footer id="contentinfo" class="body">
<p>Powered by <a href="http://getpelican.com/">Pelican</a>. Theme <a href="https://github.com/blueicefield/pelican-blueidea/">blueidea</a>, inspired by the default theme.</p>
</footer><!-- /#contentinfo -->
</body>
</html>