5 citations · 5 across the 3 of their papers we have counts for
3 papers
Multilateral Micro-Monitoring for Internet Streaming
Roshan Shyamsunder, Lukas Lazerek, Christos Dimoulas +1
Video streaming is dominating the Internet. To compete with the performance of traditional cable and satellite options, content providers outsource the content delivery to third-pa…
A Transient Semantics for Typed Racket
Ben Greenman, Lukas Lazarek, Christos Dimoulas +1
Mixed-typed languages enable programmers to link typed and untyped components in various ways. Some offer rich type systems to facilitate the smooth migration of untyped code to th…
Faster Variational Execution with Transparent Bytecode Transformation
Chu-Pan Wong, Jens Meinicke, Lukas Lazarek +1
Variational execution is a novel dynamic analysis technique for exploring highly configurable systems and accurately tracking information flow. It is able to efficiently analyze ma…