What'’s the Optimal Performance of Precise Dynamic Race Detection? –A Redundancy Perspective (Englisch)
Freier Zugriff
- Neue Suche nach: Huang, Jeff
- Neue Suche nach: Rajagopalan, Arun K.
- Neue Suche nach: Huang, Jeff
- Neue Suche nach: Rajagopalan, Arun K.
- Neue Suche nach: Müller, Peter
In:
LIPIcs, Volume 74, ECOOP 2017
: 31st European Conference on Object-Oriented Programming (ECOOP 2017)
;
74
;
15:1-15:22
;
2017
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:What'’s the Optimal Performance of Precise Dynamic Race Detection? –A Redundancy Perspective
-
Beteiligte:
-
Erschienen in:LIPIcs, Volume 74, ECOOP 2017 : 31st European Conference on Object-Oriented Programming (ECOOP 2017) ; 74 ; 15:1-15:22Leibniz International Proceedings in Informatics (LIPIcs) ; 74 ; 15:1-15:22
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:16.06.2017
-
Format / Umfang:22 pages , 744319 byte
-
Anmerkungen:LIPIcs, Vol. 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017), pages 15:1-15:22
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
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
-
Challenges to Achieving High Availability at Scale (Invited Talk)Schulte, Wolfram et al. | 2017
- 2
-
Composing Software in an Age of Dissonance (Invited Talk)Bracha, Gilad et al. | 2017
- 3
-
Retargeting Gradual Typing (Invited Talk)Tate, Ross et al. | 2017
- 4
-
Parallelizing Julia with a Non-Invasive DSLAnderson, Todd A. / Liu, Hai / Kuper, Lindsey / Totoni, Ehsan / Vitek, Jan / Shpeisman, Tatiana et al. | 2017
- 5
-
Modelling Homogeneous Generative Meta-ProgrammingBerger, Martin / Tratt, Laurence / Urban, Christian et al. | 2017
- 6
-
Relaxed Linear References for Lock-free Data StructuresCastegren, Elias / Wrigstad, Tobias et al. | 2017
- 7
-
Type Abstraction for Relaxed NoninterferenceCruz, Raimil / Rezk, Tamara / Serpette, Bernard / Tanter, Éric et al. | 2017
- 8
-
Concurrent Data Structures Linked in TimeDelbianco, Germán Andrés / Sergey, Ilya / Nanevski, Aleksandar / Banerjee, Anindya et al. | 2017
- 9
-
Contracts in the Wild: A Study of Java ProgramsDietrich, Jens / Pearce, David J. / Jezek, Kamil / Brada, Premek et al. | 2017
- 10
-
Evil Pickles: DoS Attacks Based on Object-Graph EngineeringDietrich, Jens / Jezek, Kamil / Rasheed, Shawn / Tahir, Amjed / Potanin, Alex et al. | 2017
- 11
-
Mixing Metaphors: Actors as Channels and Channels as ActorsFowler, Simon / Lindley, Sam / Wadler, Philip et al. | 2017
- 12
-
muPuppet: A Declarative Subset of the Puppet Configuration LanguageFu, Weili / Perera, Roly / Anderson, Paul / Cheney, James et al. | 2017
- 13
-
A Generic Approach to Flow-Sensitive Polymorphic EffectsGordon, Colin S. et al. | 2017
- 14
-
IceDust 2: Derived Bidirectional Relations and Calculation Strategy CompositionHarkes, Daco C. / Visser, Eelco et al. | 2017
- 15
-
What'’s the Optimal Performance of Precise Dynamic Race Detection? –A Redundancy PerspectiveHuang, Jeff / Rajagopalan, Arun K. et al. | 2017
- 16
-
Speeding Up Maximal Causality Reduction with Static Dependency AnalysisHuang, Shiyou / Huang, Jeff et al. | 2017
- 17
-
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in IrisKaiser, Jan-Oliver / Dang, Hoang-Hai / Dreyer, Derek / Lahav, Ori / Vafeiadis, Viktor et al. | 2017
- 18
-
A Co-contextual Type Checker for Featherweight JavaKuci, Edlira / Erdweg, Sebastian / Bracevac, Oliver / Bejleri, Andi / Mezini, Mira et al. | 2017
- 19
-
Proactive Synthesis of Recursive Tree-to-String Functions from ExamplesMayer, Mikaël / Hamza, Jad / Kuncak, Viktor et al. | 2017
- 20
-
A Capability-Based Module System for Authority ControlMelicher, Darya / Shi, Yangqingwei / Potanin, Alex / Aldrich, Jonathan et al. | 2017
- 21
-
Data Exploration through Dot-driven DevelopmentPetricek, Tomas et al. | 2017
- 22
-
Promising Compilation to ARMv8 POPPodkopaev, Anton / Lahav, Ori / Vafeiadis, Viktor et al. | 2017
- 23
-
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static AnalysisSaleil, Baptiste / Feeley, Marc et al. | 2017
- 24
-
A Linear Decomposition of Multiparty Sessions for Safe Distributed ProgrammingScalas, Alceste / Dardha, Ornela / Hu, Raymond / Yoshida, Nobuko et al. | 2017
- 25
-
Mailbox Abstractions for Static Analysis of Actor ProgramsStiévenart, Quentin / Nicolay, Jens / De Meuter, Wolfgang / De Roover, Coen et al. | 2017
- 26
-
Compiling Tree Transforms to Operate on Packed RepresentationsVollmer, Michael / Spall, Sarah / Chamith, Buddhika / Sakka, Laith / Koparkar, Chaitanya / Kulkarni, Milind / Tobin-Hochstadt, Sam / Newton, Ryan R. et al. | 2017
- 27
-
Towards Strong Normalization for Dependent Object Types (DOT)Wang, Fei / Rompf, Tiark et al. | 2017
- 28
-
Mixed Messages: Measuring Conformance and Non-Interference in TypeScriptWilliams, Jack / Morris, J. Garrett / Wadler, Philip / Zalewski, Jakub et al. | 2017
- 29
-
EVF: An Extensible and Expressive Visitor Framework for Programming Language ReuseZhang, Weixin / Oliveira, Bruno C. d. S. et al. | 2017
- 30
-
An Empirical Study on Deoptimization in the Graal CompilerZheng, Yudi / Bulej, Lubomír / Binder, Walter et al. | 2017