Publications

2022

Emrich, F., Stolarek, J., Cheney, J., Lindley, S.: Constraint-Based Type Inference for FreezeML, Proceedings of the ACM on Programming Languages, Volume 6, Issue ICFP, August 2022, Article No.: 111, pp 570-595. full text (pdf), extended version (pdf), DOI: 10.1145/3547642, arXiv: 2207.09914, citation (BibTeX)

Emrich, F., Lindley, S., Stolarek, J., Cheney J., Coates J.: FreezeML: Complete and Easy Type Inference for First-Class Polymorphism, ACM SIGPLAN Conference on Programming Language Design and Implementation 2020 (PLDI 2020), London, UK. full text (pdf), extended version (pdf), DOI: 10.1145/3385412.3386003, arXiv: 2004.00396, citation (BibTeX)
Stolarek, J. and Nowak, P.: A Modular, Practical Test for a Programming Course, Proceedings of the 51st ACM Technical Symposium on Computer Science Education, SIGCSE ’20, Portland, Oregon 2020, full text (pdf), video (mkv), slides (pdf), DOI: 10.1145/3328778.3366886, citation (BibTeX)

Stolarek, J. and Cheney, J.: Veriﬁed Self-Explaining Computation, Hutton G. (eds) Mathematics of Program Construction. MPC 2019. Lecture Notes in Computer Science, vol 11825. Springer, Cham. (presented at: 13th International Conference on Mathematics of Program Construction (MPC 2019), Porto, Portugal, 2019), full text (pdf), slides (pdf), BitBucket repository, DOI: 10.1007/978-3-030-33636-3_4, arXiv: 1907.05818, citation (BibTeX)
Emrich, F., Lindley, S., Stolarek, J., Cheney J.: FreezeML: Complete and Easy Type Inference for First-Class Polymorphism, presentated at: 4th Workshop on Type-Driven Development (TyDe 2019), Berlin, Germany, 2019, extended abstract (pdf)

Stolarek, J. and Cheney, J.: Language-integrated provenance in Haskell, The Art, Science, and Engineering of Programming, Vol. 2, No. 3 (presented at 2018, Nice, France), full text (pdf), slides (pdf), GitHub repository, DOI: 10.22152/programming-journal.org/2018/2/11, arXiv: 1803.10202, citation (BibTeX)

Ricciotti, W., Stolarek, J., Perera, R. and Cheney, J.: Imperative Functional Programs That Explain Their Work, Proceedings of the ACM on Programming Languages, Vol. 1, No. ICFP, Article 14 (presented at International Conference on Functional Programming 2017, Oxford, United Kingdom), full text (pdf), extended version (pdf), video (Youtube), slides (pdf), GitHub repository, DOI: 10.1145/3110258, citation (BibTeX)

Stolarek, J., Peyton Jones, S. and Eisenberg, R. A.: Injective Type Families for Haskell, ACM SIGPLAN Notices 50(12):118-128 (presented at ACM SIGPLAN Haskell Symposium 2015, Vancouver, Canada), full text (pdf), extended version (pdf), video (Youtube), slides (pdf), DOI: 10.1145/2804302.2804314, arXiv: 1705.07678, citation (BibTeX)

Eisenberg, R. A., and Stolarek, J.: Promoting Functions to Type Families in Haskell, ACM SIGPLAN Notices 49(12):95-106 (presented at ACM SIGPLAN Haskell Symposium 2014, Gothenburg, Sweden), full text (pdf), extended version (pdf), video (Youtube), slides (pdf), DOI: 10.1145/2633357.2633361, GitHub repository, citation (BibTeX)

Stolarek, J.: Understanding Basic Haskell Error Messages, The Monad.Reader 20, 2012, full text (pdf), citation (BibTeX)
Stolarek, J.: Adaptive wavelet synthesis for improving digital image watermarking, In: Towards Modern Collaborative Knowledge Sharing Systems, Springer, 133–144, Eds: Lipiński, P., and Świrski, K., 2012, full text (pdf), citation (BibTeX)
Stolarek, J., and Lipiński, P.: Improving watermark resistance against removal attacks using orthogonal wavelet adaptation, 38th Conference on Current Trends in Theory and Practice of Computer Science, volume 7147, Springer, 588–599, 2012, full text (pdf), BibTeX citation
Stolarek, J.: Synteza falek ortogonalnych na podstawie oceny przetworzonego sygnału (Orthogonal wavelet synthesis based on signal processing outcome), PhD thesis, Łódź 2011 (defended in 2012), full text (pdf), presentation (pdf), citation (BibTeX)

Stolarek, J., and Byczkowska-Lipińska, L.: Wavelet adaptation based on signal processing outcome, System Modelling and Control 2011, 2011, full text (pdf), citation (BibTeX)
Stolarek, J.: Adaptive synthesis of a wavelet transform using fast neural network, Bulletin of Polish Academy of Sciences. Technical Sciences 59(1), 2011, full text (pdf), citation (BibTeX)
Stolarek, J.: On the properties of a lattice structure for a wavelet filter bank implementation: Part I, Journal of Applied Computer Science 19(1), 85-116, 2011, full text (pdf), citation (BibTeX)
Stolarek, J.: On the properties of a lattice structure for a wavelet filter bank implementation: Part II, Journal of Applied Computer Science 19(2), 125-139, 2011, full text (pdf), citation (BibTeX)
Lipiński, P., and Stolarek, J.: Digital watermarking enhancement using wavelet filter parametrization, Adaptive and Natural Computing Algorithms (10th ICANNGA, 2011), volume 1, 330-339, Eds: Dobnikar, A., Lotrič, U., and Šter, B., 2011, full text (pdf), citation (BibTeX)

Stolarek, J.: Adaptive Wavelet Synthesis For Improving Digital Image Processing, 1st TEWI Conference, 2010, presentation (pdf), citation (BibTeX)
Stolarek, J.: Improving energy compaction of a wavelet transform using genetic algorithm and fast neural network, Archives of Control Sciences 20(4), 417-433, December 2010, full text (pdf), citation (BibTeX)
Stolarek, J., and Lipiński, P.: Improving Digital Watermarking Fidelity Using Fast Neural Network for Adaptive Wavelet Synthesis, Journal of Applied Computer Science 18(1), 61-74, 2010, full text (pdf), citation (BibTeX)

Stolarek, J.: Synthesis of a wavelet transform using neural network, XI International PhD Workshop OWD, Conference Archives PTETiS, volume 26, 71-74, 2009, full text (pdf), presentation (pdf), citation (BibTeX)
Stolarek, J., and Yatsymirskyy, M.: Fast neural network for synthesis and implementation of orthogonal wavelet transform, Image Processing & Communications Challenges, AOW EXIT, 87-94, 2009, full text (pdf), citation (BibTeX)
Stolarek, J.: Realization of Daubechies transform using lattice structure, The Collection of Scientific Works of ISDMCI 2009, 188-192, 2009, full text (pdf), presentation (pdf), citation (BibTeX)

Stolarek, J.: Nowe kryteria wykrywania minucji w algorytmie rozpoznawania odcisków palców, XVI Konferencja Sieci i Systemy Informatyczne. Teoria, Projekty, Wdrożenia, Aplikacje, Łódź, Polska, 2008, wersja online (pdf), presentation (pdf), citation (BibTeX)
Stolarek, J.: Identyﬁkacja użytkownika na podstawie analizy linii papilarnych (User identification based on fingerprint analysis), MSc thesis, Łódź 2008, full text (pdf), citation (BibTeX)