Author of the publication

Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).

, , , and . Dagstuhl Reports, 6 (10): 1-12 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Trading off space for passes in graph streaming problems., , and . ACM Trans. Algorithms, 6 (1): 6:1-6:17 (2009)Static Analysis of ROP Code., , , and . EuroSec@EuroSys, page 2:1-2:6. ACM, (2019)Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)., , , and . Dagstuhl Reports, 6 (10): 1-12 (2016)SymNav: Visually Assisting Symbolic Execution., , , , , , , , and . VizSEC, page 1-11. IEEE, (2019)My (fair) big data., , , and . IEEE BigData, page 2974-2979. IEEE Computer Society, (2017)Ball-Larus path profiling across multiple loop iterations., and . OOPSLA, page 373-390. ACM, (2013)Oracles for Distances Avoiding a Failed Node or Link., , , and . SIAM J. Comput., 37 (5): 1299-1318 (2008)A portable virtual machine for program debugging and directing., and . SAC, page 1524-1530. ACM, (2004)Improved Bounds and New Trade-Offs for Dynamic All Pairs Shortest Paths., and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 633-643. Springer, (2002)Reversible Execution and Visualization of Programs with LEONARDO., , , and . J. Vis. Lang. Comput., 11 (2): 125-150 (2000)