1![A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden](https://www.pdfsearch.io/img/3c69d69c55907ad71ecfc908e4cbf64f.jpg) | Add to Reading ListSource URL: cakeml.orgLanguage: English - Date: 2017-07-03 06:09:00
|
---|
2![Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden](https://www.pdfsearch.io/img/dee3b82e50cfe56b15e3b2ce34281b53.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2016-07-01 09:29:03
|
---|
3![This is to certify that the management system of: Stiftelsen för Internetinfrastruktur Main site: Hammarby Kaj 10D, SEStockholm, Sweden This is to certify that the management system of: Stiftelsen för Internetinfrastruktur Main site: Hammarby Kaj 10D, SEStockholm, Sweden](https://www.pdfsearch.io/img/27009d8854d39879425a45a0e54b10a3.jpg) | Add to Reading ListSource URL: www.iis.seLanguage: English |
---|
4![PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet](https://www.pdfsearch.io/img/a9a0d4bfbf2e08779317aef60cfe879c.jpg) | Add to Reading ListSource URL: manticore.cs.uchicago.eduLanguage: English - Date: 2017-07-17 11:35:05
|
---|
5![Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014 Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014](https://www.pdfsearch.io/img/af22c5ca5f223260b41987ba85eaaa94.jpg) | Add to Reading ListSource URL: www.nada.kth.seLanguage: English - Date: 2014-12-09 08:27:27
|
---|
6![Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden](https://www.pdfsearch.io/img/5e0b91dfc1dea202f4a3e7c1d5161bf0.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-05 03:12:13
|
---|
7![Regulation of Drones Australia • Canada • China • France • Germany • Israel Japan • New Zealand • Poland • South Africa Sweden • Ukraine • United Kingdom European Union Regulation of Drones Australia • Canada • China • France • Germany • Israel Japan • New Zealand • Poland • South Africa Sweden • Ukraine • United Kingdom European Union](https://www.pdfsearch.io/img/ed1de27d2855867b78a0988405e73bf7.jpg) | Add to Reading ListSource URL: www.loc.govLanguage: English - Date: 2017-12-15 15:56:24
|
---|
8![Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden](https://www.pdfsearch.io/img/0f591a7c78064c2a2e1ff0ef14c383ef.jpg) | Add to Reading ListSource URL: mpg.isLanguage: English - Date: 2018-08-05 06:01:43
|
---|
9![The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden](https://www.pdfsearch.io/img/efef8f21674d6dab76148348ecb1be74.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-06 02:05:36
|
---|