Sudheendra Hangal

According to our database1, Sudheendra Hangal authored at least 19 papers between 1999 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




LokDhaba: Acquiring, Visualizing and Disseminating Data on Indian Elections.
Proceedings of the 3rd ACM SIGCAS Conference on Computing and Sustainable Societies, 2020

Compartmentalizing web browsing with Sailboat.
Proceedings of the IndiaHCI 2019: Proceedings of the 10th Indian Conference on Human-Computer Interaction, 2019

ePADD: Computational Analysis Software Facilitating Screening, Browsing, and Access for Historically and Culturally Valuable Email Collections.
D Lib Mag., 2017

ePADD: Computational analysis software enabling screening, browsing, and access for email collections.
Proceedings of the 14th International Conference on Digital Preservation, 2017

Historical Research Using Email Archives.
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015

Reshaping reminiscence, web browsing and web search using personal digital archives.
PhD thesis, 2012

Effective browsing and serendipitous discovery with an experience-infused browser.
Proceedings of the 17th International Conference on Intelligent User Interfaces, 2012

Processing Email Archives in Special Collections.
Proceedings of the 7th Annual International Conference of the Alliance of Digital Humanities Organizations, 2012

Friends, romans, countrymen: lend me your URLs. using social chatter to personalize web search.
Proceedings of the CSCW '12 Computer Supported Cooperative Work, 2012

MUSE: reviving memories using email archives.
Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology, 2011

Groups without tears: mining social topologies from email.
Proceedings of the 16th International Conference on Intelligent User Interfaces, 2011

Automatic dimension inference and checking for object-oriented programs.
Proceedings of the 31st International Conference on Software Engineering, 2009

Completely verifying memory consistency of test program executions.
Proceedings of the 12th International Symposium on High-Performance Computer Architecture, 2006

Testing implementations of transactional memory.
Proceedings of the 15th International Conference on Parallel Architectures and Compilation Techniques (PACT 2006), 2006

Efficient algorithms for verifying memory consistency.
Proceedings of the SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2005

IODINE: a tool to automatically infer dynamic invariants for hardware designs.
Proceedings of the 42nd Design Automation Conference, 2005

TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model.
Proceedings of the 31st International Symposium on Computer Architecture (ISCA 2004), 2004

Tracking down software bugs using automatic anomaly detection.
Proceedings of the 24th International Conference on Software Engineering, 2002

Performance analysis and validation of the picoJava processor.
IEEE Micro, 1999