Perera, Roly
- Data Provenance as Automatic Differentiation
2025/11/12 by Robert Atkey, Roly Perera, Atkey, Robert +1 · 3 voices
Computer Science · Decision Sciences · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Scientific Computing and Data Management #Software Engineering Research #Software Testing and Debugging Techniques #cs.PL
- Causally consistent dynamic slicing
2016/10/07 by Roly Perera, Deepak Garg, Perera, Roly +3 · 1 citation
Computer Science · #Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques #and Cluster Computing (cs.DC)
- The meaning of a program change is a change to the program's meaning
2019/08/02 by Roly Perera, Perera, Roly · 1 voice
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Linked visualisations via Galois dependencies
2021/09/01 by Perera, Roly, Nguyen, Minh, Petricek, Tomas +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Cognacy Queries over Dependence Graphs for Transparent Visualisations
2024/03/07 by Joseph Bond, Cristina David, Bond, Joseph +7 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL