I am interested in programming languages and systems, in particular concurrent programming and memory management. I also care about formal methods, especially bit-precise reasoning through symbolic execution and bounded model checking. People in computer science know me for co-inventing logical execution time and the embedded programming language Giotto which by now have made their way into modern cars around the world.

I work on the design and implementation of programming languages. I led the implementation of the first real-time Java virtual machine to be flight-tested. With Noble and Potter, I proposed what became known as Ownership Types. I tried to understand JavaScript by dynamic analysis and am now looking at supporting scalable data analysis in R.

Coming from software engineering and domain-specific modeling. I’m interested in various aspects of programming languages in particular in static and dynamic program analysis. Most recently I have been working on dynamic tracing in R.

My research interests include real time systems, multimedia systems and programming languages. Most recently, I have been working on the R language.

I am interested in object-oriented, dynamically typed reflective programming languages in the tradition of Smalltalk, Self and Newspeak. I am currently working on the R language implementation. I am also working on my PhD thesis directed by Dr. Gilad Bracha.

I used to work professionally on PS3 and PS Vita compilers and toolchains. I am interested in design, analysis and optimization of programming languages (mostly dynamic), big code & synthesis and embedded systems. Currently I am working on large scale analysis of code on Github (mostly JavaScript).

I am particularly interested in program sandboxing and applying my knowledge from computer security to new areas. Currently I am working on the dependency tracker of the R4R tool.

I am most interested in virtual machines and their various aspects. My most recent work has been implementing an object-oriented programming language in purely functional language.

I'm your first contact with the lab. I am responsible for management, projects, budget, finance and administration. Just everything so that my colleagues can focus on their research work undisturbed.

I work on R language implementation (AST/byte-code interpreter, runtime). I worked on Java and real-time Java implementations (garbage collector, ahead-of-time compiler, interrupt control), on benchmarks and on benchmarking methodology (modeling non-determinism with random effects).

I work on the design, implementation, and semantics of programming languages, especially languages with powerful syntactic abstraction and extension capabilities. Much of my work in that area involves tools and libraries for the Racket macro system. I have also worked on the semantics of probabilistic programming languages.

I am interested in contributing to programming language research, which is a new field to me. I have a background in distributed computing, concurrency, and transactional memory. I am currently exploring the R language, its compilation, tracing, and static analysis.

I am looking to work with new programming languages and modifications to programming languages that enable transparent networked computation.

I'm interested in PL design and implementation, compilers, and functional programming. I used to work on generic programming in Haskell. I also worked at SFedU on an educational programming language PascalABC.NET and explored syntactic sugar models. Currently, I am exploring the Racket language and macro system.

I am interested in logic and foundations of computing science, and more specifically programming languages theory. I am currently learning the R language and how to help programmers test their R programs better.

I enjoy learning about and working on programming languages, especially their implementation and optimization. I have worked on an optimizing compiler for R most of my time here which has proven both challenging and rewarding.

I am most interested in the design of functional programming languages and their type systems. I am currently working on a statically typed, lazy functional programming language with an expressive type system.

I am interested in programming languages, and in computer architecture. I am currently working on extending contextual dispatch in the Ř compiler.

I am interested in purely functional programming and programming language semantics. I currently work on dynamic tracing of Haskell programs.

Currently, I do research on how to mitigate bias of GitHub datasets that researchers use to test various hypothesis.

I am interested in the runtimes of programming languages.

Being a curious person, I am fascinated by the new Machine Learning techniques, that can bring an additional value of intelligence to nearly every field in our lives. My current goal is to implement Machine Learning methods in the project.