Skip to Main content Skip to Navigation


...
hal-01955305v1  Master thesis
Daniel Coggia. On subspace trails cryptanalysis
Cryptography and Security [cs.CR]. 2018
...
tel-01950884v2  Theses
Nadim Kobeissi. Formal Verification for Real-World Cryptographic Protocols and Implementations
Computer Science [cs]. INRIA Paris; Ecole Normale Supérieure de Paris - ENS Paris, 2018. English
hal-01837891v1  Directions of work or proceedings
Martin LeuckerJorge PérezCamilo RuedaFrank D. Valencia. Special Issue: Best Papers Presented at ICTAC 2015
Cambridge University Press, 2018, Mathematical Structures in Computer Science
...
hal-01948714v1  Book sections
François FagesGuillaume Le Guludec. Biochemical Programs and Analog-Digital Mixed Algorithms in the Cell
Life Sciences, Information Sciences, John Wiley & Sons, Inc., pp.201-216, 2018, 9781786302434. ⟨10.1002/9781119452713.ch19⟩
hal-01724375v1  Journal articles
Imen Ben OthmaneJoseph Di MartinoKais Ouni. Enhancement of esophageal speech using statistical and neuromimetic voice conversion techniques
Journal of International Science and General Applications, ISGA, 2018, 1 (1), pp.10
hal-01992078v1  Journal articles
Alhussein FawziOmar FawziPascal Frossard. Analysis of classifiers’ robustness to adversarial perturbations
Machine Learning, Springer Verlag, 2018, 107 (3), pp.481-508
...
hal-01817505v1  Journal articles
Adam GaierAlexander AsterothJean-Baptiste Mouret. Data-Efficient Design Exploration through Surrogate-Assisted Illumination
Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2018, 26 (3), pp.381-410. ⟨10.1162/evcoa_00231⟩
...
hal-01666104v1  Journal articles
Thomas WilliamsDidier Rémy. A Principled Approach to Ornamentation in ML
Proceedings of the ACM on Programming Languages, ACM, 2018, pp.1-30. ⟨10.1145/3158109⟩
hal-01949207v1  Journal articles
Niki VazouÉric TanterDavid van Horn. Gradual liquid type inference
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (OOPSLA), pp.1-25. ⟨10.1145/3276502⟩
...
hal-01672734v1  Journal articles
Danel Ahman. Handling Fibred Algebraic Effects
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-29. ⟨10.1145/3158095⟩
...
hal-01559073v6  Journal articles
Nicolas TabareauÉric TanterMatthieu Sozeau. Equivalences for Free
Proceedings of the ACM on Programming Languages, ACM, 2018, ICFP'18, 2 (ICFP), pp.1-29. ⟨10.1145/3234615⟩
hal-01949209v1  Journal articles
Max NewAmal Ahmed. Graduality from embedding-projection pairs
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1-30. ⟨10.1145/3236768⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
hal-01646765v1  Journal articles
Olivier FlückigerGabriel SchererMing-Ho YeeAviral GoelAmal Ahmed et al.  Correctness of Speculative Optimizations with Dynamic Deoptimization
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), ⟨10.1145/3158137⟩
...
hal-01672735v1  Journal articles
William J. BowmanYouyou CongNick RiouxAmal Ahmed. Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
...
hal-01929178v1  Journal articles
James KoppelGabriel SchererArmando Solar-Lezama. Capturing the Future by Replaying the Past Functional Pearl
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 29. ⟨10.1145/3236771⟩
...
hal-01882137v1  Journal articles
Francesco Zappa NardelliJulia BelyakovaArtem PelenitsynBenjamin ChungJeff Bezanson et al.  Julia Subtyping: A Rational Reconstruction
Proceedings of the ACM on Programming Languages, ACM, 2018, 27, ⟨10.1145/3276483⟩
...
hal-01893534v1  Conference papers
Jijju ThomasChristophe FiterLaurentiu HetelNathan van de WouwJean-Pierre Richard. Dissipativity based stability criterion for aperiodic sampled-data systems subject to time-delay
5th IFAC Conference on Analysis and Control of Chaotic Systems (CHAOS), Oct 2018, Eindhoven, Netherlands
...
hal-01951948v1  Conference papers
Wenjuan GuDiego CattaruzzaMaxime OgierFrédéric Semet. Adaptive large neighborhood search for multicommodity VRP
Odysseus 2018 - the Seventh International Workshop on Freight Transportation and Logistics, Jun 2018, Cagliari, Italy