33 citations · 83 across the 25 of their papers we have counts for
4 papers · 1 filter
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
We tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent behavior. Desig…
Constraint Answer Set Programming without Grounding
Joaquín Arias, Manuel Carro, Elmer Salazar +2
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, remove…
ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm
Siddharth Chitnis, Madhu Yennamani, Gopal Gupta
We report on the development of a general tool called ExSched, implemented as a plug-in for Microsoft Excel, for solving a class of constraint satisfaction problems. The traditiona…
An Efficient and Flexible Engine for Computing Fixed Points
Hai-Feng Guo, Gopal Gupta
An efficient and flexible engine for computing fixed points is critical for many practical applications. In this paper, we firstly present a goal-directed fixed point computation s…