-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
67 lines (65 loc) · 2.49 KB
/
index.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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>Shawn_Meier</title>
<meta name="keywords" content="" />
<meta name="description" content="" />
<link href="styles.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="header">
<h1>Shawn Meier</h1>
</div>
<div id="menu">
<ul>
<li><a href="index.html" style="color:#1775d4">Home</a></li>
<li><a href="cv.pdf">CV</a></li>
<li><a href="contact.html">Contact</a></li>
</ul>
</div>
<div id="content">
<div id="left">
<h2>Introduction</h2>
<p>I am a PhD student in the Department of Computer Science and the <a href="http://plv.colorado.edu/">Programming Languages and Verification Group</a> at the University of Colorado, Boulder. My interest is investigating algorithmic and data-driven approaches to reasoning about software.</p>
<h2>Education</h2>
<ul>
<li><b>PhD: University of Colorado, Boulder</b>
<ul>
<li>Adviser: <a href="https://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></li>
<li>2014 - present</li>
<li>Computer Science</li>
</ul>
</li>
<li>
<b>BS: Colorado School of Mines</b>
<ul>
<li>2005 - 2009</li>
<li>Geophysical Engineering</li>
</ul>
</li>
</ul>
<img src="images/shawn.jpg" alt="Shawn Meier" style="width250px;height:250px">
<h2>Publications</h2>
<ul>
<li> <cite> Historia: Refuting Callback Reachability with Message-History Logics </cite> OOPSLA 2023. Shawn Meier, Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang</li>
<li> <cite> Lifestate: Event-Driven Protocols and Callback Control Flow </cite> ECOOP 2019. Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang </li>
<li> <cite> DroidStar: Callback Typestates for Android Classes</cite> ICSE 2018. Arjun Radhakrishna, Nicholas Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerny</li>
</ul>
<h2>Technical Reports</h2>
<ul>
<li> <cite> Abstracting Event-Driven Systems with Lifestate Rules </cite> Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang </li>
</ul>
</div>
<!-- <div id="right">
<h2>News</h2>
<p><a href="#">More…</a></p>
<h2>Archive</h2>
<ul>
</ul>
</div>-->
</div>
<div id="footer">
</div>
</body>
</html>