Static Analysis for Independent App Developers (Englisch)
- Neue Suche nach: Brutschy, L.
- Neue Suche nach: Ferrara, P.
- Neue Suche nach: Muller, P.
- Neue Suche nach: Brutschy, L.
- Neue Suche nach: Ferrara, P.
- Neue Suche nach: Muller, P.
In:
ACM SIGPLAN NOTICES
;
49
, 10
;
847-860
;
2014
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Static Analysis for Independent App Developers
-
Beteiligte:
-
Erschienen in:ACM SIGPLAN NOTICES ; 49, 10 ; 847-860
-
Verlag:
- Neue Suche nach: ACM
-
Erscheinungsdatum:01.01.2014
-
Format / Umfang:14 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005.1
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 005.1 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 49, Ausgabe 10
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Checking Correctness of TypeScript Interfaces for JavaScript LibrariesFeldthaus, A. / Moller, A. et al. | 2014
- 17
-
Determinacy in Static Analysis for jQueryAndreasen, E. / Moller, A. et al. | 2014
- 33
-
Eventbreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test GenerationPradel, M. / Schuh, P. / Necula, G. / Sen, K. et al. | 2014
- 49
-
Using Web Corpus Statistics for Program AnalysisHsiao, C.-H. / Cafarella, M. / Narayanasamy, S. et al. | 2014
- 67
-
Tardis: Affordable Time-Travel Debugging in Managed RuntimesBarr, E.T. / Marron, M. et al. | 2014
- 83
-
Phosphor: Illuminating Dynamic Data Flow in Commodity JVMsBell, J. / Kaiser, G. et al. | 2014
- 103
-
Rubah: DSU for Java on a Stock JVMPina, L. / Veiga, L. / Hicks, M. et al. | 2014
- 121
-
Fast Conservative Garbage CollectionShahriyar, R. / Blackburn, S.M. / McKinley, K.S. et al. | 2014
- 141
-
Region-Based Memory Management for GPU Programming Languages: Enabling Rich Data Structures on a Spartan HostHolk, E. / Newton, R. / Siek, J. / Lumsdaine, A. et al. | 2014
- 157
-
Smten with Satisfiability-Based SearchUhler, R. / Dave, N. et al. | 2014
- 177
-
StreamJIT: A Commensal Compiler for High-Performance Stream ProgrammingBosboom, J. / Rajadurai, S. / Wong, W.-F. / Amarasinghe, S. et al. | 2014
- 197
-
SurveyMan: Programming and Automatically Debugging SurveysTosch, E. / Berger, E.D. et al. | 2014
- 213
-
Rate Types for Stream ProgramsBartenstein, T.W. / Liu, Y.D. et al. | 2014
- 233
-
Foundations of Path-Dependent TypesAmin, N. / Rompf, T. / Odersky, M. et al. | 2014
- 251
-
Confined Gradual TypingAllende, E. / Fabry, J. / Garcia, R. / Tanter, E. et al. | 2014
- 271
-
Refactoring Java Generics by Inferring Wildcards, In PracticeAltidor, J. / Smaragdakis, Y. et al. | 2014
- 291
-
Continuously Measuring Critical Section Pressure with the Free-Lunch ProfilerDavid, F. / Thomas, G. / Lawall, J. / Muller, G. et al. | 2014
- 309
-
Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational KernelsMisailovic, S. / Carbin, M. / Achour, S. / Qi, Z. / Rinard, M. et al. | 2014
- 329
-
An Experimental Survey of Energy Management Across the StackKambadur, M. / Kim, M.A. et al. | 2014
- 345
-
Understanding Energy Behaviors of Thread Management ConstructsPinto, G. / Castor, F. / Liu, Y.D. et al. | 2014
- 361
-
Distributed REScala: An Update Algorithm for Distributed Reactive ProgrammingDrechsler, J. / Salvaneschi, G. / Mogk, R. / Mezini, M. et al. | 2014
- 377
-
From Object Algebras to Attribute GrammarsRendel, T. / Brachthauser, J.I. / Ostermann, K. et al. | 2014
- 397
-
Late Data Layout: Unifying Data Representation TransformationsUreche, V. / Burmako, E. / Odersky, M. et al. | 2014
- 417
-
i3QL: Language-Integrated Live Data ViewsMitschke, R. / Erdweg, S. / Kohler, M. / Mezini, M. / Salvaneschi, G. et al. | 2014
- 433
-
Atlas: Leveraging Locks for Non-Volatile Memory ConsistencyChakrabarti, D.R. / Boehm, H.-J. / Bhandari, K. et al. | 2014
- 453
-
Fast Splittable Pseudorandom Number GeneratorsSteele, G.L. / Lea, D. / Flood, C.H. et al. | 2014
- 473
-
Multithreaded Test Synthesis for Deadlock DetectionSamak, M. / Ramanathan, M.K. et al. | 2014
- 491
-
Symbolic Execution of Multithreaded Programs from Arbitrary Program ContextsBergan, T. / Grossman, D. / Ceze, L. et al. | 2014
- 507
-
CheckCell: Data Debugging for SpreadsheetsBarowy, D.W. / Gochev, D. / Berger, E.D. et al. | 2014
- 525
-
Finding Minimum Type Error SourcesPavlinovic, Z. / King, T. / Wies, T. et al. | 2014
- 543
-
Flint: Fixing Linearizability ViolationsLiu, P. / Tripp, O. / Zhang, X. et al. | 2014
- 561
-
Statistical Debugging for Real-World Performance ProblemsSong, L. / Lu, S. et al. | 2014
- 579
-
Adaptive LL(*) Parsing: The Power of Dynamic AnalysisParr, T. / Harwell, S. / Fisher, K. et al. | 2014
- 599
-
Automated Migration of Build Scripts Using Dynamic Analysis and Search-Based RefactoringGligoric, M. / Schulte, W. / Prasad, C. / van Velzen, D. / Narasamdya, I. / Livshits, B. et al. | 2014
- 617
-
MIX10: Compiling MATLAB to X10 for High PerformanceKumar, V. / Hendren, L. et al. | 2014
- 637
-
Staged Parser Combinators for Efficient Data ProcessingJonnalagedda, M. / Coppey, T. / Stucki, S. / Rompf, T. / Odersky, M. et al. | 2014
- 655
-
Bounded Exhaustive Test Input Generation from Hybrid InvariantsRosner, N. / Bengolea, V. / Ponzio, P. / Khalek, S.A. / Aguirre, N. / Frias, M.F. / Khurshid, S. et al. | 2014
- 675
-
Compiler Verification Meets Cross-Language Linking via Data AbstractionWang, P. / Cuellar, S. / Chlipala, A. et al. | 2014
- 691
-
GPS: Navigating Weak Memory with Ghosts, Protocols, and SeparationTuron, A. / Vafeiadis, V. / Dreyer, D. et al. | 2014
- 709
-
Natural Proofs for Asynchronous Programs Using Almost-Synchronous ReductionsDesai, A. / Garg, P. / Madhusudan, P. et al. | 2014
- 727
-
Accelerating Iterators in Optimizing AST InterpretersZhang, W. / Larsen, P. / Brunthaler, S. / Franz, M. et al. | 2014
- 745
-
Call Sequence Prediction Through Probabilistic Calling AutomataZhao, Z. / Wu, B. / Zhou, M. / Ding, Y. / Sun, J. / Shen, X. / Wu, Y. et al. | 2014
- 763
-
Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program OptimizationsZhou, M. / Shen, X. / Gao, Y. / Yiu, G. et al. | 2014
- 777
-
The Hiphop Virtual MachineAdams, K. / Evans, J. / Maher, B. / Ottoni, G. / Paroski, A. / Simmers, B. / Smith, E. / Yamauchi, O. et al. | 2014
- 791
-
Validation of Memory Accesses Through Symbolic AnalysesNazare, H. / Maffra, I. / Santos, W. / Oliveira, L.B. / Gonnord, L. / Pereira, F.M.Q. et al. | 2014
- 811
-
Abstract Semantic Differencing via Speculative CorrelationPartush, N. / Yahav, E. et al. | 2014
- 829
-
Efficient Subcubic Alias Analysis for CZhang, Q. / Xiao, X. / Zhang, C. / Yuan, H. / Su, Z. et al. | 2014
- 847
-
Static Analysis for Independent App DevelopersBrutschy, L. / Ferrara, P. / Muller, P. et al. | 2014
- 861
-
ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency Based DSMVora, K. / Koduru, S.C. / Gupta, R. et al. | 2014
- 879
-
Alembic: Automatic Locality Extraction Via MigrationHolt, B. / Briggs, P. / Ceze, L. / Oskin, M. et al. | 2014
- 895
-
Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel ProgramsXiao, T. / Guo, Z. / Zhou, H. / Zhang, J. / Zhao, X. / Ye, C. / Wang, X. / Lin, W. / Chen, W. / Zhou, L. et al. | 2014
- 909
-
Translating Imperative Code to MapReduceRadoi, C. / Fink, S.J. / Rabbah, R. / Sridharan, M. et al. | 2014