-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpresentations-type.html
143 lines (130 loc) · 16.2 KB
/
presentations-type.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: 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 href="presentations-year.html">by year</a></li>
<li><a class="gray" href="presentations-type.html">by type</a></li>
</ul></div>
<div id="content">
<p class="navig">
[<a href="#invited">talks</a> |
<a href="#panel">panels</a> |
<a href="#lecture">lectures</a> |
<a href="#conference">conferences</a> |
<a href="#workshop">workshops</a>]
</p>
<h2 id="invited">Invited Talks</h2><ul><li><a href="talks/CP2019.pdf">Combinatorial Register Allocation and Instruction Scheduling</a>.<br />ModRef 2019, Stamford, CT, USA, September 2019.</li>
<li><a href="talks/Gecode 2018.pdf">Gecode - an open constraint solving library</a>.<br />NordConsNet Workshop, Gothenburg, Sweden, May 2018.</li>
<li><a href="talks/Code Generation CP2017.pdf">Rethinking Code Generation in Compilers</a>.<br />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 />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 />Data61 Decision Sciences Seminar, CSIRO, Melbourne, Australia, Februray 2017.</li>
<li><a href="talks/Code Generation LU 2016.pdf">Modeling and Solving Code Generation for Real</a>.<br />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 />Theoretical Computer Science Seminar, KTH Royal Institute of Technology, Sweden, April 2016.</li>
<li>The Constraint Programmer's Toolbox.<br />Ericsson Research, Kista, Sweden, November 2015.</li>
<li><a href="talks/Paris 2015.pdf">Modeling and Solving Code Generation for Real</a>.<br />Université Paris Diderot (7), France, September 2015.</li>
<li><a href="talks/ModRef2015.pdf">Modeling and Solving Code Generation for Real</a>.<br />ModRef 2015, Cork, Ireland, August 2015.</li>
<li>Generate Your Tools!.<br />Ericsson Software Technology Research, Kista, Sweden, December 2014.</li>
<li><a href="talks/Gecode - Irill.pdf">Gecode - an open constraint solving library</a>.<br />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 />Theoretical Computer Science Seminar, KTH Royal Institute of Technology, Sweden, Februray 2014.</li>
<li><a href="talks/CPToolboxKTH2013.pdf">The Constraint Programmer's Toolbox</a>.<br />Optimization and Systems Theory Seminar, KTH Royal Institute of Technology, Sweden, November 2013.</li>
<li><a href="talks/Linkoping2013.pdf">Rethinking Code Generation in Compilers</a>.<br />Software and Systems Research Seminar, Linköping University, Department of Computer and Information Science, Sweden, September 2013.</li>
<li>Search Techniques.<br /><a href="http://www.tacton.com/">Tacton AB</a>, Stockholm, Sweden, September 2012.</li>
<li>Advanced Search Techniques.<br /><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 />TAO research group, INRIA Saclay & CNRS & LRI, Université Paris-Sud, France, January 2012.</li>
<li>Constraint Programming: Strength and Challenges.<br />Ericsson AB, Kista, Sweden, October 2011.</li>
<li>Dynamic Variable Elimination During Propagation Solving.<br />Lund University, Department of Computer Science, Sweden, October 2011.</li>
<li>Dynamic Variable Elimination During Propagation Solving.<br />Universidade Nova de Lisboa, Lisbon, Portugal, December 2010.</li>
<li><a href="talks/CP_SAIS_2009.pdf">Constraint Programming for Real</a>.<br />Swedish AI Workshop (SAIS), Linköping, Sweden, May 2009.</li>
<li>Constraint Programming: Strength and Challenges.<br /><a href="http://www.quintiq.com/">Quintiq</a>, 's-Hertogenbosch, The Netherlands, March 2009.</li>
<li>Dynamic Variable Elimination During Propagation Solving.<br />École des Mines de Nantes, France, Februray 2009.</li>
<li>Constraint Programming.<br />Scania, Södertälje, Sweden, Februray 2009.</li>
<li>Generating Propagators for Finite Set Constraints.<br />CLA Distinguished Lecture Series, IT University, Copenhagen, Denmark, Februray 2007.</li>
<li><a href="talks/CP Tools - Taking Informed Decisions.pdf">System Design - Taking Informed Decisions</a>.<br />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 />School of Computer Science and Engineering, University of New South Wales, Sydney, Australia, July 2006.</li>
<li>Generating Propagators for Finite Set Constraints.<br />Department of Computer Science and Software Engineering, Melbourne University, Australia, June 2006.</li>
<li>Challenges for Constraint Programming Systems.<br />Second International Workshop on Constraint Propagation and Implementation, Sitges, Spain, October 2005.</li>
<li>Modern Optimization Technology in Compilation.<br />BEA Systems Stockholm Engineering, Stockholm, Sweden, April 2005.</li>
<li><a href="talks/Constraint Programming MOZ 2004.pdf">Constraint Programming with Mozart - An Appetizer</a>.<br />Second International Conference Mozart/Oz Conference, Charleroi, Belgium, October 2004.</li>
<li>Flow Java: Declarative Concurrency for Java.<br />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 />Programming Systems Lab, Saarland University, Saarbrücken, Germany, October 2003.</li>
<li>Flow Java: Declarative Concurrency for Java.<br />Department of Computer Science and Software Engineering, Melbourne University, Australia, July 2003.</li>
<li><a href="talks/FD Systems.pdf">Finite Domain Constraint Programming Systems</a>, joint presentation with Mats Carlsson.<br />International Conference on Principles and Practice of Constraint Programming, Ithaca, NY, USA, September 2002.</li>
<li>When Do Bounds and Domain Propagation Lead to the Same Search Space.<br />4C Research Center, Cork, Irland, November 2001.</li>
<li>When Do Bounds and Domain Propagation Lead to the Same Search Space.<br />School of Computing, National University of Singapore, September 2001.</li>
<li>Trailing, Copying, Recomputation: A Comparison.<br />IC Parc, Imperial College, London, UK, January 2001.</li>
<li>Constraintprogrammierung mit Mozart.<br />TZI, Bremen, Germany, June 1999.</li>
<li>Mozart: Eine Plattform für verteiltes Programmieren.<br />DaimlerChrysler AG, Research and Technology 3, Berlin, Germany, June 1999.</li>
<li>Oz Explorer: A Visual Constraint Programming Tool.<br />AFPL/AFCET, Paris, France, January 1997.</li>
<li>Constraint Programming and Scheduling in Oz.<br />Daimler-Benz AG, Berlin, Germany, April 1996.</li>
<li>Constraint Programming in Oz.<br />DFKI, Saarbrücken, Germany, March 1996.</li>
<li>Constraint Programming in Oz.<br />International Workshop on Oz Programming (WOz'95), Martigny, Switzerland, November 1995.</li>
<li>Encapsulated Search and Constraint Programming in Oz.<br />Computing Science Department, Uppsala University, Uppsala, Sweden, October 1994.</li>
<li>Encapsulated Search in Oz.<br />Swedish Insitute for Computer Science, Kista, Sweden, September 1994.</li>
<li>Oz - An Object-Oriented Concurrent Constraint Language.<br />Swedish Insitute for Computer Science, Kista, Sweden, September 1994.</li>
</ul><h2 id="panel">Participation in Panels</h2><ul><li><a href="http://www.kth.se/en/itm/centra/ices/previous-events/multicore-programming-1.72773">Multicore Programming</a>.<br />ICES Seminar, Kista, Sweden, November 2010.</li>
<li>Standardisation in Constraint Programming.<br />Fifteenth International Conference on Principles and Practice of Constraint Programming, Lisbon, Portugal, September 2009.</li>
<li>Technical Awareness & Research Directions.<br />CP Tools 06 - First International Day on Constraint Programming Systems and Tools, Nantes, France, September 2006.</li>
</ul><h2 id="lecture">Invited Lectures</h2><ul><li><a href="https://school.a4cp.org/summer2018/">The Solver Side of Constraint Programming</a>.<br />ACP Summer School, Jackson, WY, USA, June 2018.</li>
<li>Modeling with Regular.<br />Uppsala University, Sweden, November 2010.</li>
<li>Constraint Programming Systems.<br />École des Mines de Nantes, France, March 2009.</li>
<li>Constraint Programming Systems.<br />Third International Summer School on Constraint Programming, Lloret de Mar, Spain, June 2007.</li>
<li>Constraint Programming... and Oz.<br />Department of Computer and Information Science, Linköping University, Sweden, April 2007.</li>
<li><a href="talks/ITU Copenhagen - Constraint Programming.pdf">Constraint Programming: Introduction, State of the Art & Trends</a>.<br />IT University, Copenhagen, Denmark, Februray 2007.</li>
<li>A Crash-Course in Oz - An Object-Oriented Concurrent Constraint Language.<br />Swedish Insitute for Computer Science, Kista, Sweden, September 1994.</li>
</ul><h2 id="conference">Conference Presentations</h2><ul><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 2012.pdf">Gecode - an open constraint solving library</a>.<br />International Symposium on Mathematical Programming, Berlin, Germany, August 2012.</li>
<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>
<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><a href="talks/INFORMS - Gecode.pdf">Gecode: A Generic Constraint Development Environment</a>.<br />INFORMS Annual Meeting, Pittsburgh, PA, USA, November 2006.</li>
<li>Speeding Up Constraint Propagation.<br />Tenth International Conference on Principles and Practice of Constraint Programming, Toronto, Canada, September 2004.</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>Programming Deep Concurrent Constraint Combinators.<br />Practical Aspects of Declarative Languages, Boston, MA, USA, January 2000.</li>
<li>Comparing Trailing and Copying for Constraint Programming.<br />Sixteenth International Conference on Logic Programming, Las Cruces, NM, USA, November 1999.</li>
<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 />Fourteenth International Conference on Logic Programming (ICLP'97), Leuven, Belgium, July 1997.</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>Encapsulated Search for Higher-order Concurrent Constraint Languages.<br />International Logic Programming Symposium (ILPS'94), Ithaca, NY, USA, November 1994.</li>
</ul><h2 id="workshop">Workshop Presentations</h2><ul><li><a href="talks/SweConsNet2015.pdf">The Constraint Programmer's Toolbox</a>.<br />SweConsNet 2015, Chalmers, Göteborg, Sweden, May 2015.</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/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>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>
<li>Generating Propagators for Finite Set Constraints.<br />Sixth SweConsNet Workshop, Uppsala, Sweden, Februray 2007.</li>
<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>Speeding Up Constraint Propagation.<br />Fourth SweConsNet Workshop, Lund, Sweden, March 2005.</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>
<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>
<li>Parallel Search Made Simple.<br />Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, Singapore, September 2000.</li>
<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>
<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>Solver - An Oz Search Debugger.<br />International Workshop on Oz Programming (WOz'95), Martigny, Switzerland, December 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></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>