- β€οΈ Formal Methods, Programming Languages, Concurrency, Distributed Systems
- π Ph.D. student in the Programming Methodology Group at ETH ZΓΌrich
- π« Check my website for contact info
jcp19 / irconverter Goto Github PK
View Code? Open in Web Editor NEWThis project forked from magpiebridge/irconverter
An IRConverter from WALA IR to Soot IR (Jimple)
License: Eclipse Public License 2.0