[content | navigation | footer]

Presentations

Christian Schulte

information

• main
• contact
• papers
• software
• education
• presentations
• short bio

options

• recent
• by year
• by type

[talks | panels | lectures | conferences | workshops]

Invited Talks

• Combinatorial Register Allocation and Instruction Scheduling.
  ModRef 2019, Stamford, CT, USA, September 2019.
• Gecode - an open constraint solving library.
  NordConsNet Workshop, Gothenburg, Sweden, May 2018.
• Rethinking Code Generation in Compilers.
  Workshop on Constraint Solvers in Testing, Verification and Analysis, Melbourne, Australia, August 2017.
• Academic Recruitment 101.
  Doctoral Program, CP 2017, Melbourne, Australia, August 2017.
• Rethinking Code Generation in Compilers.
  Data61 Decision Sciences Seminar, CSIRO, Melbourne, Australia, Februray 2017.
• Modeling and Solving Code Generation for Real.
  Lund University, Department of Computer Science, Sweden, November 2016.
• Modeling and Solving Code Generation for Real.
  Theoretical Computer Science Seminar, KTH Royal Institute of Technology, Sweden, April 2016.
• The Constraint Programmer's Toolbox.
  Ericsson Research, Kista, Sweden, November 2015.
• Modeling and Solving Code Generation for Real.
  Université Paris Diderot (7), France, September 2015.
• Modeling and Solving Code Generation for Real.
  ModRef 2015, Cork, Ireland, August 2015.
• Generate Your Tools!.
  Ericsson Software Technology Research, Kista, Sweden, December 2014.
• Gecode - an open constraint solving library.
  IRILL - Research and Innovation on Free Software, Paris, France, March 2014.
• The Constraint Programmer's Toolbox.
  Theoretical Computer Science Seminar, KTH Royal Institute of Technology, Sweden, Februray 2014.
• The Constraint Programmer's Toolbox.
  Optimization and Systems Theory Seminar, KTH Royal Institute of Technology, Sweden, November 2013.
• Rethinking Code Generation in Compilers.
  Software and Systems Research Seminar, Linköping University, Department of Computer and Information Science, Sweden, September 2013.
• Search Techniques.
  Tacton AB, Stockholm, Sweden, September 2012.
• Advanced Search Techniques.
  Quintiq, 's-Hertogenbosch, The Netherlands, March 2012.
• Confidence-based Work Stealing in Parallel Constraint Programming.
  TAO research group, INRIA Saclay & CNRS & LRI, Université Paris-Sud, France, January 2012.
• Constraint Programming: Strength and Challenges.
  Ericsson AB, Kista, Sweden, October 2011.
• Dynamic Variable Elimination During Propagation Solving.
  Lund University, Department of Computer Science, Sweden, October 2011.
• Dynamic Variable Elimination During Propagation Solving.
  Universidade Nova de Lisboa, Lisbon, Portugal, December 2010.
• Constraint Programming for Real.
  Swedish AI Workshop (SAIS), Linköping, Sweden, May 2009.
• Constraint Programming: Strength and Challenges.
  Quintiq, 's-Hertogenbosch, The Netherlands, March 2009.
• Dynamic Variable Elimination During Propagation Solving.
  École des Mines de Nantes, France, Februray 2009.
• Constraint Programming.
  Scania, Södertälje, Sweden, Februray 2009.
• Generating Propagators for Finite Set Constraints.
  CLA Distinguished Lecture Series, IT University, Copenhagen, Denmark, Februray 2007.
• System Design - Taking Informed Decisions.
  CP Tools 06 - First International Day on Constraint Programming Systems and Tools, Nantes, France, September 2006.
• Generating Propagators for Finite Set Constraints.
  School of Computer Science and Engineering, University of New South Wales, Sydney, Australia, July 2006.
• Generating Propagators for Finite Set Constraints.
  Department of Computer Science and Software Engineering, Melbourne University, Australia, June 2006.
• Challenges for Constraint Programming Systems.
  Second International Workshop on Constraint Propagation and Implementation, Sitges, Spain, October 2005.
• Modern Optimization Technology in Compilation.
  BEA Systems Stockholm Engineering, Stockholm, Sweden, April 2005.
