portrait

Venkatesh-Prasad Ranganath
Programming, Experimenting, and Writing

Projects

  1. Thundering Web Requests: An exploration of different web service technologies with thundering web requests (C10K problem). (Posts: 0, 1, 2, 3, 4, 5, 6)
    Role: Creator
    Languages: Erlang, Elixir, Go, JavaScript, Kotlin, Python, Rust
    Web Service Technologies: Actix, Cowboy, Cyclone, Express, Flask, HTTPoison, Ktor, Micronaut, NodeJS, Phoenix, Ratpack, Tornado, Trot, Vertx, Yaws
  2. Rekha: An evaluation of the effectiveness of Android app security analysis tools in detecting known vulnerabilities. (Website, Dashboard, Publications: 1)
    Role: Co-Creator, Analyst, and Supervisor
    Technology: Android, Groovy, R
  3. HiPCUPP: An effort to understand pain points of HPC users. (Publications: 1)
    Role: Co-Creator, Analyst
    Technology: Sed and Awk
  4. Ghera: A repository of benchmarks that capture known vulnerabilities in Android apps. (Website, Publications: 1, 2)
    Role: Co-Creator, Developer, and Supervisor
    Technology: Android, Java
  5. Funcipy: A library to inject common functional programming operations as methods into iterable objects in Python.
    Role: Creator
    Technology: Python
  6. DyCo4J: An instrumentation based toolkit to collect dynamic information about JVM based code.
    Role: Creator
    Technology: Java
  7. Pytest-finer-verdicts: A pytest plugin to treat non-assertion failures as test errors.
    Role: Creator
    Technology: Python
  8. SCP: A PoC implementation of simple communication patterns to connect medical devices and compose medical systems on top of different communication substrates. (Publications: 1)
    Role: Creator
    Technology: Java, Vert.x, RTI Connext DDS
  9. Tark: An effort to mine quantified temporal patterns from sequences of events. The resulting techniques were used in testing related tasks in Microsoft. (Publications: 1, 2)
    Role: Co-Creator, Developer, and Supervisor
    Technology: F#, .NET
  10. Isolator: An effort to enforce isolation requirements in concurrent programs. (Publications: 1)
    Role: Contributor
  11. Indus: A library to analyze and slice concurrent Java programs. The library was downloaded more than 110,000 times until 2016. (Publications: 1, 2, 3, 4, 5, 6, 7, 8, 9)
    Role: Creator
    Technology: Java, Groovy, Eclipse
  12. Bandera: A toolkit to automatically verify verify Java programs. The toolkit was downloaded more than 24,000 times until 2016.
    Role: Contributor
    Technology: Java
  13. Cadena: An environment to design, analyze, and synthesize component-based systems using a model-driven approach. (Publications: 1, 2, 3, 4, 5)
    Role: Developer
    Technology: Java, Eclipse
  14. LYE: A collection of non-intrusive caching-based optimizations for SOAP implementations. (Publications: 1, 2, 3)
    Role: Developer
    Technology: Java

Code Repositories

Patents

  1. Compatibility Testing Using Traces, Linear Temporal Rules, and Behavioral Models. Patent US 8892493
  2. Temporal Rule-Based Feature Definition and Extraction. Patent US 8538909
  3. Abstracting Events for Data Mining. Patent US 8280899
  4. Identifying Concurrency Control from a Sequential Proof. Patent US 20100169618
  5. System to Reduce Interference in Concurrent Programs. Patent US 7941616