Biblio

Export 2 results:
Filters: Author is Luís Pina  [Clear All Filters]
2017
Pina L, Grumberg D, Andronidis A, Cadar C.  2017.  A DSL Approach to Reconcile Equivalent Divergent Program Executions. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :417--429.
2013
Pina L, Hicks M.  2013.  Rubah: Efficient, General-purpose Dynamic Software Updating for Java. 5th Workshop on Hot Topics in Software Upgrades (HotSWUp 13).