Increasing human-tool interaction via the web

Authors:
Thomas Ball;Peli de Halleux;Nikhil Swamy;Daan Leijen
Affiliations:
Microsoft Research;Microsoft Research;Microsoft Research;Microsoft Research
Venue:
Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Year:
2013

Citing 7
Cited 0

Z3: an efficient SMT solver

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
The essence of javascript

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Dafny: an automatic program verifier for functional correctness

LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Fast and precise sanitizer analysis with BEK

SEC'11 Proceedings of the 20th USENIX conference on Security
Fully abstract compilation to JavaScript

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automated feedback generation for introductory programming assignments

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Teaching and learning programming and software engineering via interactive gaming

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software tools researchers can accelerate their ability to learn by exposing tools to users via web technologies, allowing them to observe and test the interactions between humans and tools. At Microsoft Research, we have developed a web service (http://www.rise4fun.com/) for such a purpose that is available for community use.