Mohammad Raza

Orcid: 0000-0002-2948-7532

According to our database1, Mohammad Raza authored at least 22 papers between 2009 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language.
Proc. VLDB Endow., November, 2023

CORNET: Learning Table Formatting Rules By Example.
Proc. VLDB Endow., 2023

From Words to Code: Harnessing Data for Program Synthesis from Natural Language.
CoRR, 2023

CoWrangler: Recommender System for Data-Wrangling Scripts.
Proceedings of the Companion of the 2023 International Conference on Management of Data, 2023

2022
Overwatch: learning patterns in code edit sequences.
Proc. ACM Program. Lang., 2022

CORNET: A neurosymbolic approach to learning conditional table formatting rules by example.
CoRR, 2022

Landmarks and regions: a robust approach to data extraction.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis.
Proc. ACM Program. Lang., 2021

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis.
CoRR, 2021

2020
Structure interpretation of text formats.
Proc. ACM Program. Lang., 2020

Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference.
Proceedings of the 2020 International Conference on Management of Data, 2020

2018
Disjunctive Program Synthesis: A Robust Approach to Programming by Example.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Interactive Program Synthesis.
CoRR, 2017

Automated Data Extraction Using Predictive Program Synthesis.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Greenness Link State Advertisement Extension for WDM Networks.
Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 2016

2015
Compositional Program Synthesis from Natural Language and Examples.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Mixed-Initiative Approaches to Global Editing in Slideware.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

2014
Programming by Example Using Least General Generalizations.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2010
Resource Reasoning and Labelled Separation Logic.
PhD thesis, 2010

Protein-protein interaction prediction using desolvation energies and interface properties.
Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine, 2010

2009
Footprints in Local Reasoning
Log. Methods Comput. Sci., 2009

Automatic Parallelization with Separation Logic.
Proceedings of the Programming Languages and Systems, 2009


  Loading...