Ohad Kammar

44 papers A* 5A 1B 6Journal 29Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Ohad Kammar, Jack Liell-Cock, Sam Lindley, Cristina Matache, Sam Staton
2026 J jnl
Proc. ACM Program. Lang.
Ohad Kammar, Jack Liell-Cock, Sam Lindley, Cristina Matache, Sam Staton
2025 J jnl
ACM Trans. Program. Lang. Syst.
Yotam Dvir, Ohad Kammar, Ori Lahav
2025 conf
ESOP (1)
Joseph Eremondi, Ohad Kammar
2025 J jnl
CoRR
Joseph Eremondi, Ohad Kammar
2025 J jnl
Proc. ACM Program. Lang.
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
2025 B conf
MFPS
Marcelo P. Fiore, Ohad Kammar, Georg Moser, Sam Staton
2025 A* conf
ISCA
Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell
2025 B conf
FoSSaCS
Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin
2025 J jnl
CoRR
Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin
2024 conf
ESOP (2)
Yotam Dvir, Ohad Kammar, Ori Lahav
2024 J jnl
CoRR
Oliver Goldstein, Ohad Kammar
2024 J jnl
CoRR
Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell
2024 J jnl
Proc. ACM Program. Lang.
Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
2023 J jnl
CoRR
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
2023 J jnl
CoRR
Ohad Kammar, Katarzyna Marek
2022 B conf
APLAS
Yotam Dvir, Ohad Kammar, Ori Lahav
2022 J jnl
Proc. ACM Program. Lang.
Ohad Kammar, Shin-ya Katsumata, Philip Saville
2019 J jnl
Proc. ACM Program. Lang.
Matthijs Vákár, Ohad Kammar, Sam Staton
2019 J jnl
J. Funct. Program.
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
2018 J jnl
CoRR
Matthijs Vákár, Ohad Kammar, Sam Staton
2018 J jnl
Proc. ACM Program. Lang.
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2018 B conf
MFPS
Ohad Kammar, Dylan McDermott
2018 J jnl
CoRR
Ohad Kammar, Dylan McDermott
2018 J jnl
Proc. ACM Program. Lang.
Adam Scibior, Ohad Kammar, Zoubin Ghahramani
2018 J jnl
Proc. ACM Program. Lang.
Jeremy Yallop, Tamara von Glehn, Ohad Kammar
2017 J jnl
CoRR
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
2017 A* conf
LICS
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
2017 A* conf
LICS
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
2017 J jnl
CoRR
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
2017 J jnl
CoRR
Ohad Kammar, Dylan McDermott
2017 J jnl
CoRR
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2017 J jnl
J. Funct. Program.
Ohad Kammar, Matija Pretnar
2017 J jnl
Proc. ACM Program. Lang.
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
2016 B conf
CONCUR
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar
2016 J jnl
CoRR
Ohad Kammar, Matija Pretnar
2016 J jnl
CoRR
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
2016 A* conf
LICS
Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar
2016 J jnl
CoRR
Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood
2015 J jnl
CoRR
Ohad Kammar
2014
Ohad Kammar
2013 A conf
ICFP
Ohad Kammar, Sam Lindley, Nicolas Oury
2012 A* conf
POPL
Ohad Kammar, Gordon D. Plotkin
2011 B conf
CALCO
Giorgio Bacci, Vincent Danos, Ohad Kammar
docs/linting.md
← Index docs/linting.md markdown
# Code Linting Guide

## Installation

```bash
pip install flake8 pylint black isort
```

## Quick Usage

### Check Code Quality
```bash
# Comprehensive analysis (recommended)
pylint redb/

# Quick style check
flake8 redb/

# Format code
black redb/

# Sort imports
isort redb/
```

### Check Only (No Changes)
```bash
black --check redb/
isort --check-only redb/
```

## Configuration

The project uses `pyproject.toml` for configuration. Key settings:

- **Line length**: 120 characters
- **Pylint**: Disabled overly strict warnings (docstrings, naming conventions)
- **Black**: Compatible with isort
- **Flake8**: Ignores common style issues

## Security-Focused Linting

For security analysis, install additional tools:

```bash
pip install pylint-security bandit
```

Run security checks:
```bash
# Pylint with security plugin
pylint --load-plugins=pylint_security redb/

# Bandit (security-focused)
bandit -r redb/
```

## Recommended Workflow

1. **Development**: Use `flake8` for quick feedback
2. **Pre-commit**: Run `pylint` for comprehensive analysis
3. **Formatting**: Use `black` and `isort` before commits
4. **Security**: Run `bandit` periodically

## IDE Integration

Most IDEs support these tools:
- **VS Code**: Install Python extension, configure linting
- **PyCharm**: Built-in support for all tools
- **Vim/Neovim**: Use ALE or similar plugins