Mikaël Mayer

Ravi Chugh

Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

2018

Bidirectional evaluation with direct manipulation.

[BibT_eX]

[DOI]

Ravi Chugh

Proc. ACM Program. Lang., 2018

2017

Interactive Programming by Example.

[BibT_eX]

[DOI]

PhD thesis, 2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2017

Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples.

[BibT_eX]

[DOI]

CoRR, 2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples.

[BibT_eX]

[DOI]

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Optimal Test Sets for Context-Free Languages.

[BibT_eX]

[DOI]

CoRR, 2016

A Scala library for testing student assignments on concurrent programming.

[BibT_eX]

[DOI]

Ravichandhran Madhavan

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

2015

User Interaction Models for Disambiguation in Programming by Example.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

Automating grammar comparison.

[BibT_eX]

[DOI]

Ravichandhran Madhavan

Sumit Gulwani

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

StriSynth: Synthesis for Live Programming.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013

Functional synthesis for linear arithmetic and sets.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2013

Game programming by demonstration.

[BibT_eX]

[DOI]