• Constraint Programming with Mozart - An Appetizer.
  Second International Conference Mozart/Oz Conference, Charleroi, Belgium, October 2004.
• Flow Java: Declarative Concurrency for Java.
  Programming Systems Lab, Saarland University, Saarbrücken, Germany, October 2003.
• Finite Domain Constraint Programming Systems.
  Programming Systems Lab, Saarland University, Saarbrücken, Germany, October 2003.
• Flow Java: Declarative Concurrency for Java.
  Department of Computer Science and Software Engineering, Melbourne University, Australia, July 2003.
• Finite Domain Constraint Programming Systems, joint presentation with Mats Carlsson.
  International Conference on Principles and Practice of Constraint Programming, Ithaca, NY, USA, September 2002.
• When Do Bounds and Domain Propagation Lead to the Same Search Space.
  4C Research Center, Cork, Irland, November 2001.
• When Do Bounds and Domain Propagation Lead to the Same Search Space.
  School of Computing, National University of Singapore, September 2001.
• Trailing, Copying, Recomputation: A Comparison.
  IC Parc, Imperial College, London, UK, January 2001.
• Constraintprogrammierung mit Mozart.
  TZI, Bremen, Germany, June 1999.
• Mozart: Eine Plattform für verteiltes Programmieren.
  DaimlerChrysler AG, Research and Technology 3, Berlin, Germany, June 1999.
• Oz Explorer: A Visual Constraint Programming Tool.
  AFPL/AFCET, Paris, France, January 1997.
• Constraint Programming and Scheduling in Oz.
  Daimler-Benz AG, Berlin, Germany, April 1996.
• Constraint Programming in Oz.
  DFKI, Saarbrücken, Germany, March 1996.
