TeaVM: dead code elimination and devirtualizationАлексей Андреев
This presentation is in Russian!
TeaVM is a AOT compiler of Java bytecode primarily targetted to JavaScript. This presentation explains technique used by to remove unused code
TMPA-2017: Predicate Abstraction Based Configurable Method for Data Race Dete...Iosif Itkin
TMPA-2017: Tools and Methods of Program Analysis
3-4 March, 2017, Hotel Holiday Inn Moscow Vinogradovo, Moscow
Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel
Pavel Andrianov, Vadim Mutilin,Alexey Khoroshilov, Institute for System Programming
For video follow the link: https://youtu.be/SxDVQ7lSTqc
Would like to know more?
Visit our website:
www.tmpaconf.org
www.exactprosystems.com/events/tmpa
Follow us:
https://www.linkedin.com/company/exactpro-systems-llc?trk=biz-companies-cym
https://twitter.com/exactpro
TMPA-2017: Using Functional Directives to Analyze Code Complexity and Communi...Iosif Itkin
TMPA-2017: Tools and Methods of Program Analysis
3-4 March, 2017, Hotel Holiday Inn Moscow Vinogradovo, Moscow
Using Functional Directives to Analyze Code Complexity and Communication
Daniel Rubio Bonilla, HLRS - University of Stuttgart
For video follow the link: https://youtu.be/ckjR9TWk_Tg
Would like to know more?
Visit our website:
www.tmpaconf.org
www.exactprosystems.com/events/tmpa
Follow us:
https://www.linkedin.com/company/exactpro-systems-llc?trk=biz-companies-cym
https://twitter.com/exactpro
TeaVM: dead code elimination and devirtualizationАлексей Андреев
This presentation is in Russian!
TeaVM is a AOT compiler of Java bytecode primarily targetted to JavaScript. This presentation explains technique used by to remove unused code
TMPA-2017: Predicate Abstraction Based Configurable Method for Data Race Dete...Iosif Itkin
TMPA-2017: Tools and Methods of Program Analysis
3-4 March, 2017, Hotel Holiday Inn Moscow Vinogradovo, Moscow
Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel
Pavel Andrianov, Vadim Mutilin,Alexey Khoroshilov, Institute for System Programming
For video follow the link: https://youtu.be/SxDVQ7lSTqc
Would like to know more?
Visit our website:
www.tmpaconf.org
www.exactprosystems.com/events/tmpa
Follow us:
https://www.linkedin.com/company/exactpro-systems-llc?trk=biz-companies-cym
https://twitter.com/exactpro
TMPA-2017: Using Functional Directives to Analyze Code Complexity and Communi...Iosif Itkin
TMPA-2017: Tools and Methods of Program Analysis
3-4 March, 2017, Hotel Holiday Inn Moscow Vinogradovo, Moscow
Using Functional Directives to Analyze Code Complexity and Communication
Daniel Rubio Bonilla, HLRS - University of Stuttgart
For video follow the link: https://youtu.be/ckjR9TWk_Tg
Would like to know more?
Visit our website:
www.tmpaconf.org
www.exactprosystems.com/events/tmpa
Follow us:
https://www.linkedin.com/company/exactpro-systems-llc?trk=biz-companies-cym
https://twitter.com/exactpro
TMPA-2017: Tools and Methods of Program Analysis
3-4 March, 2017, Hotel Holiday Inn Moscow Vinogradovo, Moscow
Vellvm - Verifying the LLVM
Steve Zdancewic (Professor, USA University of Pennsylvania)
For video follow the link: https://youtu.be/jDPAtUfnoBU
Would like to know more?
Visit our website:
www.tmpaconf.org
www.exactprosystems.com/events/tmpa
Follow us:
https://www.linkedin.com/company/exactpro-systems-llc?trk=biz-companies-cym
https://twitter.com/exactpro
El comercio de bienes actual del Perú con la India es menor pero esta creciendo
La inversión de la India en el Perú también muestra signos de aumentar
En junio próximo deben iniciarse en Lima las negociaciones para alcanzar un acuerdo comercial con la India, que abarcaría temas como “aranceles, medidas sanitarias y fitosanitarias, obstáculos técnicos al comercio, inversiones, comercio de servicios, movimiento de personas, cooperación, entre otros“
La informacion mas completa de Mexico, Oaxaca y la Costa chica. Denuncian corrupción en venta de predios en Chacahua; área protegida en peligro. Con gas lacrimógeno, impide policía ingresar a Sección 22 al zócalo de Oaxaca.
Plan pour la paix: Pour un renouveau des relations internationalesFlorian Brunner
Dans son Appel du 18 Juin 1940, le Général De Gaulle avait lancé cette affirmation restée légendaire : « Quoi qu'il arrive, la flamme de la résistance française ne doit pas s'éteindre et ne s'éteindra pas. ». Nous devons aujourd’hui continuer à porter cette flamme, à défendre la paix et la liberté, dans un monde ébranlé et mouvant. Après 1945, nous avons créé en Europe, les conditions d’une stabilité durable. Le Prix Nobel de la Paix 2012 avait récompensé l’Union européenne, qui avait su favoriser la construction d’un espace uni et apaisé. Mais si nous avons su associer les peuples européens, nous manquons désormais de résolution pour enrayer le cycle terrible des guerres. Nous devons être portés, par une nouvelle ambition pour la paix. Notre vocation n’est pas de nous aligner, mais d’agir en toute indépendance, au service d’une vision partagée. Alors que le monde semble se perdre, dans une logique de conflits incessants, dont les ficelles sont tirées par des acteurs influents et empressés. Alors que de grands empires activent tous leurs leviers d’influence et d’action, dans une course machinale à la puissance. Alors que l’aventurisme généralisé, paralyse l’expression des intelligences et la recherche d’un véritable sens. Il est temps que la France assume son rôle et son message. Il est temps que l’Union européenne se dote des moyens nécessaires à la conduite d’une véritable action universelle. Il faut une Europe politique, qui s’affirme sur la scène internationale. Il n’y a que l’Europe pour devenir le point d’équilibre d’un nouvel ordre mondial. La France a un rôle déterminant à jouer, dans la construction d’une nouvelle architecture européenne. Elle a aussi une place qui compte dans les relations internationales. C’est à la France et à l’Europe de se remettre en mouvement, pour faire bouger les lignes. Reprendre l’initiative, ouvrir le dialogue, être une force motrice pour l’instauration de la paix. Voilà ce doivent être nos résolutions. Nous ne pouvons plus rester figés dans des schémas dépassés, nous devons recouvrer notre capacité à inventer et à innover. Retrouvons le sens de l’Histoire et portons une véritable vision, au service de la paix et de la réconciliation.
Norman Bergrun, RIMGMAKERS OF SATURN, SATURN.
Norman Bergrun is a scientist/engineer who worked in an above top secret capacity (his level of clearance, way above the President) for Lockheed. Prior to that he was at NACA a precursor to NASA.
Upon leaving Lockheed, he wrote “Ringmakers of Saturn” about the enormous craft spotted in the rings of Saturn and became something of an outcast in the scientific community. This interview covers his views on time travel, the nature of the vehicles that he says are creating the rings and much more… His conclusion is that the Ringmakers of Saturn are now creating rings around other planets and they are on their way here….
Groundbreaking and a real wake-up call for the mainstream scientific community not to mention the World.
Discover what services we offer here at MagenTys, from BDD and DevOps to Agility Assessments. If you would like to find out more, visit www.magentys.io
The slides describe the Rationale behind the use of the FPGAs in the TiReX project for the Xilinx Open Hardware contest 2017.
If you are interested and have questions do not hesitate to ask.
This online European Open Science Cloud (EOSC) event was held on 15 December 2021.
You’ll get information about:
- Developments in the EOSC Association
- The work of the new EOSC Advisory Groups and Task Forces
- What’s happening in some of the EOSC implementation projects
- Ways you can become involved in EOSC
CSS Audits: Take Back Control of your CSS (Susan Robertson)Future Insights
Session slides from Future Insights Live, Vegas 2015:
https://futureinsightslive.com/las-vegas-2015/
In this session we'll dive deep into the nuts and bolts of how to audit your existing CSS. By understanding the reasons for doing it as well as how you can learn, as your auditing, how to keep your CSS lean and mean in the future. You'll leave with tools and ideas for how to do an audit, as well as what to do with the information once you’ve got it. Your audit can even be a springboard to create CSS guidelines and even a style guide.
Streaming Trend Discovery: Real-Time Discovery in a Sea of Events with Scott ...Databricks
Time is the one thing we can never get in front of. It is rooted in everything, and “timeliness” is now more important than ever especially as we see businesses automate more and more of their processes. This presentation will scratch the surface of streaming discovery with a deeper dive into the telecommunications space where it is normal to receive billions of events a day from globally distributed sub-systems and where key decisions “must” be automated.
We’ll start out with a quick primer on telecommunications, an overview of the key components of our architecture, and make a case for the importance of “ringing”. We will then walk through a simplified solution for doing windowed histogram analysis and labeling of data in flight using Spark Structured Streaming and mapGroupsWithState. I will walk through some suggestions for scaling up to billions of events, managing memory when using the spark StateStore as well as how to avoid pitfalls with the serialized data stored there.
What you’ll learn:
1. How to use the new features of Spark 2.2.0 (mapGroupsWithState / StateStore)
2. How to bucket and analyze data in the streaming world
3. How to avoid common Serialization mistakes (eg. how to upgrade application code and retain stored state)
4. More about the telecommunications space than you’ll probably want to know!
5. Learn a new approach to building applications for enterprise and production.
Assumptions:
1. You know Scala – or want to know more about it.
2. You have deployed spark to production at your company or want to
3. You want to learn some neat tricks that may save you tons of time!
Take Aways:
1. Fully functioning spark app – with unit tests!
AllDayDevOps: "Microservices: The People and Organisational Impact"Daniel Bryant
Microservices are where it’s at. Everything is easier to manage when it’s smaller, right? ‘Micro’ things may appear to be easier to manage, but there is always a macro context, and working with people and teams is no exception. Join this session to learn more.
Microservices are where it’s at. Everything is easier to manage when it’s micro, right? Micro code bases (less than 10 LOC), micro containers (less than 10Mb), and micro teams (less than one person???). ‘Micro’ things may appear to be easier to manage, but there is always a macro context, and working with people and teams is no exception. This talk presents some of the challenges the OpenCredo team have seen when implementing microservices within a range of organisations, and we’ll suggest tricks and techniques to help you manage your ‘micro’ teams and the ‘macro’ level.
Topics covered include: leadership - advice on creating shared understanding, conveying strategy, and developing your team; empathy - because understanding others is at the heart of everything you do; organisational structure - from Zappos’ holocracy to MegaOrg’s strict hierarchy, from Spotify’s squads, chapters and guilds, to BigCorp’s command and control. There is a management style for everybody; and more.
The Agile Shape-up method for collaborative developments in international con...Daniele Bailo
The presentation shows an innovative Agile approach to enabling software development collaborations in international, distributed teams. Optimal for collaboration in EU projects and other international teams
TMPA-2017: Tools and Methods of Program Analysis
3-4 March, 2017, Hotel Holiday Inn Moscow Vinogradovo, Moscow
Vellvm - Verifying the LLVM
Steve Zdancewic (Professor, USA University of Pennsylvania)
For video follow the link: https://youtu.be/jDPAtUfnoBU
Would like to know more?
Visit our website:
www.tmpaconf.org
www.exactprosystems.com/events/tmpa
Follow us:
https://www.linkedin.com/company/exactpro-systems-llc?trk=biz-companies-cym
https://twitter.com/exactpro
El comercio de bienes actual del Perú con la India es menor pero esta creciendo
La inversión de la India en el Perú también muestra signos de aumentar
En junio próximo deben iniciarse en Lima las negociaciones para alcanzar un acuerdo comercial con la India, que abarcaría temas como “aranceles, medidas sanitarias y fitosanitarias, obstáculos técnicos al comercio, inversiones, comercio de servicios, movimiento de personas, cooperación, entre otros“
La informacion mas completa de Mexico, Oaxaca y la Costa chica. Denuncian corrupción en venta de predios en Chacahua; área protegida en peligro. Con gas lacrimógeno, impide policía ingresar a Sección 22 al zócalo de Oaxaca.
Plan pour la paix: Pour un renouveau des relations internationalesFlorian Brunner
Dans son Appel du 18 Juin 1940, le Général De Gaulle avait lancé cette affirmation restée légendaire : « Quoi qu'il arrive, la flamme de la résistance française ne doit pas s'éteindre et ne s'éteindra pas. ». Nous devons aujourd’hui continuer à porter cette flamme, à défendre la paix et la liberté, dans un monde ébranlé et mouvant. Après 1945, nous avons créé en Europe, les conditions d’une stabilité durable. Le Prix Nobel de la Paix 2012 avait récompensé l’Union européenne, qui avait su favoriser la construction d’un espace uni et apaisé. Mais si nous avons su associer les peuples européens, nous manquons désormais de résolution pour enrayer le cycle terrible des guerres. Nous devons être portés, par une nouvelle ambition pour la paix. Notre vocation n’est pas de nous aligner, mais d’agir en toute indépendance, au service d’une vision partagée. Alors que le monde semble se perdre, dans une logique de conflits incessants, dont les ficelles sont tirées par des acteurs influents et empressés. Alors que de grands empires activent tous leurs leviers d’influence et d’action, dans une course machinale à la puissance. Alors que l’aventurisme généralisé, paralyse l’expression des intelligences et la recherche d’un véritable sens. Il est temps que la France assume son rôle et son message. Il est temps que l’Union européenne se dote des moyens nécessaires à la conduite d’une véritable action universelle. Il faut une Europe politique, qui s’affirme sur la scène internationale. Il n’y a que l’Europe pour devenir le point d’équilibre d’un nouvel ordre mondial. La France a un rôle déterminant à jouer, dans la construction d’une nouvelle architecture européenne. Elle a aussi une place qui compte dans les relations internationales. C’est à la France et à l’Europe de se remettre en mouvement, pour faire bouger les lignes. Reprendre l’initiative, ouvrir le dialogue, être une force motrice pour l’instauration de la paix. Voilà ce doivent être nos résolutions. Nous ne pouvons plus rester figés dans des schémas dépassés, nous devons recouvrer notre capacité à inventer et à innover. Retrouvons le sens de l’Histoire et portons une véritable vision, au service de la paix et de la réconciliation.
Norman Bergrun, RIMGMAKERS OF SATURN, SATURN.
Norman Bergrun is a scientist/engineer who worked in an above top secret capacity (his level of clearance, way above the President) for Lockheed. Prior to that he was at NACA a precursor to NASA.
Upon leaving Lockheed, he wrote “Ringmakers of Saturn” about the enormous craft spotted in the rings of Saturn and became something of an outcast in the scientific community. This interview covers his views on time travel, the nature of the vehicles that he says are creating the rings and much more… His conclusion is that the Ringmakers of Saturn are now creating rings around other planets and they are on their way here….
Groundbreaking and a real wake-up call for the mainstream scientific community not to mention the World.
Discover what services we offer here at MagenTys, from BDD and DevOps to Agility Assessments. If you would like to find out more, visit www.magentys.io
The slides describe the Rationale behind the use of the FPGAs in the TiReX project for the Xilinx Open Hardware contest 2017.
If you are interested and have questions do not hesitate to ask.
This online European Open Science Cloud (EOSC) event was held on 15 December 2021.
You’ll get information about:
- Developments in the EOSC Association
- The work of the new EOSC Advisory Groups and Task Forces
- What’s happening in some of the EOSC implementation projects
- Ways you can become involved in EOSC
CSS Audits: Take Back Control of your CSS (Susan Robertson)Future Insights
Session slides from Future Insights Live, Vegas 2015:
https://futureinsightslive.com/las-vegas-2015/
In this session we'll dive deep into the nuts and bolts of how to audit your existing CSS. By understanding the reasons for doing it as well as how you can learn, as your auditing, how to keep your CSS lean and mean in the future. You'll leave with tools and ideas for how to do an audit, as well as what to do with the information once you’ve got it. Your audit can even be a springboard to create CSS guidelines and even a style guide.
Streaming Trend Discovery: Real-Time Discovery in a Sea of Events with Scott ...Databricks
Time is the one thing we can never get in front of. It is rooted in everything, and “timeliness” is now more important than ever especially as we see businesses automate more and more of their processes. This presentation will scratch the surface of streaming discovery with a deeper dive into the telecommunications space where it is normal to receive billions of events a day from globally distributed sub-systems and where key decisions “must” be automated.
We’ll start out with a quick primer on telecommunications, an overview of the key components of our architecture, and make a case for the importance of “ringing”. We will then walk through a simplified solution for doing windowed histogram analysis and labeling of data in flight using Spark Structured Streaming and mapGroupsWithState. I will walk through some suggestions for scaling up to billions of events, managing memory when using the spark StateStore as well as how to avoid pitfalls with the serialized data stored there.
What you’ll learn:
1. How to use the new features of Spark 2.2.0 (mapGroupsWithState / StateStore)
2. How to bucket and analyze data in the streaming world
3. How to avoid common Serialization mistakes (eg. how to upgrade application code and retain stored state)
4. More about the telecommunications space than you’ll probably want to know!
5. Learn a new approach to building applications for enterprise and production.
Assumptions:
1. You know Scala – or want to know more about it.
2. You have deployed spark to production at your company or want to
3. You want to learn some neat tricks that may save you tons of time!
Take Aways:
1. Fully functioning spark app – with unit tests!
AllDayDevOps: "Microservices: The People and Organisational Impact"Daniel Bryant
Microservices are where it’s at. Everything is easier to manage when it’s smaller, right? ‘Micro’ things may appear to be easier to manage, but there is always a macro context, and working with people and teams is no exception. Join this session to learn more.
Microservices are where it’s at. Everything is easier to manage when it’s micro, right? Micro code bases (less than 10 LOC), micro containers (less than 10Mb), and micro teams (less than one person???). ‘Micro’ things may appear to be easier to manage, but there is always a macro context, and working with people and teams is no exception. This talk presents some of the challenges the OpenCredo team have seen when implementing microservices within a range of organisations, and we’ll suggest tricks and techniques to help you manage your ‘micro’ teams and the ‘macro’ level.
Topics covered include: leadership - advice on creating shared understanding, conveying strategy, and developing your team; empathy - because understanding others is at the heart of everything you do; organisational structure - from Zappos’ holocracy to MegaOrg’s strict hierarchy, from Spotify’s squads, chapters and guilds, to BigCorp’s command and control. There is a management style for everybody; and more.
The Agile Shape-up method for collaborative developments in international con...Daniele Bailo
The presentation shows an innovative Agile approach to enabling software development collaborations in international, distributed teams. Optimal for collaboration in EU projects and other international teams
If it takes minutes to code a bot, building professional bots represents quite a challenge. Soon you realize you need serious programming and API architecture experience but also “Bot” specific skills. In this session, we'll first show the basics to build a ChatBot. Then we'll explore the challenges faced when creating advanced Bots (Context storage, NLP approaches, Bot Metadata, OAuth scopes), and discuss interesting opportunities from latest industry trends (Bot platforms, Serverless, Microservices). This talk is about showing the code and sharing lessons learnt.
Being agile, with its attention on extensive testing, frequent integration, and focusing on important product features, has proven invaluable to many software teams. When building complex systems it can be all too easy to primarily focus on features and overlook software qualities, specifically those related to software architecture. Time has shown that agile practices are not sufficient to prevent or eliminate technical debt, which can ultimately affect reliability. Many issues arise when there isn’t good validation through tests and constant attention to the architecture and code quality. It is important to recognize what is core to the architecture and the problem at hand while evolving it. If there is not enough attention on the architecture and the code, technical debt will creep in to the point where it can become muddy, making it hard to deliver new features quickly and reliably. Two principles that can help teams deliver more quickly and with confidence is to focus on code quality and delivery size. Small frequent delivery with constant attention to a good codebase is crucial to being able to sustain faster reliable delivery. Practices that can help keep the code clean or prevent it from getting muddier include: Testing, Divide & Conquer, Gentrification, Quarantine, Refactoring, and Craftsmanship. This talk examines various practices and techniques such as Continuous Integration, Continuous Delivery, Continuous Inspection, along with techniques to pay good attention to software quality, all of which enable teams to deliver fast and with confidence.
This was the presentation I gave as one of the guest speakers at the 2018 Cisco Live Cancun for NetDevOps.
For the link to my code: http://bit.ly/CiscoLive-HTLAP
Link for the recording: https://youtu.be/0tjmK8GL5S8
Code on the chain! An introduction in writing smart contracts and tooling for...Codemotion
We've all heard of bitcoin and also blockchain, the technology that underpins it. But how do you develop on blockchain? How do you create your own smart contracts? In this session, you'll get to understand the basics of blockchain development. We’ll provide a brief blockchain overview, describing the concepts and mechanisms of the technology, before we take you through creating your very own crypto token, introducing some basic developer tool chains and walking through your first smart contracts using Ethereum, the popular public blockchain.
Join us on Wednesday, October 19th, for our webinar, "What Comes After MBSE?" SPEC Innovations President and Founder, Dr. Steven Dam, will discuss the future of our industry. Since 2007, the focus has been moving from document-based systems engineering to model-based systems engineering (MBSE). With our ever-changing industry and the update to SysML V2, we believe there will be a massive move toward more data-driven systems engineering.
Dr. Dam will dive deeper into the past and present of Systems Engineering, and how this will take us into the future of Data-Driven Systems Engineering. He will share how SPEC Innovations is currently moving into this trend using Innoslate and its power of migration. There will be a time in the end for questions, so bring any you may have with you.
SPEC Innovations is starting its “How To MBSE” series this February 17th at 11:00 am ET. The series will begin with “How to Write Requirements.” Your host, Dr. Steven Dam, will discuss:
1. Gathering your requirements
2. Baselining and change management
3. Using AI to manage quality in your requirements
4. Checking for risk in your requirements
5. Adding relationships (traced, verified, and satisfied)
6. Creating reports and matrices
This webinar is perfect if you are just learning to write requirements or are a seasoned requirements developer and want to learn how to utilize software tools and artificial intelligence to improve your requirements. Either way, you will learn a lot in this 45-minute webinar. Stay for the Q&A to ask Dr. Dam your questions.
The “How to MBSE” series will continue with these webinars:
March 24th 2022, 11:00 am ET - “How to Develop and Simulate Models (with no coding experience!)”
https://attendee.gotowebinar.com/register/4521555073189509390
April 13, 2022, 11:00 am ET - “How to Perform Configuration Management”
May 26, 2022, 11:00 am ET – “How to Verify and Validate a System or Process”
June 21, 2022, 11:00 am ET - “How to Develop a Program Management Plan”
How Small Team Get Ready for SRE (public version)Setyo Legowo
How Urbanindo small team engineering team implement Site Reliability Engineering (SRE) in their daily work life and why we choose SRE instead of ordinary DevOps.
To empower Data Scientists, you need a Data Science Lab. Presented by Dr. Sharon Kirkham, director of the Kognitio Analytics Center of Excellence, a data scientist and expert on this topic. Join that session, as she explores the kind of environment required to imagine, create, experiment, develop and grow cutting-edge Big Data applications that add value
Building a Raspberry Pi Robot with Dot NET 8, Blazor and SignalR - Slides Onl...Peter Gallagher
In this session delivered at Leeds IoT, I talk about how you can control a 3D printed Robot Arm with a Raspberry Pi, .NET 8, Blazor and SignalR.
I also show how you can use a Unity app on an Meta Quest 3 to control the arm VR too.
You can find the GitHub repo and workshop instructions here;
https://bit.ly/dotnetrobotgithub
Google Calendar is a versatile tool that allows users to manage their schedules and events effectively. With Google Calendar, you can create and organize calendars, set reminders for important events, and share your calendars with others. It also provides features like creating events, inviting attendees, and accessing your calendar from mobile devices. Additionally, Google Calendar allows you to embed calendars in websites or platforms like SlideShare, making it easier for others to view and interact with your schedules.