Dmitri Boulytchev

According to our database1, Dmitri Boulytchev authored at least 9 papers between 2001 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Code Reuse With Transformation Objects.
CoRR, 2018

Improving Refutational Completeness of Relational Search via Divergence Test.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017
Typed Relational Conversion.
Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

2016
Typed Embedding of a Relational Language in OCaml.
Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

2015
Combinators and type-driven transformers in Objective Caml.
Sci. Comput. Program., 2015

2014
Polynomial-Time Optimal Pretty-Printing Combinators with Choice.
Proceedings of the Perspectives of System Informatics, 2014

2010
Hardware description language based on message passing and implicit pipelining.
Proceedings of the 2010 East-West Design & Test Symposium, 2010

2006
BURS-Based Instruction Set Selection.
Proceedings of the Perspectives of Systems Informatics, 2006

2001
An Empirical Study of Retargetable Compilers.
Proceedings of the Perspectives of System Informatics, 2001


  Loading...