sepopley.info
The Website of Sneha Popley,
a student at Texas Christian University
About
Sneha Popley is a senior Computer Science and Math double major from India. She is currently completing her undergraduate degree at Texas Christian University. In Summer '09, she is a Research Intern at Carnegie Mellon University where she is working with SASyLF. Her future plans include a Ph.D in Computer Science.Journal
Journal
Week #0Week #1
Week #2
Week #3
Week #4
Week #5
Week #6
Week #7
Week #8
Week #9
Week #10
Final Report
Penn in Pictures
Links
crescent.cs.tcu.eduwww.projectalisa.org
www.phdcomics.com
Only two more weeks! This week was nearly a repeat of last week. I worked on rmax, Program, and a few more Coq proof tactics. I haven't made any startling discoveries yet (good or bad), but lets see if this week is my lucky week! The to-do list for next week is the same: rmax, Benjamin's class notes, and Program.
I also attended another PL Club meeting. This week was about Robin Milner's views on the implementation of polymorphism. This summer, the theme of the club is important works in programming languages, so, like the other papers we have talked about, it was a big step in programming languages in the 80s.
I visited my best friends from TCU in NY this weekend. After that break, I am looking forward to working on my different research puzzles.
July 21 - July 27