-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsoftware.html
143 lines (115 loc) · 4.92 KB
/
software.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
<!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" lang="en" xml:lang="en">
<head>
<meta http-equiv="content-type" content="text/html"; charset="utf-8" />
<meta name="author" content="Christian Schulte" />
<link rel="stylesheet" type="text/css"
href="https://chschulte.github.io/style.css" title="1024px" media="screen,projection" />
<title>Christian Schulte: Software</title>
</head>
<body>
<div id="wrap">
<div id="header">
<p id="toplinks">[<a href="#content">content</a> |
<a href="#sidebar">navigation</a> | <a href="#footer">footer</a>]
</p>
<h1>Software</h1>
<p id="slogan">Christian Schulte</p>
</div>
<div id="sidebar"><h2>information</h2><ul><li><a href="https://chschulte.github.io/index.html">main</a></li><li><a href="https://chschulte.github.io/contact.html">contact</a></li><li><a href="https://chschulte.github.io/papers.html">papers</a></li><li><a class="gray" href="https://chschulte.github.io/software.html">software</a></li><li><a href="https://chschulte.github.io/education.html">education</a></li><li><a href="https://chschulte.github.io/presentations.html">presentations</a></li><li><a href="https://chschulte.github.io/bio.html">short bio</a></li></ul></div>
<div id="content">
<p class="navig">
[<a href="#unison">Unison</a> | <a href="#gecode">Gecode</a> | <a href="#mozart">Mozart</a>]
</p>
<h2 id="unison">Unison</h2>
<a href="https://unison-code.github.io/"
><img class="right"
alt="Unison Logo"
src="images/unison.png"
/></a>
<p>
I am leading the development of <a
href="https://unison-code.github.io/">Unison</a>. Unison is a
simple, flexible, and potentially optimal tool that performs
integrated register allocation and instruction scheduling using
constraint programming as a modern method for combinatorial
optimization.
</p>
<p>
Unison is a collaboration between KTH, RISE SICS, and Ericsson.
Its design and development has been partially funded by KTH,
Ericsson AB, and the Swedish Research Council (VR 621-2011-6229).
Please check out a post on Ericsson's research blog about <a
href="https://www.ericsson.com/research-blog/outperforming-state-art-compilers-unison/">Unison</a>.
</p>
<h2 id="gecode">Gecode</h2>
<a href="https://www.gecode.org/"
><img class="right"
alt="Gecode Logo"
src="images/gecode.png"
/></a>
<p>
I am the main designer and developer of <a
href="https://www.gecode.org">Gecode</a>. Gecode is an open,
free, portable, accessible, and efficient environment for
developing constraint-based systems and applications in research,
industry, and education.
</p>
<p>
Particularly important for its design is
simplicity and accessibility. Simplicity is the key reason
why Gecode is efficient and successfully exploits today's
commodity parallel hardware. Accessibility is due to its
complete <a href="https://www.gecode.org/doc-latest/reference/"
>reference documentation</a>, complete
<a href="https://www.gecode.org/documentation.html">tutorial
documentation</a>, and
<a href="https://www.gecode.org/publications.html">academic publications</a> in conferences and journals presenting key
design decisions and techniques.
</p>
<p>
Gecode is widely used (several thousand users): as a research
vehicle; for teaching constraint programming at several
universities around the world; as an application platform by
companies; it is included in distributions such as Debian, Ubuntu, OpenSUSE, Gentoo, and FreeBSD (and possibly others).
</p>
<p class="box">
For technical questions about Gecode, please do not ask me directly but use the
<a href="https://www.gecode.org/community.html">mailing list</a>: it
is better to build a comprehensive archive of questions and
answers related to Gecode that can be useful for everyone.
If you have any questions not suitable for the public mailing list,
please do not hesitate to
<a href="contact.html">contact me</a> directly.
</p>
<h2 id="mozart">Mozart</h2>
<a href="https://mozart.github.io/"
><img class="right"
alt="Mozart Logo"
src="images/mozart.gif"
/></a>
<p>
I am a main designer, am the main developer, and have been
leading the distributed development of Mozart, a programming
platform for constraint and distributed programming, from 1997 to 2001.
</p>
<p>
My contributions to Mozart in
particular include the design and implementation of constraint
services, which is documented in the book <a
href="https://link.springer.com/book/10.1007/3-540-45945-6">Programming
Constraint Services</a>.
</p>
<p class="box">
I am not any longer involved in Mozart, so please direct any questions to
the Mozart mailing lists.
</p>
</div>
<div id="footer">
© 2009 <a href="https://chschulte.github.io/">Christian Schulte</a> (Thu Sep 12 14:39:34 2019) |
original design by <a href="https://andreasviklund.com/"
>Andreas Viklund</a>
</div>
</div>
</body>
</html>