Selva Samuel

According to our database, Selva Samuel authored at least 6 papers between 2014 and 2021.

Collaborative distances:

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

2021

Facilitating Connector Evolution With Architecture-Centric Development.

Selva Samuel, Jonathan Aldrich

Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

2019

Model-Based Adaptation for Robotics Software.

Jonathan Aldrich, David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Cámara, Pooyan Jamshidi

IEEE Softw., 2019

2016

Challenges in physical modeling for adaptation of cyber-physical systems.

Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Amanda Rico, David Garlan

Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

2015

A Provably Correct Sampler for Probabilistic Programs.

Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Slicing probabilistic programs.

Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

R2: An Efficient MCMC Sampler for Probabilistic Programs.

Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014