Papers of Jacek Chrząszcz

• Jacek Chrząszcz, Aleksy Schubert "The role of polymorphism in the characterisation of complexity by soft types". In Proceedings of MFCS 2011, LNCS 6907, Berlin, Heidelberg, Springer-Verlag 2011, pp. 219-230.

• Paweł Brach, Jacek Chrząszcz, Janusz Jabłonowski, and Jakub Światły. "A Distributed Service Oriented System for GUI Map Generation." In Proceedings of CompSysTech'11, New York, NY, USA, ACM 2011, pp 69-74.

• Paweł Brach, Jacek Chrząszcz, Janusz Jabłonowski, and Jakub Światły. "Cartographer: Architecture of a distributed system for automated GUI map generation." In Proceedings of IMECS'11, S. I. Ao, O. Castillo, C. Douglas, D. Feng, and J.-A Lee, editors, Lecture Notes in Engineering and Computer Science. International Association of Engineers, Newswood Limited 2011, pp. 761-766.
  (pdf from IAENG)

• Daria Walukiewicz-Chrząszcz and Jacek Chrząszcz. "Inductive Consequences in the Calculus of Constructions". In Interactive Theorem Proving, ITP 2010, M. Kaufmann and L. Paulson, editors, LNCS 6172, Springer 2010, pp. 450-465.
  (extended version) (pdf)
  © Springer-Verlag

• Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert "A dozen instructions make Java bytecode". In Proceedings of Bytecode'2010, D. Pichardie, editor, 2010. ENTCS 264(4):19-34, 2011.
  (extended version) (pdf)

• Jacek Chrząszcz, Marieke Huisman, Aleksy Schubert "BML and related tools". In Proceedings of FMCO'08, M. Bonsangue, E. Madelaine, and F. de Boer, editors, LNCS 5751, Springer 2009, pp. 278-297.
  (pdf) © Springer-Verlag

• Daria Walukiewicz-Chrząszcz and Jacek Chrząszcz "Consistency and completeness of rewriting in the Calculus of Constructions". Logical Methods in Computer Science, 4(3:8)2008. Special Issue: IJCAR 2006 selected papers.
  DOI: 10.2168/LMCS-4(3:8)2008

• Aleksy Schubert, Jacek Chrząszcz, Tomasz Batkiewicz, Jarosław Paszek, and Wojciech Wąs. "Technical aspects of class specification in Java byte code". In Proceedings of Bytecode'08, A. Cortesi and F. Logozzo, editors, 2008. To appear in ENTCS.
  (pdf)

• Jakub Sakowicz and Jacek Chrząszcz. "Papuq: a Coq assistant", in Proceedings of PATE'07, Herman Geuvers and Pierre Courtieu, editors, 2007. pp 79-96.
  (pdf)
  download Papuq

• Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz. "Towards rewriting in Coq", in Jouannaud Festschrift, Hubert Comon-Lundth, Claude Kirchner, and Hélène Kirchner, editors, LNCS 4600, Spriger, 2007, pp. 113-131.
  (pdf) © Springer-Verlag

• Aleksy Schubert and Jacek Chrząszcz. "ESC/Java2 as a tool to ensure security in the source code of Java applications", in Proceedings of SET'2006, IFIP, Springer, 2006, pp. 337-348.
  (pdf) © Springer-Verlag

• Jacek Chrząszcz, Tomasz Stachowicz, Andrzej Gąsienica-Samek, and Aleksy Schubert. "Minik: A tool for maintaining proper Java code structure", in Proceedings of SET'2006, IFIP, Springer, 2006, pp. 361-372.
  (pdf) © Springer-Verlag

• Maciej Cielecki, Jędrzej Fulara, Krzysztof Jakubczyk, Łukasz Jancewicz, Jacek Chrząszcz, Aleksy Schubert, and Łukasz Kamiński. "Propagation of JML non-null annotations in Java programs", in Proceedings of PPPJ'2006. ACM, 2006, pp. 135-140.
  (pdf) © ACM
  source of Canapa, Canapa at sourceforge
  

• Daria Walukiewicz-Chrząszcz and Jacek Chrząszcz "Consistency and completeness of rewriting in the Calculus of Constructions", in "Proceedings of IJCAR 2006", LNAI 4130, Springer 2006, pp. 619-631.
  © Springer-Verlag
  extended version (ps.gz)

• Jacek Chrząszcz and Jean-Pierre Jouannaud "From OBJ to ML to COQ", in "Algebra, Meaning and Computation. Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday", K. Futatsugi et al. (Eds.): LNCS 4060, Springer 2006, pp. 216–234
  (pdf) © Springer-Verlag 

• Andrzej Gąsienica Samek, Tomasz Stachowicz, Jacek Chrząszcz and Aleksy Schubert "KOTEK: Clustering of The Enterprise Code", in "Software Engineering: Evolution and Emerging Technologies", Krzysztof Zieliński and Tomasz Szmuc, editors,  volume 130, IOS Press, 2005, pp. 412-417
  (ps.gz), (pdf), © IOS Press

• Jacek Chrząszcz "Modules in Type Theory with Generative Definitions", PhD Thesis (defended on Jan 12, 2004)

• Jacek Chrząszcz "Modules in Coq Are and Will Be Correct", in "Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers", Stefano Berardi, Mario Coppo, Ferruccio Damiani (Eds.): LNCS 3085, Springer 2004, pp. 130-146
  (ps.gz) © Springer-Verlag

• Jacek Chrząszcz "Implementation of Modules in the Coq System" in "Theorem Proving in Higher Order Logic, Rome, Italy, September 8-13, 2003 proceedings", David Basin and Burkhart Wolff (Eds.): LNCS 2758, Springer, pp. 270-286
  printed version (ps.gz) © Springer-Verlag
extended version (ps.gz)

• Jacek Chrząszcz "Polymorphic Subtyping Without Distributivity" in "Mathematical Foundations of Computer Science, Brno, Czech Republic, August 24-28, 1998 proceedings", Lubos Brim, Josef Gruska, Jiri Zlatuska (Eds.): LNCS 1450, Springer 1998, pp. 346-355
  (ps.gz) © Springer-Verlag

• Jacek Chrząszcz "Polymorphic Subtyping Without Distributivity" Institute of Informatics, Warsaw University, TR 98-03 (252), August 1998, full version of the MFCS paper
  
ps.gz, dvi.gz

• Jacek Chrząszcz "Polimorficzne osłabianie bez aksjomatu rozdzielności" praca magisterska z informatyki, Uniwersytet Warszawski, wrzesień 1997
(MSc thesis, Warsaw University, "Polymorphic subtyping without the distributivity axiom", September 1997, in polish)
ps.gz, dvi.gz

• Jacek Chrząszcz "Complétude de systèmes de réécriture d'ordre supérieur" memoire de DEA en Informatique, Universite de Paris-Sud, juillet 1997
(DEA thesis, University of Paris-Sud, "Completeness of higher order rewrite systems", July 1997, in french)
 ps.gz, dvi.gz