Author of the publication

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

Monto: A Disintegrated Development Environment., , , and . SLE, volume 8706 of Lecture Notes in Computer Science, page 211-220. Springer, (2014)An interactive self-paced learning environment for the World Wide Web., and . ACSE, volume 1 of ACM International Conference Proceeding Series, page 344-351. ACM, (1996)Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution)., , , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 380-384. (2017)A Testbed for Studying Parallel Programs and Parallel Execution Architectures., , , , and . MASCOTS, page 95-106. The Society for Computer Simulation, (1993)Beyond Traditional Program Slicing, and . JCU-CS-95/8. Department of Computer Science, James Cook University, (August 1995)Specifying CSS layout with reference attribute grammars., , and . SPLASH (Companion Volume), page 29-30. ACM, (2016)Providing Timely Feedback to Large Classes., , , and . ICCE, page 413-414. IEEE Computer Society, (2002)Lightweight Language Processing in Kiama.. GTTSE, volume 6491 of Lecture Notes in Computer Science, page 408-425. Springer, (2009)Type inference for the spine view of data., and . WGP@ICFP, page 25-34. ACM, (2014)ScalaSMT: satisfiability modulo theory in Scala (tool paper)., and . SCALA@SPLASH, page 51-55. ACM, (2017)