Satya Gautam Vadlamudi

According to our database, Satya Gautam Vadlamudi authored at least 24 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Explicable Planning as Minimizing Distance from Expected Behavior.

Anagha Kulkarni, Yantian Zha, Tathagata Chakraborti, Satya Gautam Vadlamudi, Yu Zhang, Subbarao Kambhampati

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2017

RELSPEC: a framework for reliability aware design of component based embedded systems.

Saurav Kumar Ghosh, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti

Des. Autom. Embed. Syst., 2017

A Game Theoretic Approach to Strategy Generation for Moving Target Defense in Web Applications.

Sailik Sengupta, Satya Gautam Vadlamudi, Subbarao Kambhampati, Adam Doupé, Ziming Zhao, Marthony Taguinod, Gail-Joon Ahn

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

RADAR - A Proactive Decision Support System for Human-in-the-Loop Planning.

Sailik Sengupta, Tathagata Chakraborti, Sarath Sreedharan, Satya Gautam Vadlamudi, Subbarao Kambhampati

Proceedings of the 2017 AAAI Fall Symposia, Arlington, Virginia, USA, November 9-11, 2017, 2017

2016

Anytime pack search.

Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti

Nat. Comput., 2016

Moving Target Defense for Web Applications using Bayesian Stackelberg Games.

Satya Gautam Vadlamudi, Sailik Sengupta, Subbarao Kambhampati, Marthony Taguinod, Ziming Zhao, Adam Doupé, Gail-Joon Ahn

CoRR, 2016

Proactive Decision Support using Automated Planning.

Satya Gautam Vadlamudi, Tathagata Chakraborti, Yu Zhang, Subbarao Kambhampati

CoRR, 2016

Explicable Robot Planning as Minimizing Distance from Expected Behavior.

Anagha Kulkarni, Tathagata Chakraborti, Yantian Zha, Satya Gautam Vadlamudi, Yu Zhang, Subbarao Kambhampati

CoRR, 2016

Moving Target Defense for Web Applications using Bayesian Stackelberg Games: (Extended Abstract).

Satya Gautam Vadlamudi, Sailik Sengupta, Marthony Taguinod, Ziming Zhao, Adam Doupé, Gail-Joon Ahn, Subbarao Kambhampati

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

A Combinatorial Search Perspective on Diverse Solution Generation.

Satya Gautam Vadlamudi, Subbarao Kambhampati

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

GraphMat: High performance graph analytics made productive.

Narayanan Sundaram, Nadathur Satish, Md. Mostofa Ali Patwary, Subramanya Dulloor, Michael J. Anderson, Satya Gautam Vadlamudi, Dipankar Das, Pradeep Dubey

Proc. VLDB Endow., 2015

GraphMat: High performance graph analytics made productive.

Narayanan Sundaram, Nadathur Rajagopalan Satish, Md. Mostofa Ali Patwary, Subramanya Dulloor, Satya Gautam Vadlamudi, Dipankar Das, Pradeep Dubey

CoRR, 2015

Parallel Efficient Sparse Matrix-Matrix Multiplication on Multicore Platforms.

Md. Mostofa Ali Patwary, Nadathur Rajagopalan Satish, Narayanan Sundaram, Jongsoo Park, Michael J. Anderson, Satya Gautam Vadlamudi, Dipankar Das, Sergey G. Pudov, Vadim O. Pirogov, Pradeep Dubey

Proceedings of the High Performance Computing - 30th International Conference, 2015

2014

Robustness Analysis of Embedded Control Systems with Respect to Signal Perturbations: Finding Minimal Counterexamples Using Fault Injection.

Satya Gautam Vadlamudi, Partha Pratim Chakrabarti

IEEE Trans. Dependable Secur. Comput., 2014

2013

Incremental Beam search.

Satya Gautam Vadlamudi, Sandip Aine, P. P. Chakrabarti

Inf. Process. Lett., 2013

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications.

Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2013

Anytime Contract Search.

Sunandita Patra, Satya Gautam Vadlamudi, Partha Pratim Chakrabarti

Proceedings of the Research and Development in Intelligent Systems XXX, 2013

Anytime Pack Heuristic Search.

Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti

Proceedings of the Pattern Recognition and Machine Intelligence, 2013

A Mobility Simulation Framework Of Humans With Group Behavior Modeling.

Anshul Gupta, Aurosish Mishra, Satya Gautam Vadlamudi, P. P. Chakrabarti, Sudeshna Sarkar, Tridib Mukherjee, Nathan Gnanasambandam

Proceedings of the 2013 IEEE 13th International Conference on Data Mining, 2013

2012

Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults.

Vishal Shrivastav, Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha

Proceedings of the International Symposium on Electronic System Design, 2012

Anytime Algorithms for Mining Groups with Maximum Coverage.

Satya Gautam Vadlamudi, Partha Pratim Chakrabarti, Sudeshna Sarkar

Proceedings of the Tenth Australasian Data Mining Conference, AusDM 2012, Sydney, 2012

Anytime Column Search.

Satya Gautam Vadlamudi, Piyush Gaurav, Sandip Aine, Partha Pratim Chakrabarti

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

$\hbox {MAWA}^{\ast }$ - A Memory-Bounded Anytime Heuristic-Search Algorithm.

Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti

IEEE Trans. Syst. Man Cybern. Part B, 2011

A framework for early stage quality-fault tolerance analysis of embedded control systems.

Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011