155 citations · 309 across the 27 of their papers we have counts for
3 papers · 1 filter
BNSynth: Bounded Boolean Functional Synthesis
Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya +2
The automated synthesis of correct-by-construction Boolean functions from logical specifications is known as the Boolean Functional Synthesis (BFS) problem. BFS has many applicatio…
CodeQueries: A Dataset of Semantic Queries over Code
Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj +3
Developers often have questions about semantic aspects of code they are working on, e.g., "Is there a class whose parent classes declare a conflicting attribute?". Answering them r…
Towards Multidimensional Textural Perception and Classification Through Whisker
Prasanna Kumar Routray, Aditya Sanjiv Kanade, Pauline Pounds +1
Texture-based studies and designs have been in focus recently. Whisker-based multidimensional surface texture data is missing in the literature. This data is critical for robotics…