3Rd Summit on Advances in Programming Languages (SNAPL 2019)

Total Page:16

File Type:pdf, Size:1020Kb

3Rd Summit on Advances in Programming Languages (SNAPL 2019) 3rd Summit on Advances in Programming Languages SNAPL 2019, May 16–17, 2019, Providence, RI, USA Edited by Benjamin S. Lerner Rastislav Bodík Shriram Krishnamurthi L I P I c s – Vo l . 136 – SNAPL 2019 w w w . d a g s t u h l . d e / l i p i c s Editors Benjamin S. Lerner Northeastern University, USA [email protected] Rastislav Bodík University of California Berkeley, USA [email protected] Shriram Krishnamurthi Brown University, USA [email protected] ACM Classification 2012 Software and its engineering → General programming languages; Software and its engineering → Semantics ISBN 978-3-95977-113-9 Published online and open access by Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany. Online available at https://www.dagstuhl.de/dagpub/978-3-95977-113-9. Publication date July, 2019 Bibliographic information published by the Deutsche Nationalbibliothek The Deutsche Nationalbibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data are available in the Internet at https://portal.dnb.de. License This work is licensed under a Creative Commons Attribution 3.0 Unported license (CC-BY 3.0): https://creativecommons.org/licenses/by/3.0/legalcode. In brief, this license authorizes each and everybody to share (to copy, distribute and transmit) the work under the following conditions, without impairing or restricting the authors’ moral rights: Attribution: The work must be attributed to its authors. The copyright is retained by the corresponding authors. Digital Object Identifier: 10.4230/LIPIcs.SNAPL.2019.0 ISBN 978-3-95977-113-9 ISSN 1868-8969 https://www.dagstuhl.de/lipics 0:iii LIPIcs – Leibniz International Proceedings in Informatics LIPIcs is a series of high-quality conference proceedings across all fields in informatics. LIPIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge. Editorial Board Luca Aceto (Chair, Gran Sasso Science Institute and Reykjavik University) Christel Baier (TU Dresden) Mikolaj Bojanczyk (University of Warsaw) Roberto Di Cosmo (INRIA and University Paris Diderot) Javier Esparza (TU München) Meena Mahajan (Institute of Mathematical Sciences) Dieter van Melkebeek (University of Wisconsin-Madison) Anca Muscholl (University Bordeaux) Luke Ong (University of Oxford) Catuscia Palamidessi (INRIA) Thomas Schwentick (TU Dortmund) Raimund Seidel (Saarland University and Schloss Dagstuhl – Leibniz-Zentrum für Informatik) ISSN 1868-8969 https://www.dagstuhl.de/lipics S N A P L 2 0 1 9 Contents Preface Benjamin S. Lerner, Rastislav Bodík, and Shriram Krishnamurthi . 0:vii Regular Papers Overparameterization: A Connection Between Software 1.0 and Software 2.0 Michael Carbin . 1:1–1:13 Blame Tracking and Type Error Debugging Sheng Chen and John Peter Campora III . 2:1–2:14 What is a Secure Programming Language? Cristina Cifuentes and Gavin Bierman . 3:1–3:15 From Theory to Systems: A Grounded Approach to Programming Language Education Will Crichton .................................................................... 4:1–4:9 From Macros to DSLs: The Evolution of Racket Ryan Culpepper, Matthias Felleisen, Matthew Flatt, and Shriram Krishnamurthi . 5:1–5:19 The Dynamic Practice and Static Theory of Gradual Typing Michael Greenberg . 6:1–6:20 A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity Lenny Truong and Pat Hanrahan . 7:1–7:21 Version Control Is for Your Data Too Gowtham Kaki, KC Sivaramakrishnan, and Suresh Jagannathan . 8:1–8:18 The Next 700 Semantics: A Research Challenge Shriram Krishnamurthi, Benjamin S. Lerner, and Liam Elberty . 9:1–9:14 Toward Domain-Specific Solvers for Distributed Consistency Lindsey Kuper and Peter Alvaro . 10:1–10:14 A Tour of Gallifrey, a Language for Geodistributed Programming Matthew Milano, Rolph Recto, Tom Magrino, and Andrew C. Myers . 11:1–11:19 Formal Verification vs. Quantum Uncertainty Robert Rand, Kesha Hietala, and Michael Hicks . 12:1–12:11 3rd Summit on Advances in Programming Languages (SNAPL 2019). Editors: Benjamin S. Lerner, Rastislav Bodík, and Shriram Krishnamurthi Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany Preface This is the third running of the Summit oNAdvances in Programming Languages (SNAPL), a relatively new venue for the programming languages community. The goal of SNAPL is to complement existing conferences by discussing big-picture questions. After the first two events, held in 2015 and 2017, we hope to continue evolving the venue into a place where our community comes to enjoy talks with inspiring ideas, fresh insights, and lots of discussion. Open to perspectives from both industry and academia, SNAPL values innovation, experience-based insight, and vision. Not affiliated with any other organization, SNAPL is organized by the PL community for the PL community. We planned to hold SNAPL every two years in early May. After two runnings in Asilomar, California, we decided to hold the third SNAPL in Providence, RI, USA, hoping that the East Coast location will make the conference more accessible to attendees from Europe. SNAPL has drawn on the elements from many successful meeting formats such as the database community’s CIDR conference, the security community’s NSPW workshop, and others, and continues to evolve its own particular flavor. The focus at SNAPL is not primarily on papers but rather on talks and interaction. Nevertheless, a short paper is the primary medium by which authors request and obtain time to speak. A good SNAPL entry, however, does not have the character of a regular conference submission — we already have plenty of venues for those. Rather, it is closer to the character of an invited talk, encompassing all the diversity that designation suggests: visionary ideas, progress reports, retrospectives, analyses of mistakes, calls to action, and more. Thus, a SNAPL submission should be viewed more as a “request to give an invited talk.” Overall, the submissions suggest SNAPL remains an interesting and valuable venue. We have received 21 submissions and decided to accept twelve. The program will also include talks by members of the program committee. We look forward to discussions that will hopefully be as lively as in the previous instances of SNAPL. Benjamin S. Lerner, Rastislav Bodík, and Shriram Krishnamurthi May, 2019 3rd Summit on Advances in Programming Languages (SNAPL 2019). Editors: Benjamin S. Lerner, Rastislav Bodík, and Shriram Krishnamurthi Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany Overparameterization: A Connection Between Software 1.0 and Software 2.0 Michael Carbin MIT CSAIL, Cambridge, MA, USA [email protected] Abstract A new ecosystem of machine-learning driven applications, titled Software 2.0, has arisen that integrates neural networks into a variety of computational tasks. Such applications include image recognition, natural language processing, and other traditional machine learning tasks. However, these techniques have also grown to include other structured domains, such as program analysis and program optimization for which novel, domain-specific insights mate with model design. In this paper, we connect the world of Software 2.0 with that of traditional software – Software 1.0 – through overparameterization: a program may provide more computational capacity and precision than is necessary for the task at hand. In Software 2.0, overparamterization – when a machine learning model has more parameters than datapoints in the dataset – arises as a contemporary understanding of the ability for modern, gradient- based learning methods to learn models over complex datasets with high-accuracy. Specifically, the more parameters a model has, the better it learns. In Software 1.0, the results of the approximate computing community show that traditional software is also overparameterized in that software often simply computes results that are more precise than is required by the user. Approximate computing exploits this overparameterization to improve performance by eliminating unnecessary, excess computation. For example, one – of many techniques – is to reduce the precision of arithmetic in the application. In this paper, we argue that the gap between available precision and that that is required for either Software 1.0 or Software 2.0 is a fundamental aspect of software design that illustrates the balance between software designed for general-purposes and domain-adapted solutions. A general- purpose solution is easier to develop and maintain versus a domain-adapted solution. However, that ease comes at the expense of performance. We show that the approximate computing community and the machine learning community have developed overlapping techniques to improve performance by reducing overparameterization. We also show that because of these shared techniques, questions, concerns, and answers on how to construct software can translate from one software variant to the other. 2012 ACM Subject Classification Software and its engineering → General programming languages; Computing methodologies → Machine learning Keywords and phrases Approximate Computing, Machine Learning, Software 2.0 Digital Object Identifier 10.4230/LIPIcs.SNAPL.2019.1 Funding This work was supported in part by the Office of Naval Research (ONR N00014-17-1-2699) and the
Recommended publications
  • Implementing Grover's Algorithm on the IBM Quantum Computers
    Implementing Grover’s Algorithm on the IBM Quantum Computers Aamir Mandviwalla*, Keita Ohshiro* and Bo Ji Abstract—This paper focuses on testing the current viability of Our goal in this paper is to study how close we are using quantum computers for the processing of data-driven tasks hardware-wise to realistically being able to exploit the poten- fueled by emerging data science applications. We test the publicly tial benefits of quantum algorithms. Prior work is rather limited available IBM quantum computers using Grover’s algorithm, a well-known quantum search algorithm, to obtain a baseline for this subject. There exist articles proclaiming that the age for the general evaluations of these quantum devices and to of quantum computing is only a year or two away along with investigate the impacts of various factors such as number of less positive articles that do not expect major advancements quantum bits (or qubits), qubit choice, and device choice. The for at least ten years [7], [8]. Instead of providing a prediction main contributions of this paper include a new 4-qubit imple- for the future, in this paper we aim to evaluate the accuracy mentation of Grover’s algorithm and test results showing the current capabilities of quantum computers. Our study indicates of quantum computers that are publicly available now. that quantum computers can currently only be used accurately To accomplish this goal, we run tests using Grover’s al- for solving simple problems with very small amounts of data. gorithm implemented in a variety of different ways on the There are also notable differences between different selections of publicly available IBM computers: IBM Q 5 Tenerife (5-qubit the qubits in the implementation design and between different chip) and IBM Q 16 Ruschlikon¨ (16-qubit chip) [9].
    [Show full text]
  • Arxiv:1812.09167V1 [Quant-Ph] 21 Dec 2018 It with the Tex Typesetting System Being a Prime Example
    Open source software in quantum computing Mark Fingerhutha,1, 2 Tomáš Babej,1 and Peter Wittek3, 4, 5, 6 1ProteinQure Inc., Toronto, Canada 2University of KwaZulu-Natal, Durban, South Africa 3Rotman School of Management, University of Toronto, Toronto, Canada 4Creative Destruction Lab, Toronto, Canada 5Vector Institute for Artificial Intelligence, Toronto, Canada 6Perimeter Institute for Theoretical Physics, Waterloo, Canada Open source software is becoming crucial in the design and testing of quantum algorithms. Many of the tools are backed by major commercial vendors with the goal to make it easier to develop quantum software: this mirrors how well-funded open machine learning frameworks enabled the development of complex models and their execution on equally complex hardware. We review a wide range of open source software for quantum computing, covering all stages of the quantum toolchain from quantum hardware interfaces through quantum compilers to implementations of quantum algorithms, as well as all quantum computing paradigms, including quantum annealing, and discrete and continuous-variable gate-model quantum computing. The evaluation of each project covers characteristics such as documentation, licence, the choice of programming language, compliance with norms of software engineering, and the culture of the project. We find that while the diversity of projects is mesmerizing, only a few attract external developers and even many commercially backed frameworks have shortcomings in software engineering. Based on these observations, we highlight the best practices that could foster a more active community around quantum computing software that welcomes newcomers to the field, but also ensures high-quality, well-documented code. INTRODUCTION Source code has been developed and shared among enthusiasts since the early 1950s.
    [Show full text]
  • Quantum Computing for Undergraduates: a True STEAM Case
    Lat. Am. J. Sci. Educ. 6, 22030 (2019) Latin American Journal of Science Education www.lajse.org Quantum Computing for Undergraduates: a true STEAM case a b c César B. Cevallos , Manuel Álvarez Alvarado , and Celso L. Ladera a Instituto de Ciencias Básicas, Dpto. de Física, Universidad Técnica de Manabí, Portoviejo, Provincia de Manabí, Ecuador b Facultad de Ingeniería en Electricidad y Computación, Escuela Politécnica del Litoral, Guayaquil. Ecuador c Departamento de Física, Universidad Simón Bolívar, Valle de Sartenejas, Caracas 1089, Venezuela A R T I C L E I N F O A B S T R A C T Received: Agosto 15, 2019 The first quantum computers of 5-20 superconducting qubits are now available for free Accepted: September 20, 2019 through the Cloud for anyone who wants to implement arrays of logical gates, and eventually Available on-line: Junio 6, 2019 to program advanced computer algorithms. The latter to be eventually used in solving Combinatorial Optimization problems, in Cryptography or for cracking complex Keywords: STEAM, quantum computational chemistry problems, which cannot be either programmed or solved using computer, engineering curriculum, classical computers based on present semiconductor electronics. Moreover, Quantum physics curriculum. Advantage, i.e. computational power beyond that of conventional computers seems to be within our reach in less than one year from now (June 2018). It does seem unlikely that these E-mail addresses: new fast computers, based on quantum mechanics and superconducting technology, will ever [email protected] become laptop-like. Yet, within a decade or less, their physics, technology and programming [email protected] will forcefully become part, of the undergraduate curriculae of Physics, Electronics, Material [email protected] Science, and Computer Science: it is indeed a subject that embraces Sciences, Advanced Technologies and even Art e.g.
    [Show full text]
  • Special Theme Quantum Computing
    Number 112 January 2018 ERCIM NEWS www.ercim.eu Special theme Quantum Computing Also in this issue: Research and Innovation: Computers that negotiate on our behalf Editorial Information Contents ERCIM News is the magazine of ERCIM. Published quar - terly, it reports on joint actions of the ERCIM partners, and aims to reflect the contribution made by ERCIM to the European Community in Information Technology and Applied Mathematics. Through short articles and news items, it pro - vides a forum for the exchange of information between the JoINt ERCIM ACtIoNS SPECIAL tHEME institutes and also with the wider scientific community. This issue has a circulation of about 6,000 printed copies and is 4 Foreword from the President The special theme section “Quantum also available online. Computing” has been coordinated by 4 Jos Baeten, Elected President of Jop Briët (CWI) and Simon Perdrix ERCIM News is published by ERCIM EEIG ERCIM AISBL (CNRS, LORIA) BP 93, F-06902 Sophia Antipolis Cedex, France Tel: +33 4 9238 5010, E-mail: [email protected] 5 Tim Baarslag Winner of the 2017 8 Quantum Computation and Director: Philipp Hoschka, ISSN 0926-4981 Cor Baayen Young Researcher Information - Introduction to the Award Special Theme Contributions by Jop Briët (CWI) and Simon Contributions should be submitted to the local editor of your 6 ERCIM Cor Baayen Award 2017 Perdrix (CNRS, LORIA) country 7 ERCIM Established Working 10 How Classical Beings Can Test Copyrightnotice Group on Blockchain Technology Quantum Devices All authors, as identified in each article, retain copyright of their by Stacey Jeffery (CWI) work. ERCIM News is licensed under a Creative Commons 7 HORIZON 2020 Project Attribution 4.0 International License (CC-BY).
    [Show full text]
  • Lawrence Berkeley National Laboratory Recent Work
    Lawrence Berkeley National Laboratory Recent Work Title Simulating Quantum Materials with Digital Quantum Computers Permalink https://escholarship.org/uc/item/4zg9w1vj Authors Bassman, Lindsay Urbanek, Miroslav Metcalf, Mekena et al. Publication Date 2021-01-21 Peer reviewed eScholarship.org Powered by the California Digital Library University of California Simulating Quantum Materials with Digital Quantum Computers Lindsay Bassman, Miroslav Urbanek, Mekena Metcalf, Jonathan Carter Lawrence Berkeley National Laboratory, Berkeley, CA 94720, USA E-mail: [email protected] Alexander F. Kemper Department of Physics, North Carolina State University, Raleigh, North Carolina 27695, USA Wibe de Jong Lawrence Berkeley National Laboratory, Berkeley, CA 94720, USA Abstract. Quantum materials exhibit a wide array of exotic phenomena and practically useful properties. A better understanding of these materials can provide deeper insights into fundamental physics in the quantum realm as well as advance technology for entertainment, healthcare, and sustainability. The emergence of digital quantum computers (DQCs), which can efficiently perform quantum simulations that are otherwise intractable on classical computers, provides a promising path forward for testing and analyzing the remarkable, and often counter-intuitive, behavior of quantum materials. Equipped with these new tools, scientists from diverse domains are racing towards achieving physical quantum advantage (i.e., using a quantum computer to learn new physics with a computation that cannot feasibly be run on any classical computer). The aim of this review, therefore, is to provide a summary of progress made towards this goal that is accessible to scientists across the physical sciences. We will first review the available technology and algorithms, and detail the myriad ways arXiv:2101.08836v1 [quant-ph] 21 Jan 2021 to represent materials on quantum computers.
    [Show full text]
  • Quantum Computing with the IBM Quantum Experience with the Quantum Information Software Toolkit (Qiskit) Nick Bronn Research Staff Member IBM T.J
    Quantum Computing with the IBM Quantum Experience with the Quantum Information Software Toolkit (QISKit) Nick Bronn Research Staff Member IBM T.J. Watson Research Center ACM Poughkeepsie Monthly Meeting, January 2018 1 ©2017 IBM Corporation 25 January 2018 Overview Part 1: Quantum Computing § What, why, how § Quantum gates and circuits Part 2: Superconducting Qubits § Device properties § Control and performance Part 3: IBM Quantum Experience § Website: GUI, user guides, community § QISKit: API, SDK, Tutorials 2 ©2017 IBM Corporation 25 January 2018 Quantum computing: what, why, how 3 ©2017 IBM Corporation 25 January 2018 “Nature isn’t classical . if you want to make a simula6on of nature, you’d be:er make it quantum mechanical, and by golly it’s a wonderful problem, because it doesn’t look so easy.” – Richard Feynman, 1981 1st Conference on Physics and Computation, MIT 4 ©2017 IBM Corporation 25 January 2018 Computing with Quantum Mechanics: Features Superposion: a system’s state can be any linear combinaon of classical states …un#l it is measured, at which point it collapses to one of the classical states Example: Schrodinger’s Cat “Classical” states Quantum Normalizaon wavefuncon Entanglement: par0cles in superposi0on 1 ⎛ ⎞ ψ = ⎜ + ⎟ can develop correlaons such that 2 ⎜ ⎟ measuring just one affects them all ⎝ ⎠ Example: EPR Paradox (Einstein: “spooky Linear combinaon ac0on at a distance”) 5 ©2017 IBM Corporation 25 January 2018 Computing with Quantum Mechanics: Drawbacks 1 Decoherence: a system is gradually measured by residual interac0on with its environment, killing quantum behavior Qubit State Consequence: quantum effects observed only 0 Time in well-isolated systems (so not cats… yet) Uncertainty principle: measuring one variable (e.g.
    [Show full text]
  • 162Q Earnings Final
    Introduction Thank you. This is Patricia Murphy, Vice President of Investor Relations for IBM. I’m here today with Martin Schroeter, IBM’s Senior Vice President and Chief Financial Officer. I’d like to welcome you to our second quarter earnings presentation. The prepared remarks will be available within a couple of hours, and a replay of the webcast will be posted by this time tomorrow. I’ll remind you that certain comments made in this presentation may be characterized as forward looking under the Private Securities Litigation Reform Act of 1995. Those statements involve a number of factors that could cause actual results to differ materially. Additional information concerning these factors is contained in the company’s filings with the SEC. Copies are available from the SEC, from the IBM web site, or from us in Investor Relations. Our presentation also includes certain non-GAAP financial measures, in an effort to provide additional information to investors. All non-GAAP measures have been reconciled to their related GAAP measures in accordance with SEC rules. You will find reconciliation charts at the end of the presentation, and in the Form 8-K submitted to the SEC. So with that, I’ll turn the call over to Martin Schroeter. Overview Thanks Patricia. In the second quarter, we generated $20.2 billion in revenue, $3½ billion in pre-tax income, and $2.95 of operating earnings per share. Ninety days ago, we told you what we expected for the second quarter. We said we’d continue to see strength in the Strategic Imperatives, and we delivered 12 percent revenue growth, led by cloud.
    [Show full text]
  • A Report on Teaching a Series of Online Lectures on Quantum Computing from CERN
    The Journal of Supercomputing https://doi.org/10.1007/s11227-021-03847-9 A report on teaching a series of online lectures on quantum computing from CERN Elías F. Combarro1,2 · Sofa Vallecorsa2 · Luis J. Rodríguez‑Muñiz3 · Álvaro Aguilar‑González3 · José Ranilla1 · Alberto Di Meglio2 Accepted: 24 April 2021 © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021, corrected publication 2021 Abstract Quantum computing (QC) is one of the most promising new technologies for High Performance Computing. Its potential use in High Energy Physics has lead CERN, one of the top world users of large-scale distributed computing, to start programmes such as the Quantum Technology Initiative (QTI) to further assess and explore the applications of QC. As a part of QTI, CERN ofered, in November–December 2020, a free, online series of lectures on quantum computing. In this paper, we report on the experience of designing and delivering these lectures, evaluating them in the broader context of computing education and training. Traditional textbooks and courses on QC usually focus on physical concepts and assume some knowledge of advanced mathematical and physical topics from the student. Our lectures were designed with the objective of reducing the prerequisites to the bare minimum as well as focusing on hands-on, practical aspects of programming quantum comput- ers and not on the mathematical analysis of the algorithms. This also allowed us to include contents that are not usually covered in introductory courses, such as quan- tum machine learning and quantum annealing. The evaluation of the reception of the lectures shows that participants signifcantly increased their knowledge, validating the proposed approach not focused on mathematics and physics but on algorithmic and implementation aspects.
    [Show full text]
  • Unscheduled Material Events [US]
    TM INTERNATIONAL BUSINESS MACHINES CORP 8-K - Unscheduled Material Events [US] 7 Mar 2017 https://dn.certent.com/Details/FilingDual.aspx?id=31272994 This document was found via Certent DisclosureNet, an online solution that helps professionals unlock intelligence in global corporate disclosure filings while providing a secure platform for knowledge collaboration. Certent makes it easier for companies to meet their financial compliance requirements. Certent’s user-friendly, web-based technology streamlines equity plan management, financial reporting for ASC718, and financial filings (in XBRL and HTML) with the U.S. SEC. With technology based on in-depth accounting expertise, an open ecosystem of industry partners, and an expert services organization focused on customer success, Certent has helped 1,800 companies worldwide innovate their financial compliance processes. To learn more about Certent DisclosureNet, please visit www.Certent.com. Copyright © 2016. UNITED STATES SECURITIES AND EXCHANGE COMMISSION WASHINGTON, D.C. 20549 FORM 8-K CURRENT REPORT PURSUANT TO SECTION 13 OR 15 (d) OF THE SECURITIES EXCHANGE ACT OF 1934 Date of Report: March 7, 2017 (Date of earliest event reported) INTERNATIONAL BUSINESS MACHINES CORPORATION (Exact name of registrant as specified in its charter) New York 1-2360 13-0871985 (State of Incorporation) (Commission File Number) (IRS employer Identification No.) ARMONK, NEW YORK 10504 (Address of principal executive offices) (Zip Code) 914-499-1900 (Registrant’s telephone number) Check the appropriate box below if
    [Show full text]
  • University of Tlemcen, in Partnership with IBM, Give Access to Its Students to
    مكتب اﻻتصال جامعة شركات BUREAU DE LIAISON ENTREPRISES UNIVERSITE ⵜⴰⵙⴷⴰⵡⵉⵜ ⴰⴱⵓⴱⴽⵔ ⴱⴻⵍⵇⴰⵢⴷ ⵏ ⵜⵍⵎⵙⴰⵏ ● جامعة تلمسان University Office for University Industry Collaboration Université de Tlemcen ● Univesity of Tlemcen University of Tlemcen, in partnership with IBM, give access to its students to : Get easy no-charge access to the tools you need to develop the next great thing. Enjoy powerful technical and strategic resources from IBM. Jump right in with cloud access to powerful services and the most prominent open-source computer technologies, or take advantage of hands-on resources that will teach you about AI, blockchains, data and analytics, Internet of Things, Commerce, Security, .... IBM academic software is available from the IBM On The Hub website http://ibm.onthehub.com. Access is available to faculty and students with a valid mail.univ-tlemcen.dz Email address. Many available resources: • Cloud Access • Courses • Softwares • Licences Categories and fields : FOR STUDENTS Cloud o Cloud Access : ▪ IBM Cloud - IBM Cloud - IBM Code - Open Source at IBM - IBM Cloud Private Community Edition ▪ Blueworks Live B.L.E.U. Bureau de Liaison Entreprises Université ● Université de Tlemcen 22 rue Abi Ayad Abdelkrim, Fg Pasteur ● B.P. 119 , 13000 Tlemcen, Algérie. Email : [email protected] ● Web : http://bleu.univ-tlemcen.dz مكتب اﻻتصال جامعة شركات BUREAU DE LIAISON ENTREPRISES UNIVERSITE ⵜⴰⵙⴷⴰⵡⵉⵜ ⴰⴱⵓⴱⴽⵔ ⴱⴻⵍⵇⴰⵢⴷ ⵏ ⵜⵍⵎⵙⴰⵏ ● جامعة تلمسان University Office for University Industry Collaboration Université de Tlemcen ● Univesity of Tlemcen o Softwares
    [Show full text]
  • Karazeev Cv.Pdf
    Anton Karazeev [email protected] EDUCATION Master of Science Moscow Institute of Physics and September 2019 — July 2021 Technology Moscow, Russia • M.Sc. in Computer Science and Physics, Department of Innovation and High Technologies • Applied Mathematics and Physics • Master’s Thesis: “Machine Learning-based content assist for 1C:Enterprise IDE” [Presentation] [Code] Bachelor of Science Moscow Institute of Physics and September 2014 — July 2019 Technology Moscow, Russia • B.Sc. in Computer Science and Physics, Department of Innovation and High Technologies • Coursework for the state qualification exam in Physics at MIPT: “Molecular Dynamics” [Code] • Undergraduate Coursework: “Advanced Parser for Biomedical Texts” [Poster at MCCMB’17] • Bachelor’s Thesis: “Development of a mechanism for Anomaly Detection” [Presentation] [Code] EXPERIENCE Backend Developer 360dialog November 2020 — Present Berlin, Germany (remotely) • Planning, implementing, maintaining and improving software stack and its architecture for WhatsApp Business messaging. • Managing and planning of challenging software projects. • Solving technically complex problems to ensure a seamless messaging experience for the clients. • Python, Stripe API, JIRA API, Billing automation, Notification Emails automation. Technical Support Specialist 360dialog July — November 2020 Berlin, Germany (remotely) • Support clients & partners with technical aspects of Whatsapp Business API. • Responsible for the end-to-end process from onboarding to post-setup activities. • Support in submitting of clients & partners for WhatsApp Business Account (WABA) via Facebook Business Manager (FBM). Machine Learning Researcher Laboratory for Digital Business March 2019 — Present Moscow, Russia (remotely) • Responsible for research on Anomalies and Outliers Detection. • Found and fixed a bug concerning model based on Generative Adversarial Active Learning (GAAL) in PyOD toolkit for outlier detection.
    [Show full text]
  • 2019 C Ontents 2019
    PHYSICS @EPFL 2019 C ONTENTS 2019 3 AWARDS RHESEARC Letter from the director 9 5 NOMI NATIONS ERC Advanced Grant for Courbin Electric fields control magnetic spin 10 6 4 ERC Synergy Grant with Rønnow Chaperoning proteins Lesya Shchutska and Aeppli 8 PR OMOTIONS 13 Birth and death of a phonon ERC Consolidator Grant for Galland 7 11 Fabrizio Carbone 14 Conformal bootstrap ERC Consolidator Grant for Manley 10 12 Pascale Jablonka 15 Scattering of mm-wave by plasmas Polysphère d’Or for Gentile 13 18 Christopher Mudry 15 Physics Day Savona Teacher of the Year 14 I NNOVATION Philippe Spaetig 15 Craie d’Or for Mila 20 17 Resistell Three MER promotions 16 Latsis Prize for Yazyev 23 AFFILIATIONS 16 X-rays against mechanical doping Two grants for Theiler 9 INSTRUMENTATION Anna Fontcuberta i Morral 19 Zeiss Research Award for Kippenberg 16 TEACHING 20 New detector for LHCb 7 Brune Max Planck Fellow 20 Graduation Day 22 AstroDome 17 Hausmann Prize for D’Aversa IN MEMORIAM EPFL wins the International Physicsts’ Tournament 22 23 Physics Thesis Award for Fanciulli 18 Philippe Choquard Long mandate at SPH 22 IN BRIEF 19 CHIPP Prize for Tambasco New Director at EDPY 23 24-25 International accolades Publications, nominations and awards 21 for Schneider and Martin IBM recognizes QST teaching 26-27 OUTREACH Physics in figures 21 The “Show” of the Physics Section FRONT COVER Multicolor 3D image of a protein complex reconstructed from 2D super-resolution microscopy images. © Christian Sieben, EPFL LETTER FROM THE DIRECTOR Dear Reader, A warm welcome to the Institute of Physics (IPHYS) at the Faculty of Basic Sciences at EPFL.
    [Show full text]