-
Notifications
You must be signed in to change notification settings - Fork 5
/
w_miningAndAnalyzing.php
113 lines (100 loc) · 4.55 KB
/
w_miningAndAnalyzing.php
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
<!DOCTYPE html>
<html lang="en">
<head>
<title>SANER 2018 - Campobasso, Italy</title>
<meta charset="utf-8">
<meta name="description" content="SANER 2018 - Campobasso, Italy">
<meta name="author" content="Angelo Parziale"/>
<meta name="keywords" content="saner, html5, css3, campobasso, italy, molise"/>
<!-- Bootstrap -->
<meta name="viewport" content="width=device-width; initial-scale=1.0; maximum-scale=1.0; user-scalable=0;">
<!-- Bootstrap Core CSS -->
<link rel="stylesheet" href="css/bootstrap.min.css"/>
<!-- Icons/FontAwesome -->
<link rel="stylesheet" href="css/font-awesome.min.css"/>
<!-- totop -->
<link rel="stylesheet" href="css/ui.totop.css"/>
<!-- owl carusol -->
<link rel="stylesheet" href="css/owl.carousel.css"/>
<!-- zetta menu -->
<link rel="stylesheet" href="css/zetta-menu.min.css"/>
<!-- Animation -->
<link rel="stylesheet" href="css/animate.css"/>
<!-- Customizable CSS -->
<link rel="stylesheet" href="css/style.css"/>
<!-- FONTS -->
<link href='http://fonts.googleapis.com/css?family=Lato:300,400,700,900' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Open+Sans:400,300,600,700,800' rel='stylesheet' type='text/css'>
<!-- Favicon -->
<link rel="shortcut icon" href="img/favicon/favicon-96x96.png">
<!-- HTML5 elements and media queries Support for IE8 : HTML5 shim and Respond.js -->
<!--[if lt IE 9]>
<script src="js/html5shiv.js"></script>
<script src="js/respond.min.js"></script>
<![endif]-->
</head>
<body>
<?php
require_once ('./utils/headerTopBar.php');
require_once ('./utils/navbar.php');
?>
<!-- Breadcrumbs -->
<?php
require_once ('./utils/breadcrumb.php');
?>
<!-- end Breadcrumbs -->
<section class="content">
<div class="container">
<div class="row">
<div class="col-md-12">
<div class="top-description-text" style="text-align: left; margin: 30px 0 0 0;">
<h3>1st International Workshop on Mining and Analyzing Interaction Histories</h3>
<p><b>Home page:</b><span> <a target="_blank" href="https://maint2018.github.io">https://maint2018.github.io</a></span></p>
<hr class="lineHr">
</div><!-- end top-description-text -->
<p style="text-align: justify;">
The interaction of developers with the IDE is composed of a large sequence of events that capture
how developers peruse the IDEs functionalities to support the programming task at hand,
including activities like reading, writing, and debugging source code. These interaction histories
can be seen at different levels of abstraction: They can be high-level events related to the domain
of code entities, like a refactoring or adding a method to a class, very basic events like typing the
keyboard or moving the mouse to reach for a specific UI in the IDE, or even biometric data
captured by wearable devices.
The MAINT workshop aims to provide an environment to present, discuss, and exchange research
ideas that involve interaction histories from diverse aspects, including how to record them, how to
efficiently persist them for further analyses, how to leverage them to support quantitative
analyses on developers’ behavior, how to support offline and real-time analytics to provide
feedback on what developers' do during a programming sessions, etc.
</p>
</div>
</div>
</div>
</section>
<section id="what-we-do">
<div class="container">
<div class="row">
<div class="col-md-12">
<h3>Organizers</h3>
<hr class="lineHr">
</div>
</div>
<?php
$content = file_get_contents('config/production.json');
$json = json_decode($content, true);
?>
<div class="row"> <?php
foreach ($json['workshops']['MiningandAnalyzing'] as $key => $value) {
?>
<div class="col-md-4">
<p style="margin: 0;"><?php echo $value['name'] ?></p>
<p style="margin: 0;"><?php echo $value['affiliation'] ?></p>
<p><?php echo $value['nation'] ?></p>
</div>
<?php
}
?>
</div>
</div>
</section>
</body>
</html>