Profile

Cover photo
mukesh tiwari
Attends Indian Institute of Information Technology and Management Gwalior
Lives in Gwalior
206 followers|17,452 views
AboutPostsPhotosVideos

Stream

mukesh tiwari

Shared publicly  - 
 
 
Our lecture notes on static program analysis are now online - with implementation and exercises.
View original post
1
Add a comment...

mukesh tiwari

Shared publicly  - 
 
 
Learn Assembler by writing C code and learn to write optimized C code by looking at its Assembler output:

http://gcc.godbolt.org/

Have fun!
Interactive compiler -. Share. Tweet. About. Google+ page · About Matt · Contact Matt. Source: Name: Load Save Save as... Permalink. Permalink: Compiler: Compiler options: Filter: Unused labels. Directives Comment-only lines. Intel syntax. Colourise. Code editor. // Type your code here, ...
2 comments on original post
1
1
Slobodan Jelic's profile photo
Add a comment...

mukesh tiwari

Shared publicly  - 
 
 
Need a algorithm to solve your problem? You can start here, and see if solution already exists.
#programming #algorithm +Khan Academy #computerscience  
View original post
2
Add a comment...

mukesh tiwari

Shared publicly  - 
 
 
proofcraft.org: new blog about proof and Isabelle.

This week: Isabelle syntax highlighting in markdown and HTML.
Wouldn't it be nice to just include snippets of Isabelle code in markdown or html and have them show up rendered with symbols and highlighting? For instance on a blog? Or a list like the Top 100 theorems? Or on github? Set your quick_and_dirty flags and read on.
1
Add a comment...

mukesh tiwari

Shared publicly  - 
1
Add a comment...

mukesh tiwari

Shared publicly  - 
 
 
Tom Ball, Ras Bodik, +Greg Morrisett, and I are organizing a new kind of programming languages conference. We already have several excellent conferences, but they are focused on incremental bits of novelty. We want to create a new kind of venue that complements these: to present and discuss big-picture questions and long-running programs; to view progress along the long arc of a research effort. The conference is May 3-6, 2015 in lovely Asilomar (on the Pacific Coast), CA, USA.

If this sounds interesting, please: don't just +1 it, reshare it. Why? To keep costs down and retain ownership of the conference with the community, we are independent, not affiliated with any organizations. That means you are the only PR channel we have. So please do us a favor. Thanks.
1
Add a comment...

mukesh tiwari

Shared publicly  - 
 
 
Know thy (Linux) perf tools: http://bit.ly/1t69Uwy - perhaps the most comprehensive overview I've ever come across. 
1
Add a comment...
Have him in circles
206 people
rajni kanna's profile photo
Shiva SANAARI's profile photo
aryan dixit's profile photo
Namit Mishra's profile photo
Saurabh Kumar Singh's profile photo
jagdish prasad's profile photo
Girraj Meena's profile photo
Chaitanya Tarun Mohan J's profile photo
Naveen Nahata's profile photo

mukesh tiwari

Shared publicly  - 
 
 
Programming with Refinement Types, an intro to SMT and LiquidHaskell with exercises.
http://ucsd-progsys.github.io/liquidhaskell-tutorial/
http://ucsd-progsys.github.io/liquidhaskell-tutorial/book.pdf
Programming with Refinement Types. An Introduction to LiquidHaskell. Ranjit Jhala, Eric Seidel, Niki Vazou. 1.Introduction · 1.1. Well-Typed Programs Do Go Wrong · 1.2. Refinement Types · 1.3. Audience · 1.4. Getting Started · 1.5. Sample Code · 2.Logic & SMT · 2.1. Syntax · 2.2.
View original post
1
Add a comment...

mukesh tiwari

Shared publicly  - 
 
 
"Applied Crypto Hardening"

94 page PDF guide to configuring SSL, PGP, SSH and other cryptographic tools.
4 comments on original post
1
Add a comment...

mukesh tiwari

Shared publicly  - 
 
 
So you want to be a proof engineer? Which books to read. #proofcraft
I want to verify software! Will prove theorems for money! What do I need to learn? You're a programmer, maybe with a computer science or math degree. You're interested in program verification and proofs, but have no previous experience in these. You want to learn. Here's what you should read.
3 comments on original post
3
Boyd Smith's profile photo
 
Is this an actual job title anywhere?
Add a comment...

mukesh tiwari

Shared publicly  - 
 
 
New snapshot of my algorithms stuff, now with (unfinished) notes on languages and automata, with lots of exercises and pretty pictures.

I wrote the new notes for a new junior-level theory course that Lenny Pitt and I have been piloting for the last two semesters, which is now required for all computer science majors and all computer engineering majors at Illinois.  You can see my beta version of the course at  https://courses.engr.illinois.edu/cs498374/fa2014/.  Lenny and Chandra Chekuri are teaching the first full-scale offering of the course next semester, with an enrollment of 400.

Did I mention that we're hiring theory faculty this year?  We are indeed hiring theory faculty this year.
Algorithms, Etc. by Jeff Erickson December 2014 revision. This page contains lecture notes and other course materials for various algorithms classes I have taught at the University of Illinois, Urbana-Champaign. The notes are numbered in the order I cover the material in a typical undergraduate ...
1
Add a comment...

mukesh tiwari

Shared publicly  - 
 
 
Algomation. al·go·ma·tion. /ˌanəˈmāSHən/. noun. 1. A didactic, animated, exposition of algorithms. 2. An algorithm in a state of motion. Search Now ». Featured Algorithms. Ⓒ Duncan Meech - Algomation 2014 · Sign In - RegisterSign OutCreate AlgorithmMy AlgorithmsForgot PasswordChange ...
1
Add a comment...
People
Have him in circles
206 people
rajni kanna's profile photo
Shiva SANAARI's profile photo
aryan dixit's profile photo
Namit Mishra's profile photo
Saurabh Kumar Singh's profile photo
jagdish prasad's profile photo
Girraj Meena's profile photo
Chaitanya Tarun Mohan J's profile photo
Naveen Nahata's profile photo
Education
  • Indian Institute of Information Technology and Management Gwalior
    present
Basic Information
Gender
Male
Birthday
July 21
Other names
Sahil Tiwari
Story
Tagline
keep learning
Work
Occupation
Student
Employment
  • Student, present
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Gwalior
Previously
Mughalsarai(Varanasi)