R2: An Efficient MCMC Sampler for Probabilistic Programs. - Aditya V. Nori; Chung-Kil Hur; Sriram K. Rajamani; Selva Samuel (AAAI, 2014)

Slicing probabilistic programs. - Chung-Kil Hur; Aditya V. Nori; Sriram K. Rajamani; Selva Samuel (PLDI, 2014)

A Provably Correct Sampler for Probabilistic Programs. - Chung-Kil Hur; Aditya V. Nori; Sriram K. Rajamani; Selva Samuel (FSTTCS, 2015)

Challenges in physical modeling for adaptation of cyber-physical systems. - Ivan Ruchkin; Selva Samuel; Bradley R. Schmerl; Amanda Rico; David Garlan (WF-IoT, 2016)

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; et al. (IEEE Softw., 2019)

Facilitating Connector Evolution With Architecture-Centric Development. - Selva Samuel; Jonathan Aldrich (ICSA Companion, 2021)