Maple @themaplelab
Maple is the Programming Languages research lab @UAlbertaCS github.com/themaplelab Edmonton, Alberta Joined November 2017-
Tweets7
-
Followers31
-
Following3
-
Likes0
Keeping our promise We smiling, celebrating The maskless photo </haiku>
The article “Designing UIs for Static Analysis Tools,” by authors @TiganovDaniil, @lisa_nqd and @karimhamdanali define 10 guidelines on how to create user interfaces (UIs) for static-analysis tools that better support developers. Read more here: bit.ly/2YZhJjE
Elhamdolelah, tenured and promoted to Associate Professor 🥳 How it started: How it's going:
We promise that we have giant smiles underneath our masks. Also, new posters!
New video just dropped for "Energy Efficient Guidelines for iOS Core Location Framework" by Maplers and friends: @abdulalib ,@TiganovDaniil, @karimhamdanali, and @abramh. doi.org/10.26226/morre…
No photos from this week's lab retreat. You will have to make do with this sad retweet. Our cameras are dusty. And our in-person meetup skills are rusty.
No photos from this week's lab retreat. You will have to make do with this sad retweet. Our cameras are dusty. And our in-person meetup skills are rusty.
Hello, Twitter! No better way to launch our Twitter account than sharing the talk that Julian Dolby gave last term @UAlbertaCS about @WALALibs and how it is used within IBM, and outside, to analyze JavaScript code. youtube.com/watch?v=QtrJEo…
Abdelrahman Khaled @uni_abdelrahman
0 Followers 57 Following
Sarah Nadi @sarahnadi
2K Followers 983 Following Associate Prof., CS, @NYUAbuDhabi. I work on code reuse, APIs, & collab. SW dev., mining SW repos. On leave from UofA, CRC in Software Reuse.
Hamid Ghaleb @Haakktr
262 Followers 2K Following PhD. student at software Engineering Department College of Computer and Information Sciences King Saud University Riyadh, Saudi Arabia.
Jacques Carette @jjcarett2
2K Followers 933 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
dawfsadf @bfaweffas
2 Followers 277 Following
Stefan Ciobaca @ciobaca
50 Followers 650 Following
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Cristina Cifuentes @criscifuentes
2K Followers 287 Following Latina, migrant, mother and wife, researcher, teacher, mentor, leader. Mother of decompilation
Daniil Tiganov @TiganovDaniil
13 Followers 32 Following Staff Software Engineer @ Black Duck | Tech Lead | Engineering static analysis tools to transform software security
Spimees @spimees
74 Followers 2K Following Software engineer focusing on desktop. Independent researcher on concurrency.
David Seekatz @dseekatz1
15 Followers 60 Following I do static analysis at Oracle. Opinions are my own. I like programming languages and birds.
Center for Artificial... @subhashkasture
58 Followers 722 Following Directorate of Technical Education, Maharashtra State
Hamza Alvi @hamzaM_alvi
20 Followers 161 Following
Shaiful Chowdhury �... @shaiful_cs
271 Followers 269 Following Assistant Professor, University of Manitoba. Interests: Software Maintenance, Software Energy Efficiency, Mining Software Repositories.
🇵🇸 Abdul Ali Ba... @abdulalib
760 Followers 904 Following 🇵🇰 🇨🇦 PostDoc @ Queen's, Ph.D. @UalbertaCS , Large AI Models (Foundation Models), Mining Software Repositories, & Energy Consumption.
Patrick Lam (@va2lam@... @va2lam
1K Followers 2K Following Professing software engineering for the University of Waterloo. Wish I was still in NZ. Former Director of the Software Engineering Program.
Karim Ali (كريم �... @karimhamdanali
1K Followers 289 Following Associate Professor @NYUAbuDhabi. Interests: static analysis, programming languages, compiler optimizations, security, and ⚽️ 🏀 🏊 🏋
Jeff Cho (he/him) @gojeffcho
979 Followers 549 Following Nerd, dad, chaos gremlin. Passionate about cooking, computing, game design, leadership, and community. Views are my own.
Matt @matt_dz
5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance
ICSE 2019 @icse2019
378 Followers 18 Following The 41st ACM/IEEE International Conference on Software Engineering (ICSE '19) in Montréal, QC, Canada Official hashtag: #icse19, #icse2019
Karim Ali (كريم �... @karimhamdanali
1K Followers 289 Following Associate Professor @NYUAbuDhabi. Interests: static analysis, programming languages, compiler optimizations, security, and ⚽️ 🏀 🏊 🏋
UAlberta Comp Sci @UAlbertaCS
2K Followers 64 Following Department of Computing Science at the University of Alberta
ICSE 2019 @icse2019
378 Followers 18 Following The 41st ACM/IEEE International Conference on Software Engineering (ICSE '19) in Montréal, QC, Canada Official hashtag: #icse19, #icse2019Trends for United States
You might like