• Constraint Programming in Oz.
  International Workshop on Oz Programming (WOz'95), Martigny, Switzerland, November 1995.
• Encapsulated Search and Constraint Programming in Oz.
  Computing Science Department, Uppsala University, Uppsala, Sweden, October 1994.
• Encapsulated Search in Oz.
  Swedish Insitute for Computer Science, Kista, Sweden, September 1994.
• Oz - An Object-Oriented Concurrent Constraint Language.
  Swedish Insitute for Computer Science, Kista, Sweden, September 1994.

Participation in Panels

• Multicore Programming.
  ICES Seminar, Kista, Sweden, November 2010.
• Standardisation in Constraint Programming.
  Fifteenth International Conference on Principles and Practice of Constraint Programming, Lisbon, Portugal, September 2009.
• Technical Awareness & Research Directions.
  CP Tools 06 - First International Day on Constraint Programming Systems and Tools, Nantes, France, September 2006.

Invited Lectures

• The Solver Side of Constraint Programming.
  ACP Summer School, Jackson, WY, USA, June 2018.
• Modeling with Regular.
  Uppsala University, Sweden, November 2010.
• Constraint Programming Systems.
  École des Mines de Nantes, France, March 2009.
• Constraint Programming Systems.
  Third International Summer School on Constraint Programming, Lloret de Mar, Spain, June 2007.
• Constraint Programming... and Oz.
  Department of Computer and Information Science, Linköping University, Sweden, April 2007.
• Constraint Programming: Introduction, State of the Art & Trends.
  IT University, Copenhagen, Denmark, Februray 2007.
• A Crash-Course in Oz - An Object-Oriented Concurrent Constraint Language.
  Swedish Insitute for Computer Science, Kista, Sweden, September 1994.

Conference Presentations

• Rethinking Code Generation in Compilers.
  Embedded Conference Scandinavia, Kista, Sweden, November 2014.
• View-based Propagator Derivation.
  Twentieth International Conference on Principles and Practice of Constraint Programming, Lyon, France, September 2014.
• Gecode - an open constraint solving library.
  International Symposium on Mathematical Programming, Berlin, Germany, August 2012.
• Dynamic Variable Elimination During Propagation Solving.
  Tenth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, July 2008.
• Gecode: A Generic Constraint Development Environment.
  Presentation of Recent CP Solvers, Thirteenth International Conference on Principles and Practice of Constraint Programming, Providence, RI, USA, September 2007.
• Gecode: A Generic Constraint Development Environment.
  INFORMS Annual Meeting, Pittsburgh, PA, USA, November 2006.
• Speeding Up Constraint Propagation.
  Tenth International Conference on Principles and Practice of Constraint Programming, Toronto, Canada, September 2004.
• When Do Bounds and Domain Propagation Lead to the Same Search Space.
  Third International Conference on Principles and Practice of Declarative Programming, Florence, Italy, September 2001.
• Programming Deep Concurrent Constraint Combinators.
  Practical Aspects of Declarative Languages, Boston, MA, USA, January 2000.
• Comparing Trailing and Copying for Constraint Programming.
  Sixteenth International Conference on Logic Programming, Las Cruces, NM, USA, November 1999.
• Programming Constraint Inference Engines.
  Third International Conference on Principles and Practice of Constraint Programming (CP'97), Schloß Hagenberg, Austria, November 1997.
• Oz Explorer: A Visual Constraint Programming Tool.
  Fourteenth International Conference on Logic Programming (ICLP'97), Leuven, Belgium, July 1997.
• An Abstract Machine for Oz.
  Programming Languages, Implementations and Programs, Seventh International Symposium (PLILP'95), Arnhem, The Netherlands, September 1995.
• Encapsulated Search for Higher-order Concurrent Constraint Languages.
  International Logic Programming Symposium (ILPS'94), Ithaca, NY, USA, November 1994.

Workshop Presentations

• The Constraint Programmer's Toolbox.
  SweConsNet 2015, Chalmers, Göteborg, Sweden, May 2015.
• Implementing Counters with Decay.
  Techniques foR Implementing Constraint programming Systems, Uppsala, Sweden, September 2013.
• Gecode - an open constraint solving library.
  CP Solvers: Modeling, Applications, Integration, and Standardization, Uppsala, Sweden, September 2013.
• Rethinking Code Generation in Compilers.
  SICS (Swedish Insitute for Computer Science), Open House, Kista, Sweden, April 2012.
• Dynamic Variable Elimination During Propagation Solving.
  Tenth SweConsNet Workshop, Örebro, Sweden, May 2011.
• Gecode - an open constraint solving library.
  Constraint Programming meets Machine Learning and Data Mining, Dagstuhl, Germany, May 2011.
• Generating Propagators for Finite Set Constraints.
  Sixth SweConsNet Workshop, Uppsala, Sweden, Februray 2007.
• Views and Iterators for Generic Constraint Implementations.
  CICLOPS 2005, Colloquium on Implementation of Constraint and LOgic Programming Systems, Sitges, Spain, October 2005.
• Speeding Up Constraint Propagation.
  Fourth SweConsNet Workshop, Lund, Sweden, March 2005.
• Finite Domain Constraint Programming Systems.
  Third SweConsNet Workshop, Dept. of Computer and Information Science, Linköping University, Sweden, January 2004.
• Constraints @ KTH, joint presentation with Sven Lämmermann and Thomas Sjöland.
  Kick-off meeting for SweConsNet, Uppsala University, Uppsala, Sweden, May 2002.
• Parallel Search Made Simple.
  Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, Singapore, September 2000.
• Distributed Search Engines.
  Workshop on Intelligent Distributed Computing with Mozart, Swedish Insitute for Computer Science, Kista, Sweden, June 1998.
• Prototypical Networked Applications.
  Workshop on Intelligent Distributed Computing with Mozart, Swedish Insitute for Computer Science, Kista, Sweden, June 1998.
• Oz Explorer: A Visual Constraint Programming Tool.
  Concurrent Constraint Programming: The Next Ten Years, Castle Dagstuhl, Germany, October 1997.
• Using the Oz Explorer for the Development of Constraint Programs.
  The Eigth Workshop on Logic Programming Environments, Leuven, Belgium, July 1997.
• Solver - An Oz Search Debugger.
  International Workshop on Oz Programming (WOz'95), Martigny, Switzerland, December 1995.
• Concurrent Object-Oriented Programming in Oz.
  Workshop on Object-Orientation with Parallelism and Persistence (OOPP), Castle Dagstuhl, Germany, April 1995.