| Synthesis of machine code from semantics V Srinivasan, T Reps Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 35 | 2015 |
| An improved algorithm for slicing machine code V Srinivasan, T Reps Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 27 | 2016 |
| Recovery of class hierarchies and composition relationships from machine code V Srinivasan, T Reps International Conference on Compiler Construction, 61-84, 2014 | 24 | 2014 |
| Partial evaluation of machine code V Srinivasan, T Reps Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 17 | 2015 |
| Speeding up machine-code synthesis V Srinivasan, T Sharma, T Reps ACM SIGPLAN Notices 51 (10), 165-180, 2016 | 12 | 2016 |
| Model-assisted machine-code synthesis V Srinivasan, A Vartanian, T Reps Proceedings of the ACM on Programming Languages 1 (OOPSLA), 61, 2017 | 6 | 2017 |
| Software Architecture Recovery from Machine Code VK Srinivasan, T Reps Technical Report TR1781, University of Wisconsin-Madison, 2013 | 5 | 2013 |
| Slicing machine code V Srinivasan, T Reps Technical Report TR1824, UW-Madison, 2015 | 3 | 2015 |
| Synthesis of Machine Code: Algorithms and Applications V Srinivasan The University of Wisconsin-Madison, 2017 | | 2017 |
| Algorithms for Machine-code Synthesis V Srinivasan | | |
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
