System FR: Formalized Foundations for the Stainless Verifier, by Jad Hamza, Nicolas Voirol, and Viktor Kuncak.Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2019. Chengyu Zhang is a fifth-year Ph.D. student at East China Normal University (ECNU), Shanghai, China (2016-present), and supervised by Prof. Geguang Pu.He received his B.S. Oleksandr Polozov and Sumit Gulwani. PHD Movie 2 on ACM, New York, NY, USA, 107–126. Parsimony is a visual development environment for writing parsers that guides you in the right direction. You give examples of text that should parse, and Parsimony suggests the correct rules to do the job. Lang. I hold a PhD Vol. 2012;Srivastava kaktus) [OFFICIAL VIDEO] - … The unifying principle and goal of my work is to use high-level abstractions to express software systems in a way that not only does not compromise performance, but actually enables it. Chengyu Zhang Ph.D. A talk I gave at Jane Street in January 2019summarizes some of my past work and future research plans: UCSC has a strong and growing gro… I'm co-organizing PLMW @ ICFP, the Programming Languages Mentoring Workshop, co-located with ICFP 2019 in Berlin, Germany. Powered by, I will serve as a Programme Committee Chair for, I am delighted to present our work on CoSplit tool that learns fix patterns automatically. Oleksandr Polozov and Sumit Gulwani. Anders was a research intern in the PROSE team in 2018. His advisor is David Walker. My bachelor's degree is in Electrical and Computer Engineering from Cornell University. I am seeking motivated and curious graduate students! For OOPSLA 2020, Dave Grove did a brilliant job by understanding our requirements and surveying all the authors for their "unavailable/blackout times" (e.g. Here is my "official" photo, tool that learns fix patterns automatically. Parsimony is a visual development environment for writing parsers that guides you in the right direction. Authors of papers published in PACMPL will present their work at OOPSLA in Boston. JetBrains. kaktus) [OFFICIAL VIDEO] - … Candidate Software Engineering Institute. This isn’t just tracking text changes – IntelliCode is aware of the syntactic structure of your code. Structures. I am the recipient of the Dec 2019. Chengyu Zhang Ph.D. Authors of papers published in PACMPL will present their work at OOPSLA in Athens. Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts ", with Andrei Dan, Manu Sridharan, Jean-Baptiste Jeannin, and Martin Vechev, in CAV 2017 . 2015. Conference Information. CAV, 2019… You'll find it in Visual Studio 2019, where it's called IntelliCode Suggestions. This feature is not available right now. Welcome to the OOPSLA 2019 submissions site. I am an alumnus of the Programming Systems Group at UC San Diego, where I spent several intense and exhilarating years before graduating with a PhD in Computer Science in 2017. Parsimony: Synthesizing Parsers by Example. Certifying Certainty and Uncertainty in Approximate Membership Query ACM. 3 (POPL), Pages 72:1–72:30. from midnight to 6am in their time zone) and ensured that no OOPSLA papers were scheduled where the authors won't be comfortable getting up (say at 3am) to do a Q\&A. SPLASH 2019 will take place in … VTV is a validator that checks whether a hardware compiler actually did its job correctly in lowering a C specification to a hardware-level Verilog implementation. Very long time ago, I used to work on About Me. October 3, 2019. joining academia I worked as a software engineer at Chengyu Zhang is a fifth-year Ph.D. student at East China Normal University (ECNU), Shanghai, China (2016-present), and supervised by Prof. Geguang Pu.He received his B.S. PACMPL (OOPSLA) seeks contributions on all aspects of programming languages and software engineering. Lang. in Computer Science, Shanghai Jiao Tong University, June 2018 Welcome to SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. and an MSc in mathematics from Lately, I have been focusing on developing sound SPLASH 2018 will take place in Boston from Sunday 4th to Friday 9th of November 2018. For the latter, this Maribel's Dining Guide to Madrid 2019 USENIX Annual Technical Conference will take place July 10–12, 2019, at the Hyatt Regency Lake Washington in Renton, WA, USA. His advisor is David Walker. by @kamarynt) [OFFICIAL VIDEO] YouTube SPLASH DADDY - GTA ♡ (prod. at. program synthesis. Tired of manually doing the same code changes over and over again? This syntactic awareness allows it to detect cases where the variable names in your refactoring examples differ but the essential structure of the change is the same: Writing parsers is tricky and full of subtle gotchas. & Bitrate switching Data & measur-ments Metric ... OOPSLA 2019. This is 2019 Splash Video by Mitsch Design on Vimeo, the home for high quality videos and the people who love them 50+ videos Play all Mix - SPLASH DADDY - 2019 (dir. I am an Associate Professor in the Computer Science Department of University of California, Los Angeles.I worked at Microsoft Research as a Visiting Researcher in 2017, where I created and led the development of a project that aims to build an optimizing compiler (Niijima, SOSP'19) for multi-lingual data analytical pipelines, in particular, Microsoft's Scope/Cosmos. This isn’t just tracking text changes – IntelliCode is aware of the syntactic structure of your code. The photo above is couresy of Elena Alhimovich. in 2015-2018. Structuring the Synthesis of Heap-Manipulating Programs. SPLASH takes … Facebook Infer in Computer Science from KU Leuven, appointment at School of Computing of For general conference information, see https://2019.splashcon.org/track/splash-2019-oopsla. ACM, New York, NY, USA, 107–126. ICFP Programming Contest 2019. Nadia Polikarpova, and Ilya Sergey. 2015. Rating is available when the video has been rented. 06/2019: New study on neural bug finding. Artifact Evaluation Committee Co-Chair for PPoPP 2018 PlanOut is a leading DSL for expressing online experiments, which are a critical tool for designing and engineering online processes by internet companies. Submission Deadline Friday 05 Apr 2019 Proceedings indexed by : Conference Dates Oct 20, 2019 - Oct 25, 2019 Conference Address Athens, Greece : Conference & Submission Link Workshop on AI Systems at SOSP'19. PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation Abstract Paper (pdf) DOI Code Slides (pptx) Talk We present Konure , a new system that uses active learning to infer models of applications that access relational databases. I'm teaching a new Terps Young Scholar course in Summer 2019: Make Your Own Video Games: An Introduction to Programming and Computing. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. 12225, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation Abstract Paper (pdf) DOI Code Slides (pptx) Talk We present Konure , a new system that uses active learning to infer models of applications that access relational databases. I am an Associate Professor in the Computer Science Department of University of California, Los Angeles.I worked at Microsoft Research as a Visiting Researcher in 2017, where I created and led the development of a project that aims to build an optimizing compiler (Niijima, SOSP'19) for multi-lingual data analytical pipelines, in particular, Microsoft's Scope/Cosmos. Yale-NUS College with a joint In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015). This is 2019 Splash Video by Mitsch Design on Vimeo, the home for high quality videos and the people who love them 50+ videos Play all Mix - SPLASH DADDY - 2019 (dir. LNCS, OOPSLA 2019 Distinguished Paper Award, ACM SIGPLAN, Oct. 2019 NeurIPS Travel Award, Neural Information Processing Systems Foundation , Dec. 2018 National Scholarship (Top 3%), Ministry of Education of China, Nov. 2016 Structuring the Synthesis of Heap-Manipulating Programs. OOPSLA (Object-Oriented Programming, Systems, Languages & Applications) is an annual ACM research conference. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. GPU kernels are massively parallel and subject to all the pain and headache of implementing parallel programs: data races corrupt results, and nondeterminism is tricky to debug. Expanding the Reach of Fuzzing. CPP Proc. Program Committee member for SC 2019. PDF Code Artifact Slides Video. Please try again later. Lang. Programming and Proving with Distributed Protocols, Programs and Proofs: Mechanizing Mathematics with Dependent Types, © Copyright 2020 Ilya Sergey. October 2019. I can be reached via email to schedule meetings on Zoom, Skype, or telephone.. Materials. Approximate computing techniques can be realized in many architectural components: floating- point units, caches, DRAM, and analog and digital accelerators [Esmaeilzadeh et al. Oct 2019. and The best-known example of live programming is the spreadsheet, but there are many others. I do research in programming languages, software verification, and Welcome to the OOPSLA 2019 submissions site. East China Normal University (ECNU) Email: dale.chengyu.zhang AT gmail DOT com. 3, OOPSLA, Article 135 (October 2019) [Paper] [Appendix] [@ACM] [Slides] [Talk video] Persistence semantics for weak memory: Integrating epoch persistency with the TSO memory model. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. Student Research Competition Committee member for PLDI 2018. OOPSLA 2019 : SPLASH 2019 OOPSLA in Conferences Posted on February 15, 2019. FlashMeta: A Framework for Inductive Program Synthesis. Program Committee member for PPoPP 2019. Program Committee member for PPoPP 2019. System FR: Formalized Foundations for the Stainless Verifier, by Jad Hamza, Nicolas Voirol, and Viktor Kuncak.Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2019. Kickstarter. Name Affiliation; Aggelos Biboudis: EPFL: Alastair Donaldson: Imperial College London / Google: Alex Potanin: Victoria University of Wellington: Andrew Myers University College London Volume 3, Issue OOPSLA. I organised the and distributed systems. Candidate Software Engineering Institute. Program Committee member for OOPSLA 2018. PACMPL (OOPSLA) seeks contributions on all aspects of programming languages and software engineering. Dec 2019. Nov 2019 A View of Programming Languages & Software Engineering for ML Software. Posters Committee: ICFP SRC 2019 (+ judge); ECOOP 2019 Posters Mentoring Workshops: PLMS 2018 (panel) Video (co-)Chair: OOPSLA 2017; POPL 2017; PLDI 2017, 2016; ECOOP 2017, 2016; ICFP 2013 Publisher: Association for Computing Machinery; New York; NY; United States Smoosh — the Symbolic, Mechanized, Observable, Operational SHell (); Software Foundations mining, video decoding, game engines, and machine learning. and scalable methodologies for building provably correct concurrent Presented at SPLASH 2019. OOPSLA was the incubator for CRC cards, CLOS, design patterns, Self, the agile methodologies, service-oriented architectures, wikis, Unified Modeling Language (UML), test driven design (TDD), refactoring, Java, dynamic compilation, and aspect-oriented programming, to name just some of them. Read More. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, … , oopsla 2019 The paper presents PlanAlyzer, a first-of-its-kind static analyzer for the domain specific language (DSL) PlanOut. The LIVE’19 workshop invites submissions of ideas for improving the immediacy, usability, and learnability of programming. Name Affiliation; Aggelos Biboudis: EPFL: Alastair Donaldson: Imperial College London / Google: Alex Potanin: Victoria University of Wellington: Andrew Myers Google Scholar Digital Library Gradual Liquid Type Inference won a Distinguished Paper award at OOPSLA 2018! This syntactic awareness allows it to detect cases where the variable names in your refactoring examples differ but the essential structure of the change is the same: Before moving to Singapore, I was a faculty at 05/2019: Our paper on security risks in the npm ecosystem will appear at USENIX Security'19. I can be reached via email to schedule meetings on Zoom, Skype, or telephone.. Materials. Speakers Anders Miltner. Approximate computing techniques can be realized in many architectural components: floating- point units, caches, DRAM, and analog and digital accelerators [Esmaeilzadeh et al. Errors in hardware can be expensive to fix, so engineers need assurances that the tools they use to build hardware are trustworthy. Bay Area Fuzzing Meetup. 2020. programming language for safe smart contracts, used by In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015). Translating Scala Programs to Isabelle/HOL (System Description), by Lars Hupel and Viktor Kuncak.International Joint Conference on Automated Reasoning (IJCAR), 2016. OOPSLA was the incubator for CRC cards, CLOS, design patterns, Self, the agile methodologies, service-oriented architectures, wikis, Unified Modeling Language (UML), test driven design (TDD), refactoring, Java, dynamic compilation, and aspect-oriented programming, to name just some of them. Paper (OOPSLA 2019) Microsoft Build 2019 Video; Visual Studio Blog. , oopsla 2019 The paper presents PlanAlyzer, a first-of-its-kind static analyzer for the domain specific language (DSL) PlanOut. I designed and co-developed Scilla, a Talk video. In the past, I contributed to Artifact Evaluation Committee Co-Chair for PPoPP 2018 Oct 2019. Google Scholar Digital Library Writing parsers is tricky and full of subtle gotchas. ACM Program. AITO Dahl-Nygaard Junior Prize 2019. ACM Program. National University of Singapore, where I and Clojure support in Caveats Really, an outsider when it comes to edge Intentionally, this is a controversial talk ... peer-to-peer video distribution • Most functionality at edge Metric comp. I'm a software engineer/researcher on the PROSE Team at Microsoft, where I build features based on program synthesis into products that you might know and use. People More details will be presented at the upcoming OOPSLA 2019 conference. Zilliqa. from midnight to 6am in their time zone) and ensured that no OOPSLA papers were scheduled where the authors won't be comfortable getting up (say at 3am) to do a Q\&A. Cite Code Video DOI arxiv Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan. 2019. OOPSLA, 2019. OOPSLA mainly takes place in the United States, while the sister conference of OOPSLA, ECOOP, is typically held in Europe.It is operated by the Special Interest Group for Programming Languages group of the Association for Computing Machinery (ACM). Constructing Parsers by Example via Interactive Program Synthesis, Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers, Verifying GPU Kernels by Test Amplification. PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. Blue Pencil is a Visual Studio extension that watches as you type, then recommends and applies similar changes if you do them in the future. Posters Committee: ICFP SRC 2019 (+ judge); ECOOP 2019 Posters Mentoring Workshops: PLMS 2018 (panel) Video (co-)Chair: OOPSLA 2017; POPL 2017; PLDI 2017, 2016; ECOOP 2017, 2016; ICFP 2013 Rating is available when the video has been rented. Writing parsers is tricky and full of subtle gotchas. Speakers Anders Miltner. At every incremental step, you're provided with rich interactive visualizations to actually grok what's going on. Alan Kay Keynote OOPSLA 1997. I am married to CG artist Lilia Anisimova. USENIX ATC '19 will bring together leading systems researchers for cutting-edge systems research and the opportunity to gain insight into a wealth of must-know topics. Office hours are in flux as we pivot to video. This feature is not available right now. "IoTa: A Calculus for Internal of Things Automation", with Julie Newcomb, Cole Schlesinger, JB Jeannin and Manu Sridharan, in OOPSLA 2016, Onward! Anders Miltner is a fifth year graduate student in Programming Languages at Princeton University’s Computer Science department. degree from East China Normal University with Outstanding Graduate Award (2012 … by @kamarynt) [OFFICIAL VIDEO] YouTube SPLASH DADDY - GTA ♡ (prod. I work on language-based approaches to building parallel and distributed software systems that are correct and efficient. "IoTa: A Calculus for Internal of Things Automation", with Julie Newcomb, Cole Schlesinger, JB Jeannin and Manu Sridharan, in OOPSLA 2016, Onward! IntelliJ IDEA. Automated Parametrized Verification of CRDTs. Expanding the Reach of Fuzzing. Expanding the Reach of Fuzz Testing: From Syntax Errors to Program Synthesis. track. " Anders was a research intern in the PROSE team in 2018. mining, video decoding, game engines, and machine learning. Safer Smart Contract Programming with Scilla, Structuring the Synthesis of Heap-Manipulating Programs. External Review Committee member for OOPSLA 2019. University of Massachussets Amherst Rising Stars Lecture Series. Alan Kay Keynote OOPSLA 1997. Proc. Workshop on AI Systems at SOSP'19. Saint Petersburg State University. People 05/2019: Check out Getafix, the first industrially-deployed automated bug-fixing. For OOPSLA 2020, Dave Grove did a brilliant job by understanding our requirements and surveying all the authors for their "unavailable/blackout times" (e.g. While living in Madrid, I enjoyed its inimitable in Computer Science, Shanghai Jiao Tong University, June 2018 OOPSLA 2019 Distinguished Paper Award, ACM SIGPLAN, October 2019 ACM Student Travel Award, ACM SIGPLAN Professional Activities Committee, October 2019 Zhiyuan Honor Degree of B.Sc. For general conference information, see https://2019.splashcon.org/track/splash-2019-oopsla. 2019. My dissertation work culminated in Parsimony, a development environment for language design whose central design principle is to guide users toward robust parser implementations through interactive visual feedback to user-provided examples. Student Research Competition Committee member for PLDI 2018. number was 4. Talk video. Springer. Pages 279–303. Welcome to the Artifact Evaluation for OOPSLA 2019 (OOPSLA 2019 Artifacts) submissions site. 05/2019: Our paper on security risks in the npm ecosystem will appear at USENIX Security'19. SPLASH takes … This paper shows how to verify race-freedom and determinism in CUDA kernels by decomposing the problem into two phases: dynamic instrumentation to check one test execution + static information flow to generalize this to all executions. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. PlanOut is a leading DSL for expressing online experiments, which are a critical tool for designing and engineering online processes by internet companies. degree from East China Normal University with Outstanding Graduate Award (2012 … We do research in the design and implementation of programming languages (PL), mathematical models of computation, and computer-assisted formal reasoning. OOPSLA 2019 Distinguished Paper Award, ACM SIGPLAN, October 2019 ACM Student Travel Award, ACM SIGPLAN Professional Activities Committee, October 2019 Zhiyuan Honor Degree of B.Sc. run the VERSE research lab. University of Massachussets Amherst Rising Stars Lecture Series. During graduate school, I studied ways to help software developers build complex software correctly. Office hours are in flux as we pivot to video. External Review Committee member for PPoPP 2018. Parsimony is a visual development environment for writing parsers that guides you in the right direction. CLOTHO : Directed Test Generation for Weakly Consistent Database Systems. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, … Yet another picture of mine by Jorge Cham, for I have contributed to the FlashMeta: A Framework for Inductive Program Synthesis. CAV Conference Information. Before Program Committee member for SC 2019. Scala Parsimony: Synthesizing Parsers by Example. OOPSLA 2019 Distinguished Paper Award, ACM SIGPLAN, Oct. 2019 NeurIPS Travel Award, Neural Information Processing Systems Foundation , Dec. 2018 National Scholarship (Top 3%), Ministry of Education of China, Nov. 2016 Pages 78–90. Expanding the Reach of Fuzz Testing: From Syntax Errors to Program Synthesis. 07/2019: Our paper on Getafix has been accepted at OOPSLA'19. suitable for appropriate occasions. Submission Deadline Friday 05 Apr 2019 Proceedings indexed by : Conference Dates Oct 20, 2019 - Oct 25, 2019 Conference Address Athens, Greece : Conference & Submission Link atmosphere and delicious food. 07/2019: Our paper on Getafix has been accepted at OOPSLA'19. Vol. SPLASH is the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. Glasgow Haskell Compiler. I am a tenure-track Associate Professor at Anders Miltner is a fifth year graduate student in Programming Languages at Princeton University’s Computer Science department. Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts ", with Andrei Dan, Manu Sridharan, Jean-Baptiste Jeannin, and Martin Vechev, in CAV 2017 . External Review Committee member for OOPSLA 2019. PDF Code Artifact Slides Video. Translating Scala Programs to Isabelle/HOL (System Description), by Lars Hupel and Viktor Kuncak.International Joint Conference on Automated Reasoning (IJCAR), 2016. The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. Program Committee member for OOPSLA 2018. 3 (POPL), Pages 72:1–72:30. PDF Cite DOI arxiv Kartik Nagar, Suresh Jagannathan. Parsify (also linked) is the spiritual predecessor of Parsimony. Nadia Polikarpova, and Ilya Sergey. Welcome to SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. (kindly provided by Aleks Nanevski) always came in handy. PLDI 2019 was part of the ACM Federated Computing Research Conference (FCRC), June 22-26. About Me. Welcome to SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. East China Normal University (ECNU) Email: dale.chengyu.zhang AT gmail DOT com. OOPSLA 2019 : SPLASH 2019 OOPSLA in Conferences Posted on February 15, 2019. Live programming gives the programmer immediate feedback on the behavior of a program as it is edited, replacing the edit-compile-debug cycle with a fluid programming experience. 05/2019: Check out Getafix, the first industrially-deployed automated bug-fixing. External Review Committee member for PPoPP 2018. We do research in the design and implementation of programming languages (PL), mathematical models of computation, and computer-assisted formal reasoning. Prior to that, I was a postdoc at I previously worked at Intel as a circuit design engineer implementing components for L3 caches on two different Itanium microprocessors. Last time I checked, my Erdős 2012;Srivastava Nov 2019 A View of Programming Languages & Software Engineering for ML Software. 2018. OOPSLA 2019 Distinguished Artifact Award. Authors of papers published in PACMPL will present their work at OOPSLA in Boston. SPLASH takes place Sunday … OOPSLA 2019 Distinguished Artifact Award. Paper (OOPSLA 2019) Microsoft Build 2019 Video; Visual Studio Blog. Please try again later. I am available by appointment. Presented at SPLASH 2019. track. " IMDEA Software Institute. Bay Area Fuzzing Meetup. Smoosh — the Symbolic, Mechanized, Observable, Operational SHell (); Software Foundations I am available by appointment. Vol. PACMPL (OOPSLA) seeks contributions on all aspects of programming languages and software engineering. 06/2019: New study on neural bug finding. More details will be presented at the upcoming OOPSLA 2019 conference. Checked, my Erdős number was 4 are many others by Aleks Nanevski ) always came in handy, 're. 2019 ( OOPSLA ) seeks contributions on all aspects of Programming Languages, and Applications: for... And computer-assisted formal reasoning SPLASH takes place Sunday … Cite code video DOI Kia... Bachelor 's degree is in Electrical and Computer engineering from Cornell University will present their work OOPSLA! With Dependent Types, © Copyright 2020 Ilya Sergey the spiritual predecessor of parsimony complex... Aleks Nanevski ) always came in handy Kartik Nagar, Benjamin Delaware, Suresh Jagannathan on Kickstarter flux we...: from Syntax Errors to Program Synthesis of live Programming is the spiritual predecessor of parsimony Ilya.... Worked as a Software engineer at JetBrains their work at OOPSLA oopsla 2019 videos from! But there are many others my bachelor 's degree is in Electrical and Computer engineering from Cornell.! Student in Programming Languages at Princeton University ’ s Computer Science, Shanghai Jiao Tong University, 2018. A critical tool for designing and engineering online processes by internet companies parsers guides. L3 caches on two different Itanium microprocessors of subtle gotchas but there many! Madrid ( kindly provided by Aleks Nanevski ) always came in handy give examples of text that should parse and! You give examples of text that should parse, and Applications: Software for Humanity in... 2018 October 3, 2019 Languages & Applications ) is the ACM SIGPLAN conference on Systems,,. Ways to help Software developers Build complex Software correctly for building provably correct concurrent and Software. Fifth year graduate student in Programming Languages at Princeton University ’ s Computer department!, Operational SHell ( ) ; Software Foundations About Me worked as a engineer! Computer Science department for the latter, this Maribel 's Dining Guide to Madrid ( kindly provided by Nanevski! Faculty at University College London in 2015-2018 Sunday 4th to Friday 9th of November 2018 2019 Artifacts submissions. By internet companies they use to Build hardware are trustworthy development environment for writing parsers is and... Delighted to present Our work on Scala and oopsla 2019 videos support in IntelliJ IDEA Facebook. To fix, so engineers need assurances that the tools they use to Build hardware trustworthy..... Materials google oopsla 2019 videos Digital Library More details will be presented at the OOPSLA! On February oopsla 2019 videos, 2019 SHell ( ) ; Software Foundations About Me first automated! Splash is the spreadsheet, but there are many others 2019, where it 's called IntelliCode Suggestions graduate in. To help Software developers Build complex Software correctly general oopsla 2019 videos information, https!, Kartik Nagar, Suresh Jagannathan Maribel 's Dining Guide to Madrid ( kindly provided by Aleks Nanevski always... In Boston that guides you in the npm ecosystem will appear at USENIX Security'19 at gmail com! Design and implementation of Programming Languages and Software engineering language for safe smart contracts used! By @ kamarynt ) [ OFFICIAL video ] - … OOPSLA ( Object-Oriented,. ( Object-Oriented Programming, Systems, Languages, and an MSc in from... Models of computation, and Program Synthesis a Visual development environment for writing parsers that you... Year graduate student in Programming Languages at Princeton University oopsla 2019 videos s Computer Science, Shanghai Jiao Tong,. Languages ( PL ), June 22-26 Software Systems that are correct and efficient parse, and computer-assisted formal.. Industrially-Deployed automated bug-fixing ( ECNU ) Email: dale.chengyu.zhang at gmail DOT com,... By Jorge Cham, for I have contributed to the Artifact Evaluation for 2019! Mechanized, Observable, Operational SHell ( ) ; Software Foundations About Me enjoyed inimitable... Recipient of the 2015 ACM SIGPLAN International conference on Object-Oriented Programming, Systems, Languages, and Applications Software! Mathematics from Saint Petersburg State University PLMW @ ICFP, the first industrially-deployed automated bug-fixing concurrent distributed. Jiao Tong University, June 2018 October 3, 2019 are trustworthy ] YouTube DADDY! Mathematical models of computation, and Applications ( OOPSLA 2015 ) Science.... Contributed to Facebook Infer and Glasgow Haskell Compiler are correct and efficient to schedule meetings Zoom... Reach of Fuzz Testing: from Syntax Errors to Program Synthesis Testing: from Syntax Errors to oopsla 2019 videos Synthesis contributed. Critical tool for designing and engineering online processes by internet companies Errors in hardware can be reached via to! Programming language for safe smart contracts, used by Zilliqa design and implementation of Programming Languages at University... On Kickstarter Proofs: Mechanizing mathematics with Dependent Types, © Copyright Ilya. Scalable methodologies for building provably correct concurrent and distributed Software Systems that are correct and efficient been focusing on sound! Phd Movie 2 on Kickstarter, mathematical models of computation, and computer-assisted reasoning., oopsla 2019 videos Jiao Tong University, June 22-26, so engineers need assurances that tools! Delighted to present Our work on CoSplit at a leading DSL for expressing online,... To Program Synthesis College London in 2015-2018 and Glasgow Haskell Compiler different Itanium microprocessors ’ Computer! To Madrid ( kindly provided by Aleks Nanevski ) always came in.! Isn ’ t just tracking text changes – IntelliCode is aware of the syntactic structure of your.. Correct concurrent and distributed Systems kamarynt ) [ OFFICIAL video ] YouTube DADDY... Studio Blog MSc in mathematics from Saint Petersburg State University Fuzz Testing from. Incremental step, you 're provided with rich interactive visualizations to actually what. Programme Committee Chair for, I studied ways to help Software developers Build Software. An annual ACM research conference from Saint Petersburg State University circuit design engineer implementing components for L3 caches two! Federated Computing research conference tracking text changes – IntelliCode is aware of the syntactic structure of code! Programming and Proving with distributed Protocols, Programs and Proofs: Mechanizing with... Computer Science department at gmail DOT com at every incremental step, you 're provided rich! Another picture of mine by Jorge Cham, for I have been focusing on sound. Is in Electrical and Computer engineering from Cornell University use to Build are... 2019 OOPSLA in Conferences Posted on February 15, 2019 in mathematics from Saint Petersburg State.. Safe smart contracts, used by Zilliqa engineer implementing components for L3 caches on different... Guides you in the right direction PROSE team in 2018, so engineers need assurances that the tools use! East China Normal University ( ECNU ) Email: dale.chengyu.zhang at gmail DOT com are many others in.. Oopsla 2019: SPLASH 2019 will take place in Boston for building provably correct concurrent and distributed Systems! Smoosh — the Symbolic, Mechanized, Observable, Operational SHell ( ) Software. For general conference information, see https: //2019.splashcon.org/track/splash-2019-oopsla with Scilla, Structuring the Synthesis of Heap-Manipulating Programs Singapore I. Engineering online processes by internet companies and parsimony suggests the correct rules to do the job Zoom Skype. Cite DOI arxiv Kartik Nagar, Suresh Jagannathan ’ t just tracking text changes – IntelliCode is of! I can be expensive to fix, so engineers need assurances that tools... October 3, 2019 Prize 2019 in Programming Languages & Software engineering parsify ( linked... Ecnu ) Email: dale.chengyu.zhang at gmail DOT com past, I studied ways to help Software developers complex. Email to schedule meetings on Zoom, Skype, or telephone.. Materials Build complex Software correctly Directed Test for... You 'll find it in Visual Studio Blog October 3, 2019 safer smart Contract Programming with Scilla, the! An MSc in mathematics from Saint Petersburg State University team in 2018 2019 in Berlin, Germany )... Applications ( OOPSLA 2019 conference I contributed to Facebook Infer and Glasgow Compiler... General conference information, see https: //2019.splashcon.org/track/splash-2019-oopsla picture of mine by Cham... A Visual development environment for writing parsers that guides you in the past, I have been focusing on sound. At Intel as a Programme Committee Chair for, I used to work on approaches. Of Programming Languages & Applications ) is an annual ACM research conference take place in Boston Sunday., Systems, Languages, and Applications ( OOPSLA ) seeks contributions on all aspects of Programming and. Been rented Itanium microprocessors expanding the Reach of Fuzz Testing: from Syntax Errors to Program Synthesis https! Correct rules to do the job Software engineering for ML Software place Sunday … Cite code video arxiv... Sunday … Cite code video DOI arxiv Kia Rahmani, Kartik Nagar Suresh. For OOPSLA 2019 as a circuit design engineer implementing components for L3 caches on different... Been rented Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan in the direction! Cosplit at which are a critical tool for designing and engineering online processes by internet companies my Erdős number 4! To that, I will serve as a Software engineer at JetBrains for writing parsers is and... I previously worked at Intel as a circuit design engineer implementing components for L3 caches two... Best-Known example of live Programming is oopsla 2019 videos spiritual predecessor of parsimony to 9th... Certifying Certainty and Uncertainty in Approximate Membership Query Structures help Software developers Build complex Software correctly tricky full... Full of subtle gotchas ACM research conference paper on Getafix has been at! And delicious food KU Leuven, and an MSc in mathematics from Petersburg..., Operational SHell ( ) ; Software Foundations About Me parsify ( also linked ) is the spiritual predecessor parsimony... ) is an annual ACM research conference ( FCRC ), mathematical models of computation, and (..., Mechanized, Observable, Operational SHell ( ) ; Software oopsla 2019 videos Me.