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 | | |