-
Notifications
You must be signed in to change notification settings - Fork 0
/
presentations-year.html
136 lines (123 loc) · 18.2 KB
/
presentations-year.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
<!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: Presentations</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>Presentations</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 href="https://chschulte.github.io/software.html">software</a></li><li><a href="https://chschulte.github.io/education.html">education</a></li><li><a class="gray" href="https://chschulte.github.io/presentations.html">presentations</a></li><li><a href="https://chschulte.github.io/bio.html">short bio</a></li></ul><h2>options</h2><ul>
<li><a href="presentations.html">recent</a></li>
<li><a class="gray" href="presentations-year.html">by year</a></li>
<li><a href="presentations-type.html">by type</a></li>
</ul></div>
<div id="content">
<p class="navig">[<a href="#y2019">2019</a> | <a href="#y2018">2018</a> | <a href="#y2017">2017</a> | <a href="#y2016">2016</a> | <a href="#y2015">2015</a> | <a href="#y2014">2014</a> | <a href="#y2013">2013</a> | <a href="#y2012">2012</a> | <a href="#y2011">2011</a> | <a href="#y2010">2010</a> | <a href="#y2009">2009</a> | <a href="#y2008">2008</a> | <a href="#y2007">2007</a> | <a href="#y2006">2006</a> | <a href="#y2005">2005</a> | <a href="#y2004">2004</a> | <a href="#y2003">2003</a> | <a href="#y2002">2002</a> | <a href="#y2001">2001</a> | <a href="#y2000">2000</a> | <a href="#y1999">1999</a> | <a href="#y1998">1998</a> | <a href="#y1997">1997</a> | <a href="#y1996">1996</a> | <a href="#y1995">1995</a> | <a href="#y1994">1994</a>]</p><h2 id="y2019">2019</h2><ul><li><a href="talks/CP2019.pdf">Combinatorial Register Allocation and Instruction Scheduling</a>.<br />Invited talk, ModRef 2019, Stamford, CT, USA, September 2019.</li>
</ul><h2 id="y2018">2018</h2><ul><li><a href="https://school.a4cp.org/summer2018/">The Solver Side of Constraint Programming</a>.<br />Invited lecture, ACP Summer School, Jackson, WY, USA, June 2018.</li>
<li><a href="talks/Gecode 2018.pdf">Gecode - an open constraint solving library</a>.<br />Invited talk, NordConsNet Workshop, Gothenburg, Sweden, May 2018.</li>
</ul><h2 id="y2017">2017</h2><ul><li><a href="talks/Code Generation CP2017.pdf">Rethinking Code Generation in Compilers</a>.<br />Invited talk, Workshop on Constraint Solvers in Testing, Verification and Analysis, Melbourne, Australia, August 2017.</li>
<li><a href="talks/Academic Recruitment 101.pdf">Academic Recruitment 101</a>.<br />Invited talk, Doctoral Program, CP 2017, Melbourne, Australia, August 2017.</li>
<li><a href="talks/Code Generation Monash 2017.pdf">Rethinking Code Generation in Compilers</a>.<br />Invited talk, Data61 Decision Sciences Seminar, CSIRO, Melbourne, Australia, Februray 2017.</li>
</ul><h2 id="y2016">2016</h2><ul><li><a href="talks/Code Generation LU 2016.pdf">Modeling and Solving Code Generation for Real</a>.<br />Invited talk, Lund University, Department of Computer Science, Sweden, November 2016.</li>
<li><a href="talks/Code Generation KTH 2016.pdf">Modeling and Solving Code Generation for Real</a>.<br />Invited talk, Theoretical Computer Science Seminar, KTH Royal Institute of Technology, Sweden, April 2016.</li>
</ul><h2 id="y2015">2015</h2><ul><li>The Constraint Programmer's Toolbox.<br />Invited talk, Ericsson Research, Kista, Sweden, November 2015.</li>
<li><a href="talks/Paris 2015.pdf">Modeling and Solving Code Generation for Real</a>.<br />Invited talk, Université Paris Diderot (7), France, September 2015.</li>
<li><a href="talks/ModRef2015.pdf">Modeling and Solving Code Generation for Real</a>.<br />Invited talk, ModRef 2015, Cork, Ireland, August 2015.</li>
<li><a href="talks/SweConsNet2015.pdf">The Constraint Programmer's Toolbox</a>.<br />SweConsNet 2015, Chalmers, Göteborg, Sweden, May 2015.</li>
</ul><h2 id="y2014">2014</h2><ul><li>Generate Your Tools!.<br />Invited talk, Ericsson Software Technology Research, Kista, Sweden, December 2014.</li>
<li><a href="talks/ECS 2014.pdf">Rethinking Code Generation in Compilers</a>.<br />Embedded Conference Scandinavia, Kista, Sweden, November 2014.</li>
<li><a href="talks/View-based Propagator Derivation CP 2014.pdf">View-based Propagator Derivation</a>.<br />Twentieth International Conference on Principles and Practice of Constraint Programming, Lyon, France, September 2014.</li>
<li><a href="talks/Gecode - Irill.pdf">Gecode - an open constraint solving library</a>.<br />Invited talk, IRILL - Research and Innovation on Free Software, Paris, France, March 2014.</li>
<li><a href="talks/CPToolboxKTH2014.pdf">The Constraint Programmer's Toolbox</a>.<br />Invited talk, Theoretical Computer Science Seminar, KTH Royal Institute of Technology, Sweden, Februray 2014.</li>
</ul><h2 id="y2013">2013</h2><ul><li><a href="talks/CPToolboxKTH2013.pdf">The Constraint Programmer's Toolbox</a>.<br />Invited talk, Optimization and Systems Theory Seminar, KTH Royal Institute of Technology, Sweden, November 2013.</li>
<li><a href="talks/Decaying Counters.pdf">Implementing Counters with Decay</a>.<br />Techniques foR Implementing Constraint programming Systems, Uppsala, Sweden, September 2013.</li>
<li><a href="talks/Gecode - CP Solvers.pdf">Gecode - an open constraint solving library</a>.<br />CP Solvers: Modeling, Applications, Integration, and Standardization, Uppsala, Sweden, September 2013.</li>
<li><a href="talks/Linkoping2013.pdf">Rethinking Code Generation in Compilers</a>.<br />Invited talk, Software and Systems Research Seminar, Linköping University, Department of Computer and Information Science, Sweden, September 2013.</li>
</ul><h2 id="y2012">2012</h2><ul><li>Search Techniques.<br />Invited talk, <a href="http://www.tacton.com/">Tacton AB</a>, Stockholm, Sweden, September 2012.</li>
<li><a href="talks/Gecode 2012.pdf">Gecode - an open constraint solving library</a>.<br />International Symposium on Mathematical Programming, Berlin, Germany, August 2012.</li>
<li><a href="talks/Rethinking Code Generation.pdf">Rethinking Code Generation in Compilers</a>.<br />SICS (Swedish Insitute for Computer Science), Open House, Kista, Sweden, April 2012.</li>
<li>Advanced Search Techniques.<br />Invited talk, <a href="http://www.quintiq.com/">Quintiq</a>, 's-Hertogenbosch, The Netherlands, March 2012.</li>
<li>Confidence-based Work Stealing in Parallel Constraint Programming.<br />Invited talk, TAO research group, INRIA Saclay & CNRS & LRI, Université Paris-Sud, France, January 2012.</li>
</ul><h2 id="y2011">2011</h2><ul><li>Constraint Programming: Strength and Challenges.<br />Invited talk, Ericsson AB, Kista, Sweden, October 2011.</li>
<li>Dynamic Variable Elimination During Propagation Solving.<br />Invited talk, Lund University, Department of Computer Science, Sweden, October 2011.</li>
<li>Dynamic Variable Elimination During Propagation Solving.<br />Tenth SweConsNet Workshop, Örebro, Sweden, May 2011.</li>
<li><a href="talks/Gecode 2011.pdf">Gecode - an open constraint solving library</a>.<br />Constraint Programming meets Machine Learning and Data Mining, Dagstuhl, Germany, May 2011.</li>
</ul><h2 id="y2010">2010</h2><ul><li>Dynamic Variable Elimination During Propagation Solving.<br />Invited talk, Universidade Nova de Lisboa, Lisbon, Portugal, December 2010.</li>
<li><a href="http://www.kth.se/en/itm/centra/ices/previous-events/multicore-programming-1.72773">Multicore Programming</a>.<br />Panel moderator, ICES Seminar, Kista, Sweden, November 2010.</li>
<li>Modeling with Regular.<br />Invited lecture, Uppsala University, Sweden, November 2010.</li>
</ul><h2 id="y2009">2009</h2><ul><li>Standardisation in Constraint Programming.<br />Invited panelist, Fifteenth International Conference on Principles and Practice of Constraint Programming, Lisbon, Portugal, September 2009.</li>
<li><a href="talks/CP_SAIS_2009.pdf">Constraint Programming for Real</a>.<br />Invited talk, Swedish AI Workshop (SAIS), Linköping, Sweden, May 2009.</li>
<li>Constraint Programming: Strength and Challenges.<br />Invited talk, <a href="http://www.quintiq.com/">Quintiq</a>, 's-Hertogenbosch, The Netherlands, March 2009.</li>
<li>Constraint Programming Systems.<br />Invited lecture, École des Mines de Nantes, France, March 2009.</li>
<li>Dynamic Variable Elimination During Propagation Solving.<br />Invited talk, École des Mines de Nantes, France, Februray 2009.</li>
<li>Constraint Programming.<br />Invited talk, Scania, Södertälje, Sweden, Februray 2009.</li>
</ul><h2 id="y2008">2008</h2><ul><li>Dynamic Variable Elimination During Propagation Solving.<br />Tenth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, July 2008.</li>
</ul><h2 id="y2007">2007</h2><ul><li><a href="talks/CP2007 - Gecode.pdf">Gecode: A Generic Constraint Development Environment</a>.<br />Presentation of Recent CP Solvers, Thirteenth International Conference on Principles and Practice of Constraint Programming, Providence, RI, USA, September 2007.</li>
<li>Constraint Programming Systems.<br />Invited lecture, Third International Summer School on Constraint Programming, Lloret de Mar, Spain, June 2007.</li>
<li>Constraint Programming... and Oz.<br />Invited lecture, Department of Computer and Information Science, Linköping University, Sweden, April 2007.</li>
<li>Generating Propagators for Finite Set Constraints.<br />Invited talk, CLA Distinguished Lecture Series, IT University, Copenhagen, Denmark, Februray 2007.</li>
<li><a href="talks/ITU Copenhagen - Constraint Programming.pdf">Constraint Programming: Introduction, State of the Art & Trends</a>.<br />Invited lecture, IT University, Copenhagen, Denmark, Februray 2007.</li>
<li>Generating Propagators for Finite Set Constraints.<br />Sixth SweConsNet Workshop, Uppsala, Sweden, Februray 2007.</li>
</ul><h2 id="y2006">2006</h2><ul><li><a href="talks/INFORMS - Gecode.pdf">Gecode: A Generic Constraint Development Environment</a>.<br />INFORMS Annual Meeting, Pittsburgh, PA, USA, November 2006.</li>
<li><a href="talks/CP Tools - Taking Informed Decisions.pdf">System Design - Taking Informed Decisions</a>.<br />Invited talk, CP Tools 06 - First International Day on Constraint Programming Systems and Tools, Nantes, France, September 2006.</li>
<li>Technical Awareness & Research Directions.<br />Invited panelist, CP Tools 06 - First International Day on Constraint Programming Systems and Tools, Nantes, France, September 2006.</li>
<li>Generating Propagators for Finite Set Constraints.<br />Invited talk, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia, July 2006.</li>
<li>Generating Propagators for Finite Set Constraints.<br />Invited talk, Department of Computer Science and Software Engineering, Melbourne University, Australia, June 2006.</li>
</ul><h2 id="y2005">2005</h2><ul><li>Views and Iterators for Generic Constraint Implementations.<br />CICLOPS 2005, Colloquium on Implementation of Constraint and LOgic Programming Systems, Sitges, Spain, October 2005.</li>
<li>Challenges for Constraint Programming Systems.<br />Invited talk, Second International Workshop on Constraint Propagation and Implementation, Sitges, Spain, October 2005.</li>
<li>Modern Optimization Technology in Compilation.<br />Invited talk, BEA Systems Stockholm Engineering, Stockholm, Sweden, April 2005.</li>
<li>Speeding Up Constraint Propagation.<br />Fourth SweConsNet Workshop, Lund, Sweden, March 2005.</li>
</ul><h2 id="y2004">2004</h2><ul><li><a href="talks/Constraint Programming MOZ 2004.pdf">Constraint Programming with Mozart - An Appetizer</a>.<br />Invited talk, Second International Conference Mozart/Oz Conference, Charleroi, Belgium, October 2004.</li>
<li>Speeding Up Constraint Propagation.<br />Tenth International Conference on Principles and Practice of Constraint Programming, Toronto, Canada, September 2004.</li>
<li><a href="talks/FD Systems.pdf">Finite Domain Constraint Programming Systems</a>.<br />Third SweConsNet Workshop, Dept. of Computer and Information Science, Linköping University, Sweden, January 2004.</li>
</ul><h2 id="y2003">2003</h2><ul><li>Flow Java: Declarative Concurrency for Java.<br />Invited talk, Programming Systems Lab, Saarland University, Saarbrücken, Germany, October 2003.</li>
<li><a href="talks/FD Systems.pdf">Finite Domain Constraint Programming Systems</a>.<br />Invited talk, Programming Systems Lab, Saarland University, Saarbrücken, Germany, October 2003.</li>
<li>Flow Java: Declarative Concurrency for Java.<br />Invited talk, Department of Computer Science and Software Engineering, Melbourne University, Australia, July 2003.</li>
</ul><h2 id="y2002">2002</h2><ul><li><a href="talks/FD Systems.pdf">Finite Domain Constraint Programming Systems</a>, joint presentation with Mats Carlsson.<br />Invited tutorial, International Conference on Principles and Practice of Constraint Programming, Ithaca, NY, USA, September 2002.</li>
<li><a href="talks/[email protected]">Constraints @ KTH</a>, joint presentation with Sven Lämmermann and Thomas Sjöland.<br />Kick-off meeting for SweConsNet, Uppsala University, Uppsala, Sweden, May 2002.</li>
</ul><h2 id="y2001">2001</h2><ul><li>When Do Bounds and Domain Propagation Lead to the Same Search Space.<br />Invited talk, 4C Research Center, Cork, Irland, November 2001.</li>
<li>When Do Bounds and Domain Propagation Lead to the Same Search Space.<br />Invited talk, School of Computing, National University of Singapore, September 2001.</li>
<li>When Do Bounds and Domain Propagation Lead to the Same Search Space.<br />Third International Conference on Principles and Practice of Declarative Programming, Florence, Italy, September 2001.</li>
<li>Trailing, Copying, Recomputation: A Comparison.<br />Invited talk, IC Parc, Imperial College, London, UK, January 2001.</li>
</ul><h2 id="y2000">2000</h2><ul><li>Parallel Search Made Simple.<br />Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, Singapore, September 2000.</li>
<li>Programming Deep Concurrent Constraint Combinators.<br />Practical Aspects of Declarative Languages, Boston, MA, USA, January 2000.</li>
</ul><h2 id="y1999">1999</h2><ul><li>Comparing Trailing and Copying for Constraint Programming.<br />Sixteenth International Conference on Logic Programming, Las Cruces, NM, USA, November 1999.</li>
<li>Constraintprogrammierung mit Mozart.<br />Invited talk, TZI, Bremen, Germany, June 1999.</li>
<li>Mozart: Eine Plattform für verteiltes Programmieren.<br />Invited talk, DaimlerChrysler AG, Research and Technology 3, Berlin, Germany, June 1999.</li>
</ul><h2 id="y1998">1998</h2><ul><li>Distributed Search Engines.<br />Workshop on Intelligent Distributed Computing with Mozart, Swedish Insitute for Computer Science, Kista, Sweden, June 1998.</li>
<li>Prototypical Networked Applications.<br />Workshop on Intelligent Distributed Computing with Mozart, Swedish Insitute for Computer Science, Kista, Sweden, June 1998.</li>
</ul><h2 id="y1997">1997</h2><ul><li>Programming Constraint Inference Engines.<br />Third International Conference on Principles and Practice of Constraint Programming (CP'97), Schloß Hagenberg, Austria, November 1997.</li>
<li>Oz Explorer: A Visual Constraint Programming Tool.<br />Concurrent Constraint Programming: The Next Ten Years, Castle Dagstuhl, Germany, October 1997.</li>
<li>Using the Oz Explorer for the Development of Constraint Programs.<br />The Eigth Workshop on Logic Programming Environments, Leuven, Belgium, July 1997.</li>
<li>Oz Explorer: A Visual Constraint Programming Tool.<br />Fourteenth International Conference on Logic Programming (ICLP'97), Leuven, Belgium, July 1997.</li>
<li>Oz Explorer: A Visual Constraint Programming Tool.<br />Invited talk, AFPL/AFCET, Paris, France, January 1997.</li>
</ul><h2 id="y1996">1996</h2><ul><li>Constraint Programming and Scheduling in Oz.<br />Invited talk, Daimler-Benz AG, Berlin, Germany, April 1996.</li>
<li>Constraint Programming in Oz.<br />Invited talk, DFKI, Saarbrücken, Germany, March 1996.</li>
</ul><h2 id="y1995">1995</h2><ul><li>Solver - An Oz Search Debugger.<br />International Workshop on Oz Programming (WOz'95), Martigny, Switzerland, December 1995.</li>
<li>Constraint Programming in Oz.<br />Invited tutorial, International Workshop on Oz Programming (WOz'95), Martigny, Switzerland, November 1995.</li>
<li>An Abstract Machine for Oz.<br />Programming Languages, Implementations and Programs, Seventh International Symposium (PLILP'95), Arnhem, The Netherlands, September 1995.</li>
<li>Concurrent Object-Oriented Programming in Oz.<br />Workshop on Object-Orientation with Parallelism and Persistence (OOPP), Castle Dagstuhl, Germany, April 1995.</li>
</ul><h2 id="y1994">1994</h2><ul><li>Encapsulated Search for Higher-order Concurrent Constraint Languages.<br />International Logic Programming Symposium (ILPS'94), Ithaca, NY, USA, November 1994.</li>
<li>Encapsulated Search and Constraint Programming in Oz.<br />Invited talk, Computing Science Department, Uppsala University, Uppsala, Sweden, October 1994.</li>
<li>Encapsulated Search in Oz.<br />Invited talk, Swedish Insitute for Computer Science, Kista, Sweden, September 1994.</li>
<li>A Crash-Course in Oz - An Object-Oriented Concurrent Constraint Language.<br />Invited lecture, Swedish Insitute for Computer Science, Kista, Sweden, September 1994.</li>
<li>Oz - An Object-Oriented Concurrent Constraint Language.<br />Invited talk, Swedish Insitute for Computer Science, Kista, Sweden, September 1994.</li>
</ul></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>