[2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994]
2019
2018
2017
- Rethinking Code Generation in Compilers.
Invited talk, Workshop on Constraint Solvers in Testing, Verification and Analysis, Melbourne, Australia, August 2017.
- Academic Recruitment 101.
Invited talk, Doctoral Program, CP 2017, Melbourne, Australia, August 2017.
- Rethinking Code Generation in Compilers.
Invited talk, Data61 Decision Sciences Seminar, CSIRO, Melbourne, Australia, Februray 2017.
2016
2015
- The Constraint Programmer's Toolbox.
Invited talk, Ericsson Research, Kista, Sweden, November 2015.
- Modeling and Solving Code Generation for Real.
Invited talk, Université Paris Diderot (7), France, September 2015.
- Modeling and Solving Code Generation for Real.
Invited talk, ModRef 2015, Cork, Ireland, August 2015.
- The Constraint Programmer's Toolbox.
SweConsNet 2015, Chalmers, Göteborg, Sweden, May 2015.
2014
- Generate Your Tools!.
Invited talk, Ericsson Software Technology Research, Kista, Sweden, December 2014.
- 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.
Invited talk, IRILL - Research and Innovation on Free Software, Paris, France, March 2014.
- The Constraint Programmer's Toolbox.
Invited talk, Theoretical Computer Science Seminar, KTH Royal Institute of Technology, Sweden, Februray 2014.
2013
- The Constraint Programmer's Toolbox.
Invited talk, Optimization and Systems Theory Seminar, KTH Royal Institute of Technology, Sweden, November 2013.
- 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.
Invited talk, Software and Systems Research Seminar, Linköping University, Department of Computer and Information Science, Sweden, September 2013.
2012
- Search Techniques.
Invited talk, Tacton AB, Stockholm, Sweden, September 2012.
- Gecode - an open constraint solving library.
International Symposium on Mathematical Programming, Berlin, Germany, August 2012.
- Rethinking Code Generation in Compilers.
SICS (Swedish Insitute for Computer Science), Open House, Kista, Sweden, April 2012.
- Advanced Search Techniques.
Invited talk, Quintiq, 's-Hertogenbosch, The Netherlands, March 2012.
- Confidence-based Work Stealing in Parallel Constraint Programming.
Invited talk, TAO research group, INRIA Saclay & CNRS & LRI, Université Paris-Sud, France, January 2012.
2011
- Constraint Programming: Strength and Challenges.
Invited talk, Ericsson AB, Kista, Sweden, October 2011.
- Dynamic Variable Elimination During Propagation Solving.
Invited talk, Lund University, Department of Computer Science, Sweden, October 2011.
- 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.
2010
- Dynamic Variable Elimination During Propagation Solving.
Invited talk, Universidade Nova de Lisboa, Lisbon, Portugal, December 2010.
- Multicore Programming.
Panel moderator, ICES Seminar, Kista, Sweden, November 2010.
- Modeling with Regular.
Invited lecture, Uppsala University, Sweden, November 2010.
2009
- Standardisation in Constraint Programming.
Invited panelist, Fifteenth International Conference on Principles and Practice of Constraint Programming, Lisbon, Portugal, September 2009.
- Constraint Programming for Real.
Invited talk, Swedish AI Workshop (SAIS), Linköping, Sweden, May 2009.
- Constraint Programming: Strength and Challenges.
Invited talk, Quintiq, 's-Hertogenbosch, The Netherlands, March 2009.
- Constraint Programming Systems.
Invited lecture, École des Mines de Nantes, France, March 2009.
- Dynamic Variable Elimination During Propagation Solving.
Invited talk, École des Mines de Nantes, France, Februray 2009.
- Constraint Programming.
Invited talk, Scania, Södertälje, Sweden, Februray 2009.
2008
- Dynamic Variable Elimination During Propagation Solving.
Tenth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, July 2008.
2007
- 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.
- Constraint Programming Systems.
Invited lecture, Third International Summer School on Constraint Programming, Lloret de Mar, Spain, June 2007.
- Constraint Programming... and Oz.
Invited lecture, Department of Computer and Information Science, Linköping University, Sweden, April 2007.
- Generating Propagators for Finite Set Constraints.
Invited talk, CLA Distinguished Lecture Series, IT University, Copenhagen, Denmark, Februray 2007.
- Constraint Programming: Introduction, State of the Art & Trends.
Invited lecture, IT University, Copenhagen, Denmark, Februray 2007.
- Generating Propagators for Finite Set Constraints.
Sixth SweConsNet Workshop, Uppsala, Sweden, Februray 2007.
2006
- Gecode: A Generic Constraint Development Environment.
INFORMS Annual Meeting, Pittsburgh, PA, USA, November 2006.
- System Design - Taking Informed Decisions.
Invited talk, CP Tools 06 - First International Day on Constraint Programming Systems and Tools, Nantes, France, September 2006.
- Technical Awareness & Research Directions.
Invited panelist, CP Tools 06 - First International Day on Constraint Programming Systems and Tools, Nantes, France, September 2006.
- Generating Propagators for Finite Set Constraints.
Invited talk, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia, July 2006.
- Generating Propagators for Finite Set Constraints.
Invited talk, Department of Computer Science and Software Engineering, Melbourne University, Australia, June 2006.
2005
- Views and Iterators for Generic Constraint Implementations.
CICLOPS 2005, Colloquium on Implementation of Constraint and LOgic Programming Systems, Sitges, Spain, October 2005.
- Challenges for Constraint Programming Systems.
Invited talk, Second International Workshop on Constraint Propagation and Implementation, Sitges, Spain, October 2005.
- Modern Optimization Technology in Compilation.
Invited talk, BEA Systems Stockholm Engineering, Stockholm, Sweden, April 2005.
- Speeding Up Constraint Propagation.
Fourth SweConsNet Workshop, Lund, Sweden, March 2005.
2004
- Constraint Programming with Mozart - An Appetizer.
Invited talk, Second International Conference Mozart/Oz Conference, Charleroi, Belgium, October 2004.
- Speeding Up Constraint Propagation.
Tenth International Conference on Principles and Practice of Constraint Programming, Toronto, Canada, September 2004.
- Finite Domain Constraint Programming Systems.
Third SweConsNet Workshop, Dept. of Computer and Information Science, Linköping University, Sweden, January 2004.
2003
- Flow Java: Declarative Concurrency for Java.
Invited talk, Programming Systems Lab, Saarland University, Saarbrücken, Germany, October 2003.
- Finite Domain Constraint Programming Systems.
Invited talk, Programming Systems Lab, Saarland University, Saarbrücken, Germany, October 2003.
- Flow Java: Declarative Concurrency for Java.
Invited talk, Department of Computer Science and Software Engineering, Melbourne University, Australia, July 2003.
2002
- Finite Domain Constraint Programming Systems, joint presentation with Mats Carlsson.
Invited tutorial, International Conference on Principles and Practice of Constraint Programming, Ithaca, NY, USA, September 2002.
- Constraints @ KTH, joint presentation with Sven Lämmermann and Thomas Sjöland.
Kick-off meeting for SweConsNet, Uppsala University, Uppsala, Sweden, May 2002.
2001
- When Do Bounds and Domain Propagation Lead to the Same Search Space.
Invited talk, 4C Research Center, Cork, Irland, November 2001.
- When Do Bounds and Domain Propagation Lead to the Same Search Space.
Invited talk, School of Computing, National University of Singapore, September 2001.
- 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.
- Trailing, Copying, Recomputation: A Comparison.
Invited talk, IC Parc, Imperial College, London, UK, January 2001.
2000
- Parallel Search Made Simple.
Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, Singapore, September 2000.
- Programming Deep Concurrent Constraint Combinators.
Practical Aspects of Declarative Languages, Boston, MA, USA, January 2000.
1999
- Comparing Trailing and Copying for Constraint Programming.
Sixteenth International Conference on Logic Programming, Las Cruces, NM, USA, November 1999.
- Constraintprogrammierung mit Mozart.
Invited talk, TZI, Bremen, Germany, June 1999.
- Mozart: Eine Plattform für verteiltes Programmieren.
Invited talk, DaimlerChrysler AG, Research and Technology 3, Berlin, Germany, June 1999.
1998
- 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.
1997
- 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.
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.
- Oz Explorer: A Visual Constraint Programming Tool.
Fourteenth International Conference on Logic Programming (ICLP'97), Leuven, Belgium, July 1997.
- Oz Explorer: A Visual Constraint Programming Tool.
Invited talk, AFPL/AFCET, Paris, France, January 1997.
1996
- Constraint Programming and Scheduling in Oz.
Invited talk, Daimler-Benz AG, Berlin, Germany, April 1996.
- Constraint Programming in Oz.
Invited talk, DFKI, Saarbrücken, Germany, March 1996.
1995
- Solver - An Oz Search Debugger.
International Workshop on Oz Programming (WOz'95), Martigny, Switzerland, December 1995.
- Constraint Programming in Oz.
Invited tutorial, International Workshop on Oz Programming (WOz'95), Martigny, Switzerland, November 1995.
- An Abstract Machine for Oz.
Programming Languages, Implementations and Programs, Seventh International Symposium (PLILP'95), Arnhem, The Netherlands, September 1995.
- Concurrent Object-Oriented Programming in Oz.
Workshop on Object-Orientation with Parallelism and Persistence (OOPP), Castle Dagstuhl, Germany, April 1995.
1994
- Encapsulated Search for Higher-order Concurrent Constraint Languages.
International Logic Programming Symposium (ILPS'94), Ithaca, NY, USA, November 1994.
- Encapsulated Search and Constraint Programming in Oz.
Invited talk, Computing Science Department, Uppsala University, Uppsala, Sweden, October 1994.
- Encapsulated Search in Oz.
Invited talk, Swedish Insitute for Computer Science, Kista, Sweden, September 1994.
- A Crash-Course in Oz - An Object-Oriented Concurrent Constraint Language.
Invited lecture, Swedish Insitute for Computer Science, Kista, Sweden, September 1994.
- Oz - An Object-Oriented Concurrent Constraint Language.
Invited talk, Swedish Insitute for Computer Science, Kista, Sweden, September 1994.