-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
169 lines (134 loc) · 8.1 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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
<!DOCTYPE html>
<html>
<head>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="styles/tuwien.css"/>
<meta http-equiv="content-type" content="text/html; charset=utf-8"/>
<title>Interactive Programming & Analysis Lab @ TU Wien</title>
</head>
<body>
<div id="nav_bar_wrapper">
<div id="nav_bar">
<ul>
<li><a href="#news">news</a></li>
<li><a href="#projects">projects</a></li>
<li><a href="#papers">papers</a></li>
<li><a href="#teaching">teaching</a></li>
</ul>
</div>
</div>
<div class="page">
<div class="page_content">
<div id="primer">
<h1>Interactive Programming & Analysis Lab</h1>
We see the elements of play and exploration in activities of software and data engineering as an essential part of developing larger computational systems.
<p style="margin-top: 1em">
We can broadly view the work we do as part of two categories:
<ol>
<li><strong>Empirical Understanding</strong>: We we want to understand the underlying structures and artifacts that govern exploration and experimentation in computational tasks.</li>
<li><strong>System Building</strong>: We design, build, and evaluate interventions in the form of systems that either automate or augment human ability to better deal with these structures and artifacts.</li>
</p>
</div>
<h3>Student projects</h3>
We have multiple project openings in the areas of interactive programming, machine learning for software engineering, and program synthesis. Please reach out to <a href="mailto: [email protected]">Jürgen Cito</a> or <a href="mailto: [email protected]">Michael Schröder</a>
Have a look at some potential areas and topics here: <a href="https://docs.google.com/presentation/d/1HhjsZSCjLjruQMBr701scHMYj-3YIdcoAUagHm_4Buw/edit?usp=sharing">IPA Student Project Slides</a>
<h3 id="news">Recent News</h3>
<ul>
<li><strong>Students at TU Wien: We are offering various student projects starting spring term 2022 (bachelor's and master's theses, projects in computer science, seminars)</strong></li>
<li>We are offering two seminars at TU Wien in WS2021/22: AI Seminar on Probabilistic Programming, and Scientific Research and Writing</li>
<li>Our research on continuous and incremental performance modeling has received a <b><a href="https://research.fb.com/announcing-the-winners-of-the-facebook-continuous-reasoning-research-awards/">Facebook Research Award</a></b></li>
<li>Our research on synthesizing security patches using machine learning has received an <b>IBM Research Award</b>
</ul>
<h2 id="contact">Contact</h2>
<div id="contacts">
<div class="portrait">
<a href="profile_jcito.jpg"><img src="profile_jcito.jpg" alt="Picture of Jürgen Cito"/></a>
</div>
<div class="contact">
<h2>Jürgen Cito (PI)</h2>
Assistant Professor (TU Wien)<br/>
<br/>
Visiting Research Scientist (Facebook)<br/>
Email: <a href="mailto: [email protected]">[email protected]</a><br/><br/>
<a href="https://scholar.google.com/citations?user=fj5MiWsAAAAJ&hl=en">Google Scholar</a> |
<a href="https://github.com/citostyle">GitHub</a> |
<a href="https://twitter.com/citostyle">Twitter</a>
</div>
</div>
<!--<div class="anchor" id="projects"></div>
<h2>Projects</h2>
<ul>
<li>Software Runtime Analytics for Developers
[ <a href="http://people.csail.mit.edu/jcito/papers/icse19-performancehat.pdf">ICSE'19</a> | <a href="https://www.ifi.uzh.ch/dam/ifi/seal/people/cito/perfhat-demo.pdf">ICSE'18 Demo</a> | <a href="http://www.ifi.uzh.ch/seal/people/cito/cba-icse17-jcito.pdf">ICSE'17</a> | <a href="https://peerj.com/preprints/985.pdf">Onward'15</a> | <a href="http://arxiv.org/abs/1409.6502">FSE'15</a> ]</li>
<li>Continuous Software Experimentation
[ <a href="http://ieeexplore.ieee.org/abstract/document/8255793/">IEEE Software'18</a> | <a href="http://www.ifi.uzh.ch/dam/jcr:01d34060-29fb-472e-a116-bd26c3b49f67/IST_preprint.pdf">IST'18</a> | <a href="http://www.zora.uzh.ch/id/eprint/124177/1/paper.pdf">ICPC'16 (Best Paper Award)</a> ]</li>
<li>Performance and Cloud Benchmarking
[ <a href="http://arxiv.org/abs/1411.2429">TOIT'16</a> | <a href="https://www.youtube.com/watch?v=0yGFGvHvobk">WWW'15 Demo</a> | <a href="https://pdfs.semanticscholar.org/315e/15b800cb77b55d4a3d6701a4beeeda9242f0.pdf">JWE'15</a> | <a href="http://www.zora.uzh.ch/id/eprint/98872/1/1408.4565v1.pdf">CloudCom'14</a> |
<a href="http://www.zora.uzh.ch/id/eprint/96073/1/ICWE_Submission13_Camera_Ready.pdf">ICWE'14</a> ]</li>
</ul>-->
<div class="anchor" id="publications"></div>
<h2>Selected Publications</h2>
<ul>
<li><strong>Explaining mispredictions of machine learning models using rule induction</strong>,
Jürgen Cito, Işıl Dillig, Seohyun Kim, Vijayaraghavan Murali, Satish Chandra
<em>FSE'21.</em> <a href="https://www.cs.utexas.edu/~isil/md.pdf">[pdf]</a>
</li>
<li><strong>Enabling collaborative data science development with the Ballet framework</strong>,
Micah J. Smith, Jürgen Cito, Kelvin Lu, Kalyan Veeramachaneni
<em>CSCW'21.</em> <a href="http://www.vldb.org/pvldb/vol14/p2059-zogaj.pdf">[pdf]</a>
</li>
<li><strong>Doing More with Less: Characterizing Dataset Downsampling for AutoML</strong>,
Fatjon Zogaj, José Pablo Cambronero, Martin Rinard, Jürgen Cito
<em>VLDB'21.</em> <a href="http://www.vldb.org/pvldb/vol14/p2059-zogaj.pdf">[pdf]</a>
</li>
<li><strong>AMS: generating AutoML search spaces from weak specifications</strong>,
José Pablo Cambronero, Jürgen Cito, Martin Rinard
<em>FSE'20.</em> <a href="https://people.csail.mit.edu/rinard/paper/fse20.ams.pdf">[pdf]</a>
</li>
<li><strong>Interactive Production Performance Feedback in the IDE</strong>,
Jürgen Cito, Philipp Leitner, Martin Rinard, Harald C. Gall
<em>ICSE'19.</em> <a href="http://people.csail.mit.edu/jcito/papers/icse19-performancehat.pdf">[pdf]</a>
</li>
<li><strong>Context-Based Analytics - Establishing Explicit Links between Runtime Traces and Source Code</strong>,
Jürgen Cito, Fábio Oliveira, Philipp Leitner, Priya Nagpurkar, Harald C. Gall
<em>ICSE'17 SEIP.</em>
<a href="http://www.ifi.uzh.ch/seal/people/cito/cba-icse17-jcito.pdf">[pdf]</a>
</li>
<li><strong>An Empirical Analysis of the Docker Container Ecosystem on GitHub</strong>,
Jürgen Cito, Gerald Schermann, Philipp Leitner, Erik Wittern, Sali Zumberi, Harald C. Gall
<em>MSR'17.</em>
<a href="https://peerj.com/preprints/2905/">[pdf]</a>
</li>
<li><strong>Patterns in the Chaos a Study of Performance Variation and Predictability in Public IaaS Clouds</strong>,
Philipp Leitner, Jürgen Cito
<em>Transaction on Internet Technology'16.</em>
<a href="http://arxiv.org/abs/1411.2429">[pdf]</a>
</li>
<!--<li><strong>Runtime Metric Meets Developer – Building Better Cloud Applications Using Feedback</strong>,
Jürgen Cito, Philipp Leitner, Harald C. Gall. Aryan Dadashi, Anne Keller, Andreas Roth
<em>Onward'15.</em>
<a href="https://peerj.com/preprints/2905/">[pdf]</a>
</li>
<li><strong>The Making of Cloud Applications – An Empirical Study on Software Development for the Cloud</strong>,
Jürgen Cito, Philipp Leitner, Thomas Fritz, Harald C. Gall
<em>FSE'15.</em>
<a href="http://arxiv.org/abs/1409.6502">[pdf]</a>
</li>-->
</ul>
</div>
<!--
<div class="anchor" id="teaching"></div>
<h2>TEACHING</h2>
<table>
<tr>
<td><strong>Fall 2017</strong></td>
<td><a href="http://www.ifi.uzh.ch/en/seal/teaching/courses/software-construction-17.html">Software Construction</a></td>
</tr>
</table>
<div class="anchor" id="activities"></div>
<h2>ACTIVITIES</h2>
</div>
</div>
-->
</body>
</html>