Selva Samuel

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 4

Top Topics

Probabilistic Logic Programs

Reversible Jump Markov Chain Monte Carlo

Top Venues

Publications

Selva Samuel, Jonathan Aldrich
Facilitating Connector Evolution With Architecture-Centric Development. ICSA Companion (2021)
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
Model-Based Adaptation for Robotics Software. IEEE Softw. 36 (2) (2019)
Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Amanda Rico, David Garlan
Challenges in physical modeling for adaptation of cyber-physical systems. WF-IoT (2016)
Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel
A Provably Correct Sampler for Probabilistic Programs. FSTTCS (2015)
Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel
R2: An Efficient MCMC Sampler for Probabilistic Programs. AAAI (2014)
Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel
Slicing probabilistic programs. PLDI (2014)