Michael Raskin′s homepage

I am currently a research engineer at LaBRI, University of Bordeaux

My curriculum vitae, or a longer version with article summaries.

Publications
Ivan Damgård, Jesper Buus Nielsen, Antigoni Polychroniadou, Michael Raskin. On the Communication Required for Unconditionally Secure Multiplication. Advances in Cryptology - CRYPTO Proceedings 2016, part 2, pp. 459–488.
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin. Approximating the minimum cycle mean. Theoretical Computer Science, 2014, vol. 547, pp. 104–116
M. Raskin. Toom's Partial Order Is Transitive. Problems of Information Transmission, 2012, vol. 48, N2, pp.154–172
M. Raskin. Lower Estimate of the Regulator of the Direct Product of almost Periodic and Periodic Sequences. Vestnik Mosckovskogo Universiteta (MSU Bulletin), Series 1, Mathematics. Mechanics. 2011, v. 6
M. Raskin. Coupling of computable measures coordinated with an order relation is not always computable. Vestnik Mosckovskogo Universiteta (MSU Bulletin). Series 1. Mathematics. Mechanics. 2012, v. 2
Talks
Writing a best-effort portable code walker in Common Lisp. European Lisp Symposium 2017, Brussels, Belgium.
Paradox of choice in social network games with product choice. (joint work with Nikita Nikitenkov) Game theory society congress 2016, Maastrich, Netherlands.
Accessing local variables during debugging. (joint work with Nikita Mamardashvili) European Lisp Symposium 2016, Krakow, Poland.
Data-transformer: an example of data-centered tool set. European Lisp Symposium 2013, Madrid, Spain.
Computable measures that are couplable but not computably couplable. International Conference on Computability, Complexity and Randomness, 2013 Moscow, Russia.
Almost periodicity and finite automata (joint work with Yu.Pritykin). Workshop on Infinite Words, Automata and Dynamics 2007, Ekaterinburg, Russia.
Lightning Talks

Lisp-in-the-middle, or I wanted a Lisp Machine and all I got was a fancy sudo. Lightning talk. European Lisp Symposium 2017, Brussels, Belgium.
OpenCV wrapper and form processing for Common Lisp — implementation notes. Lightning talk. European Lisp Symposium 2015, London, UK.
Julia: an outside view. Lightning talk. European Lisp Symposium 2014, Paris, France.
Screen subareas in StumpWM via tagging. Lightning talk. European Lisp Symposium 2014, Paris, France.
Personal software for PC: how I ended up reading email using Common Lisp. Lightning talk. European Common Lisp Meeting 2013, Madrid, Spain.
QueryFS: a virtual filesystem based on queries and related tools. Lightning talk. European Lisp Symposium 2012, Zadar, Croatia.
Software projects
QueryFS (Github mirror)