White Box Sampling in Uncertain Data Processing Enabled by Program Analysis (English)
- New search for: Bao, T.
- New search for: Zheng, Y.
- New search for: Zhang, X.
- New search for: Bao, T.
- New search for: Zheng, Y.
- New search for: Zhang, X.
In:
Proceedings of the 2012 ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12)
10
;
897-914
;
2012
-
ISSN:
- Article (Journal) / Print
-
Title:White Box Sampling in Uncertain Data Processing Enabled by Program Analysis
-
Contributors:
-
Published in:Proceedings of the 2012 ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12) , 10 ; 897-914ACM SIGPLAN NOTICES ; 47, 10 ; 897-914
-
Publisher:
- New search for: ACM
-
Publication date:2012-01-01
-
Size:18 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.1 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 47, Issue 10
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Type-Based Safe Resource Deallocation for Shared-Memory ConcurrencySuenaga, K. / Fukuda, R. / Igarashi, A. et al. | 2012
- 21
-
Uniqueness and Reference Immutability for Safe ParallelismGordon, C.S. / Parkinson, M.J. / Parsons, J. / Bromfield, A. / Duffy, J. et al. | 2012
- 41
-
Safe Compiler-Driven Transaction Checkpointing and RecoverySreeram, J. / Pande, S. et al. | 2012
- 57
-
Towards a Practical Secure Concurrent LanguageMuller, S. / Chong, S. et al. | 2012
- 75
-
Predicate Abstraction of Java Programs with CollectionsParizek, P. / Lhotak, O. et al. | 2012
- 95
-
Reducing the Barriers to Writing Verified SpecificationsSchiller, T.W. / Ernst, M.D. et al. | 2012
- 113
-
GPUVerify: A Verifier for GPU KernelsBetts, A. / Chong, N. / Donaldson, A.F. / Qadeer, S. / Thomson, P. et al. | 2012
- 133
-
Modular and Verified Automatic Program RepairLogozzo, F. / Ball, T. et al. | 2012
- 147
-
Mitigating the Compiler Optimization Phase-Ordering Problem Using Machine LearningKulkarni, S. / Cavazos, J. et al. | 2012
- 163
-
Optimization Coaching: Optimizers Learn to Communicate with ProgrammersSt-Amour, V. / Tobin-Hochstadt, S. / Felleisen, M. et al. | 2012
- 179
-
Adaptive Multi-Level Compilation in a Trace-Based Java JIT CompilerInoue, H. / Hayashizaki, H. / Wu, P. / Nakatani, T. et al. | 2012
- 195
-
On the Benefits and Pitfalls of Extending a Statically Typed Language JIT Compiler for Dynamic Scripting LanguagesCastanos, J. / Edelsohn, D. / Ishizaki, K. / Nagpurkar, P. / Nakatani, T. / Ogasawara, T. / Wu, P. et al. | 2012
- 213
-
An Abstract Interpretation Framework for Refactoring with Application to Extract Methods with ContractsCousot, P. / Cousot, R. / Logozzo, F. / Barnett, M. et al. | 2012
- 233
-
Refactoring Android Java Code for On-Demand Computation OffloadingZhang, Y. / Huang, G. / Liu, X. / Zhang, W. / Mei, H. / Yang, S. et al. | 2012
- 249
-
Kitsune: Efficient, General-Purpose Dynamic Software Updating for CHayden, C.M. / Smith, E.K. / Denchev, M. / Hicks, M. / Foster, J.S. et al. | 2012
- 265
-
Automating Object Transformations for Dynamic Software UpdatingMagill, S. / Hicks, M. / Subramanian, S. / McKinley, K.S. et al. | 2012
- 281
-
Exploring Multi-Threaded Java Application Performance on Multicore HardwareSartor, J.B. / Eeckhout, L. et al. | 2012
- 297
-
Work-Stealing without the BaggageKumar, V. / Frampton, D. / Blackburn, S.M. / Grove, D. / Tardieu, O. et al. | 2012
- 315
-
Molecule: Using Monadic and Streaming I/O to Compose Process Networks on the JVMBocq, S. / Daenen, K. et al. | 2012
- 335
-
A Black-Box Approach to Understanding Concurrency in DaCapoKalibera, T. / Mole, M. / Jones, R. / Vitek, J. et al. | 2012
- 355
-
Automatically Enhancing Locality for Tree Traversals with Traversal SplicingJo, Y. / Kulkarni, M. et al. | 2012
- 375
-
Elixir: A System for Synthesizing Concurrent Graph ProgramsPrountzos, D. / Manevich, R. / Pingali, K. et al. | 2012
- 395
-
From Clarity to Efficiency for Distributed AlgorithmsLiu, Y.A. / Stoller, S.D. / Lin, B. / Gorbovitski, M. et al. | 2012
- 411
-
Program Extrapolation with JennisysRustan, K. / Leino, M. / Milicevic, A. et al. | 2012
- 431
-
Bolt: On-Demand Infinite Loop Escape in Unmodified BinariesKling, M. / Misailovic, S. / Carbin, M. / Rinard, M. et al. | 2012
- 451
-
LEAN: Simplifying Concurrency Bug Reproduction via Replay-Supported Execution ReductionHuang, J. / Zhang, C. et al. | 2012
- 467
-
IFRit: Interference-Free Regions for Dynamic Data-Race DetectionEffinger-Dean, L. / Lucia, B. / Ceze, L. / Grossman, D. / Boehm, H.-J. et al. | 2012
- 485
-
Maple: A Coverage-Driven Testing Tool for Multithreaded ProgramsYu, J. / Narayanasamy, S. / Pereira, C. / Pokam, G. et al. | 2012
- 503
-
Taming MATLABDubrau, A. / Hendren, L. et al. | 2012
- 523
-
Scaling Symbolic Execution Using Ranged AnalysisSiddiqui, J.H. / Khurshid, S. et al. | 2012
- 537
-
Higher-Order Symbolic Execution via ContractsTobin-Hochstadt, S. / Van Horn, D. et al. | 2012
- 555
-
Checking Reachability Using Matching LogicRosu, G. / Stefanescu, A. et al. | 2012
- 575
-
The HipHop Compiler for PHPZhao, H. / Proctor, I. / Yang, M. / Qi, X. / Williams, M. / Gao, Q. / Ottoni, G. / Paroski, A. / MacVicar, S. / Evans, J. et al. | 2012
- 587
-
Dependent Types for JavaScriptChugh, R. / Herman, D. / Jhala, R. et al. | 2012
- 607
-
Eval Begone!: Semi-Automated Removal of Eval from JavaScript ProgramsMeawad, F. / Richards, G. / Morandat, F. / Vitek, J. et al. | 2012
- 621
-
Formal Specification of a JavaScript Module SystemKang, S. / Ryu, S. et al. | 2012
- 639
-
AutoMan: A Platform for Integrating Human-Based and Digital ComputationBarowy, D.W. / Curtsinger, C. / Berger, E.D. / McGregor, A. et al. | 2012
- 655
-
Talk versus Work: Characteristics of Developer Collaboration on the Jazz PlatformDatta, S. / Sindhgatta, R. / Sengupta, B. et al. | 2012
- 669
-
Speculative Analysis of Integrated Development Environment RecommendationsMuslu, K. / Brun, Y. / Holmes, R. / Ernst, M.D. / Notkin, D. et al. | 2012
- 683
-
An Empirical Study of the Influence of Static Type Systems on the Usability of Undocumented SoftwareMayer, C. / Hanenberg, S. / Robbes, R. / Tanter, E. / Stefik, A. et al. | 2012
- 703
-
Software Data-Triggered ThreadsTseng, H.-W. / Tullsen, D.M. et al. | 2012
- 717
-
Efficiently Combining Parallel Software Using Fine-grained, Language-level, Hierarchical Resource Management PoliciesAnderson, Z. et al. | 2012
- 737
-
Execution Privatization for Scheduler-Oblivious Concurrent ProgramsHuang, J. / Zhang, C. et al. | 2012
- 753
-
Integrating Task Parallelism with ActorsImam, S. / Sarkar, V. et al. | 2012
- 773
-
A Variability-Aware Module SystemKastner, C. / Ostermann, K. / Erdweg, S. et al. | 2012
- 793
-
Gradual Typing for First-Class ClassesTakikawa, A. / Strickland, T.S. / Dimoulas, C. / Tobin-Hochstadt, S. / Felleisen, M. et al. | 2012
- 811
-
Constrained KindsTardieu, O. / Nystrom, N. / Peshansky, I. / Saraswat, V. et al. | 2012
- 831
-
Energy TypesCohen, M. / Zhu, H.S. / Emgin, E.E. / Liu, Y.D. et al. | 2012
- 851
-
Exploiting Inter-Sequence Correlations for Program Behavior PredictionWu, B. / Zhao, Z. / Shen, X. / Jiang, Y. / Gao, Y. / Silvera, R. et al. | 2012
- 867
-
k-Calling Context ProfilingAusiello, G. / Demetrescu, C. / Finocchi, I. / Firmani, D. et al. | 2012
- 879
-
ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method PurityHuang, W. / Milanova, A. / Dietl, W. / Ernst, M.D. et al. | 2012
- 897
-
White Box Sampling in Uncertain Data Processing Enabled by Program AnalysisBao, T. / Zheng, Y. / Zhang, X. et al. | 2012
- 915
-
Detecting Problematic Message Sequences and Frequencies in Distributed SystemsLucas, C. / Elbaum, S. / Rosenblum, D.S. et al. | 2012
- 927
-
Reusing Debugging Knowledge via Trace-based Bug SearchGu, Z. / Barr, E.T. / Schleck, D. / Su, Z. et al. | 2012
- 943
-
Chaperones and Impersonators: Run-Time Support for Reasonable InterpositionStrickland, T.S. / Tobin-Hochstadt, S. / Findler, R.B. / Flatt, M. et al. | 2012
- 963
-
Open and Efficient Type Switch for C++Solodkyy, Y. / Dos Reis, G. / Stroustrup, B. et al. | 2012
- 983
-
Understanding the Behavior of Database Operations under Program ControlTamayo, J.M. / Aiken, A. / Bronson, N. / Sagiv, M. et al. | 2012
- 997
-
Typestate-Based Semantic Code Search over Partial ProgramsMishne, A. / Shoham, S. / Yahav, E. et al. | 2012
- 1017
-
Finding Reusable Data StructuresXu, G. et al. | 2012