Zeitschriftenartikel (127)

21.
Zeitschriftenartikel
Teisseyre, P.; Zufferey, D.; Słomka, M.: Cost-sensitive Classifier Chains: Selecting Low-cost Features in Multi-label Classification. Pattern Recognition 86, S. 290 - 319 (2019)
22.
Zeitschriftenartikel
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.: Fairness Constraints: A Flexible Approach for Fair Classification. Journal of Machine Learning Research 20, 75 (2019)
23.
Zeitschriftenartikel
Devriese, D.; Patrignani, M.; Piessens, F.: Parametricity Versus the Universal Type. Proceedings of the ACM on Programming Languages 2 (POPL), 38, S. 1 - 23 (2018)
24.
Zeitschriftenartikel
Dimitrova, R.; Majumdar, R.: Reachability Analysis of Reversal-bounded Automata on Series–parallel Graphs. Acta Informatica 55 (2), S. 153 - 189 (2018)
25.
Zeitschriftenartikel
Ezudheen, P.; Neider, D.; D'Souza, D.; Garg, P.; Madhusudan, P.: Horn-ICE Learning for Synthesizing Invariants and Contracts. Proceedings of the ACM on Programming Languages 2 (OOPSLA), 131, S. 1 - 25 (2018)
26.
Zeitschriftenartikel
He, M.; Vafeiadis, V.; Qin, S.; Ferreira, J. F.: GPS+: Reasoning About Fences and Relaxed Atomics. International Journal of Parallel Programming 46 (6), S. 1157 - 1183 (2018)
27.
Zeitschriftenartikel
Jung, R.; Krebbers, R.; Jourdan, J.-H.; Bizjak, A.; Birkedal, L.; Dreyer, D.: Iris from the Ground up: A modular Foundation for Higher-order Concurrent Separation Logic. Journal of Functional Programming 28, E20 (2018)
28.
Zeitschriftenartikel
Jung, R.; Jourdan, J.-H.; Krebbers, R.; Dreyer, D.: RustBelt: Securing the Foundations of the Rust Programming Language. Proceedings of the ACM on Programming Languages 2 (POPL), 66, S. 1 - 34 (2018)
29.
Zeitschriftenartikel
Kaiser, J.-O.; Ziliani, B.; Krebbers, R.; Régis-Gianas, Y.; Dreyer, D.: Mtac2:Typed Tactics for Backward Reasoning in Coq. Proceedings of the ACM on Programming Languages 2 (ICFP), 78 (2018)
30.
Zeitschriftenartikel
Kokologiannakis, M.; Lahav, O.; Sagonas, K.; Vafeiadis, V.: Effective Stateless Model Checking for C/C++ Concurrency. Proceedings of the ACM on Programming Languages 2 (POPL), 17, S. 1 - 32 (2018)
31.
Zeitschriftenartikel
Krebbers, R.; Jourdan, J.-H.; Jung, R.; Tassarotti, J.; Kaiser, J.-O.; Timany, A.; Charguéraud, A.; Dreyer, D.: MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic. Proceedings of the ACM on Programming Languages 2 (ICFP), 77 (2018)
32.
Zeitschriftenartikel
Lechner, A.; Mayr, R.; Ouaknine, J.; Pouly, A.; Worrell, J.: Model Checking Flat Freeze LTL on One-Counter Automata. Logical Methods in Computer Science 14 (4), 20, S. 1 - 21 (2018)
33.
Zeitschriftenartikel
Lee, J.; Hur, C.-K.; Jung, R.; Liu, Z.; Regehr, J.; Lopes, N. P.: Reconciling High-Level Optimizations and Low-Level Code in LLVM. Proceedings of the ACM on Programming Languages 2, 2 (2018)
34.
Zeitschriftenartikel
Lohar, D.; Darulova, E.; Putot, S.; Goubault, E.: Discrete Choice in the Presence of Numerical Uncertainties. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37 (11), S. 2381 - 2392 (2018)
35.
Zeitschriftenartikel
Lohrey, M.; Zetzsche, G.: Knapsack in Graph Groups. Theory of Computing Systems 62 (1), S. 192 - 246 (2018)
36.
Zeitschriftenartikel
Mace, J.; Roelke, R.; Fonseca, R.: Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems. ACM Transactions on Computer Systems 35 (4), 11, S. 1 - 28 (2018)
37.
Zeitschriftenartikel
Majumdar, R.; Niksic, F.: Why is Random Testing Effective for Partition Tolerance Bugs? Proceedings of the ACM on Programming Languages 2 (POPL), 46, S. 1 - 24 (2018)
38.
Zeitschriftenartikel
Neider, D.; Saha, S.; Madhusudan, P.: Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Transactions on Computational Logic 19 (2), 10, S. 1 - 23 (2018)
39.
Zeitschriftenartikel
Ozkan, B. K.; Majumdar, R.; Niksic, F.; Befrouei, M. T.; Weissenbacher, G.: Randomized Testing of Distributed Systems with Probabilistic Guarantees. Proceedings of the ACM on Programming Languages 2 (OOPSLA), 160, S. 1 - 28 (2018)
40.
Zeitschriftenartikel
Raad, A.; Vafeiadis, V.: Persistence Semantics for Weak Memory: Integrating Epoch Persistency with the TSO Memory Model. Proceedings of the ACM on Programming Languages 2 (OOPSLA), 137, S. 1 - 27 (2018)
Zur Redakteursansicht