Our vision is a collection of 10,000 Java projects, each of which builds and runs, and for which popular tools succeed and have cached outputs. This National Java Resource will lower the barrier to implementation of new tools, speed up research, and ultimately help advance research frontiers. In particular, the National Java Resource will enable tools that take advantage of Big Code in such areas as code synthesis, error repair, and program understanding. Ideas for the National Java Resource include easy search for projects with desired characteristics, examples of how to run a new tool on the entire collection, and a web interface that enables anyone to run experiments.
Workshop goal: What do researchers need from a National Java Resource to make progress on their tools? A common road block is that existing collections of Java code are either small, without ability to build and run, or both. The main goals of the workshops are to:
- discuss the list of tools that researchers commonly use as building blocks for their own tools,
- debate what features of the National Java Resource that researchers would like to see, and
- see how an early prototype of the National Java Resource works.
We hope that several of the workshop participants will sign up to be early users and evaluators of our infrastructure.
A glimpse of the capabilities of an early prototype of a National Java Resource.
Mon 23 Oct Times are displayed in time zone: Tijuana, Baja California change
08:30 - 10:00
|Welcome and Overview of NJR|
|Benchmarking for Program Analysis|
Cristina CifuentesOracle Labs, Karim AliUniversity of Alberta, Yannis SmaragdakisUniversity of AthensFile Attached
|Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud|
Jonathan BellGeorge Mason UniversityFile Attached
|XCorpus, An Executable Corpus of Java Programs|
Jens DietrichMassey UniversityFile Attached
10:30 - 12:00
|Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time|
Harry XuUniversity of California, IrvineFile Attached
|Automated Benchmark Management|
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Ben HermannUniversity of PaderbornFile Attached
|Tool Support for Energy-Aware Programming|
Yu David LiuState University of New York (SUNY) BinghamtonFile Attached
|Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions|
Michael D. BondOhio State University