#### Filter Results:

- Full text PDF available (16)

#### Publication Year

2011

2018

- This year (4)
- Last 5 years (25)
- Last 10 years (28)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Rajeev Alur, Rastislav BodÃk, +13 authors Abhishek Udupa
- 2013 Formal Methods in Computer-Aided Design
- 2013

The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and programâ€¦ (More)

- Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
- 2013 28th Annual ACM/IEEE Symposium on Logic inâ€¦
- 2013

We propose a deterministic model for associating costs with strings that is parameterized by operations of interest (such as addition, scaling, and minimum), a notion of regularity that provides aâ€¦ (More)

- Mukund Raghothaman, Yi Wei, Youssef Hamadi
- 2016 IEEE/ACM 38th International Conference onâ€¦
- 2016

Modern programming frameworks come with large libraries, with diverse applications such as for matching regular expressions, parsing XML files and sending email. Programmers often use search enginesâ€¦ (More)

- Rajeev Alur, Dana Fisman, Mukund Raghothaman
- ESOP
- 2016

We propose quantitative regular expressions (QREs) as a high-level programming abstraction for specifying complex numerical queries over data streams in a modular way. Our language allows theâ€¦ (More)

- Rajeev Alur, Adam Freilich, Mukund Raghothaman
- CSL-LICS
- 2014

We focus on (partial) functions that map input strings to a monoid such as the set of integers with addition and the set of output strings with concatenation. The notion of regularity for suchâ€¦ (More)

- Mukund Raghothaman, Yi Wei, Youssef Hamadi
- ArXiv
- 2015

- Mukund Raghothaman, Abhishek Udupa
- ArXiv
- 2014

We present a language to specify syntax guided synthesis (SyGuS) problems. Syntax guidance is a prominent theme in contemporary program synthesis approaches, and SyGuS was first described in [1].â€¦ (More)

- Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
- PLDI
- 2018

Program analyses necessarily make approximations that often lead them to report true alarms interspersed with many false alarms. We propose a new approach to leverage user feedback to guide programâ€¦ (More)

Motivated by the successful application of the theory of regular languages to formal verification of finite-state systems, there is a renewed interest in developing a theory of analyzable functionsâ€¦ (More)

- Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
- Haifa Verification Conference
- 2014