- 59
- 37 433
LLVM Social Bangalore
India
เข้าร่วมเมื่อ 1 ต.ค. 2020
LLVM Social Bangalore is a casual gathering of LLVM hackers. We welcome LLVM, Clang, and other LLVM sub-project hackers. That being said, we are always open to people working in or around compilers not necessarily LLVM.
Program Analysis for Managed Runtimes in Presence of Dynamic Features | Aditya Anand | IICT'24
2024 Innovations In Compiler Technology Workshop, Bangalore, India
compilertech.org/
--------------------------------------------------------------------------------
Aditya Anand is a PhD student at IIT Bombay working with Prof. Manas Thakur. He works in the area of compilers and programming languages. His focus is to improve the performance of just-in-time (JIT) compilers for java-like languages by using a sophisticated static+dynamic scheme. His is currently developing a speculation based staged scheme for the managed runtime.
Slides: drive.google.com/drive/folders/1ZGWAMyEPXMHTsq_5VdXucaaDz-0V_KyN
compilertech.org/
--------------------------------------------------------------------------------
Aditya Anand is a PhD student at IIT Bombay working with Prof. Manas Thakur. He works in the area of compilers and programming languages. His focus is to improve the performance of just-in-time (JIT) compilers for java-like languages by using a sophisticated static+dynamic scheme. His is currently developing a speculation based staged scheme for the managed runtime.
Slides: drive.google.com/drive/folders/1ZGWAMyEPXMHTsq_5VdXucaaDz-0V_KyN
มุมมอง: 16
วีดีโอ
Automated Verification of Concurrent Programs | Divyanjali Sharma | IICT'24
มุมมอง 4916 ชั่วโมงที่ผ่านมา
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Co-authors: Divyanjali Sharma and Subodh Sharma Divyanjali is a research scholar in the Department of Computer Science & Engineering at IIT Delhi, working under the guidance of Dr. Subodh Sharma. Her research focuses on the static verification of programs using abstract interpretation, with a particular emphasi...
Engineering behind OCaml's Effect handlers | Manas Jayanth | IICT'24
มุมมอง 4116 ชั่วโมงที่ผ่านมา
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Manas hacks on developer tools. These days he is hacking mostly on OCaml. Slides: drive.google.com/drive/folders/17TitVliTT0IvVnPzIE4D8mc_mbbs3ifa
Techniques for IDE-friendly Compiler Construction and Applications in Blockchain | Bhavya Bhatt
มุมมอง 4416 ชั่วโมงที่ผ่านมา
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Bhavya is a Founding Software Engineer at Weilliptic Inc. which is a bay area based stealth Blockchain AI startup. At Weilliptic he helped implement Rust SDK for smart contract development, and created WIDL, Weilliptic Interface Description Language which is a compiler for writing smart contract specifications ...
pliron: An Extensible IR Framework in Rust | Vaivaswatha Nagaraj | IICT'24
มุมมอง 6716 ชั่วโมงที่ผ่านมา
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Vaivaswatha is a compiler engineer with more than a decade of experience working on LLVM, GCC and other proprietary compilers. He has a masters degree in compilers from Indian Institute of Science, Bangalore and currently works at Fuel Labs, on a compiler for a Rust like smart contract language. Slides: drive.g...
CoS-SSA: SSA for Context-Sensitive Interprocedural Analysis | Pritam Gharat | IICT'24
มุมมอง 2116 ชั่วโมงที่ผ่านมา
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Co-authors: Pritam Gharat, Uday P. Khedker, Alan Mycroft, Supriya Bhide and Aditya Pradhan Pritam Gharat has done her masters and doctoral degrees in Computer Science from IIT Bombay. She worked as a postdoctoral researcher in the Department of Computing, Imperial College, London. She is currently Senior Resear...
Why generating Three Address Code for Javascript is hard | Meetesh Kalpesh Mehta | IICT'24
มุมมอง 82หลายเดือนก่อน
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Meetesh is a PhD student at IIT Bombay, focusing on the analysis and optimization of dynamic programming languages. Slides : drive.google.com/drive/folders/18B_dhI4jkeZoH8LgvL917mvaJV68MZMX
SLIM: A High-Level Abstraction on LLVM IR Suitable forProgram Analysis | Aditi Raste | IICT'24
มุมมอง 68หลายเดือนก่อน
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Authors: Aditi Raste, Aditya Pradhan, Akshat Oke and Uday Khedker Aditi is a Ph.D. student registered at the Savitribai Phule Pune University under Prof. Uday Khedker from IIT Bombay. Her research interest is in the area of program analysis. She is working on improving the scalability of inter procedural pointe...
What is Dyalog APL and What Can It Do For You? | Aarush Bhat | IICT'24
มุมมอง 162หลายเดือนก่อน
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Aarush Bhat is a programming language development enthusiast and a employee of Dyalog APL. He has been working on APL interpreter enhancement and testing for about a year now and would love to introduce more people to the simplicity and efficiency of programming using Dyalog APL. Slides : drive.google.com/drive...
C-lisp and Flexible Macro Programming with S-expressions | Vedanth P | IICT'24
มุมมอง 139หลายเดือนก่อน
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Vedant is a 3rd-year student of Computer Science and Engineering at PES University. The co-author, Sasank Chilamkurthy, is the founder and CEO of Von-Neumann AI, and one of the co-authors of PyTorch. His project, Llama.lisp, aims to be an opensource alternative to CUDA. Slides : drive.google.com/drive/folders/1...
Formal verification of smart contracts | Vikramaditya Kokil | IICT'24
มุมมอง 160หลายเดือนก่อน
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Vikramaditya is a Co-Founder at Quicksilver Technologies Private Limited. He helps startups bootstrap in the crypto and ML space. He graduated from Dhirubhai Ambani Institute of Information and Communication Technology. Slides: drive.google.com/file/u/1/d/1pxt1ltir1sSk7cirnoIdM7bpk43HU25g/view?usp=sharing
Unveiling the Future: A Glimpse into the Emerging Landscape of Quantum Compilers | Tanmay Sarkar
มุมมอง 2552 หลายเดือนก่อน
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Tanmay Sarkar graduated from IIT Roorkee in 2022. He is currently working as a backend software developer. He is passionate about High-Performance Computing, Quantum Computing, Compilers, and Domain-Specific Languages. He has research experience across various domains of quantum computing. Slides: docs.google.c...
Towards Higher First Silicon Success via Improved Finite-State Machine Detection | Vikram Narayan
มุมมอง 572 หลายเดือนก่อน
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Authors: Ian D. Taras, Nicholas V. Giamblanco, Thomas Peters, Vikram Narayan and Samir Mittal Vikram Narayan is the leader of Silicon Systems AI team within Central Engineering Group of Micron. Previously he worked at Panasonic Automotive and Visteon Corporation and was part of their Autonomous Driving projects...
No-ISA is the Best ISA | Shreeyash Pandey & Rishik Ram Jallarapu | IICT'24
มุมมอง 3912 หลายเดือนก่อน
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Shreeyash works at Vicharak as a systems software developer. His work involves designing architectures for problems to be implemented on FPGAs, as well as developing compilers, runtimes, and other software for these architectures. Slides: drive.google.com/file/d/1fzenu3Y1YWMHU5cI58s7xAc2o9mL9ybf/view Vicharak: ...
STGraph: A Framework for Temporal Graph Neural Networks | Kevin Jude Concessao | IICT'24
มุมมอง 1552 หลายเดือนก่อน
2024 Innovations In Compiler Technology Workshop, Bangalore, India compilertech.org/ Authors: Joel Mathew Cherian, Nithin Puthalath Manoj, Kevin Jude Concessao and Unnikrishnan Cheramangalath. Kevin is a PhD student at IIT Palakkad working in the area of dynamic graph analytics on GPUs. Slides: drive.google.com/file/d/1mBnQJwyWlNUAfOUytRvaSql5pOWPIl0F/view
Optimizations for Object Oriented Programs | Prof. Manas Thakur | IICT'24
มุมมอง 1782 หลายเดือนก่อน
Optimizations for Object Oriented Programs | Prof. Manas Thakur | IICT'24
Translation Validation | Prof. Supratik Chakraborty | IICT'24
มุมมอง 2252 หลายเดือนก่อน
Translation Validation | Prof. Supratik Chakraborty | IICT'24
DL4Compilers - Turbo-charging compiler optimizations via Deep Learning | IICT 2024
มุมมอง 3362 หลายเดือนก่อน
DL4Compilers - Turbo-charging compiler optimizations via Deep Learning | IICT 2024
FireDucks: Pandas Accelerator using MLIR | Sourav Saha, Kazuhisa Ishizaka and Ashu Thakur
มุมมอง 2582 หลายเดือนก่อน
FireDucks: Pandas Accelerator using MLIR | Sourav Saha, Kazuhisa Ishizaka and Ashu Thakur
Web3 and Program Analysis | Dr. Saurabh Joshi
มุมมอง 1972 หลายเดือนก่อน
Web3 and Program Analysis | Dr. Saurabh Joshi
Building Compilers for AI Programming Frameworks | Prof. Uday Reddy Bondhugula | IICT 2024
มุมมอง 2.1K2 หลายเดือนก่อน
Building Compilers for AI Programming Frameworks | Prof. Uday Reddy Bondhugula | IICT 2024
What Makes us Tick! IICT 2024 testimonial video | India's first compiler technology workshop
มุมมอง 1.7K3 หลายเดือนก่อน
What Makes us Tick! IICT 2024 testimonial video | India's first compiler technology workshop
Unveiling the Inner Workings of IREE: An MLIR-Based Compiler for Diverse H/W
มุมมอง 8583 หลายเดือนก่อน
Unveiling the Inner Workings of IREE: An MLIR-Based Compiler for Diverse H/W
Innovation In Compiler Technology Workshop AMA
มุมมอง 1524 หลายเดือนก่อน
Innovation In Compiler Technology Workshop AMA
Correctly Rounded Math Libraries in the Age of AI
มุมมอง 1084 หลายเดือนก่อน
Correctly Rounded Math Libraries in the Age of AI
Fixing the see-saw: Enabling precise optimizations in JIT compilers, efficiently
มุมมอง 2097 หลายเดือนก่อน
Fixing the see-saw: Enabling precise optimizations in JIT compilers, efficiently
Profile-guided optimizations made easy - The Hot Path SSA Form in LLVM
มุมมอง 1789 หลายเดือนก่อน
Profile-guided optimizations made easy - The Hot Path SSA Form in LLVM
Democratizing High-Performance DSL Development with BuildIt by Ajay Brahmakshatriya
มุมมอง 30810 หลายเดือนก่อน
Democratizing High-Performance DSL Development with BuildIt by Ajay Brahmakshatriya
Building Programming Media for Novices by Professor Shriram Krishnamurthi
มุมมอง 59211 หลายเดือนก่อน
Building Programming Media for Novices by Professor Shriram Krishnamurthi
Cool Presentation!...
Thanks for sharing such valuable information! A bit off-topic, but I wanted to ask: I have a SafePal wallet with USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). How should I go about transferring them to Binance?
Thank you so much for this amazing video! I have a quick question: My OKX wallet holds some USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). Could you explain how to move them to Binance?
Thanks
Here's a speech about Shreeyash Pandey and his company Vicharak: --- Ladies and gentlemen, Today, I want to talk about an inspiring entrepreneur who's making waves in the tech industry. Shreeyash Pandey who is a visionary leader who's revolutionizing innovation. With unwavering dedication, Shreeyash has grown Vicharak from a humble startup to a thriving enterprise. His relentless pursuit of excellence has fostered a culture of creativity and innovation. At the heart of Vicharak's success lies its groundbreaking hardware, Vaman. This cutting-edge technology is a testament to Shreeyash's forward-thinking approach. Vaman's impact is transformative, empowering industries and improving lives. Shreeyash's leadership and Vicharak's expertise have earned recognition and accolades. His commitment to innovation, sustainability, and social responsibility sets a new standard. Let's celebrate Shreeyash Pandey's achievements and Vicharak's remarkable journey. May their success inspire us to strive for excellence and push boundaries. Thank you. --- Would you like me to modify the speech or provide additional information about Shreeyash Pandey or Vicharak?
Good A new tech company ready to surf over the ocean of tech company hope shreeyash u would grow a lot and ur company vicharak too
Here's a speech about Shreeyash Pandey and his company Vicharak: --- Ladies and gentlemen, Today, I want to talk about an inspiring entrepreneur who's making waves in the tech industry. Shreeyash Pandey who is a visionary leader who's revolutionizing innovation. With unwavering dedication, Shreeyash has grown Vicharak from a humble startup to a thriving enterprise. His relentless pursuit of excellence has fostered a culture of creativity and innovation. At the heart of Vicharak's success lies its groundbreaking hardware, Vaman. This cutting-edge technology is a testament to Shreeyash's forward-thinking approach. Vaman's impact is transformative, empowering industries and improving lives. Shreeyash's leadership and Vicharak's expertise have earned recognition and accolades. His commitment to innovation, sustainability, and social responsibility sets a new standard. Let's celebrate Shreeyash Pandey's achievements and Vicharak's remarkable journey. May their success inspire us to strive for excellence and push boundaries. Thank you. --- Would you like me to modify the speech or provide additional information about Shreeyash Pandey or Vicharak?
👌
👍😊👌
Uday - what are your views on Java's project babylon, which promises to support dynamic bytecode transformations to support new programming models/hardware environments?
Great work! Is this open-sourced to the community?
Was there an efficacy comparison done in-parity with approaches of pysmtgcc/alive2 ?
Basically polyblock software performs compiler optimisation on different layer level operations. At the end will it generate library-free code which does not depend on any library? I wonder, we may see hardware vendor optimized libraries perform far better than library-free because hardware vendor optimized libraries can have SIMD and VLIW
yeah and vendor optimized libraries have much more compiler flags for code optimizations
PolyBlocks has its own affine vectorization pass and the generated IR goes through LLVM and its optimizer, which also has its own vectorization passes. As such Polyblocks-generated code is also using SIMD. As for VLIW, it depends on the lower-level backend and whether a good LLVM backend exists for the VLIW hardware in question.
@@krishna_o15 A vendor-optimized library is pre-compiled code, i.e., they are binary objects. You can't compile them again with any new flags - for eg. CuDNN and cuBLAS are closed-source libraries that one directly installs via packages. In any case, compiling them with new flags will not realize the desired high-level optimizations emphasized here like fusion or a different strategy for tiling, etc. Compiler flags for low-level backends (optimization level, fast math) are also available when using PolyBlocks or similar compilers.
Can we expect theese summits in Hyderabad?
As this was our inaugural edition, we had limited options for the venue, so Bangalore was chosen by default due to its proximity to cities like Chennai, Pune, and Hyderabad. For future editions, we will consider other locations based on the feedback we receive from the attendees
@@llvmsocialbangalore6067 Thank you!
Thanks for sharing! 😊
This talk is a truly great intiative by llvm bangalore folks in order to present complex landscape of polyhedral compilation and associated tech stack to "common" people. I would request team from polymage , to present such more talks/seminar that goes in-depth in to polyhderal compilation framework. Maybe present pluto compiler, how does it proceed with automatic schedule selection , selection of parameters for various critical loop optimizations (loop tilling , unroling ) etc. Or a presentation could be on polyblocks compiler itself or any other legendary uday sir's work .
Great presentation
Great work! I am wondering whether the implementation is opensourced?
The Network DSL is a really cool idea. Looking forward to seeing the performance benefits it brings.
Thanks for your efforts :)
Nice lecture! Thank you very much! ❤
The talk is awesome for affine dialect . Thanks for it May be next time , the talk is online (zoom/other) with screen-recording rather than recording from a distance -- so that no recording is missed and the screen and commands are more clear to look at ..
@abinavdipu6807 Thanks for the comment. We will definitely try this in our next offline meetup
This talk is really good for beginners in MLIR. Any chance of getting the full video ? Some important bits were missing in between.
@darshanbhat9457 Thanks for the feedback. I am glad that you found the talk useful. Unfortunately no. We had few issues in recording the talk. We hope to fix it in the coming meetups
I missed this,glad it is uploaded
Can you mention the link, reshabh mentioned something like below on 52:07 timestamp Cick plan long term membership
Hi Anand. Please check the following link for more details SIGPLAN-M mentoring program (www.sigplan.org/LongTermMentoring/)
Please provide some tutorials on LLVM architecture and LLVM components through a lightweight project. As an individual learner I get stuck. I have enough LLVM related knowledge like Pass, IR, PassManager, Pipeline and I am fluent in Modern C++. Tutorial may focus on using LLVM tools in projects that are not necessarily compiler projects. Like static analysis , liveness analysis not going into algorithm that much but mostly focusing on LLVM components that are being used. Algorithms can be learned taking help from eleewhere. Understanding of LLVM and its components so that I can use its components on needs basis in a project is where I need to grow.
@deathval3y There are different tutorials on how to use LLVM. You can check out this tutorial on how to build a compiler using MLIR and LLVM (including JIT) (th-cam.com/play/PLlONLmJCfHTo9WYfsoQvwjsa5ZB6hjOG5.html). I hope this helps if not just let me know
since u guys are working in this field is a cs "degree" necessary, do they ask for getting into the role , i know skill matters but do they specifically shortlist guys on the basis of degree
Not necessarily, as long as you have the right set of skills (CS fundamentals like DS & Algo, Compilers etc). Atleast from what I have seen, you will not be rejected just because that you don't have a CS degree. They will look into your skills and experience
@@llvmsocialbangalore6067what is DS and Algo? I’m a data engineer trying to migrate into compiler engineering so I have the correct skills already to transfer? I’m specialized in python, sql, and big data. What would I need to learn?
Great presentation Prashant 👏🏻
good introductory session 👍
very nice
This is great.
Thank you for english language presentation, useful for international audience.