Search

5 Nov 2023: systematic corruption of fields read form the FS (as part of the symbolic execution), and test suites from file system checkers (which they generalize, to get more permutations). ... Scalability is tested by looking at how much of the code is covered

5 Nov 2023: Evaluation through test-bed experiments show 6 to 20% improvement in Goodput. ... We show through several micro-benchmark tests that the adaptive sampling scheme adjusts the sampling rate of sensors dynamically based on the user's context and balances

5 Nov 2023: We show through several micro-benchmark tests that the adaptive sampling scheme adjusts the sampling rate of sensors dynamically based on the user's context and balances energy-accuracy-latency

5 Nov 2023: They try flipping the order of apparently racey interactions and test the program (failure detection?) They have a prototype that's found some real races.

5 Nov 2023: 24Oct/13As far as I'm concerned, starting technical sessions before 9AM should be made illegal, but hey, at least we have the best paper presented in the first session! Today we have sessions about mobile, weather (in the clouds), routing and phones.

5 Nov 2023: PHP Program analysis at Facebook. Pffff is all about deadcode removal, test coverage, checking for undefined function and use of undeclared variables, and syntactical grep rules. ... Add build_test to your OPAM to make it easier to test the compiler, and

5 Nov 2023: You need an all-inclusive system. People want pluggability. Dev/test tools and different from production tools. ... CentOS Linux: A Continuously integrating platform. CentOS has thousands of extra tests, performed on every build.

5 Nov 2023: Took 3 months to implement. Future: implement missing features, improve performance, test suites, integration with Mirage. ... Q: How about tests? A: We have a test suite but we'd like to automatically generate tests and run them against other

5 Nov 2023: Another interesting talk discussed the economic value of mobile location data, presenting scenarios user actions can be monetized and profit shared among different service providers.

5 Nov 2023: Let-it-crash leads to shorter, less defensive code with fewer branch points and test cases. ... It had unclear ownership, complex dependencies, lengthy test cycles, and unexpected performance impacts from small changes.