Álinson Santos Xavier

I am a Computational Scientist at Argonne National Laboratory. My research currently focuses on solving challenging computational problems that arise daily in the production and transmission of electric power, through a combination of Artificial Intelligence, Mathematical Optimization and High-Performance Computing.

I hold a Ph.D. in Mathematics (Combinatorics & Optimization) from University of Waterloo, obtained under supervision of Ricardo Fukasawa, and a Master's degree in Computer Science from Universidade Federal do Ceara, obtained under supervision of Manoel Campêlo.

In my free time, I enjoy developing and publishing open source software. Loop Habit Tracker, my most famous project, has more than 5 million downloads worldwide and has been translated to more than 35 languages.

Contact

Álinson Santos Xavier
Energy Systems Division
Argonne National Laboratory
9700 S. Cass Avenue
Argonne, IL, USA 60439
axavier@anl.gov
https://linkedin.com/in/alinsonxavier/
https://github.com/iSoron

Publications

• Decomposable Formulation of Transmission Constraints for Decentralized Power Systems Optimization
  Alinson Santos Xavier, Feng Qiu, Santanu S. Dey
  Under review, 2021
  Preprint
• Multi-Row Intersection Cuts based on the Infinity Norm
  Alinson Santos Xavier, Ricardo Fukasawa, Laurent Poirrier
  INFORMS Journal on Computing, 2021
  DOI Preprint Source Code
• Learning to Solve Large-Scale Security-Constrained Unit Commitment Problems
  Alinson Santos Xavier, Feng Qiu, Shabbir Ahmed
  INFORMS Journal on Computing, 2020
  DOI Preprint
• Transmission Constraint Filtering in Large-Scale Security-Constrained Unit Commitment
  Alinson Santos Xavier, Feng Qiu, Fengyu Wang, Prakash R. Thimmapuram
  IEEE Transactions on Power Systems, 2019
  DOI Preprint
• The (not so) Trivial Lifting in Two Dimensions
  Alinson Santos Xavier, Ricardo Fukasawa, Laurent Poirrier
  Mathematical Programming Computation, 2018
  DOI Preprint Source Code
• Intersection Cuts for Single Row Corner Relaxations
  Alinson Santos Xavier, Ricardo Fukasawa, Laurent Poirrier
  Mathematical Programming Computation, 2018
  DOI Preprint Source Code
• A New Facet Generating Procedure for the Stable Set Polytope
  Alinson Santos Xavier, Manoel Campelo
  Electronic Notes in Discrete Mathematics, 2011
  DOI Preprint

Thesis & Dissertation

• Computing with Multi-Row Intersection Cuts
  Alinson Santos Xavier
  Ph.D. Thesis, University of Waterloo, 2017
• Facet Generating Procedures for Stable Set Polytopes (in Portuguese)
  Alinson Santos Xavier
  Master's Dissertation, Universidade Federal do Ceara, 2011
  

Open Source Software

• UnitCommitment.jl (2020 — current)
  UnitCommitment.jl (UC.jl) is an optimization package for the Security-Constrained Unit Commitment Problem (SCUC), a fundamental optimization problem in power systems used, for example, to clear the day-ahead electricity markets. The package provides benchmark instances for the problem and Julia/JuMP implementations of state-of-the-art mixed-integer programming formulations.
  GitHub DOI
• MIPLearn (2020 — current)
  Extensible framework for solving discrete optimization problems using a combination of Mixed-Integer Linear Programming (MIP) and Machine Learning (ML). MIPLearn uses ML methods to automatically identify patterns in previously solved instances of the problem, then uses these patterns to accelerate the performance of conventional state-of-the-art MIP solvers such as CPLEX, Gurobi or XPRESS. Unlike pure ML methods, MIPLearn is not only able to find high-quality solutions to discrete optimization problems, but it can also prove the optimality and feasibility of these solutions.
  GitHub DOI
• Loop Habit Tracker (2016 — current)
  

  Mobile app that helps users create and maintain positive, long-term habits. Detailed charts and statistics provide an insight on how the habits have progressed over time. With more than 5 million downloads from over 150 countries, and translated by volunteers to more than 35 languages, Loop Habit Tracker is currently one of the most popular habit trackers on Google Play, with overwhelmingly positive user ratings and reviews. The app has ranked among the Top 50 Productivity Apps in over 25 countries, including the United States, and has been featured on Google Play numerous times.
  Google Play F-Droid GitHub